Armin Biere

Geciteerd door

	Alles	Sinds 2018
Citaties	21883	7592
h-index	60	41
i10-index	176	122

1700

850

425

1275

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202358 106 158 204 326 377 475 522 574 724 776 855 902 1054 1234 1381 1257 1473 1423 1371 1446 1562 1624 1457 130

Openbare toegang

Alles bekijken

90 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Yunshan ZhueK12, Inc.Geverifieerd e-mailadres voor eK12.com
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
Martina SeidlUniv.-Prof., JKU LinzGeverifieerd e-mailadres voor jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenGeverifieerd e-mailadres voor kth.se
Ofer StrichmanTechnion, Haifa, IsraelGeverifieerd e-mailadres voor ie.technion.ac.il
Andreas FröhlichJKU LinzGeverifieerd e-mailadres voor jku.at
Florian LonsingGeverifieerd e-mailadres voor florianlonsing.com
Matti JärvisaloProfessor, University of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
Aina NiemetzStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
Mathias PreinerStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
Benjamin Kiesl-ReiterAmazon Web ServicesGeverifieerd e-mailadres voor amazon.de
Daniela KaufmannTU WienGeverifieerd e-mailadres voor tuwien.ac.at
Gergely KovásznaiEszterhazy Karoly UniversityGeverifieerd e-mailadres voor aries.ektf.hu
Manuel KauersJohannes Kepler University, Linz, AustriaGeverifieerd e-mailadres voor kauers.de
Mathias FleuryUniversity FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
Daniel KroeningAmazonGeverifieerd e-mailadres voor amazon.com
Carsten SinzKarlsruhe Institute of Technology (KIT)Geverifieerd e-mailadres voor kit.edu

Volgen

Armin Biere

Professor of Computer Science, University of Freiburg

Geverifieerd e-mailadres voor informatik.uni-freiburg.de - Homepage

Satisfiability Formal Verification Model Checking Testing Debugging


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Symbolic model checking without BDDs A Biere, A Cimatti, E Clarke, Y Zhu Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999	3262	1999
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2386	2009
Bounded Model Checking. A Biere Handbook of satisfiability 185, 457-481, 2009	1549	2009
Symbolic model checking using SAT procedures instead of BDDs A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 1999	1037	1999
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19, 7-34, 2001	1024	2001
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere SAT 3569, 61-75, 2005	896	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	634	2008
Boolector: An efficient SMT solver for bit-vectors and arrays R Brummayer, A Biere Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009	516	2009
A survey of recent advances in SAT-based formal verification MR Prasad, A Biere, A Gupta International Journal on Software Tools for Technology Transfer 7, 156-173, 2005	391	2005
Resolve and expand A Biere Theory and Applications of Satisfiability Testing: 7th International …, 2005	358	2005
Lingeling, plingeling and treengeling entering the sat competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	278	2013
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	260	2003
Inprocessing rules M Järvisalo, MJH Heule, A Biere Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012	232	2012
Verifying safety properties of a PowerPC− microprocessor using symbolic model checking without BDDs A Biere, E Clarke, R Raimi, Y Zhu Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	226	1999
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere	224	2010
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan arXiv preprint cs/0611029, 2006	223	2006
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	218	2002
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	182	2014
DepQBF: A dependency-aware QBF solver F Lonsing, A Biere Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 71-76, 2010	182	2010
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020 A Biere, K Fazekas, M Fleury, M Heisinger SAT COMPETITION 50, 2020, 2020	179	2020

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs