Holger Hoos

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
Geverifieerd e-mailadres voor cs.rwth-aachen.de
Geciteerd door 43978
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 25766
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 24649
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 23489
Description Logics Ontology Engineering Automated Reasoning
Clark Barrett

Clark Barrett

Stanford University
Geverifieerd e-mailadres voor cs.stanford.edu
Geciteerd door 19473
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 18662
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 18528
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 15136
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 15110
Computer Algebra Symbolic Computation Automated Reasoning
Natarajan Shankar

Natarajan Shankar

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