The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ivano Salvo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mariangiola Dezani-Ciancaglini, Ivano Salvo
    Security Types for Mobile Safe Ambients. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:215-236 [Conf]
  2. Antonio Bucciarelli, Ivano Salvo
    Totality, Definability and Boolean Ciruits. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:808-819 [Conf]
  3. Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo
    Some Computational Properties of Intersection Types. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:109-118 [Conf]
  4. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
    A Type Inference Algorithm for Secure Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  5. Viviana Bono, Ivano Salvo
    A CuCh Interpretation of an Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  6. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
    Mobility Types for Mobile Processes in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  7. Benedetto Intrigila, Ivano Salvo, Stefano Sorgi
    A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:2, pp:137-155 [Journal]
  8. Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
    Intersection Types and lambda-Definability. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:15-53 [Journal]

  9. Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. [Citation Graph (, )][DBLP]


  10. Depletable Channels: Dynamics and Behaviour. [Citation Graph (, )][DBLP]


  11. Model Checking Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]


  12. Model Checking Coalition Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002