פרופילים

Dexter Kozen

Professor of Computer Science, Cornell University

כתובת אימייל מאומתת בדומיין cs.cornell.edu

צוטט על ידי 24887

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

Christel Baier

TU Dresden

כתובת אימייל מאומתת בדומיין tu-dresden.de

צוטט על ידי 18653

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

כתובת אימייל מאומתת בדומיין ulg.ac.be

צוטט על ידי 17733

Automata theory logic formal methods model checking data bases

Javier Esparza

Professor of Computer Science, Technical University of Munich

כתובת אימייל מאומתת בדומיין in.tum.de

צוטט על ידי 13443

Verification Automata Theory Concurrency Theory

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University

כתובת אימייל מאומתת בדומיין cs.rwth-aachen.de

צוטט על ידי 12591

automata theory logic in computer science

Jeffrey Shallit

Professor Emeritus of Computer Science, University of Waterloo

כתובת אימייל מאומתת בדומיין cs.uwaterloo.ca

צוטט על ידי 11764

automata theory combinatorics on words number theory algebra formal languages

Dr. Vivek Kumar Singh

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

צוטט על ידי 9850

Automata Theory Formal Theory Artificial Intelligence Nature Inspired Computing

Mahesh Viswanathan

University of Illinois, Urbana-Champaign

כתובת אימייל מאומתת בדומיין illinois.edu

צוטט על ידי 7480

formal verification automata theory concurrency theory logic

Borja Balle

DeepMind

כתובת אימייל מאומתת בדומיין google.com

צוטט על ידי 7420

Differential Privacy Machine Learning Automata Theory

Marcello Bonsangue

Professor of Computer Science, Leiden University

כתובת אימייל מאומתת בדומיין liacs.leidenuniv.nl

צוטט על ידי 6518

Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory

1 - 10