| 2003 |
|---|
| 8 | EE | 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 | EE | Viviana Bono,
Ivano Salvo:
A CuCh Interpretation of an Object-Oriented Language.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
| 5 | EE | Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Ivano Salvo,
Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 4 | EE | 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 | EE | Mariangiola Dezani-Ciancaglini,
Ivano Salvo:
Security Types for Mobile Safe Ambients.
ASIAN 2000: 215-236 |
| 1999 |
|---|
| 2 | EE | Antonio Bucciarelli,
Silvia De Lorenzis,
Adolfo Piperno,
Ivano Salvo:
Some Computational Properties of Intersection Types.
LICS 1999: 109-118 |
| 1998 |
|---|
| 1 | EE | Antonio Bucciarelli,
Ivano Salvo:
Totality, Definability and Boolean Ciruits.
ICALP 1998: 808-819 |
