Holger Hoos

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
Verifierad e-postadress på cs.rwth-aachen.de
Citerat av 43857
Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Verifierad e-postadress på informatik.uni-freiburg.de
Citerat av 25738
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Verifierad e-postadress på amazon.com
Citerat av 24612
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Uli Sattler

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester
Verifierad e-postadress på cs.man.ac.uk
Citerat av 23462
Description Logics Ontology Engineering Automated Reasoning
Clark Barrett

Clark Barrett

Stanford University
Verifierad e-postadress på cs.stanford.edu
Citerat av 19402
Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security
Rupak Majumdar

Rupak Majumdar

MPI for Software Systems
Verifierad e-postadress på mpi-sws.org
Citerat av 18654
verification model checking automated reasoning
Joao Marques-Silva

Joao Marques-Silva

Research Professor, ICREA, University of Lleida
Verifierad e-postadress på icrea.cat
Citerat av 18487
Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability
Cesare Tinelli

Cesare Tinelli

Professor of Computer Science, The University of Iowa
Verifierad e-postadress på uiowa.edu
Citerat av 15116
Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification
Changbo Chen

Changbo Chen

Professor, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of …
Verifierad e-postadress på cigit.ac.cn
Citerat av 15089
Computer Algebra Symbolic Computation Automated Reasoning
Natarajan Shankar

Natarajan Shankar

SRI International Computer Science Laboratory
Verifierad e-postadress på csl.sri.com
Citerat av 14200
Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages
1 - 10