Olivier Bournez

30 papers and 312 indexed citations i.

About

Olivier Bournez has authored 30 papers that have received a total of 312 indexed citations. This includes 22 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 3 papers in Computer Networks and Communications. The topics of these papers are Computability, Logic, AI Algorithms (17 papers), semigroups and automata theory (12 papers) and Formal Methods in Verification (7 papers). Olivier Bournez is often cited by papers focused on Computability, Logic, AI Algorithms (17 papers), semigroups and automata theory (12 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in France, Portugal and United Kingdom. Olivier Bournez's co-authors include Daniel S. Graça, Johanne Cohen, Felipe Cucker, Jean-Yves Marion and Igor Potapov and has published in prestigious journals such as Proceedings of the IEEE, Journal of the ACM and Applied Mathematics and Computation

In The Last Decade

Rankless by CCL
2025