Profili

Grzegorz Rozenberg

Professor of Computer Science, Leiden University

Preverjeni e-poštni naslov na liacs.leidenuniv.nl

Navedeno v 39145 virih

computer science natural computing concurrency formal language theory computability

rachid guerraoui

Professor of Computer and Communication Systems, EPFL

Preverjeni e-poštni naslov na epfl.ch

Navedeno v 34649 virih

Algorithms Distributed Computing Concurrency Programming Languages

Alain J. Martin

Professor of Computer Science, California Institute of Technology

Preverjeni e-poštni naslov na async.caltech.edu

Navedeno v 29568 virih

Asynchronous VLSI concurrency

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Preverjeni e-poštni naslov na cs.berkeley.edu

Navedeno v 26094 virih

Computer Science Testing Debugging Program Analysis Concurrency

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Preverjeni e-poštni naslov na ncl.ac.uk

Navedeno v 20428 virih

Formal Methods Semantics Concurrency Support tools History

Kurt Jensen

Professor of Computer Science, Aarhus University

Preverjeni e-poštni naslov na cs.au.dk

Navedeno v 18671 virih

Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces

Bill Roscoe (AW Roscoe)

Emeritus Professor of Computer Science, Oxford University

Preverjeni e-poštni naslov na cs.ox.ac.uk

Navedeno v 17745 virih

concurrency verification security FinTech computer science

m raynal

Professor of Informatics

Preverjeni e-poštni naslov na irisa.fr

Navedeno v 16951 virih

Algorithms Distributed computing Concurrency Fault-tolerance Synchronization

William Pugh

Professor of Computer Science, University of Maryland

Preverjeni e-poštni naslov na cs.umd.edu

Navedeno v 14269 virih

Software development static analysis concurrency

Vijay Saraswat

Fidelity Quantitative Investment Research

Preverjeni e-poštni naslov na saraswat.org

Navedeno v 12900 virih

Programming languages concurrency logic machine learning knowledge representation and reasoning

1 - 10