Benjamin Monmege

10 papers and 45 indexed citations i.

About

Benjamin Monmege has authored 10 papers that have received a total of 45 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 2 papers in Management Science and Operations Research. The topics of these papers are Formal Methods in Verification (7 papers), semigroups and automata theory (6 papers) and Logic, programming, and type systems (3 papers). Benjamin Monmege is often cited by papers focused on Formal Methods in Verification (7 papers), semigroups and automata theory (6 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in France, Belgium and Spain. Benjamin Monmege's co-authors include Paul Gastin, Gilles Geeraerts, Benedikt Bollig, Thomas Brihaye and Serge Haddad and has published in prestigious journals such as Theoretical Computer Science, Soft Computing and Acta Informatica

In The Last Decade

Rankless by CCL
2025