Paul Gastin
About
Paul Gastin has authored 44 papers that have received a total of 363 indexed citations.
This includes 42 papers in Computational Theory and Mathematics, 33 papers in Artificial Intelligence and 7 papers in Computer Networks and Communications. The topics of these papers are semigroups and automata theory (26 papers), Formal Methods in Verification (24 papers) and Logic, programming, and type systems (23 papers). Paul Gastin is often cited by papers focused on semigroups and automata theory (26 papers), Formal Methods in Verification (24 papers) and Logic, programming, and type systems (23 papers) and collaborates with scholars based in France, Germany and India. Paul Gastin's co-authors include Volker Diekert, Antoine Petit, Marc Zeitoun, Manfred Droste and Benjamin Monmege and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Snehal Kulkarni are about Top journals papers by Nasharuddin Zainal are published in Top fields papers by Ruzaini Abdullah Arshah are about Top authors papers by Atif Yaqub are co-authored with Top journals papers by Kotaro Inoue are published in Top fields papers by Jocelyne Porcher are about Top authors papers by Shaokang Chen are co-authored with Top fields papers by Akihiko Kawaura are about