Beate Bollig
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
- Complexity and Algorithms in Graphs
Papers in
-
- Formal Methods in Verification 22
- Complexity and Algorithms in Graphs 10
- semigroups and automata theory 7
-
- Machine Learning and Algorithms 10
- Logic, programming, and type systems 3
- Co-authors
- Ingo Wegener (13 shared papers)Philipp Woelfel (3 shared papers)Detlef Sieling (2 shared papers)Robert H. Sloan (1 shared paper)Tiziano Villa (1 shared paper)Jehoshua Bruck (1 shared paper)Charles J. Colbourn (1 shared paper)John Franco (1 shared paper)
- Journals
- Theoretical Computer Science (5 papers)Theory of Computing Systems (4 papers)Information and Computation (3 papers)Discrete Applied Mathematics (1 paper)Information Processing Letters (9 papers)
- Partner nations
- GermanySwitzerlandBelgium
In The Last Decade
Beate Bollig
29 papers receiving 476 citations
Peers
Comparison fields: 5 of 43
- Software 137
- Computational Theory and Mathematics 314
- Hardware and Architecture 87
- Artificial Intelligence 271
- Computer Networks and Communications 78
Countries citing papers authored by Beate Bollig
This map shows the geographic impact of Beate Bollig's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Beate Bollig with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Beate Bollig more than expected).
Fields of papers citing papers by Beate Bollig
This network shows the impact of papers produced by Beate Bollig. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Beate Bollig. The network helps show where Beate Bollig may publish in the future.
Co-authors
The 18 scholars most cited alongside Beate Bollig, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 33 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1996 | 314 | |
| 2 | 2010 | 66 | |
| 3 | 1996 | 23 | |
| 4 | 1999 | 19 | |
| 5 | 1998 | 13 | |
| 6 | 2001 | 13 | |
| 7 | 1998 | 13 | |
| 8 | 1999 | 10 | |
| 9 | 2011 | 7 | |
| 10 | 2010 | 6 | |
| 11 | On the Power of Different Types of Restricted Branching Programs | 1994 | 5 |
| 12 | 2003 | 5 | |
| 13 | 2015 | 5 | |
| 14 | 2010 | 3 | |
| 15 | 2013 | 3 | |
| 16 | 2004 | 2 | |
| 17 | 2009 | 2 | |
| 18 | 2009 | 2 | |
| 19 | 2014 | 1 | |
| 20 | Integer Multiplicaton and the Complexity of Binary Decision Diagrams. | 2009 | 1 |
About Beate Bollig
Beate Bollig is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Hardware and Architecture, Electrical and Electronic Engineering and Software, having authored 33 papers that have together received 524 indexed citations. Recurring topics across this work include Formal Methods in Verification (22 papers), Machine Learning and Algorithms (10 papers), Complexity and Algorithms in Graphs (10 papers), semigroups and automata theory (7 papers), Software Reliability and Analysis Research (4 papers), Low-power high-performance VLSI design (4 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (3 papers). The work is most often cited by research in Software (137 citations), Computational Theory and Mathematics (314 citations), Hardware and Architecture (87 citations), Artificial Intelligence (271 citations) and Computer Networks and Communications (78 citations). Beate Bollig has collaborated with scholars based in Germany, Switzerland and Belgium. Frequent co-authors include Ingo Wegener, Philipp Woelfel, Detlef Sieling, Robert H. Sloan, Tiziano Villa, Jehoshua Bruck, Charles J. Colbourn, John Franco, Claude Carlet and Reinhard Pöschel. Their work appears in journals such as Theoretical Computer Science, Theory of Computing Systems, Information and Computation, Discrete Applied Mathematics and Information Processing Letters.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.