Armin Biere

Citado por

	Total	Desde 2019
Citas	25435	9677
Índice h	66	46
Índice i10	199	147

1800

900

450

1350

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024110 145 217 341 402 508 536 604 737 770 869 937 1043 1240 1399 1237 1488 1409 1374 1460 1610 1701 1565 1673 1641

Acceso público

Ver todo

105 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Yunshan ZhueK12, Inc.Dirección de correo verificada de eK12.com
Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Martina SeidlUniv.-Prof., JKU LinzDirección de correo verificada de jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenDirección de correo verificada de kth.se
Mathias FleuryUniversity FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Andreas FröhlichJKU LinzDirección de correo verificada de jku.at
Florian LonsingUnaffiliatedDirección de correo verificada de florianlonsing.com
Aina NiemetzStanford UniversityDirección de correo verificada de cs.stanford.edu
Mathias PreinerStanford UniversityDirección de correo verificada de cs.stanford.edu
Matti JärvisaloProfessor, University of HelsinkiDirección de correo verificada de helsinki.fi
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
Benjamin Kiesl-ReiterAmazon Web ServicesDirección de correo verificada de amazon.de
Nils FroleyksJohannes Kepler University, Linz, AustriaDirección de correo verificada de jku.at
Daniela KaufmannTU WienDirección de correo verificada de tuwien.ac.at
Manuel KauersJohannes Kepler University, Linz, AustriaDirección de correo verificada de kauers.de
Gergely KovásznaiEszterhazy Karoly UniversityDirección de correo verificada de aries.ektf.hu
Katalin FazekasPostdoc, TU WienDirección de correo verificada de tuwien.ac.at
Daniel KroeningAmazonDirección de correo verificada de amazon.com

Seguir

Armin Biere

Professor of Computer Science, University of Freiburg

Dirección de correo verificada de informatik.uni-freiburg.de - Página principal

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	3496	1999
Handbook of satisfiability A Biere, M Heule, H van Maaren, T Walsh IOS press, 2009	2902	2009
Bounded model checking A Biere handbook of Satisfiability, 739-764, 2021	1732	2021
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19, 7-34, 2001	1131	2001
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	1080	1999
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere International conference on theory and applications of satisfiability …, 2005	959	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	696	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	568	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	423	2005
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020 A Biere, K Fazekas, M Fleury, M Heisinger SAT COMPETITION 50, 2020, 2020	416	2020
Resolve and expand A Biere International conference on theory and applications of satisfiability …, 2004	374	2004
Lingeling, plingeling and treengeling entering the sat competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	301	2013
Inprocessing rules M Järvisalo, MJH Heule, A Biere International Joint Conference on Automated Reasoning, 355-370, 2012	291	2012
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	265	2003
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan Logical Methods in Computer Science 2, 2006	249	2006
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	241	2002
Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference, 50-65, 2011	239	2011
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere	238	2010
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	234	2014
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	225	1999

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores