| |
| 2008 | ||
|---|---|---|
| 5 | EE | Patrick Baillot, Damiano Mazza: Linear Logic by Levels and Bounded Time Complexity CoRR abs/0801.1253: (2008) |
| 2007 | ||
| 4 | EE | Damiano Mazza, Michele Pagani: The Separation Theorem for Differential Interaction Nets. LPAR 2007: 393-407 |
| 3 | EE | Damiano Mazza: Edifices and Full Abstraction for the Symmetric Interaction Combinators. TLCA 2007: 305-320 |
| 2 | EE | Damiano Mazza: Observational Equivalence for the Interaction Combinators and Internal Separation. Electr. Notes Theor. Comput. Sci. 176(1): 113-137 (2007) |
| 2005 | ||
| 1 | EE | Damiano Mazza: Multiport Interaction Nets and Concurrency. CONCUR 2005: 21-35 |
| 1 | Patrick Baillot | [5] |
| 2 | Michele Pagani | [4] |