Perfis

Grzegorz Rozenberg

Professor of Computer Science, Leiden University

E-mail confirmado em liacs.leidenuniv.nl

Citado por 38157

computer science natural computing concurrency formal language theory computability

rachid guerraoui

Professor of Computer and Communication Systems, EPFL

E-mail confirmado em epfl.ch

Citado por 33423

Algorithms Distributed Computing Concurrency Programming Languages

Alain J. Martin

Professor of Computer Science, California Institute of Technology

E-mail confirmado em async.caltech.edu

Citado por 28035

Asynchronous VLSI concurrency

Koushik Sen

Professor of Computer Science, University of California, Berkeley

E-mail confirmado em cs.berkeley.edu

Citado por 25019

Computer Science Testing Debugging Program Analysis Concurrency

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

E-mail confirmado em ncl.ac.uk

Citado por 18209

Formal Methods Semantics Concurrency Support tools History

Kurt Jensen

Professor of Computer Science, Aarhus University

E-mail confirmado em cs.au.dk

Citado por 18162

Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces

Bill Roscoe (AW Roscoe)

Emeritus Professor of Computer Science, Oxford University

E-mail confirmado em cs.ox.ac.uk

Citado por 17452

concurrency verification security FinTech computer science

m raynal

Professor of Informatics

E-mail confirmado em irisa.fr

Citado por 16691

Algorithms Distributed computing Concurrency Fault-tolerance Synchronization

William Pugh

Professor of Computer Science, University of Maryland

E-mail confirmado em cs.umd.edu

Citado por 14057

Software development static analysis concurrency

Vijay Saraswat

Fidelity Quantitative Investment Research

E-mail confirmado em saraswat.org

Citado por 12752

Programming languages concurrency logic machine learning knowledge representation and reasoning

1 - 10