Armin Biere

Cituota

	Visi	Nuo 2019
Šaltiniai	25073	9355
h-rodyklė	65	45
i10-rodyklė	197	145

1700

850

425

1275

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024110 146 217 341 402 508 533 604 737 770 868 936 1043 1233 1398 1238 1472 1412 1380 1459 1610 1698 1576 1668 1334

Viešas pasiekiamumas

Peržiūrėti viską

106 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
Yunshan ZhueK12, Inc.Patvirtintas el. paštas eK12.com
Alessandro CimattiFondazione Bruno KesslerPatvirtintas el. paštas fbk.eu
Martina SeidlUniv.-Prof., JKU LinzPatvirtintas el. paštas jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenPatvirtintas el. paštas kth.se
Mathias FleuryUniversity FreiburgPatvirtintas el. paštas informatik.uni-freiburg.de
Andreas FröhlichJKU LinzPatvirtintas el. paštas jku.at
Florian LonsingPatvirtintas el. paštas florianlonsing.com
Aina NiemetzStanford UniversityPatvirtintas el. paštas cs.stanford.edu
Mathias PreinerStanford UniversityPatvirtintas el. paštas cs.stanford.edu
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Matti JärvisaloProfessor, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Benjamin Kiesl-ReiterAmazon Web ServicesPatvirtintas el. paštas amazon.de
Daniela KaufmannTU WienPatvirtintas el. paštas tuwien.ac.at
Manuel KauersJohannes Kepler University, Linz, AustriaPatvirtintas el. paštas kauers.de
Gergely KovásznaiEszterhazy Karoly UniversityPatvirtintas el. paštas aries.ektf.hu
Katalin FazekasPostdoc, TU WienPatvirtintas el. paštas tuwien.ac.at
Daniel KroeningAmazonPatvirtintas el. paštas amazon.com
Nils FroleyksJohannes Kepler University, Linz, AustriaPatvirtintas el. paštas jku.at

Stebėti

Armin Biere

Professor of Computer Science, University of Freiburg

Patvirtintas el. paštas informatik.uni-freiburg.de - Pagrindinis puslapis

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	3468	1999
Handbook of satisfiability A Biere, M Heule, H van Maaren, T Walsh IOS press, 2009	2861	2009
Bounded model checking A Biere handbook of Satisfiability, 739-764, 2021	1708	2021
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19, 7-34, 2001	1114	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	1072	1999
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere International conference on theory and applications of satisfiability …, 2005	956	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	689	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	559	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	420	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	394	2020
Resolve and expand A Biere International conference on theory and applications of satisfiability …, 2004	373	2004
Lingeling, plingeling and treengeling entering the sat competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	299	2013
Inprocessing rules M Järvisalo, MJH Heule, A Biere International Joint Conference on Automated Reasoning, 355-370, 2012	287	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	245	2006
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere	236	2010
Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference, 50-65, 2011	234	2011
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	234	2002
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	231	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	224	1999

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai