Ullrich Hustadt

Ullrich Hustadt

Reader, Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk
Cited by 3682
Verification Automated Theorem Proving Modal Logics Temporal Logics
Dominique Méry

Dominique Méry

Professor of Computer Science, University of Lorraine
Verified email at univ-lorraine.fr
Cited by 2551
Formal methods (B Event B TLA+ TLAPLUS) Temporal Logics
Stefan Borgwardt

Stefan Borgwardt

Theoretical Computer Science, TU Dresden
Verified email at tu-dresden.de
Cited by 1578
Knowledge Representation Description Logics Temporal Logics Explanations
Pietro Sala

Pietro Sala

Associate Professor in Computer Science, University of Verona
Verified email at univr.it
Cited by 1375
Temporal Logics Temporal Databases Computational Complexity Program Synthesis Model Checking
Vladislav Ryzhikov

Vladislav Ryzhikov

Lecturer In Computer Science, Birkbeck, Univ. of London
Verified email at dcs.bbk.ac.uk
Cited by 1277
Knowledge Representation and Reasoning Temporal and Spatial Data Description Logics Temporal Logics Conceptual Modelling
Andrzej Zbrzezny

Andrzej Zbrzezny

Department of Mathematics and Computer Science, Jan Długosz University in Częstochowa
Verified email at ujd.edu.pl
Cited by 1089
Model Checking Formal Methods Temporal Logics SAT SMT
Catalin Dima

Catalin Dima

Professor of Computer Science, Université Paris-Est Créteil, France
Verified email at u-pec.fr
Cited by 889
model-checking temporal logics epistemic logics timed automata
Alphan Ulusoy

Alphan Ulusoy

Boston University
Verified email at bu.edu
Cited by 857
robot path planning controller synthesis temporal logics networked control systems
Ingo Pill

Ingo Pill

Silicon Austria Labs GmbH, Inffeldgasse 33, 8010 Graz
Verified email at silicon-austria.com
Cited by 813
AI Model-based Diagnosis Temporal Logics Formal Methods
Martin Zimmermann

Martin Zimmermann

Aalborg University
Verified email at cs.aau.dk
Cited by 718
computer science game theory automata theory temporal logics
1 - 10