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