dblp.uni-trier.dewww.uni-trier.de

Ivano Salvo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEPietro Cenciarelli, Daniele Gorla, Ivano Salvo: Depletable Channels: Dynamics and Behaviour. FCT 2009: 50-61
2008
9EEFederico 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
8EEMario 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
6EEViviana Bono, Ivano Salvo: A CuCh Interpretation of an Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 50(2): (2001)
5EEFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone: A Type Inference Algorithm for Secure Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
4EEBenedetto 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
3EEMariangiola Dezani-Ciancaglini, Ivano Salvo: Security Types for Mobile Safe Ambients. ASIAN 2000: 215-236
1999
2EEAntonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo: Some Computational Properties of Intersection Types. LICS 1999: 109-118
1998
1EEAntonio Bucciarelli, Ivano Salvo: Totality, Definability and Boolean Ciruits. ICALP 1998: 808-819

Coauthor Index

1Lorenzo Alvisi [9]
2Franco Barbanera [5]
3Viviana Bono [6]
4Antonio Bucciarelli [1] [2] [7]
5Pietro Cenciarelli [10]
6Allen Clement [9]
7Mario Coppo [8]
8Mariangiola Dezani-Ciancaglini [3] [5] [8]
9Elio Giovannetti [8]
10Daniele Gorla [10]
11Benedetto Intrigila [4]
12Harry C. Li [9]
13Silvia De Lorenzis [2]
14Federico Mari [9]
15Igor Melatti [9]
16Adolfo Piperno [2] [7]
17Vladimiro Sassone [5]
18Stefano Sorgi [4]
19Enrico Tronci [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)