Profiler

Dexter Kozen

Professor of Computer Science, Cornell University

Verifierad e-postadress på cs.cornell.edu

Citerat av 24927

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

Christel Baier

TU Dresden

Verifierad e-postadress på tu-dresden.de

Citerat av 18702

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

Verifierad e-postadress på ulg.ac.be

Citerat av 17741

Automata theory logic formal methods model checking data bases

Javier Esparza

Professor of Computer Science, Technical University of Munich

Verifierad e-postadress på in.tum.de

Citerat av 13460

Verification Automata Theory Concurrency Theory

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University

Verifierad e-postadress på cs.rwth-aachen.de

Citerat av 12607

automata theory logic in computer science

Jeffrey Shallit

Professor Emeritus of Computer Science, University of Waterloo

Verifierad e-postadress på cs.uwaterloo.ca

Citerat av 11800

automata theory combinatorics on words number theory algebra formal languages

Dr. Vivek Kumar Singh

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

Citerat av 10009

Automata Theory Formal Theory Artificial Intelligence Nature Inspired Computing

Borja Balle

DeepMind

Verifierad e-postadress på google.com

Citerat av 7562

Differential Privacy Machine Learning Automata Theory

Mahesh Viswanathan

University of Illinois, Urbana-Champaign

Verifierad e-postadress på illinois.edu

Citerat av 7500

formal verification automata theory concurrency theory logic

Marcello Bonsangue

Professor of Computer Science, Leiden University

Verifierad e-postadress på liacs.leidenuniv.nl

Citerat av 6538

Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory

1 - 10