DEGANO, PIERPAOLO Statistiche
DEGANO, PIERPAOLO
DIPARTIMENTO DI INFORMATICA
. . . e se fossimo davvero figli dei fisici?
2018-01-01 Degano, Pierpaolo
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 causal semantics for CCS via rewriting logic
2002-01-01 Degano, Pierpaolo; Gadducci, Fabio; Priami, C.
A compact representation of finite state processes
1994-01-01 Degano, P.; Priami, C.
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 Context-Oriented Extension of F#.
2015-01-01 Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A distributed operational semantics for CCS based on C/E systems
1988-01-01 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS
1988-01-01 Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO
A fexilble environment for program development based on symbolic interpreter
1979-01-01 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
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 Formal Model for Lazy Implementation of a Prolog Compatible Functional Language
1984-01-01 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
A Functional Plus Predicate Logic Programming
1980-01-01 Bellia, Marco; Degano, Pierpaolo; Levi, G.
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| . . . e se fossimo davvero figli dei fisici? | 1-gen-2018 | Degano, Pierpaolo | |
| 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 causal semantics for CCS via rewriting logic | 1-gen-2002 | Degano, Pierpaolo; Gadducci, Fabio; Priami, C. | |
| A compact representation of finite state processes | 1-gen-1994 | Degano, P.; Priami, C. | |
| 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 Context-Oriented Extension of F#. | 1-gen-2015 | Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A distributed operational semantics for CCS based on C/E systems | 1-gen-1988 | Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO | |
| A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS | 1-gen-1988 | Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO | |
| A fexilble environment for program development based on symbolic interpreter | 1-gen-1979 | Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco | |
| 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 Formal Model for Lazy Implementation of a Prolog Compatible Functional Language | 1-gen-1984 | Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M. | |
| A Functional Plus Predicate Logic Programming | 1-gen-1980 | Bellia, Marco; Degano, Pierpaolo; Levi, G. | |
| 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 |