Grzegorz Rozenberg

Grzegorz Rozenberg

Professor of Computer Science, Leiden University
在 liacs.leidenuniv.nl 的电子邮件经过验证
被引用次数：38067
computer science natural computing concurrency formal language theory computability
rachid guerraoui

rachid guerraoui

Professor of Computer and Communication Systems, EPFL
在 epfl.ch 的电子邮件经过验证
被引用次数：32965
Algorithms Distributed Computing Concurrency Programming Languages
Alain J. Martin

Alain J. Martin

Professor of Computer Science, California Institute of Technology
在 async.caltech.edu 的电子邮件经过验证
被引用次数：27611
Asynchronous VLSI concurrency
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
在 cs.berkeley.edu 的电子邮件经过验证
被引用次数：24612
Computer Science Testing Debugging Program Analysis Concurrency
Kurt Jensen

Kurt Jensen

Professor of Computer Science, Aarhus University
在 cs.au.dk 的电子邮件经过验证
被引用次数：18079
Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces
Cliff B Jones

Cliff B Jones

Professor of Computing Science, Newcastle University, UK
在 ncl.ac.uk 的电子邮件经过验证
被引用次数：17716
Formal Methods Semantics Concurrency Support tools History
Bill Roscoe (A.W. Roscoe)

Bill Roscoe (AW Roscoe)

Emeritus Professor of Computer Science, Oxford University
在 cs.ox.ac.uk 的电子邮件经过验证
被引用次数：17339
concurrency verification security FinTech computer science
m raynal

m raynal

Professor of Informatics
在 irisa.fr 的电子邮件经过验证
被引用次数：16592
Algorithms Distributed computing Concurrency Fault-tolerance Synchronization
William Pugh

William Pugh

Professor of Computer Science, University of Maryland
在 cs.umd.edu 的电子邮件经过验证
被引用次数：13959
Software development static analysis concurrency
Vijay Saraswat

Vijay Saraswat

Fidelity Quantitative Investment Research
在 saraswat.org 的电子邮件经过验证
被引用次数：12689
Programming languages concurrency logic machine learning knowledge representation and reasoning
1 - 10