Heribert Vollmer
About
Heribert Vollmer has authored 77 papers that have received a total of 581 indexed citations.
This includes 64 papers in Computational Theory and Mathematics, 44 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 countries impacted by papers by Haihua Chen Top fields papers by Pawel A. Dmochowski are about Top fields papers by H. G. O. Becker are about Top authors papers by A. Ljubičić are co-authored with Top fields papers by Jakub Sikora are about Top authors papers by Olga Meltem Akay are co-authored with Top countries impacted by papers by Cécile Tromeur Top fields papers by Santosh Varughese are about