Search the dblp DataBase

Publications of Author

1. Silvano Dal-Zilio, Régis Gascon
   Resource Bound Certification for a Tail-Recursive Virtual Machine. [Citation Graph (0, 0)][DBLP]
   APLAS, 2005, pp:247-263 [Conf]
   
2. Silvano Dal-Zilio
   Spatial Congruence for Ambients Is Decidable. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:88-103 [Conf]
   
3. Roberto M. Amadio, Silvano Dal-Zilio
   Resource Control for Synchronous Cooperative Threads. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:68-82 [Conf]
   
4. Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
   A Functional Scenario for Bytecode Verification of Resource Bounds. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:265-279 [Conf]
   
5. Gérard Boudol, Silvano Dal-Zilio
   An Interpretation of Extensible Objects. [Citation Graph (0, 0)][DBLP]
   FCT, 1999, pp:148-160 [Conf]
   
6. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
   The Complexity of Model Checking Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2001, pp:152-167 [Conf]
   
7. Silvano Dal-Zilio
   An Interpretation of Typed Concurrent Objects in the Blue Calculus. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2000, pp:409-424 [Conf]
   
8. Silvano Dal-Zilio, Enrico Formenti
   On the Dynamics of PB Systems: A Petri Net View. [Citation Graph (0, 0)][DBLP]
   Workshop on Membrane Computing, 2003, pp:153-167 [Conf]
   
9. Silvano Dal-Zilio, Andrew D. Gordon
   Region Analysis and a pi-Calculus wiht Groups. [Citation Graph (0, 0)][DBLP]
   MFCS, 2000, pp:1-20 [Conf]
   
10. Silvano Dal-Zilio
    Mobile Processes: A Commented Bibliography. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:206-222 [Conf]
    
11. Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier
    A logic you can count on. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:135-146 [Conf]
    
12. Silvano Dal-Zilio, Denis Lugiez
    XML Schema, Tree Logic and Sheaves Automata. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:246-263 [Conf]
    
13. Silvano Dal-Zilio, Andrew D. Gordon
    Region analysis and a pi-calculus with groups. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:3, pp:229-292 [Journal]
    
14. Roberto M. Amadio, Silvano Dal-Zilio
    Resource control for synchronous cooperative threads. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:229-254 [Journal]
    
15. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
    Model checking mobile ambients. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:277-331 [Journal]
    
16. Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
    A Concurrent Calculus with Atomic Transactions. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:48-63 [Conf]
    
17. Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
    A Concurrent Calculus with Atomic Transactions [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
18. 
    Formal Verification of AADL Specifications in the Topcased Environment. [Citation Graph (, )][DBLP]
    
    
19. 
    A Typed Calculus for Querying Distributed XML Documents. [Citation Graph (, )][DBLP]
    
    
20. 
    Resource Control for Synchronous Cooperative Threads [Citation Graph (, )][DBLP]