Search the dblp DataBase

Publications of Author

1. Pietro Cenciarelli
   An Algebraic View of Program Composition. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:325-340 [Conf]
   
2. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
   From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:75-90 [Conf]
   
3. Pietro Cenciarelli
   Configuration Theories. [Citation Graph (0, 0)][DBLP]
   CSL, 2002, pp:200-215 [Conf]
   
4. Pietro Cenciarelli
   Towards a Modular Denotational Semantics of Java. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 1999, pp:105- [Conf]
   
5. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
   An Event-Based Structural Operational Semantics of Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
   Formal Syntax and Semantics of Java, 1999, pp:157-200 [Conf]
   
6. Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
   Verifying a compiler optimization for Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:402-417 [Conf]
   
7. Pietro Cenciarelli, Alessandro Tiberi
   Rational Unification in 28 Characters. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:3-20 [Journal]
   
8. Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
   Ambient Graph Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:335-351 [Journal]
   
9. Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
   The Java Memory Model: Operationally, Denotationally, Axiomatically. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:331-346 [Conf]
   
10. 
    Depletable Channels: Dynamics and Behaviour. [Citation Graph (, )][DBLP]
    
    
11. 
    Network Applications of Graph Bisimulation. [Citation Graph (, )][DBLP]