基本情報

所属
国立情報学研究所
Japanese French Laboratory for Informatics
学位
doctor(ENS Paris-Saclay)

研究者番号
50836765
J-GLOBAL ID
201801019816267340

外部リンク

受賞

  2

論文

  12
  • Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
    ITSC 2019 2019年6月  査読有り
  • Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut
    Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková 2019年3月  査読有り
  • Akihisa Yamada, érémy Dubut
    10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA. 30:1-30:16 2019年  査読有り
  • Jérémy Dubut
    Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings 224 - 241 2019年  査読有り
  • Juraj Kolcák, Ichiro Hasuo, érémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
    Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. 284 - 285 2019年  査読有り

MISC

  4

共同研究・競争的資金等の研究課題

  1