Profile

Dexter Kozen

Professor of Computer Science, Cornell University

Zweryfikowany adres z cs.cornell.edu

Cytowane przez 24922

program logic and semantics algorithm design and analysis complexity theory automata theory

Christel Baier

TU Dresden

Zweryfikowany adres z tu-dresden.de

Cytowane przez 18698

Theoretical Computer Science Model Checking Modeling and Analysis of Probabilistic … Automata Theory Temporal Logic

Pierre Wolper

Professor of Computer Science, Université de Liège, Belgium

Zweryfikowany adres z ulg.ac.be

Cytowane przez 17741

Automata theory logic formal methods model checking data bases

Javier Esparza

Professor of Computer Science, Technical University of Munich

Zweryfikowany adres z in.tum.de

Cytowane przez 13456

Verification Automata Theory Concurrency Theory

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University

Zweryfikowany adres z cs.rwth-aachen.de

Cytowane przez 12603

automata theory logic in computer science

Jeffrey Shallit

Professor Emeritus of Computer Science, University of Waterloo

Zweryfikowany adres z cs.uwaterloo.ca

Cytowane przez 11796

automata theory combinatorics on words number theory algebra formal languages

Dr. Vivek Kumar Singh

Assistant Professor & Head, Department of Information Technology, BBDNITM, Lucknow

Cytowane przez 10005

Automata Theory Formal Theory Artificial Intelligence Nature Inspired Computing

Borja Balle

DeepMind

Zweryfikowany adres z google.com

Cytowane przez 7544

Differential Privacy Machine Learning Automata Theory

Mahesh Viswanathan

University of Illinois, Urbana-Champaign

Zweryfikowany adres z illinois.edu

Cytowane przez 7500

formal verification automata theory concurrency theory logic

Marcello Bonsangue

Professor of Computer Science, Leiden University

Zweryfikowany adres z liacs.leidenuniv.nl

Cytowane przez 6534

Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory

1 - 10