Shin-ya Katsumata
About
Shin-ya Katsumata has authored 27 papers that have received a total of 128 indexed citations.
This includes 22 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (10 papers). Shin-ya Katsumata is often cited by papers focused on Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in Japan, United Kingdom and United States. Shin-ya Katsumata's co-authors include Marco Gaboardi, Tarmo Uustalu, Arthur Azevedo de Amorim, Justin Hsu and Ichiro Hasuo and has published in prestigious journals such as Mathematical Proceedings of the Cambridge Philosophical Society, ACM SIGPLAN Notices and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Richard Blanke are published in Top countries impacted by papers by Miklós Szanyi Top authors papers by Neelam Duhan are co-authored with Top fields papers by Luis Benítez de Lugo Enrich are about Top authors papers by Yue Yuan are co-authored with Top journals papers by Thomas Kühn are published in Top fields papers by Thomas Schulz are about Top journals papers by Mark Bracher are published in