Profiller

Luca Cardelli

University of Oxford

cs.ox.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 33505

Theory of programming languages Process algebra Systems Biology Molecular Programming

Rob van Glabbeek

UNSW

cs.stanford.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 10972

Concurrency concurrency theory process algebra formal methods temporal logic

Marco Bernardo

University of Urbino

uniurb.it üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 3380

Theoretical computer science Concurrency theory Process algebra Formal methods Software architecture

Alban Ponse

Guest Researcher, Informatics Institute, University of Amsterdam

uva.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 3173

Theoretical Computer Science Process Algebra Program and Thread Algebra Short-Circuit Logic

William Sulis

Associate Clinical Professor, McMaster University

mcmaster.ca üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1330

Quantum Foundations Collective Intelligence Process Algebra Temperament

Qin Li

East China Normal University

sei.ecnu.edu.cn üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1023

Unifying Theories of Programming Trustworthy Computing Process Algebra Cyber-Physical Systems Multi-agent systems

John Mullins

École Polytechnique de Montréal

polymtl.ca üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 883

Computer science formal methods concurrency theory model checking process algebra

Bogdan Aman

Institute of Computer Science, Romanian Academy AND Faculty of Computer Science, UAIC …

iit.academiaromana-is.ro üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 853

process algebra type systems membrane computing reaction systems reversible computing

Ali Rezaee

Assistant Professor of Computer Engineering, Department of Computer Engineering …

SRBIAU.AC.IR üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 817

Cloud/Fog/IoT Machine Learning Software Architecture Process Algebra Software Engineering

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

utwente.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 691

Computational Thinking Formal Methods Probabilistic Model Checking Process Algebra Model-Based Testing

1 - 10