Armin Biere - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	16087	7810
Índice h	51	38
Índice i10	142	116

1400

700

350

1050

19992000200120022003200420052006200720082009201020112012201320142015201620172018201949 89 132 183 340 384 474 524 593 693 729 840 865 996 1186 1293 1204 1392 1322 1328 1245

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
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Martina SeidlAssoc. Univ.-Prof., JKU LinzDirección de correo verificada de jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenDirección de correo verificada de kth.se
Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
Florian LonsingComputer Science Department, Stanford UniversityDirección de correo verificada de cs.stanford.edu
Andreas FröhlichJKU LinzDirección de correo verificada de jku.at
Matti JärvisaloAssociate Professor, 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
Aina NiemetzStanford UniversityDirección de correo verificada de cs.stanford.edu
Mathias PreinerStanford UniversityDirección de correo verificada de cs.stanford.edu
Gergely Kovásznaiassociate professor, Institute of Mathematics and Informatics, Eszterhazy Karoly UniversityDirección de correo verificada de aries.ektf.hu
Daniel KroeningProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Benjamin KieslCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.saarland
Carsten SinzKarlsruhe Institute of Technology (KIT)Dirección de correo verificada de kit.edu
Tommi JunttilaAalto UniversityDirección de correo verificada de aalto.fi
Toby WalshProfessor, TU Berlin, UNSW, and Data61Dirección de correo verificada de cse.unsw.edu.au
Siert WieringaDirección de correo verificada de siert.nl
Masahiro FujitaUniversity of TokyoDirección de correo verificada de ee.t.u-tokyo.ac.jp

Armin Biere

Johannes Kepler University Linz

Dirección de correo verificada de jku.at - Página principal

Formal Verification Model Checking Satisfiability Testing Debugging


Título	Citado por	Año
Symbolic model checking without BDDs A Biere, A Cimatti, E Clarke, Y Zhu International conference on tools and algorithms for the construction and …, 1999	2699	1999
Handbook of satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185 A Biere, M Heule, H van Maaren, T Walsh ios Press, 2009	1623*	2009
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Advances in computers 58 (11), 117-148, 2003	960	2003
Symbolic model checking using SAT procedures instead of BDDs A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 317-320, 1999	907	1999
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19 (1), 7-34, 2001	799	2001
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere International conference on theory and applications of satisfiability …, 2005	738	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4, 75-97, 2008	506	2008
Boolector: An efficient SMT solver for bit-vectors and arrays R Brummayer, A Biere International Conference on Tools and Algorithms for the Construction and …, 2009	387	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 (2), 156-173, 2005	337	2005
Resolve and expand A Biere International conference on theory and applications of satisfiability …, 2004	318	2004
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	231	2003
Lingeling, Plingeling and Treengeling entering the SAT competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	219	2013
Bounded Model Checking. A Biere Handbook of satisfiability 185, 457-481, 2009	212	2009
Verifying Safety Properties of a PowerPC− Microprocessor Using Symbolic Model Checking without BDDs A Biere, E Clarke, R Raimi, Y Zhu International Conference on Computer Aided Verification, 60-71, 1999	193	1999
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	178	2002
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere FMV Report Series Technical Report 10 (1), 2010	170	2010
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan arXiv preprint cs/0611029, 2006	169	2006
Inprocessing rules M Järvisalo, MJH Heule, A Biere International Joint Conference on Automated Reasoning, 355-370, 2012	155	2012
DepQBF: A dependency-aware QBF solver F Lonsing, A Biere Journal on Satisfiability, Boolean Modeling and Computation 7, 71-76, 2010	148	2010
Combining decision diagrams and SAT procedures for efficient symbolic model checking PF Williams, A Biere, EM Clarke, A Gupta International Conference on Computer Aided Verification, 124-138, 2000	132	2000

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

Subir PDF

Seguir a este autor

Citado por

Coautores