Géraud Sénizergues
About
Géraud Sénizergues has authored 27 papers that have received a total of 233 indexed citations.
This includes 25 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 6 papers in Geometry and Topology. The topics of these papers are semigroups and automata theory (25 papers), Logic, programming, and type systems (17 papers) and Formal Methods in Verification (13 papers). Géraud Sénizergues is often cited by papers focused on semigroups and automata theory (25 papers), Logic, programming, and type systems (17 papers) and Formal Methods in Verification (13 papers) and collaborates with scholars based in France, Germany and United States. Géraud Sénizergues's co-authors include Luc Boasson, Volker Diekert, Markus Lohrey, Jean-Michel Autebert and Michał Pilipczuk and has published in prestigious journals such as SIAM Journal on Computing, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Mariluz Guenaga are published in Top journals papers by Stevan Maksimović are published in Top journals papers by David Kuehn are published in Top authors papers by J. Celeste are co-authored with Top journals papers by Brad M. Taicher are published in Top authors papers by Franz-Jürgen Delvos are co-authored with Top countries impacted by papers by Maria Berge Top fields papers by Manfred Jäger are about