Profile

Grzegorz Rozenberg

Professor of Computer Science, Leiden University

Zweryfikowany adres z liacs.leidenuniv.nl

Cytowane przez 39144

computer science natural computing concurrency formal language theory computability

rachid guerraoui

Professor of Computer and Communication Systems, EPFL

Zweryfikowany adres z epfl.ch

Cytowane przez 34626

Algorithms Distributed Computing Concurrency Programming Languages

Alain J. Martin

Professor of Computer Science, California Institute of Technology

Zweryfikowany adres z async.caltech.edu

Cytowane przez 29553

Asynchronous VLSI concurrency

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Zweryfikowany adres z cs.berkeley.edu

Cytowane przez 26075

Computer Science Testing Debugging Program Analysis Concurrency

Cliff B Jones

Professor of Computing Science, Newcastle University, UK

Zweryfikowany adres z ncl.ac.uk

Cytowane przez 20424

Formal Methods Semantics Concurrency Support tools History

Kurt Jensen

Professor of Computer Science, Aarhus University

Zweryfikowany adres z cs.au.dk

Cytowane przez 18669

Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces

Bill Roscoe (AW Roscoe)

Emeritus Professor of Computer Science, Oxford University

Zweryfikowany adres z cs.ox.ac.uk

Cytowane przez 17743

concurrency verification security FinTech computer science

m raynal

Professor of Informatics

Zweryfikowany adres z irisa.fr

Cytowane przez 16944

Algorithms Distributed computing Concurrency Fault-tolerance Synchronization

William Pugh

Professor of Computer Science, University of Maryland

Zweryfikowany adres z cs.umd.edu

Cytowane przez 14264

Software development static analysis concurrency

Vijay Saraswat

Fidelity Quantitative Investment Research

Zweryfikowany adres z saraswat.org

Cytowane przez 12900

Programming languages concurrency logic machine learning knowledge representation and reasoning

1 - 10