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 authors papers by Seidamir Pasha Tabaeian are co-authored with Top authors papers by Henry J. Cadbury are co-authored with Top fields papers by Paul Russell are about Top journals papers by Michael Farrell are published in Top countries impacted by papers by Luca Rubini Top authors papers by B. Tomé are co-authored with Top fields papers by Fariba Adelkhah are about Top fields papers by Francisco Contreras Cortés are about