1. A decision procedure for quantified boolean formulae

Plaisted, David und Biere, Armin (2000)

Tagungsbeiträge

2. Beyond SAT and BDD based model checking

Biere, Armin (2001)

Tagungsbeiträge

3. Bounded Model Checking

Biere, Armin (2000)

Tagungsbeiträge

4. Combined Static and Dynamic Analysis

Artho, Cyrille und Biere, Armin (2005)

Reports

5. Formal background and algorithms

Biere, Armin (2001)

Tagungsbeiträge

6. Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen

Biere, Armin (2001)

Tagungsbeiträge

7. Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen

Biere, Armin (2001)

Lehrmaterialien

8. Shortest Counterexamples for Symbolic Model Checking of LTL with Past

Schuppan, Viktor und Biere, Armin (2005)

Reports

9. The Evolution from LIMMAT to NANOSAT

Biere, Armin (2004)

Reports