Profil

Luca Cardelli

University of Oxford

Email yang diverifikasi di cs.ox.ac.uk

Dirujuk 33507 kali

Theory of programming languages Process algebra Systems Biology Molecular Programming

Rob van Glabbeek

UNSW

Email yang diverifikasi di cs.stanford.edu

Dirujuk 10972 kali

Concurrency concurrency theory process algebra formal methods temporal logic

Marco Bernardo

University of Urbino

Email yang diverifikasi di uniurb.it

Dirujuk 3380 kali

Theoretical computer science Concurrency theory Process algebra Formal methods Software architecture

Alban Ponse

Guest Researcher, Informatics Institute, University of Amsterdam

Email yang diverifikasi di uva.nl

Dirujuk 3173 kali

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

William Sulis

Associate Clinical Professor, McMaster University

Email yang diverifikasi di mcmaster.ca

Dirujuk 1330 kali

Quantum Foundations Collective Intelligence Process Algebra Temperament

Qin Li

East China Normal University

Email yang diverifikasi di sei.ecnu.edu.cn

Dirujuk 1021 kali

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

John Mullins

École Polytechnique de Montréal

Email yang diverifikasi di polymtl.ca

Dirujuk 883 kali

Computer science formal methods concurrency theory model checking process algebra

Bogdan Aman

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

Email yang diverifikasi di iit.academiaromana-is.ro

Dirujuk 853 kali

process algebra type systems membrane computing reaction systems reversible computing

Ali Rezaee

Assistant Professor of Computer Engineering, Department of Computer Engineering …

Email yang diverifikasi di SRBIAU.AC.IR

Dirujuk 816 kali

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

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

Email yang diverifikasi di utwente.nl

Dirujuk 691 kali

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

1 - 10