Shin-ya Katsumata
发表
Shin-ya Katsumata,
2002,
WADT.
Ichiro Hasuo,
Shin-ya Katsumata,
Thorsten Wißmann,
2019,
FoSSaCS.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
ArXiv.
David Sprunger,
Ichiro Hasuo,
Akihisa Yamada,
2019,
TACAS.
Alan Mycroft,
Shin-ya Katsumata,
Atsushi Ohori,
2001,
Proceedings Eighth Working Conference on Reverse Engineering.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Marco Gaboardi,
Tarmo Uustalu,
Flavien Breuvart,
2016,
ICFP.
Tetsuya Sato,
Shin-ya Katsumata,
2013,
FoSSaCS.
Shin-ya Katsumata,
2004,
ICALP.
Marco Gaboardi,
Justin Hsu,
Shin-ya Katsumata,
2018,
ArXiv.
Stefan Milius,
Shin-ya Katsumata,
Thorsten Wissmann,
2019
.
David Sprunger,
Shin-ya Katsumata,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Shin-ya Katsumata,
2014
.
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2018,
CMCS.
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2018,
ArXiv.
Shin-ya Katsumata,
Shin-ya Katsumata,
2013,
Inf. Comput..
Shin-ya Katsumata,
Koki Nishizawa,
Yuichi Komorida,
2020,
RAMiCS.
Dominic A. Orchard,
Shin-ya Katsumata,
Marco Gaboardi,
2020,
ESOP.
Shin-ya Katsumata,
Shin-ya Katsumata,
2005
.
Shin-ya Katsumata,
Koji Nakazawa,
Shin-ya Katsumata,
2012,
CL&C.
Shin-ya Katsumata,
Shin-ya Katsumata,
2005,
CSL.
Shin-ya Katsumata,
Shin-ya Katsumata,
2010,
APLAS.
Shin-ya Katsumata,
Paul-André Melliès,
Soichiro Fujii,
2016,
FoSSaCS.
Tarmo Uustalu,
Exequiel Rivas,
Shin-ya Katsumata,
2019,
LICS.
Ichiro Hasuo,
Kohei Suenaga,
Shin-ya Katsumata,
2021
.
Marco Gaboardi,
Justin Hsu,
Shin-ya Katsumata,
2017,
POPL.
Ichiro Hasuo,
Bartek Klin,
Shin-ya Katsumata,
2019,
New Generation Computing.
Shin-ya Katsumata,
Shin-ya Katsumata,
2008,
ICALP.
Donald Sannella,
Jo Erskine Hannay,
Shin-ya Katsumata,
2003,
MFCS.
Shin-ya Katsumata,
Shin-ya Katsumata,
2018,
FoSSaCS.
Shin-ya Katsumata,
2008,
CSL.
Tarmo Uustalu,
Tetsuya Sato,
Shin-ya Katsumata,
2018,
Log. Methods Comput. Sci..
Shin-ya Katsumata,
Atsushi Ohori,
2001,
ESOP.
Shin-ya Katsumata,
Shin-ya Katsumata,
2014,
POPL.
Shin-ya Katsumata,
2011,
ICALP.
Shin-ya Katsumata,
Arthur Azevedo de Amorim,
Justin Hsu,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Shin-ya Katsumata,
Susumu Nishimura,
2008,
J. Funct. Program..
Tetsuya Sato,
Shin-ya Katsumata,
2015,
CALCO.
Shin-ya Katsumata,
Susumu Nishimura,
2006,
ICFP '06.
Shin-ya Katsumata,
Alejandro Aguirre,
2020,
MFPS.
David Sprunger,
Ichiro Hasuo,
Akihisa Yamada,
2019,
HSCC.
Fuyuki Ishikawa,
Ichiro Hasuo,
Shin-ya Katsumata,
2021,
TAP@STAF.
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2021,
Proc. ACM Program. Lang..
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
pdf
Kenta Cho,
Ichiro Hasuo,
Kohei Suenaga,
2021,
ArXiv.
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2021,
J. Log. Comput..
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
pdf
Ichiro Hasuo,
Shin-ya Katsumata,
Mayuko Kori,
2021,
CONCUR.
Shin-ya Katsumata,
Yoji Fukihara,
Shin-ya Katsumata,
2021,
FoSSaCS.
Jurriaan Rot,
Ichiro Hasuo,
Clemens Kupke,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Rick Salay,
Krzysztof Czarnecki,
Fuyuki Ishikawa,
2021,
NFM.
Shota Motoura,
Shin-ya Katsumata,
2022,
LFCS.
Shin-ya Katsumata,
Shin-ya Katsumata,
2007
.
Marco Gaboardi,
Tarmo Uustalu,
Flavien Breuvart,
2016
.