| 2009 |
|---|
| 15 | EE | Stefano Guerrini,
Andrea Masini:
Proofs, tests and continuation passing style.
ACM Trans. Comput. Log. 10(2): (2009) |
| 2006 |
|---|
| 14 | EE | Stefano Guerrini,
Patrizia Marzuoli:
Commutative Locative Quantifiers for Multiplicative Linear Logic.
ICALP (2) 2006: 396-407 |
| 13 | EE | Stefano Guerrini,
Andrea Masini:
Continuations, proofs and tests
CoRR abs/cs/0605043: (2006) |
| 2005 |
|---|
| 12 | EE | Stefano Guerrini:
Sharing Implementations of Graph Rewriting Systems.
Electr. Notes Theor. Comput. Sci. 127(5): 113-132 (2005) |
| 2003 |
|---|
| 11 | | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Coherence for sharing proof-nets.
Theor. Comput. Sci. 294(3): 379-409 (2003) |
| 2001 |
|---|
| 10 | EE | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Proof nets, garbage, and computations.
Theor. Comput. Sci. 253(2): 185-237 (2001) |
| 9 | EE | Stefano Guerrini,
Andrea Masini:
Parsing MELL proof nets.
Theor. Comput. Sci. 254(1-2): 317-335 (2001) |
| 1999 |
|---|
| 8 | EE | Stefano Guerrini:
Correctness of Multiplicative Proof Nets Is Linear.
LICS 1999: 454-463 |
| 7 | EE | Roberto Di Cosmo,
Stefano Guerrini:
Strong Normalization of Proof Nets Modulo Structural Congruences.
RTA 1999: 75-89 |
| 6 | EE | Stefano Guerrini:
A General Theory of Sharing Graphs.
Theor. Comput. Sci. 227(1-2): 99-151 (1999) |
| 1998 |
|---|
| 5 | EE | Stefano Guerrini,
Simone Martini,
Andrea Masini:
An Analysis of (Linear) Exponentials Based on Extended Sequents.
Logic Journal of the IGPL 6(5): 735-753 (1998) |
| 1997 |
|---|
| 4 | | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Proof Nets, Garbage, and Computations.
TLCA 1997: 181-195 |
| 1996 |
|---|
| 3 | | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Coherence for Sharing Proof Nets.
RTA 1996: 215-229 |
| 1994 |
|---|
| 2 | | Corrado Böhm,
Adolfo Piperno,
Stefano Guerrini:
Lambda-Definition of Function(al)s by Normal Forms.
ESOP 1994: 135-149 |
| 1993 |
|---|
| 1 | EE | Roberto Scopigno,
Alberto Paoluzzi,
Stefano Guerrini,
G. Rumolo:
Parallel depth-merge: A paradigm for hidden surface removal.
Computers & Graphics 17(5): 583-592 (1993) |
