Synthesising directed structures in Computer Science using Directed Algebraic Topology
Synthesising directed structures in Computer Science using Directed Algebraic Topology
使用有向代数拓扑合成计算机科学中的有向结构
批准号：
19K20215
负责人：
DUBUT Jeremy
金额：
$2.5万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(16)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Personal research webpage
个人研究网页
个人研究网页
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
无 2-LTL 规范稳定性假设的连续时间非确定性系统的符号自触发控制
无 2-LTL 规范稳定性假设的连续时间非确定性系统的符号自触发控制
DOI：
10.1109/icarcv50220.2020.9305387
发表时间：
2020
期刊：
2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV)
影响因子：
--
作者：
[森山卓, Pruekprasert Sasinee]
通讯作者：
Pruekprasert Sasinee
Bisimilarity of Diagrams
图的相似性
图的相似性
DOI：
10.1007/978-3-030-43520-2_5
发表时间：
2020
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Ohno Harumi, Murakami Haruka, Tanisawa Kumpei, Konishi Kana, Miyachi Motohiko, Dubut Jeremy]
通讯作者：
Dubut Jeremy
Friedrich-Alexander-Universitat(ドイツ)
弗里德里希亚历山大大学（德国）
弗里德里希亚历山大大学（德国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
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
共 14 条
海外基金