Gabriele Puppis : Publications
Click here to download all publications in a single bibtex file
@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",
}