| 2011 |
|---|
| 20 | Regular Languages of Words over Countable Linear Orderings. Olivier Carton, Thomas Colcombet, Gabriele Puppis. ICALP (2) 2011, 125-136. Web SearchBibTeXDownload |
| 19 | The Cost of Traveling between Languages. Michael Benedikt, Gabriele Puppis, Cristian Riveros. ICALP (2) 2011, 234-245. Web SearchBibTeXDownload |
| 18 | Regular Repair of Specifications. Michael Benedikt, Gabriele Puppis, Cristian Riveros. LICS 2011, 335-344. Web SearchBibTeXDownload |
| 17 | On the Use of Guards for Logics with Data. Thomas Colcombet, Clemens Ley, Gabriele Puppis. MFCS 2011, 243-255. Web SearchBibTeXDownload |
| 2010 |
|---|
| 16 | What You Must Remember When Processing Data Words. Michael Benedikt, Clemens Ley, Gabriele Puppis. AMW 2010. Web SearchBibTeXDownload |
| 15 | Automata vs. Logics on Data Words. Michael Benedikt, Clemens Ley, Gabriele Puppis. CSL 2010, 110-124. Web SearchBibTeXDownload |
| 14 | Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. Angelo Montanari, Gabriele Puppis, Pietro Sala. ICALP (2) 2010, 345-356. Web SearchBibTeXDownload |
| 13 | Positive higher-order queries. Michael Benedikt, Gabriele Puppis, Huy Vu. PODS 2010, 27-38. Web SearchBibTeXDownload |
| 12 | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. STACS 2010, 597-608. Web SearchBibTeXDownload |
| 2009 |
|---|
| 11 | A theory of ultimately periodic languages and automata with an application to time granularity. Davide Bresolin, Angelo Montanari, Gabriele Puppis. Acta Inf. (46): 331-360 (2009). Web SearchBibTeXDownload |
| 10 | Decidability of the interval temporal logic ABBar over the natural numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. CoRR (abs/0912.3429) (2009). Web SearchBibTeXDownload |
| 9 | A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. Angelo Montanari, Gabriele Puppis, Pietro Sala. CSL 2009, 394-408. Web SearchBibTeXDownload |
| 2007 |
|---|
| 8 | A Contraction Method to Decide MSO Theories of Deterministic Trees. Angelo Montanari, Gabriele Puppis. LICS 2007, 141-150. Web SearchBibTeXDownload |
| 7 | Compact and tractable automaton-based representations of time granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. Theor. Comput. Sci. (373): 115-141 (2007). Web SearchBibTeXDownload |
| 6 | On the Equivalence of Automaton-Based Representations of Time Granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. TIME 2007, 82-93. Web SearchBibTeXDownload |
| 2006 |
|---|
| 5 | On the relationships between theories of time granularity and the monadic second-order theory of one successor. Angelo Montanari, Adriano Peron, Gabriele Puppis. Journal of Applied Non-Classical Logics (16): 433-456 (2006). Web SearchBibTeXDownload |
| 2004 |
|---|
| 4 | Decidability of MSO Theories of Tree Structures. Angelo Montanari, Gabriele Puppis. FSTTCS 2004, 434-446. Web SearchBibTeXDownload |
| 3 | Time Granularities and Ultimately Periodic Automata. Davide Bresolin, Angelo Montanari, Gabriele Puppis. JELIA 2004, 513-525. Web SearchBibTeXDownload |
| 2 | Decidability of the Theory of the Totally Unbounded omega-Layered Structure. Angelo Montanari, Gabriele Puppis. TIME 2004, 156-160. Web SearchBibTeXDownload |
| 2003 |
|---|
| 1 | Towards Compact and Tractable Automaten-Based Representations of Time Granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. ICTCS 2003, 72-85. Web SearchBibTeXDownload |
