Holger Hoos

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
Dirección de correo verificada de cs.rwth-aachen.de
Citado por 43793
Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Dirección de correo verificada de informatik.uni-freiburg.de
Citado por 25717
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Dirección de correo verificada de amazon.com
Citado por 24578
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Uli Sattler

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester
Dirección de correo verificada de cs.man.ac.uk
Citado por 23446
Description Logics Ontology Engineering Automated Reasoning
Clark Barrett

Clark Barrett

Stanford University
Dirección de correo verificada de cs.stanford.edu
Citado por 19408
Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security
Rupak Majumdar

Rupak Majumdar

MPI for Software Systems
Dirección de correo verificada de mpi-sws.org
Citado por 18638
verification model checking automated reasoning
Joao Marques-Silva

Joao Marques-Silva

Research Professor, ICREA, University of Lleida
Dirección de correo verificada de icrea.cat
Citado por 18453
Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability
Cesare Tinelli

Cesare Tinelli

Professor of Computer Science, The University of Iowa
Dirección de correo verificada de uiowa.edu
Citado por 15098
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 …
Dirección de correo verificada de cigit.ac.cn
Citado por 15066
Computer Algebra Symbolic Computation Automated Reasoning
Natarajan Shankar

Natarajan Shankar

SRI International Computer Science Laboratory
Dirección de correo verificada de csl.sri.com
Citado por 14197
Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages
1 - 10