 | 2009 |
|---|
| 26 |       | Andrea Masini,
Luca Viganò,
Marco Volpe:
A Labeled Natural Deduction System for a Fragment of CTL*.
LFCS 2009: 338-353 |
| 25 | | Stefano Guerrini,
Andrea Masini:
Proofs, tests and continuation passing style.
ACM Trans. Comput. Log. 10(2): (2009) |
| 24 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Confluence Results for a Quantum Lambda Calculus with Measurements
CoRR abs/0905.4567: (2009) |
| 23 | | Andrea Masini,
Luca Viganò,
Marco Volpe:
A History of Until
CoRR abs/0910.4500: (2009) |
| 22 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
On a measurement-free quantum lambda calculus with classical control.
Mathematical Structures in Computer Science 19(2): 297-335 (2009) |
| 2008 |
|---|
| 21 | | Andrea Masini,
Luca Viganò,
Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations.
ISMVL 2008: 131-137 |
| 20 | | Andrea Masini,
Luca Viganò,
Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations
CoRR abs/0802.4057: (2008) |
| 2007 |
|---|
| 19 | | Andrea Masini,
Francesco Branchitta,
Marco Diani,
Giovanni Corsini:
Sight enhancement through video fusion in a surveillance system.
ICIAP 2007: 554-559 |
| 18 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
CoRR abs/cs/0703152: (2007) |
| 2006 |
|---|
| 17 | | Stefano Guerrini,
Andrea Masini:
Continuations, proofs and tests
CoRR abs/cs/0605043: (2006) |
| 16 | | Stefano Baratella,
Andrea Masini:
A note on unbounded metric temporal logic over dense time domains.
Math. Log. Q. 52(5): 450-456 (2006) |
| 2004 |
|---|
| 15 | | Stefano Baratella,
Andrea Masini:
An approach to infinitary temporal proof theory.
Arch. Math. Log. 43(8): 965-990 (2004) |
| 14 | | Stefano Baratella,
Andrea Masini:
A Way of Making World Quantification Explicit.
Logic Journal of the IGPL 12(3): 199-225 (2004) |
| 13 | | Stefano Baratella,
Andrea Masini:
An infinitary variant of Metric Temporal Logic over dense time domains.
Math. Log. Q. 50(3): 249-257 (2004) |
| 2003 |
|---|
| 12 | | Stefano Baratella,
Andrea Masini:
A proof-theoretic investigation of a logic of positions.
Ann. Pure Appl. Logic 123(1-3): 135-162 (2003) |
| 11 |  | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Coherence for sharing proof-nets.
Theor. Comput. Sci. 294(3): 379-409 (2003) |
| 2001 |
|---|
| 10 | | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Proof nets, garbage, and computations.
Theor. Comput. Sci. 253(2): 185-237 (2001) |
| 9 | | Stefano Guerrini,
Andrea Masini:
Parsing MELL proof nets.
Theor. Comput. Sci. 254(1-2): 317-335 (2001) |
| 1998 |
|---|
| 8 | | 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 |
|---|
| 7 | | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Proof Nets, Garbage, and Computations.
TLCA 1997: 181-195 |
| 6 | | Simone Martini,
Andrea Masini:
Experiments in Linear Natural Deduction.
Theor. Comput. Sci. 176(1-2): 159-173 (1997) |
| 1996 |
|---|
| 5 | | Stefano Guerrini,
Simone Martini,
Andrea Masini:
Coherence for Sharing Proof Nets.
RTA 1996: 215-229 |
| 1994 |
|---|
| 4 | | Simone Martini,
Andrea Masini:
A Modal View of Linear Logic.
J. Symb. Log. 59(3): 888-899 (1994) |
| 1993 |
|---|
| 3 | | Andrea Masini:
2-Sequent Calculus: Intuitionism and Natural Deduction.
J. Log. Comput. 3(5): 533-562 (1993) |
| 1992 |
|---|
| 2 | | Andrea Masini:
2-Sequent Calculus: A Proof Theory of Modalities.
Ann. Pure Appl. Logic 58(3): 229-246 (1992) |
| 1 | | Andrea Masini,
Andrea Maggiolo-Schettini:
TTL: A formalism to describe local and global properties of distributed systems.
ITA 26: 115-162 (1992) |
