@article{4913,
  title = "The Cost of Traveling Between Languages",
  author = "Michael Benedikt and Gabriele Puppis and Cristian Riveros",
  year = "2011",
  journal = "ICALP'11: Proceedings of the 38th International Colloquium on Automata, Languages and Programming",
}
@article{4912,
  title = "Regular Languages of Words Over Countable Linear Orderings",
  author = "Olivier Carton and Thomas Colcombet and Gabriele Puppis",
  year = "2011",
  journal = "ICALP'11: Proceedings of the 38th International Colloquium on Automata, Languages and Programming",
}
@article{4911,
  title = "Regular Repairs of Specifications",
  author = "Michael Benedikt and Gabriele Puppis and Cristian Riveros",
  year = "2011",
  journal = "LICS'11: Proceedings of the 26th Annual IEEE Symposium on  Logic in Computer Science",
}
@article{3957,
  title = "Automata vs. Logics on Data Words",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "CSL'10: Proceedings of the 19th Annual Conference on Computer Science Logic",
}
@article{3956,
  title = "Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals",
  author = "Angelo Montanari and Gabriele Puppis and Pietro Sala",
  year = "2010",
  journal = "ICALP'10: Proceedings of the 37th International Colloquium on Automata, Languages and Programming",
}
@article{3955,
  title = "What You Must Remember When Processing Data Words",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "AMW'10: Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management",
}
@article{3954,
  title = "Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems",
  author = "Gabriele Puppis",
  year = "2010",
  journal = "FoLLI LNAI Monograph",
}
@article{3953,
  title = "Decidability of the Interval Temporal Logic ABB Over the Natural Numbers",
  author = "Angelo Montanari and Gabriele Puppis and Pietro Sala",
  year = "2010",
  journal = "STACS'10: Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science",
}
@article{BenediktPuppisVu10,
  title = "Positive Higher-Order Queries",
  author = "Michael Benedikt and Gabriele Puppis and Huy Vu",
  year = "2010",
  affiliation = "Oxford University",
  journal = "PODS: The 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems",
  location = "Indianapolis, Indiana, USA",
  publisher = "ACM",
}
@article{3952,
  title = "A Decidable Spatial Logic with Cone-shaped Cardinal Directions",
  author = "Angelo Montanari and Gabriele Puppis and Pietro Sala",
  year = "2009",
  journal = "CSL'09: Proceedings of the 18th Annual Conference on Computer Science Logic",
}
@article{3951,
  title = "A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity",
  author = "Davide Bresolin and Angelo Montanari and Gabriele Puppis",
  year = "2009",
  journal = "Acta Informatica",
}
@article{3950,
  title = "A Contraction Method to Decide MSO Theories of Deterministic Trees",
  author = "Angelo Montanari and Gabriele Puppis",
  year = "2007",
  journal = "LICS'07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science",
}
@article{3949,
  title = "On the Equivalence of Automaton-Based Representations of Time Granularities",
  author = "Ugo Dal Lago and Angelo Montanari",
  year = "2007",
  journal = "TIME'07: Proceedings of the 14th International Symposium on Temporal Representation and Reasoning",
}
@article{3948,
  title = "Compact and Tractable Automaton-based Representations for Time Granularities",
  author = "Ugo Dal Lago and Angelo Montanari and Gabriele Puppis",
  year = "2007",
  journal = "Theoretical Computer Science",
}
@article{3947,
  title = "On the Relationships Between Theories of Time Granularity and the Monadic Second-order Theory of One Successor",
  author = "Angelo Montanari and Adriano Peron and Gabriele Puppis",
  year = "2006",
  journal = "Journal of Applied Non-Classical Logics",
}
@article{3946,
  title = "Decidability of the Theory of the Totally Unbounded omega-Layered Structure",
  author = "Angelo Montanari and Gabriele Puppis",
  year = "2004",
  journal = "TIME'04: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning",
}
@article{3945,
  title = "Decidability of MSO Theories of Tree Structures",
  author = "Angelo Montanari and Gabriele Puppis",
  year = "2004",
  journal = "FSTTCS'04: Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science",
}
@article{3943,
  title = "Time Granularities and Ultimately Periodic Automata",
  author = "Davide Bresolin and Angelo Montanari and Gabriele Puppis",
  year = "2004",
  journal = "JELIA'04: Proceedings of the 9th European Conference on Logics in Artificial Intelligence",
}
@article{3942,
  title = "Towards Compact and Tractable Automaton-based Representations of Time Granularity",
  author = "Ugo Dal Lago and Angelo Montanari and Gabriele Puppis",
  year = "2003",
  journal = "ICTCS'03: Proceedings of the 8th International Conference on Theoretical Computer Science",
}