Armin Biere
Scholar

Armin Biere

Google Scholar ID: V6ES1nIAAAAJ
Professor of Computer Science, University of Freiburg
SatisfiabilityAutomated ReasoningFormal VerificationModel CheckingDebugging
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
26,776
 
H-index
68
 
i10-index
217
 
Publications
20
 
Co-authors
120
list available
Contact
No contact links provided.
Publications
1 items
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
2026
Cited
0
Resume (English only)
Co-authors
120 total
Marijn Heule
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Martina Seidl
Martina Seidl
Univ.-Prof., JKU Linz
Alessandro Cimatti
Alessandro Cimatti
Fondazione Bruno Kessler
Mathias Fleury
Mathias Fleury
University Freiburg
Cyrille Artho
Cyrille Artho
KTH Royal Institute of Technology, Sweden
Mathias Preiner
Mathias Preiner
Stanford University