| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 10 |      | Damiano Mazza, Neil J. Ross: Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. FoSSaCS 2012: 316-330 |
| 2010 | ||
| 9 | | Patrick Baillot, Damiano Mazza: Linear logic by levels and bounded time complexity. Theor. Comput. Sci. 411(2): 470-503 (2010) |
| 2009 | ||
| 8 | | Damiano Mazza: Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators Logical Methods in Computer Science 5(4): (2009) |
| 2008 | ||
| 7 | | Patrick Baillot, Damiano Mazza: Linear Logic by Levels and Bounded Time Complexity CoRR abs/0801.1253: (2008) |
| 2007 | ||
| 6 | | Damiano Mazza, Michele Pagani: The Separation Theorem for Differential Interaction Nets. LPAR 2007: 393-407 |
| 5 | | Damiano Mazza: Edifices and Full Abstraction for the Symmetric Interaction Combinators. TLCA 2007: 305-320 |
| 4 | | Damiano Mazza: Observational Equivalence for the Interaction Combinators and Internal Separation. Electr. Notes Theor. Comput. Sci. 176(1): 113-137 (2007) |
| 3 | | Damiano Mazza: A denotational semantics for the symmetric interaction combinators. Mathematical Structures in Computer Science 17(3): 527-562 (2007) |
| 2006 | ||
| 2 | | Damiano Mazza: Linear logic and polynomial time. Mathematical Structures in Computer Science 16(6): 947-988 (2006) |
| 2005 | ||
| 1 | | Damiano Mazza: Multiport Interaction Nets and Concurrency. CONCUR 2005: 21-35 |
| 1 | Patrick Baillot | [7] [9] |
| 2 | Michele Pagani | [6] |
| 3 | Neil J. Ross | [10] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page