Armin Biere - Concepedia

Author

Armin Biere

Johannes Kepler University of Linz ORCID

Also Known As

A. Biere, Armin Biere, Benjamin Kiesl, Biere Armin, Biere, Armin, Sebastiani, Roberto

295

Publications

14.1K

Citations

H-Index

Concepts

All Affiliations

Johannes Kepler University of Linz ETH Zurich TU Wien The University of Texas at Austin

About

Armin Biere is an author at Johannes Kepler University of Linz specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	32	55	3.7K
2	Computer Engineering	25	37	2.6K
3	Business	1	1	11
4	Health Sciences	1	1	34
5	African American Studies	1	1	44

Armin Biere

Publications

5.1K

Citations

H-Index

Page 1

	Year	Citations
Symbolic model checking using SAT procedures instead of BDDs Armin Biere, Alessandro Cimatti, E. M. Clarke, Theory Of ComputingArticle Symbolic ModelEngineeringAutomated ReasoningVerification	1999	688
Bounded Model Checking Using Satisfiability Solving Edmund M. Clarke, Armin Biere, Richard Raimi, Formal Methods in System Design	2001	667
A survey of recent advances in SAT-based formal verification Mukul R. Prasad, Armin Biere, Aarti Gupta International Journal on Software Tools for Technology Transfer EngineeringAutomated ReasoningSat-based Formal VerificationVerificationSat Solving	2005	271
Linear Encodings of Bounded LTL Model Checking Armin Biere, Keijo Heljanko, Tommi Junttila, Logical Methods in Computer Science EngineeringVerificationComputer-aided VerificationLinear EncodingsModel Checking	2006	223
High‐level data races Cyrille Artho, Klaus Havelund, Armin Biere Software Testing Verification and Reliability EngineeringSoftware SystemsConcurrent SystemHigh‐level Data RacesData Structure	2003	190
PicoSAT Essentials Armin Biere Journal on Satisfiability Boolean Modeling and Computation EngineeringData ScienceVery Large DatabaseAutomated ReasoningSat Solving	2008	177
Liveness Checking as Safety Checking Armin Biere, Cyrille Artho, Viktor Schuppan Electronic Notes in Theoretical Computer Science EngineeringVerificationSafety ScienceComputer-aided VerificationModel Checking	2002	166
Lingeling, Plingeling and Treengeling Entering the SAT Competition 2013 Armin Biere	2013	148
DepQBF: A Dependency-Aware QBF Solver Florian Lonsing, Armin Biere Journal on Satisfiability Boolean Modeling and Computation EngineeringBoolean FunctionCompact Dependency GraphsSoftware AnalysisFormal Verification	2010	133
Boolector 2.0 Aina Niemetz, Mathias Preiner, Armin Biere Journal on Satisfiability Boolean Modeling and Computation EngineeringBoolean FunctionSmt Solver BoolectorParticle PhysicsQuantum Field Theory	2015	124

Page 1