Heribert Vollmer
About
Heribert Vollmer has authored 77 papers that have received a total of 580 indexed citations.
This includes 64 papers in Computational Theory and Mathematics, 43 papers in Artificial Intelligence and 14 papers in Computer Networks and Communications. The topics of these papers are semigroups and automata theory (28 papers), Logic, Reasoning, and Knowledge (24 papers) and Formal Methods in Verification (23 papers). Heribert Vollmer is often cited by papers focused on semigroups and automata theory (28 papers), Logic, Reasoning, and Knowledge (24 papers) and Formal Methods in Verification (23 papers) and collaborates with scholars based in Germany, France and Finland. Heribert Vollmer's co-authors include Nadia Creignou, Michael E. Thomas, Arne Meier, Thomas Schneider and Martin Mundhenk 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 fields papers by Yunpeng Zhang are about Top fields papers by Rosalind Dixon are about Top authors papers by David Altschul are co-authored with Top countries impacted by papers by Jifang Qiu Top authors papers by J Natali are co-authored with Top fields papers by Pawel A. Dmochowski are about Top authors papers by Vladimir V. Rybakov are co-authored with Top journals papers by Paul L. Dressel are published in