Profili

Luca Cardelli

University of Oxford

Preverjeni e-poštni naslov na cs.ox.ac.uk

Navedeno v 33509 virih

Theory of programming languages Process algebra Systems Biology Molecular Programming

Rob van Glabbeek

UNSW

Preverjeni e-poštni naslov na cs.stanford.edu

Navedeno v 10972 virih

Concurrency concurrency theory process algebra formal methods temporal logic

Marco Bernardo

University of Urbino

Preverjeni e-poštni naslov na uniurb.it

Navedeno v 3380 virih

Theoretical computer science Concurrency theory Process algebra Formal methods Software architecture

Alban Ponse

Guest Researcher, Informatics Institute, University of Amsterdam

Preverjeni e-poštni naslov na uva.nl

Navedeno v 3173 virih

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

William Sulis

Associate Clinical Professor, McMaster University

Preverjeni e-poštni naslov na mcmaster.ca

Navedeno v 1333 virih

Quantum Foundations Collective Intelligence Process Algebra Temperament

Qin Li

East China Normal University

Preverjeni e-poštni naslov na sei.ecnu.edu.cn

Navedeno v 1023 virih

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

John Mullins

École Polytechnique de Montréal

Preverjeni e-poštni naslov na polymtl.ca

Navedeno v 883 virih

Computer science formal methods concurrency theory model checking process algebra

Bogdan Aman

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

Preverjeni e-poštni naslov na iit.academiaromana-is.ro

Navedeno v 853 virih

process algebra type systems membrane computing reaction systems reversible computing

Ali Rezaee

Assistant Professor of Computer Engineering, Department of Computer Engineering …

Preverjeni e-poštni naslov na SRBIAU.AC.IR

Navedeno v 817 virih

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

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

Preverjeni e-poštni naslov na utwente.nl

Navedeno v 691 virih

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

1 - 10