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