 | 2009 |
|---|
| 11 |       | Pietro Cenciarelli,
Daniele Gorla,
Ivano Salvo:
Depletable Channels: Dynamics and Behaviour.
FCT 2009: 50-61 |
| 10 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci,
Lorenzo Alvisi,
Allen Clement,
Harry Li:
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
SSS 2009: 531-546 |
| 2008 |
|---|
| 9 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci,
Lorenzo Alvisi,
Allen Clement,
Harry C. Li:
Model Checking Nash Equilibria in MAD Distributed Systems.
FMCAD 2008: 1-8 |
| 2003 |
|---|
| 8 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 7 |  | Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo:
Intersection Types and lambda-Definability.
Mathematical Structures in Computer Science 13(1): 15-53 (2003) |
| 2001 |
|---|
| 6 | | Viviana Bono,
Ivano Salvo:
A CuCh Interpretation of an Object-Oriented Language.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
| 5 | | Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Ivano Salvo,
Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 4 | | Benedetto Intrigila,
Ivano Salvo,
Stefano Sorgi:
A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser.
Inf. Comput. 171(2): 137-155 (2001) |
| 2000 |
|---|
| 3 | | Mariangiola Dezani-Ciancaglini,
Ivano Salvo:
Security Types for Mobile Safe Ambients.
ASIAN 2000: 215-236 |
| 1999 |
|---|
| 2 | | Antonio Bucciarelli,
Silvia De Lorenzis,
Adolfo Piperno,
Ivano Salvo:
Some Computational Properties of Intersection Types.
LICS 1999: 109-118 |
| 1998 |
|---|
| 1 | | Antonio Bucciarelli,
Ivano Salvo:
Totality, Definability and Boolean Ciruits.
ICALP 1998: 808-819 |
