Gabriele Puppis : Publications
|
[1] |
A Contraction Method to Decide MSO Theories of Deterministic Trees Angelo Montanari and Gabriele Puppis In LICS'07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science. 2007. |
|
[2] |
A Decidable Spatial Logic with Cone−shaped Cardinal Directions Angelo Montanari‚ Gabriele Puppis and Pietro Sala In CSL'09: Proceedings of the 18th Annual Conference on Computer Science Logic. 2009. |
|
[3] |
A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity Davide Bresolin‚ Angelo Montanari and Gabriele Puppis In Acta Informatica. 2009. |
|
[4] |
Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems Gabriele Puppis In FoLLI LNAI Monograph. 2010. |
|
[5] |
Automata vs. Logics on Data Words Michael Benedikt‚ Clemens Ley and Gabriele Puppis In CSL'10: Proceedings of the 19th Annual Conference on Computer Science Logic. 2010. |
|
[6] |
Compact and Tractable Automaton−based Representations for Time Granularities Ugo Dal Lago‚ Angelo Montanari and Gabriele Puppis In Theoretical Computer Science. 2007. |
|
[7] |
Decidability of MSO Theories of Tree Structures Angelo Montanari and Gabriele Puppis In FSTTCS'04: Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science. 2004. |
|
[8] |
Decidability of the Interval Temporal Logic ABB Over the Natural Numbers Angelo Montanari‚ Gabriele Puppis and Pietro Sala In STACS'10: Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. 2010. |
|
[9] |
Decidability of the Theory of the Totally Unbounded omega−Layered Structure Angelo Montanari and Gabriele Puppis In TIME'04: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning. 2004. |
|
[10] |
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals Angelo Montanari‚ Gabriele Puppis and Pietro Sala In ICALP'10: Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming. 2010. |
|
[11] |
On the Equivalence of Automaton−Based Representations of Time Granularities Ugo Dal Lago and Angelo Montanari In TIME'07: Proceedings of the 14th International Symposium on Temporal Representation and Reasoning. 2007. |
|
[12] |
On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor Angelo Montanari‚ Adriano Peron and Gabriele Puppis In Journal of Applied Non−Classical Logics. 2006. |
|
[13] |
Positive Higher−Order Queries Michael Benedikt‚ Gabriele Puppis and Huy Vu In PODS: The 29th ACM SIGMOD−SIGACT−SIGART Symposium on Principles of Database Systems. 2010. |
|
[14] |
Regular Languages of Words Over Countable Linear Orderings Olivier Carton‚ Thomas Colcombet and Gabriele Puppis In ICALP'11: Proceedings of the 38th International Colloquium on Automata‚ Languages and Programming. 2011. |
|
[15] |
Regular Repairs of Specifications Michael Benedikt‚ Gabriele Puppis and Cristian Riveros In LICS'11: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science. 2011. |
|
[16] |
The Cost of Traveling Between Languages Michael Benedikt‚ Gabriele Puppis and Cristian Riveros In ICALP'11: Proceedings of the 38th International Colloquium on Automata‚ Languages and Programming. 2011. |
|
[17] |
Time Granularities and Ultimately Periodic Automata Davide Bresolin‚ Angelo Montanari and Gabriele Puppis In JELIA'04: Proceedings of the 9th European Conference on Logics in Artificial Intelligence. 2004. |
|
[18] |
Towards Compact and Tractable Automaton−based Representations of Time Granularity Ugo Dal Lago‚ Angelo Montanari and Gabriele Puppis In ICTCS'03: Proceedings of the 8th International Conference on Theoretical Computer Science. 2003. |
|
[19] |
What You Must Remember When Processing Data Words Michael Benedikt‚ Clemens Ley and Gabriele Puppis In AMW'10: Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management. 2010. |