Synthesising directed structures in Computer Science using Directed Algebraic Topology

使用有向代数拓扑合成计算机科学中的有向结构

基本信息

  • 批准号：
    19K20215
  • 负责人：
    DUBUT Jeremy
  • 金额：
    $ 2.5万
  • 依托单位：
    National Institute of Informatics
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
  • 财政年份：
    2019
  • 资助国家：
    日本
  • 起止时间：
    2019-04-01 至 2022-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（16）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Personal research webpage
个人研究网页
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
无 2-LTL 规范稳定性假设的连续时间非确定性系统的符号自触发控制
Bisimilarity of Diagrams
图的相似性
  • DOI：
    10.1007/978-3-030-43520-2_5
  • 发表时间：
    2020
  • 期刊：
    Lecture Notes in Computer Science
  • 影响因子：
    0
  • 作者：
    Ohno Harumi;Murakami Haruka;Tanisawa Kumpei;Konishi Kana;Miyachi Motohiko;Dubut Jeremy
  • 通讯作者：
    Dubut Jeremy
Friedrich-Alexander-Universitat(ドイツ)
弗里德里希亚历山大大学（德国）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
A Functional Abstraction of Typed Invocation Contexts
类型化调用上下文的功能抽象
  • DOI：
    10.46298/lmcs-18
  • 发表时间：
    2022
  • 期刊：
    Logical Methods in Computer Science
  • 影响因子：
    0.6
  • 作者：
    Cong Youyou;Ishio Chiaki;Honda Kaho;Asai Kenichi
  • 通讯作者：
    Asai Kenichi
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

DUBUT Jeremy其他文献

DUBUT Jeremy的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

相似国自然基金

基于移植后急性移植物抗宿主病智能预警的关键算法与应用研究
  • 批准号：
    62306340
  • 批准年份：
    2023
  • 资助金额：
    30.00 万元
  • 项目类别：
    青年科学基金项目
面向高并发软件的可扩展建模与分析技术研究
  • 批准号：
    62302375
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
中性粒细胞胞外陷阱在HIV眼部并发症中的作用机制研究
  • 批准号：
    82301262
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
面向服役滚珠丝杠进给系统并发退化状态识别的深度多源域泛化研究
  • 批准号：
    52305090
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
多UAV协作的大规模传感网并发充电模型及其服务机制研究
  • 批准号：
    62362017
  • 批准年份：
    2023
  • 资助金额：
    32 万元
  • 项目类别：
    地区科学基金项目

相似海外基金

CRII: SHF: An Automated and User-centered Framework for Reproducing System-level Concurrency Bugs by Analyzing Bug Reports
CRII：SHF：通过分析错误报告来重现系统级并发错误的自动化且以用户为中心的框架
  • 批准号：
    2348277
  • 财政年份：
    2024
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Standard Grant
SHF:Small:Concurrency In Reversible Computations
SHF:Small:可逆计算中的并发
  • 批准号：
    2242786
  • 财政年份：
    2023
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Standard Grant
AF: Medium: Concurrency and Adaptive Self-Organization in Anonymous Dynamic Networks
AF：中：匿名动态网络中的并发性和自适应自组织
  • 批准号：
    2312537
  • 财政年份：
    2023
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Standard Grant
Concurrency and Approximate Reasoning
并发和近似推理
  • 批准号：
    RGPIN-2020-05715
  • 财政年份：
    2022
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Discovery Grants Program - Individual
Programming Language Type Systems and Concurrency
编程语言类型系统和并发性
  • 批准号：
    RGPIN-2020-03908
  • 财政年份：
    2022
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了