Profiller

Hanne Riis Nielson

professor at DTU Applied Mathematics and Computer Science

imm.dtu.dk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 9930

Static analysis process calculi security formal methods

Allen Brown

CTO, Deixis PBC

deixis.digital üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1783

Non-mononotonic logic modal logic process calculi dynamical systems applied category theory

Hans Hüttel

Associate Professor, Aalborg University

cs.aau.dk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1699

Theory of Computation Programming Language Theory Process Calculi

Jorge A. Pérez

Associate Professor, University of Groningen

rug.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1532

Computer Science Theoretical Computer Science Programming Languages Concurrency Theory Process Calculi

Silvano Dal Zilio

Researcher, LAAS-CNRS

laas.fr üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1469

Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi

Claudio Antares Mezzina

Università degli studi di Urbino

uniurb.it üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1211

Theoretical Computer Science Programming Languages Process Calculi Concurrency Theory Reversible Computation

Jan Jakubuv

Czech Technical University in Prague, CIIRC

cvut.cz üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 778

Automated reasoning Automated planning Distributed computing Process calculi Multiagent systems

Ian Cassar

University of Malta

um.edu.mt üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 507

Process Calculi Verification Enforcement Adaptation

Jovanka Pantovic

University of Novi Sad

uns.ac.rs üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 473

Algebra Discrete Mathematics Process Calculi Type Theory

Gian Perrone

Nav Technologies, Inc.

nav.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 387

Concurrency Formal Methods Process Calculi Refinement Bigraphs

1 - 10