Profils

Luca Cardelli

University of Oxford

Adresse e-mail validée de cs.ox.ac.uk

Cité 32992 fois

Theory of programming languages Process algebra Systems Biology Molecular Programming

Rob van Glabbeek

UNSW

Adresse e-mail validée de cs.stanford.edu

Cité 10781 fois

Concurrency concurrency theory process algebra formal methods temporal logic

Marco Bernardo

University of Urbino

Adresse e-mail validée de uniurb.it

Cité 3308 fois

Theoretical computer science Concurrency theory Process algebra Formal methods Software architecture

Alban Ponse

Guest Researcher, Informatics Institute, University of Amsterdam

Adresse e-mail validée de uva.nl

Cité 3099 fois

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

William Sulis

Associate Clinical Professor, McMaster University

Adresse e-mail validée de mcmaster.ca

Cité 1312 fois

Quantum Foundations Collective Intelligence Process Algebra Temperament

John Mullins

École Polytechnique de Montréal

Adresse e-mail validée de polymtl.ca

Cité 873 fois

Computer science formal methods concurrency theory model checking process algebra

Bogdan Aman

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

Adresse e-mail validée de iit.academiaromana-is.ro

Cité 835 fois

process algebra type systems membrane computing reversible computing

Ali Rezaee

Assistant Professor of Computer Engineering, Department of Computer Engineering …

Adresse e-mail validée de SRBIAU.AC.IR

Cité 724 fois

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

Qin Li

East China Normal University

Adresse e-mail validée de sei.ecnu.edu.cn

Cité 709 fois

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

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

Adresse e-mail validée de utwente.nl

Cité 696 fois

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

1 - 10