Armin Biere

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	25435	9677
H-index	66	46
i10-index	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

גישה ציבורית

הצג הכל

105 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Yunshan ZhueK12, Inc.כתובת אימייל מאומתת בדומיין eK12.com
Alessandro CimattiFondazione Bruno Kesslerכתובת אימייל מאומתת בדומיין fbk.eu
Martina SeidlUniv.-Prof., JKU Linzכתובת אימייל מאומתת בדומיין jku.at
Cyrille ArthoKTH Royal Institute of Technology, Swedenכתובת אימייל מאומתת בדומיין kth.se
Mathias FleuryUniversity Freiburgכתובת אימייל מאומתת בדומיין informatik.uni-freiburg.de
Andreas FröhlichJKU Linzכתובת אימייל מאומתת בדומיין jku.at
Florian LonsingUnaffiliatedכתובת אימייל מאומתת בדומיין florianlonsing.com
Aina NiemetzStanford Universityכתובת אימייל מאומתת בדומיין cs.stanford.edu
Mathias PreinerStanford Universityכתובת אימייל מאומתת בדומיין cs.stanford.edu
Matti JärvisaloProfessor, University of Helsinkiכתובת אימייל מאומתת בדומיין helsinki.fi
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of Helsinkiכתובת אימייל מאומתת בדומיין helsinki.fi
Benjamin Kiesl-ReiterAmazon Web Servicesכתובת אימייל מאומתת בדומיין amazon.de
Nils FroleyksJohannes Kepler University, Linz, Austriaכתובת אימייל מאומתת בדומיין jku.at
Daniela KaufmannTU Wienכתובת אימייל מאומתת בדומיין tuwien.ac.at
Manuel KauersJohannes Kepler University, Linz, Austriaכתובת אימייל מאומתת בדומיין kauers.de
Gergely KovásznaiEszterhazy Karoly Universityכתובת אימייל מאומתת בדומיין aries.ektf.hu
Katalin FazekasPostdoc, TU Wienכתובת אימייל מאומתת בדומיין tuwien.ac.at
Daniel KroeningAmazonכתובת אימייל מאומתת בדומיין amazon.com

עקוב אחר

Armin Biere

Professor of Computer Science, University of Freiburg

כתובת אימייל מאומתת בדומיין informatik.uni-freiburg.de - דף הבית

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים