CINECA IRIS Institutional Research Information System

DEGANO, PIERPAOLO Statistiche

DEGANO, PIERPAOLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 277 (tempo di esecuzione: 0.041 secondi).
Titolo Data di pubblicazione Autore(i) File
A categorial view of process refinement 1-gen-1992 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
A causal operational semantics of atomic refinenement 1-gen-1995 Degano, Pierpaolo; Gorrieri, Roberto
A computational approach to the functional screening of genomes 1-gen-2007 Chiarugi, Davide; Degano, Pierpaolo; Marangoni, Roberto
A computational approach to the functional screening of genomes 1-gen-2008 Chiarugi, Davide; Degano, Pierpaolo; Marangoni, Roberto
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 1-gen-1988 Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO
A first order semantics of a connective suitable to express concurrency 1-gen-1983 Degano, Pierpaolo; Diomedi, S.
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 1-gen-2007 H., Gao; Bodei, Chiara; Degano, Pierpaolo; H., RIIS NIELSON
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 1-gen-2008 Han, Gao; Bodei, Chiara; Degano, Pierpaolo
A formal framework for secure and complying services 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
A functional plus predicate programming language 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
A kernel of a graphic environment for truly concurrent process description languages 1-gen-1991 Degano, Pierpaolo; Gorrieri, Roberto; Zamboni, L; Zanotti, P.
A model of distributed systems based on graph rewriting 1-gen-1987 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
A normal form to restricted exponential functions 1-gen-1989 Degano, Pierpaolo; Gianni, Patrizia
A Note on the Perfect Encryption Assumption in a Process Calculus 1-gen-2004 Zunino, Roberto; Degano, Pierpaolo
A note on the power of backtracking 1-gen-1980 Degano, Pierpaolo; Pacini, G.; Turini, Franco
A partial ordering semantics for CCS 1-gen-1990 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A technique for splitting parsing tables and its applications to effiecient incremental editors 1-gen-1987 Degano, Pierpaolo; Mannucci, S; Mojana, B.
A transitional semantics of full Prolog 1-gen-1995 Degano, Pierpaolo; Priami, C.
A Two-Component Language for COP 1-gen-2014 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation 1-gen-2014 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio