 | 2009 |
|---|
| 9 |       | Angelo Montanari,
Gabriele Puppis,
Pietro Sala:
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.
CSL 2009: 394-408 |
| 8 | | Davide Bresolin,
Angelo Montanari,
Gabriele Puppis:
A theory of ultimately periodic languages and automata with an application to time granularity.
Acta Inf. 46(5): 331-360 (2009) |
| 2007 |
|---|
| 7 | | Angelo Montanari,
Gabriele Puppis:
A Contraction Method to Decide MSO Theories of Deterministic Trees.
LICS 2007: 141-150 |
| 6 | | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities.
TIME 2007: 82-93 |
| 5 | | 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 | | Angelo Montanari,
Gabriele Puppis:
Decidability of MSO Theories of Tree Structures.
FSTTCS 2004: 434-446 |
| 3 | | Davide Bresolin,
Angelo Montanari,
Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata.
JELIA 2004: 513-525 |
| 2 | | Angelo Montanari,
Gabriele Puppis:
Decidability of the Theory of the Totally Unbounded omega-Layered Structure.
TIME 2004: 156-160 |
| 2003 |
|---|
| 1 | | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
ICTCS 2003: 72-85 |
