Armin Biere

Navedeno

	Vse	Od leta 2020
Navedbe	25948	8668
indeks h	67	41
indeks i10	209	146

1900

950

475

1425

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025111 147 215 347 407 508 537 606 746 749 885 940 1055 1262 1397 1223 1488 1406 1373 1491 1600 1695 1556 1700 1833 270

Javni dostop

Prikaži vse

110 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Yunshan ZhueK12, Inc.Preverjeni e-poštni naslov na eK12.com
Alessandro CimattiFondazione Bruno KesslerPreverjeni e-poštni naslov na fbk.eu
Martina SeidlUniv.-Prof., JKU LinzPreverjeni e-poštni naslov na jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenPreverjeni e-poštni naslov na kth.se
Mathias FleuryUniversity FreiburgPreverjeni e-poštni naslov na informatik.uni-freiburg.de
Andreas FröhlichJKU LinzPreverjeni e-poštni naslov na jku.at
Aina NiemetzStanford UniversityPreverjeni e-poštni naslov na cs.stanford.edu
Mathias PreinerStanford UniversityPreverjeni e-poštni naslov na cs.stanford.edu
Florian LonsingUnaffiliatedPreverjeni e-poštni naslov na florianlonsing.com
Matti JärvisaloProfessor of Computer Science, University of HelsinkiPreverjeni e-poštni naslov na helsinki.fi
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiPreverjeni e-poštni naslov na helsinki.fi
Benjamin Kiesl-ReiterAmazon Web ServicesPreverjeni e-poštni naslov na amazon.de
Nils FroleyksJohannes Kepler University, Linz, AustriaPreverjeni e-poštni naslov na jku.at
Daniela KaufmannTU WienPreverjeni e-poštni naslov na tuwien.ac.at
Katalin FazekasPostdoc, TU WienPreverjeni e-poštni naslov na tuwien.ac.at
Manuel KauersJohannes Kepler University, Linz, AustriaPreverjeni e-poštni naslov na kauers.de
Gergely KovásznaiEszterhazy Karoly Catholic UniversityPreverjeni e-poštni naslov na aries.ektf.hu
Daniel KroeningAmazonPreverjeni e-poštni naslov na amazon.com

Spremljaj

Armin Biere

Professor of Computer Science, University of Freiburg

Preverjeni e-poštni naslov na informatik.uni-freiburg.de - Domača stran

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	3517	1999
Handbook of satisfiability A Biere, M Heule, H van Maaren, T Walsh IOS press, 2009	2961	2009
Bounded model checking A Biere handbook of Satisfiability, 739-764, 2021	1767	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	1086	1999
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere International conference on theory and applications of satisfiability …, 2005	963	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	704	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	571	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	440	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	422	2005
Resolve and expand A Biere International conference on theory and applications of satisfiability …, 2004	376	2004
Lingeling, Plingeling and Treengeling entering the SAT competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	305	2013
Inprocessing rules M Järvisalo, MJH Heule, A Biere International Joint Conference on Automated Reasoning, 355-370, 2012	299	2012
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	263	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	245	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
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	240	2014
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere	236	2010
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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji