DUBUT Jeremy  DUBUT Jeremy

Logical Methods in Computer Science

巻: Volume 18, Issue 1 ページ: 1-24

10.46298/lmcs-18(1:30)2022

Journal of Logic and Computation

巻: 31 号: 6 ページ: 1526-1559

10.1093/logcom/exab051

2021 60th IEEE Conference on Decision and Control (CDC)

巻: なし ページ: 1-8

10.1109/cdc45484.2021.9683328

TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems

巻: 12078 ページ: 191-208

10.1007/978-3-030-45190-5_11

Lecture Notes in Computer Science

巻: 12062 ページ: 65-81

10.1007/978-3-030-43520-2_5

10th International Conference on Interactive Theorem Proving (ITP 2019)

巻: 141 ページ: 1-16

2019 IEEE Intelligent Transportation Systems Conference (ITSC)

巻: None ページ: 1-6

10.1109/itsc.2019.8917132