Pierre McKenzie

45 papers and 679 indexed citations i.

About

Pierre McKenzie has authored 45 papers that have received a total of 679 indexed citations. This includes 42 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 9 papers in Molecular Biology. The topics of these papers are semigroups and automata theory (26 papers), Combinatorial Optimization and Complexity Theory (17 papers) and Formal Methods in Verification (12 papers). Pierre McKenzie is often cited by papers focused on semigroups and automata theory (26 papers), Combinatorial Optimization and Complexity Theory (17 papers) and Formal Methods in Verification (12 papers) and collaborates with scholars based in Canada, Germany and France. Pierre McKenzie's co-authors include Denis Thérien, Heribert Vollmer, Stephen Cook, Alain Finkel and Alain Finkel and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Journal of Computer and System Sciences

In The Last Decade

Rankless by CCL
2025