Profile

Grzegorz Rozenberg

Professor of Computer Science, Leiden University

Zweryfikowany adres z liacs.leidenuniv.nl

Cytowane przez 38157

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 33423

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 28035

Asynchronous VLSI concurrency

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Zweryfikowany adres z cs.berkeley.edu

Cytowane przez 25019

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 18209

Formal Methods Semantics Concurrency Support tools History

Kurt Jensen

Professor of Computer Science, Aarhus University

Zweryfikowany adres z cs.au.dk

Cytowane przez 18162

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 17452

concurrency verification security FinTech computer science

m raynal

Professor of Informatics

Zweryfikowany adres z irisa.fr

Cytowane przez 16691

Algorithms Distributed computing Concurrency Fault-tolerance Synchronization

William Pugh

Professor of Computer Science, University of Maryland

Zweryfikowany adres z cs.umd.edu

Cytowane przez 14057

Software development static analysis concurrency

Vijay Saraswat

Fidelity Quantitative Investment Research

Zweryfikowany adres z saraswat.org

Cytowane przez 12752

Programming languages concurrency logic machine learning knowledge representation and reasoning

1 - 10