DUBUT Jeremy DUBUT Jeremy

Researcher Number	50836765
Other IDs
Affiliation (based on the past Project Information) *help	2019 – 2021: 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related
Keywords	Principal Investigator computer science / directed structures / category / topology / concurrent systems / topological robotics / robotics / language theory / concurrency / algebraic topology

Research Projects
(1 results)
Research Products
(11 results)

Synthesising directed structures in Computer Science using Directed Algebraic TopologyPrincipal Investigator
- Principal Investigator
  
  DUBUT Jeremy
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  National Institute of Informatics

All 2022 2021 2020 2019

All Journal Article Presentation

[Journal Article] Fixed Points Theorems for Non-Transitive Relations2022
- Author(s)
  Dubut Jeremy、Yamada Akihisa
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: Volume 18, Issue 1 Pages: 1-24
- DOI
  10.46298/lmcs-18(1:30)2022
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215
[Journal Article] Fibrational bisimulations and quantitative reasoning: Extended version2021
- Author(s)
  Sprunger David、Katsumata Shin-ya、Dubut Jeremy、Hasuo Ichiro
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 31 Issue: 6 Pages: 1526-1559
- DOI
  10.1093/logcom/exab051
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215
[Journal Article] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021
- Author(s)
  Pruekprasert Sasinee、Eberhart Clovis、Dubut Jeremy
- Journal Title
  
  2021 60th IEEE Conference on Decision and Control (CDC)
  
  Volume: なし Pages: 1-8
- DOI
  10.1109/cdc45484.2021.9683328
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215, KAKENHI-PROJECT-21K14191
[Journal Article] Relational Differential Dynamic Logic2020
- Author(s)
  Juraj Kolcak, Jeremy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger and Akihisa Yamada
- Journal Title
  
  TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems
  
  Volume: 12078 Pages: 191-208
- DOI
  10.1007/978-3-030-45190-5_11
- ISBN
  9783030451899, 9783030451905
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215, KAKENHI-PROJECT-15KT0012
[Journal Article] Bisimilarity of Diagrams2020
- Author(s)
  Dubut Jeremy
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12062 Pages: 65-81
- DOI
  10.1007/978-3-030-43520-2_5
- ISBN
  9783030435196, 9783030435202
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215
[Journal Article] Complete Non-Orders and Fixed Points2019
- Author(s)
  Akihisa Yamada and Jeremy Dubut
- Journal Title
  
  10th International Conference on Interactive Theorem Proving (ITP 2019)
  
  Volume: 141 Pages: 1-16
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215
[Journal Article] Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles2019
- Author(s)
  Sasinee Pruekprasert, Xiaoyi Zhang, Jeremy Dubut, Chao Huang and Masako Kishida
- Journal Title
  
  2019 IEEE Intelligent Transportation Systems Conference (ITSC)
  
  Volume: None Pages: 1-6
- DOI
  10.1109/itsc.2019.8917132
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215
[Presentation] Fixed-Point Theorems for Non-Transitive Relations2021
- Author(s)
  Jeremy Dubut
- Organizer
  TRS meeting
- Data Source
  KAKENHI-PROJECT-19K20215
[Presentation] Bisimilarity of Diagrams2020
- Author(s)
  Jeremy Dubut
- Organizer
  JSSST congress 2020
- Data Source
  KAKENHI-PROJECT-19K20215
[Presentation] Bisimilarity of Diagrams2020
- Author(s)
  Jeremy Dubut
- Organizer
  RAMiCS 2020
- Data Source
  KAKENHI-PROJECT-19K20215
[Presentation] Fixed Point Theorems for Non-Transitive Relations2020
- Author(s)
  Jeremy Dubut
- Organizer
  34th TRS meeting
- Data Source
  KAKENHI-PROJECT-19K20215

DUBUT Jeremy DUBUT Jeremy

Research Projects

Research Products

Synthesising directed structures in Computer Science using Directed Algebraic TopologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Fixed Points Theorems for Non-Transitive Relations2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fibrational bisimulations and quantitative reasoning: Extended version2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Relational Differential Dynamic Logic2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Bisimilarity of Diagrams2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Complete Non-Orders and Fixed Points2019

Author(s)

Journal Title

Data Source

[Journal Article] Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles2019

Author(s)

Journal Title

DOI

Data Source

[Presentation] Fixed-Point Theorems for Non-Transitive Relations2021

Author(s)

Organizer

Data Source

[Presentation] Bisimilarity of Diagrams2020

Author(s)

Organizer

Data Source

[Presentation] Bisimilarity of Diagrams2020

Author(s)

Organizer

Data Source

[Presentation] Fixed Point Theorems for Non-Transitive Relations2020

Author(s)

Organizer

Data Source