Profiles

Luca Cardelli

University of Oxford

Verified email at cs.ox.ac.uk

Cited by 33287

Theory of programming languages Process algebra Systems Biology Molecular Programming

Rob van Glabbeek

UNSW

Verified email at cs.stanford.edu

Cited by 10867

Concurrency concurrency theory process algebra formal methods temporal logic

Marco Bernardo

University of Urbino

Verified email at uniurb.it

Cited by 3345

Theoretical computer science Concurrency theory Process algebra Formal methods Software architecture

Alban Ponse

Guest Researcher, Informatics Institute, University of Amsterdam

Verified email at uva.nl

Cited by 3149

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

William Sulis

Associate Clinical Professor, McMaster University

Verified email at mcmaster.ca

Cited by 1340

Quantum Foundations Collective Intelligence Process Algebra Temperament

Qin Li

East China Normal University

Verified email at sei.ecnu.edu.cn

Cited by 1019

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

John Mullins

École Polytechnique de Montréal

Verified email at polymtl.ca

Cited by 888

Computer science formal methods concurrency theory model checking process algebra

Bogdan Aman

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

Verified email at iit.academiaromana-is.ro

Cited by 871

process algebra type systems membrane computing reaction systems reversible computing

Ali Rezaee

Assistant Professor of Computer Engineering, Department of Computer Engineering …

Verified email at SRBIAU.AC.IR

Cited by 799

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

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

Verified email at utwente.nl

Cited by 705

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

1 - 10