Dexter Kozen

Dexter Kozen

Professor of Computer Science, Cornell University
Verified email at cs.cornell.edu
Cited by 24019
program logic and semantics algorithm design and analysis complexity theory automata theory
Christel Baier

Christel Baier

TU Dresden
Verified email at tu-dresden.de
Cited by 17772
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
Verified email at ulg.ac.be
Cited by 17370
Automata theory logic formal methods model checking data bases
Javier Esparza

Javier Esparza

Professor of Computer Science, Technical University of Munich
Verified email at in.tum.de
Cited by 13112
Verification Automata Theory Concurrency Theory
Wolfgang Thomas

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University
Verified email at cs.rwth-aachen.de
Cited by 12202
automata theory logic in computer science
Jeffrey Shallit

Jeffrey Shallit

Professor of Computer Science, University of Waterloo
Verified email at cs.uwaterloo.ca
Cited by 11333
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
Cited by 9821
Automata Theory Formal Theory Artificial Intelligence Nature Inspired Computing
Mahesh Viswanathan

Mahesh Viswanathan

University of Illinois, Urbana-Champaign
Verified email at illinois.edu
Cited by 7204
formal verification automata theory concurrency theory logic
Marcello Bonsangue

Marcello Bonsangue

Professor of Computer Science, Leiden University
Verified email at liacs.leidenuniv.nl
Cited by 6251
Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory
Juhani Karhumäki

Juhani Karhumäki

Professor of discrete mathematics, University of Turku
Verified email at utu.fi
Cited by 5699
Automata theory Formal languages Combinatorics on words
1 - 10