Profiles

Grzegorz Rozenberg

Professor of Computer Science, Leiden University

Verified email at liacs.leidenuniv.nl

Cited by 38542

computer science natural computing concurrency formal language theory computability

rachid guerraoui

Professor of Computer and Communication Systems, EPFL

Verified email at epfl.ch

Cited by 34467

Algorithms Distributed Computing Concurrency Programming Languages

Alain J. Martin

Professor of Computer Science, California Institute of Technology

Verified email at async.caltech.edu

Cited by 28897

Asynchronous VLSI concurrency

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Verified email at cs.berkeley.edu

Cited by 25959

Computer Science Testing Debugging Program Analysis Concurrency

Kurt Jensen

Professor of Computer Science, Aarhus University

Verified email at cs.au.dk

Cited by 18318

Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Verified email at ncl.ac.uk

Cited by 17757

Formal Methods Semantics Concurrency Support tools History

Bill Roscoe (AW Roscoe)

Emeritus Professor of Computer Science, Oxford University

Verified email at cs.ox.ac.uk

Cited by 17680

concurrency verification security FinTech computer science

m raynal

Professor of Informatics

Verified email at irisa.fr

Cited by 17019

Algorithms Distributed computing Concurrency Fault-tolerance Synchronization

William Pugh

Professor of Computer Science, University of Maryland

Verified email at cs.umd.edu

Cited by 14211

Software development static analysis concurrency

Vijay Saraswat

Fidelity Quantitative Investment Research

Verified email at saraswat.org

Cited by 12852

Programming languages concurrency logic machine learning knowledge representation and reasoning

1 - 10