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 Constraint Satisfaction and Optimization.
- World rank
- #85,245 of 1,633,909 ranked researchers
- Rank in Austria
- #731 of 10,230
- Works
- 64
- Citations
- 490
- Citations per work
- 7.7
What does Armin Biere research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics25% of their works
- 2Artificial Intelligence21% of their works
- 3Software15% of their works
- 4Computer Networks and Communications13% of their works
- 5Hardware and Architecture9% of their works
- 6Electrical and Electronic Engineering6% of their works
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Constraint Satisfaction and Optimization
- Software Testing and Debugging Techniques
- Security and Verification in Computing
- Model-Driven Software Engineering Techniques
- Radiation Effects in Electronics
- Software Reliability and Analysis Research
Which keywords describe Armin Biere's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Constraint Optimization, Distributed Algorithms, Formal Verification, Static Analysis and Automated Testing.
- Architecture-Based Approach
- Radiation Effects
- Domain-Specific Languages
- Security Policies
- Automated Testing
- Formal Verification
- Constraint Optimization
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Distributed Algorithms
- Static Analysis
- Software Fault Localization
- Side-Channel Attacks
- Model-Driven Engineering
- Soft Errors
- Software Reliability Modeling
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 17 words, with their numbers
- Model Checking342 topics
- Satisfiability Modulo Theories241 topic
- Symbolic Model Checker241 topic
- Constraint Optimization101 topic
- Distributed Algorithms101 topic
- Formal Verification101 topic
- Static Analysis101 topic
- Automated Testing81 topic
- Software Fault Localization81 topic
- Security Policies51 topic
- Side-Channel Attacks51 topic
- Domain-Specific Languages41 topic
- Model-Driven Engineering41 topic
- Radiation Effects41 topic
- Soft Errors41 topic
- Architecture-Based Approach31 topic
- Software Reliability Modeling31 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?
Science Explorer counts 64 works and 490 citations for Armin Biere, ranking #85,245 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.