Dexter Kozen

Dexter Kozen

Professor of Computer Science, Cornell University
cs.cornell.edu의 이메일 확인됨
24516회 인용
program logic and semantics algorithm design and analysis complexity theory automata theory
Christel Baier

Christel Baier

TU Dresden
tu-dresden.de의 이메일 확인됨
18329회 인용
Theoretical Computer Science Model Checking Modeling and Analysis of Probabilistic … Automata Theory Temporal Logic
Pierre Wolper

Pierre Wolper

Professor of Computer Science, Université de Liège, Belgium
ulg.ac.be의 이메일 확인됨
17534회 인용
Automata theory logic formal methods model checking data bases
Javier Esparza

Javier Esparza

Professor of Computer Science, Technical University of Munich
in.tum.de의 이메일 확인됨
13297회 인용
Verification Automata Theory Concurrency Theory
Wolfgang Thomas

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University
cs.rwth-aachen.de의 이메일 확인됨
12345회 인용
automata theory logic in computer science
Jeffrey Shallit

Jeffrey Shallit

Professor Emeritus of Computer Science, University of Waterloo
cs.uwaterloo.ca의 이메일 확인됨
11644회 인용
automata theory combinatorics on words number theory algebra formal languages
Dr. Vivek Kumar Singh

Dr. Vivek Kumar Singh

Assistant Professor & Head, Department of Information Technology, BBDNITM, Lucknow
10272회 인용
Automata Theory Formal Theory Artificial Intelligence Nature Inspired Computing
Mahesh Viswanathan

Mahesh Viswanathan

University of Illinois, Urbana-Champaign
illinois.edu의 이메일 확인됨
7394회 인용
formal verification automata theory concurrency theory logic
Borja Balle

Borja Balle

DeepMind
google.com의 이메일 확인됨
6738회 인용
Differential Privacy Machine Learning Automata Theory
Marcello Bonsangue

Marcello Bonsangue

Professor of Computer Science, Leiden University
liacs.leidenuniv.nl의 이메일 확인됨
6414회 인용
Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory
1 - 10