Beate Bollig
About
Beate Bollig has authored 42 papers that have received a total of 440 indexed citations.
This includes 40 papers in Computational Theory and Mathematics, 24 papers in Artificial Intelligence and 7 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (31 papers), Machine Learning and Algorithms (14 papers) and semigroups and automata theory (10 papers). Beate Bollig is often cited by papers focused on Formal Methods in Verification (31 papers), Machine Learning and Algorithms (14 papers) and semigroups and automata theory (10 papers) and collaborates with scholars based in Germany, Czechia and Canada. Beate Bollig's co-authors include Ingo Wegener, Martin Anthony, Martin Sauerhoff, Detlef Sieling and Philipp Woelfel and has published in prestigious journals such as IEEE Transactions on Computers, 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 Otohiko Nomoto Top authors papers by Angshuman Guin are co-authored with Top journals papers by Sevgi Aydın are published in Top journals papers by Rodrigo Scattone Silva are published in Top journals papers by Yunfei Long are published in Top fields papers by Krishan Chugh are about Top journals papers by J. J. Brehm are published in Top countries impacted by papers by Kai Zheng