Armin Biere

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	25739	8524
h-index	66	41
i10-index	203	142

1800

900

450

1350

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025110 145 218 347 398 507 535 606 737 767 878 932 1043 1245 1396 1238 1491 1412 1372 1460 1607 1699 1567 1702 1769 167

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

108 مقالات

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
Aina NiemetzStanford Universityبريد إلكتروني تم التحقق منه على cs.stanford.edu
Mathias PreinerStanford Universityبريد إلكتروني تم التحقق منه على cs.stanford.edu
Florian LonsingUnaffiliatedبريد إلكتروني تم التحقق منه على florianlonsing.com
Matti JärvisaloProfessor of Computer Science, 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
Katalin FazekasPostdoc, TU Wienبريد إلكتروني تم التحقق منه على tuwien.ac.at
Manuel KauersJohannes Kepler University, Linz, Austriaبريد إلكتروني تم التحقق منه على kauers.de
Gergely KovásznaiEszterhazy Karoly Catholic Universityبريد إلكتروني تم التحقق منه على aries.ektf.hu
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‏	3514	1999
Handbook of satisfiability‏ A Biere, M Heule, H van Maaren, T Walsh‏ IOS press, 2009‏	2937	2009
Bounded model checking‏ A Biere‏ handbook of Satisfiability, 739-764, 2021‏	1752	2021
Bounded model checking using satisfiability solving‏ E Clarke, A Biere, R Raimi, Y Zhu‏ Formal methods in system design 19, 7-34, 2001‏	1140	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‏	1083	1999
Effective preprocessing in SAT through variable and clause elimination‏ N Eén, A Biere‏ International conference on theory and applications of satisfiability …, 2005‏	962	2005
PicoSAT essentials‏ A Biere‏ Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008‏	702	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‏	572	2009
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020‏ A Biere, K Fazekas, M Fleury, M Heisinger‏ SAT COMPETITION 50, 2020, 2020‏	433	2020
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‏	425	2005
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‏	303	2013
Inprocessing rules‏ M Järvisalo, MJH Heule, A Biere‏ International Joint Conference on Automated Reasoning, 355-370, 2012‏	295	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‏	253	2006
Liveness checking as safety checking‏ A Biere, C Artho, V Schuppan‏ Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002‏	242	2002
Cube and conquer: Guiding CDCL SAT solvers by lookaheads‏ MJH Heule, O Kullmann, S Wieringa, A Biere‏ Haifa Verification Conference, 50-65, 2011‏	241	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‏	236	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

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون