Hanne Riis Nielson

Hanne Riis Nielson

professor at DTU Applied Mathematics and Computer Science
Verified email at imm.dtu.dk
Cited by 9809
Static analysis process calculi security formal methods
Allen Brown

Allen Brown

CTO, Deixis PBC
Verified email at deixis.digital
Cited by 1758
Non-mononotonic logic modal logic process calculi dynamical systems applied category theory
Hans Hüttel

Hans Hüttel

Associate Professor, Aalborg University
Verified email at cs.aau.dk
Cited by 1623
Theory of Computation Programming Language Theory Process Calculi
Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Verified email at laas.fr
Cited by 1415
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Jorge A. Pérez

Jorge A. Pérez

Associate Professor, University of Groningen
Verified email at rug.nl
Cited by 1402
Computer Science Theoretical Computer Science Programming Languages Concurrency Theory Process Calculi
Claudio Antares Mezzina

Claudio Antares Mezzina

Università degli studi di Urbino
Verified email at uniurb.it
Cited by 1132
Theoretical Computer Science Programming Languages Process Calculi Concurrency Theory Reversible Computation
Jan Jakubuv

Jan Jakubuv

Czech Technical University in Prague, CIIRC
Verified email at cvut.cz
Cited by 686
Automated reasoning Automated planning Distributed computing Process calculi Multiagent systems
Ian Cassar

Ian Cassar

University of Malta
Verified email at um.edu.mt
Cited by 445
Process Calculi Verification Enforcement Adaptation
Jovanka Pantovic

Jovanka Pantovic

University of Novi Sad
Verified email at uns.ac.rs
Cited by 437
Algebra Discrete Mathematics Process Calculi Type Theory
Gian Perrone

Gian Perrone

Nav Technologies, Inc.
Verified email at nav.com
Cited by 382
Concurrency Formal Methods Process Calculi Refinement Bigraphs
1 - 10