Kokichi Futatsugi
About
Kokichi Futatsugi has authored 57 papers that have received a total of 305 indexed citations.
This includes 41 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 15 papers in Information Systems. The topics of these papers are Formal Methods in Verification (31 papers), Logic, programming, and type systems (28 papers) and Model-Driven Software Engineering Techniques (9 papers). Kokichi Futatsugi is often cited by papers focused on Formal Methods in Verification (31 papers), Logic, programming, and type systems (28 papers) and Model-Driven Software Engineering Techniques (9 papers) and collaborates with scholars based in Japan, Spain and China. Kokichi Futatsugi's co-authors include Kazuhiro Ogata, Masaki Nakamura, Kazuo Ogata, Răzvan Diaconescu and José Meseguer and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information Processing Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Angelo V. Vasiliadis are co-authored with Top countries impacted by papers by Ebrahim Nasiri Top authors papers by MK Rahman are co-authored with Top journals papers by Suk Jung Han are published in Top journals papers by Lifeng Ma are published in Top countries impacted by papers by Eizen Kimura Top fields papers by Kuen-Jong Lee are about Top countries impacted by papers by Nelson Hauck Filho