Profils

Grzegorz Rozenberg

Professor of Computer Science, Leiden University

Adresse e-mail validée de liacs.leidenuniv.nl

Cité 38153 fois

computer science natural computing concurrency formal language theory computability

rachid guerraoui

Professor of Computer and Communication Systems, EPFL

Adresse e-mail validée de epfl.ch

Cité 33412 fois

Algorithms Distributed Computing Concurrency Programming Languages

Alain J. Martin

Professor of Computer Science, California Institute of Technology

Adresse e-mail validée de async.caltech.edu

Cité 28027 fois

Asynchronous VLSI concurrency

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Adresse e-mail validée de cs.berkeley.edu

Cité 25014 fois

Computer Science Testing Debugging Program Analysis Concurrency

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Adresse e-mail validée de ncl.ac.uk

Cité 18210 fois

Formal Methods Semantics Concurrency Support tools History

Kurt Jensen

Professor of Computer Science, Aarhus University

Adresse e-mail validée de cs.au.dk

Cité 18160 fois

Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces

Bill Roscoe (AW Roscoe)

Emeritus Professor of Computer Science, Oxford University

Adresse e-mail validée de cs.ox.ac.uk

Cité 17451 fois

concurrency verification security FinTech computer science

m raynal

Professor of Informatics

Adresse e-mail validée de irisa.fr

Cité 16689 fois

Algorithms Distributed computing Concurrency Fault-tolerance Synchronization

William Pugh

Professor of Computer Science, University of Maryland

Adresse e-mail validée de cs.umd.edu

Cité 14053 fois

Software development static analysis concurrency

Vijay Saraswat

Fidelity Quantitative Investment Research

Adresse e-mail validée de saraswat.org

Cité 12749 fois

Programming languages concurrency logic machine learning knowledge representation and reasoning

1 - 10