Hanne Riis Nielson

Hanne Riis Nielson

professor at DTU Applied Mathematics and Computer Science
Email yang diverifikasi di imm.dtu.dk
Dirujuk 9974 kali
Static analysis process calculi security formal methods
Allen Brown

Allen Brown

CTO, Deixis PBC
Email yang diverifikasi di deixis.digital
Dirujuk 1810 kali
Non-mononotonic logic modal logic process calculi dynamical systems applied category theory
Hans Hüttel

Hans Hüttel

Associate Professor, Aalborg University
Email yang diverifikasi di cs.aau.dk
Dirujuk 1685 kali
Theory of Computation Programming Language Theory Process Calculi
Jorge A. Pérez

Jorge A. Pérez

Associate Professor, University of Groningen
Email yang diverifikasi di rug.nl
Dirujuk 1522 kali
Computer Science Theoretical Computer Science Programming Languages Concurrency Theory Process Calculi
Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Email yang diverifikasi di laas.fr
Dirujuk 1466 kali
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Claudio Antares Mezzina

Claudio Antares Mezzina

Università degli studi di Urbino
Email yang diverifikasi di uniurb.it
Dirujuk 1205 kali
Theoretical Computer Science Programming Languages Process Calculi Concurrency Theory Reversible Computation
Jan Jakubuv

Jan Jakubuv

Czech Technical University in Prague, CIIRC
Email yang diverifikasi di cvut.cz
Dirujuk 780 kali
Automated reasoning Automated planning Distributed computing Process calculi Multiagent systems
Ian Cassar

Ian Cassar

University of Malta
Email yang diverifikasi di um.edu.mt
Dirujuk 499 kali
Process Calculi Verification Enforcement Adaptation
Jovanka Pantovic

Jovanka Pantovic

University of Novi Sad
Email yang diverifikasi di uns.ac.rs
Dirujuk 470 kali
Algebra Discrete Mathematics Process Calculi Type Theory
Gian Perrone

Gian Perrone

Nav Technologies, Inc.
Email yang diverifikasi di nav.com
Dirujuk 390 kali
Concurrency Formal Methods Process Calculi Refinement Bigraphs
1 - 10