The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Armin Biere sits on this spectrum.
This scientist: 252 publications — 63rd percentile
63% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Armin Biere sits on this spectrum.
This scientist: 62 D-Index — 80th percentile
80% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Armin Biere is a researcher affiliated with the University of Freiburg in Germany, specializing primarily in computer science. Their work spans across various subfields including artificial intelligence, computational theory and mathematics, software, electrical and electronic engineering, and computer networks and communications.
The main research topics addressed by Armin Biere include:
Their publication record features numerous papers, with notable recent works such as:
In addition to journal and conference articles, Armin Biere has contributed to book publications. Two books were published by Springer Science+Business Media titled Tools and Algorithms for the Construction and Analysis of Systems in 2020.
Frequent co-authors collaborating with Armin Biere include:
Publications by Armin Biere are often found in venues such as:
Their work largely involves areas related to formal verification methods, software testing, logic, and constraint optimization, reflecting considerable breadth in theoretical and applied aspects of computer science.
Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Yunshan Zhu
Armin Biere;Marijn Heule;Hans van Maaren;Toby Walsh
A. Biere;M. Heule;H. van Maaren;T. Walsh
Armin Biere
Edmund Clarke;Armin Biere;Richard Raimi;Yunshan Zhu
A. Biere;A. Cimatti;E. M. Clarke;M. Fujita
Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Ofer Strichman
Niklas Eén;Armin Biere
Robert Brummayer;Armin Biere
Mukul R. Prasad;Armin Biere;Aarti Gupta
Armin Biere
Armin Biere
Cyrille Artho;Klaus Havelund;Armin Biere
Matti Järvisalo;Marijn J. H. Heule;Armin Biere
Armin Biere;Carla P. Gomes
Armin Biere;Cyrille Artho;Viktor Schuppan
Armin Biere;Keijo Heljanko;Tommi A. Junttila;Timo Latvala
Armin Biere;Armin Biere;Edmund M. Clarke;Richard Raimi;Yunshan Zhu
Armin Biere
Marijn J. H. Heule;Oliver Kullmann;Siert Wieringa;Armin Biere
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA opens the door to a variety of rewarding online degrees and certifications. Many choose to expand their skills in closely related fields, like Engineering or Information Technology. If you’re interested in specialized technology programs, top online electrical engineering schools offer flexible, reputable options to deepen your expertise.
Not everyone needs a traditional four-year degree to find high-paying technology jobs. For those looking for quicker options, there are certificate programs that pay well, ranging from tech support to cybersecurity certifications. These certificates can jumpstart your career or enhance your current role in the tech industry.
Time is a crucial factor for many working professionals. Pursuing the fastest online master's degree allows you to quickly gain advanced credentials while continuing to work. This route is ideal for career switchers or those seeking rapid advancement in roles such as data analyst, software developer, or IT manager.
Finally, consider investing in one of the most useful graduate degrees to enhance your long-term prospects. In-demand programs cover topics such as artificial intelligence, data science, and business analytics—a perfect complement to your computer science foundation.
University of Agricultural Sciences and Veterinary Medicine of Cluj-Napoca
University of California, Berkeley
University of Massachusetts Chan Medical School
Chinese Academy of Sciences
Australian National University
Sapienza University of Rome
National Radio Astronomy Observatory
Stony Brook University
Neuroscience Research Australia
University of South Australia
Shandong University of Technology
Technical University of Denmark
Beijing University of Chemical Technology
University of Iowa
CY Cergy Paris University
University of Toronto
