Shin-ya Katsumata
发表
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2018,
CMCS.
Cheng Yang,
Masaki Nishijima,
G. Fukuhara,
2016,
Journal of the American Chemical Society.
Tetsuya Sato,
Shin-ya Katsumata,
2022,
Math. Struct. Comput. Sci..
Ohad Kammar,
Shin-ya Katsumata,
2019
.
Shin-ya Katsumata,
2009
.
Cheng Yang,
Masaki Nishijima,
G. Fukuhara,
2012,
Organic letters.
David Sprunger,
Ichiro Hasuo,
Akihisa Yamada,
2019,
TACAS.
Ichiro Hasuo,
Bartek Klin,
Shin-ya Katsumata,
2019,
New Generation Computing.
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2018,
ArXiv.
Ohad Kammar,
Shin-ya Katsumata,
P. Saville,
2022,
Proc. ACM Program. Lang..
Dominic A. Orchard,
Shin-ya Katsumata,
Marco Gaboardi,
2020,
ESOP.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
ArXiv.
Marco Gaboardi,
Justin Hsu,
Shin-ya Katsumata,
2017,
POPL.
Shin-ya Katsumata,
Shin-ya Katsumata,
2010,
APLAS.
Shin-ya Katsumata,
Shin-ya Katsumata,
2007
.
Shin-ya Katsumata,
Shin-ya Katsumata,
2014,
POPL.
Donald Sannella,
Jo Erskine Hannay,
Shin-ya Katsumata,
2003,
MFCS.
Shin-ya Katsumata,
Shin-ya Katsumata,
2005,
CSL.
Shin-ya Katsumata,
Shin-ya Katsumata,
2013,
Inf. Comput..
Rick Salay,
Krzysztof Czarnecki,
Fuyuki Ishikawa,
2021,
NFM.
Dominic A. Orchard,
Marco Gaboardi,
Flavien Breuvart,
2016
.
Shin-ya Katsumata,
Yoji Fukihara,
Shin-ya Katsumata,
2021,
FoSSaCS.
Shin-ya Katsumata,
Shin-ya Katsumata,
2018,
FoSSaCS.
Marco Gaboardi,
Tarmo Uustalu,
Flavien Breuvart,
2016
.
Shin-ya Katsumata,
Paul-André Melliès,
Soichiro Fujii,
2016,
FoSSaCS.
Tarmo Uustalu,
Exequiel Rivas,
Shin-ya Katsumata,
2019,
LICS.
Shin-ya Katsumata,
Shin-ya Katsumata,
2005
.
Jurriaan Rot,
Ichiro Hasuo,
Clemens Kupke,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Tarmo Uustalu,
Tetsuya Sato,
Shin-ya Katsumata,
2018,
Log. Methods Comput. Sci..
Fuyuki Ishikawa,
Ichiro Hasuo,
Shin-ya Katsumata,
2021,
TAP@STAF.
Dominic A. Orchard,
Marco Gaboardi,
Flavien Breuvart,
2016,
ICFP.
Shin-ya Katsumata,
Shin-ya Katsumata,
2008,
ICALP.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kohei Suenaga,
I. Hasuo,
Shin-ya Katsumata,
2022,
CAV.
Nicolas Wu,
Shin-ya Katsumata,
Dylan McDermott,
2022,
Proc. ACM Program. Lang..
Shin-ya Katsumata,
Koki Nishizawa,
Yuichi Komorida,
2020,
RAMiCS.
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,
Koji Nakazawa,
Shin-ya Katsumata,
2012,
CL&C.
Shin-ya Katsumata,
Arthur Azevedo de Amorim,
Justin Hsu,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Marco Gaboardi,
Justin Hsu,
Shin-ya Katsumata,
2018,
ArXiv.
J. Rot,
Shin-ya Katsumata,
Mayuko Kori,
2024,
2404.08308.
Kohei Suenaga,
Clovis Eberhart,
I. Hasuo,
2021,
J. Log. Algebraic Methods Program..
Ichiro Hasuo,
Kohei Suenaga,
Shin-ya Katsumata,
2021
.