Gabriele Puppis

Gabriele Puppis

Università degli Studi di Udine - Udine / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1804478
University of Udine
person_outline Gabriele Puppis's MOST POPULAR ARTICLES
1-) Maximal decidable fragments of Halpern and Shoham’s modal logic of intervalsA Montanari, G Puppis, P SalaInternational Colloquium on Automata, Languages, and Programming, 345-356, 2010742010
2-) Decidability of the interval temporal logic ABBar over the natural numbersA Montanari, G Puppis, P Sala, G SciaviccoarXiv preprint arXiv:0912.3429, 2009452009
3-) Automata vs. logics on data wordsM Benedikt, C Ley, G PuppisComputer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010402010
4-) A decidable spatial logic with cone-shaped cardinal directionsA Montanari, G Puppis, P SalaComputer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009402009
5-) What you must remember when processing data wordsM Benedikt, C Ley, G PuppisAMW\'10: Proceedings of the 4th Alberto Mendelzon International Workshop on …, 2010392010