Science Explorer Back to mapMap
Discussion
Researcher · Johannes Kepler University of Linz · Austria

Armin Biere

Armin Biere publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

ORCID 0000-0001-7170-9242 OpenAlex
World rank
#115,769
of 7,710,434 ranked researchers
Rank in Austria
#1,000
of 43,330
Works
309
Citations
15k
Citations per work
47.1
h-index
53
i10-index 158Top 0.7% in Computational Theory and Mathematics
Armin Biere

What does Armin Biere research?

Armin Biere's work is mostly in Computer Science (86%), Engineering (3%).

Physical Sciences: 273 works · 88.5% of their workComputer Science: 264 works · 85.5% of their workComputational Theory and Mathematics: 86 works · 27.9% of their workArtificial Intelligence: 80 works · 26.0% of their workSoftware: 56 works · 18.1% of their workComputer Networks and Communications: 27 works · 8.7% of their workHardware and Architecture: 15 works · 4.8% of their workEngineering: 9 works · 3.0% of their workElectrical and Electronic Engineering: 9 works · 3.0% of their workEverything else: 36 works · 11.5% of their workTHEIR WORKArmin Biere309works
Physical Sciences88%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science26485.5%
    2. Engineering93.0%
  2. Everything else3611.5%
  1. 1Computational Theory and Mathematics28% of their works
  2. 2Artificial Intelligence26% of their works
  3. 3Software18% of their works
  4. 4Computer Networks and Communications9% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Electrical and Electronic Engineering3% of their works

Research topics

Which keywords describe Armin Biere's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing and Software Fault Localization.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking3593 topics
  2. Temporal Logic2502 topics
  3. Satisfiability Modulo Theories2121 topic
  4. Symbolic Model Checker2121 topic
  5. Formal Verification1091 topic
  6. Static Analysis1091 topic
  7. Automated Testing861 topic
  8. Software Fault Localization861 topic
  9. Constraint Optimization471 topic
  10. Distributed Algorithms471 topic
  11. Answer Set Programming381 topic
  12. Modal Logic381 topic
  13. Domain-Specific Languages361 topic
  14. Model-Driven Engineering361 topic
  15. Architecture-Based Approach281 topic
  16. Software Reliability Modeling281 topic
  17. Radiation Effects151 topic
  18. Soft Errors151 topic

Where does Armin Biere work?

Armin Biere's main affiliation in the publication record is Johannes Kepler University of Linz, Austria.

How many publications and citations does Armin Biere have?

OpenAlex counts 309 works and 14,545 citations for Armin Biere, an h-index of 53, ranking #115,769 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Armin Biere. Posts are plain text and can be reported.