Holger Hoos

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
Geverifieerd e-mailadres voor cs.rwth-aachen.de
Geciteerd door 42992
Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Geverifieerd e-mailadres voor informatik.uni-freiburg.de
Geciteerd door 25370
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Geverifieerd e-mailadres voor amazon.com
Geciteerd door 24182
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Uli Sattler

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester
Geverifieerd e-mailadres voor cs.man.ac.uk
Geciteerd door 23298
Description Logics Ontology Engineering Automated Reasoning
Clark Barrett

Clark Barrett

Stanford University
Geverifieerd e-mailadres voor cs.stanford.edu
Geciteerd door 18858
Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security
Rupak Majumdar

Rupak Majumdar

MPI for Software Systems
Geverifieerd e-mailadres voor mpi-sws.org
Geciteerd door 18449
verification model checking automated reasoning
Joao Marques-Silva

Joao Marques-Silva

Research Professor, ICREA, University of Lleida
Geverifieerd e-mailadres voor icrea.cat
Geciteerd door 18092
Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability
Cesare Tinelli

Cesare Tinelli

Professor of Computer Science, The University of Iowa
Geverifieerd e-mailadres voor uiowa.edu
Geciteerd door 14870
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 …
Geverifieerd e-mailadres voor cigit.ac.cn
Geciteerd door 14800
Computer Algebra Symbolic Computation Automated Reasoning
Natarajan Shankar

Natarajan Shankar

SRI International Computer Science Laboratory
Geverifieerd e-mailadres voor csl.sri.com
Geciteerd door 14151
Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages
1 - 10