Concepedia

Armin Biere

AB

Statistics

Publications

76

Citations

5.2K

H-Index

35

Active since

1999

Affiliations

Johannes Kepler University of Linz(Current)

The University of Texas at Austin

Armin Biere is an author at Johannes Kepler University of Linz specializing in computing, computer science, and algorithms.

Publications per year

1999–2023

76

Publications

76

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

Computing, Computer Engineering, Computer Science +16

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations

Computing, Computer Science, Formal Methods +8

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 · 2005 · 276 citations

Computing, Computer Engineering, Computer Science +14

Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila et al. · Logical Methods in Computer Science · 2006 · 225 citations · Full text

Computing, Computer Science, Algorithms +8

High‐level data races

Cyrille Artho, Klaus Havelund, Armin Biere · Software Testing Verification and Reliability · 2003 · 191 citations · Full text

Computing, Computer Science, Computer Architecture +10

1–5 of 76