| 2007 |
|---|
| 7 | EE | Angelo Montanari,
Gabriele Puppis:
A Contraction Method to Decide MSO Theories of Deterministic Trees.
LICS 2007: 141-150 |
| 6 | EE | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities.
TIME 2007: 82-93 |
| 5 | EE | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Compact and tractable automaton-based representations of time granularities.
Theor. Comput. Sci. 373(1-2): 115-141 (2007) |
| 2004 |
|---|
| 4 | EE | Angelo Montanari,
Gabriele Puppis:
Decidability of MSO Theories of Tree Structures.
FSTTCS 2004: 434-446 |
| 3 | EE | Davide Bresolin,
Angelo Montanari,
Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata.
JELIA 2004: 513-525 |
| 2 | EE | Angelo Montanari,
Gabriele Puppis:
Decidability of the Theory of the Totally Unbounded omega-Layered Structure.
TIME 2004: 156-160 |
| 2003 |
|---|
| 1 | EE | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
ICTCS 2003: 72-85 |
