[RR38] Montanari A., G. Puppis, Sala P., Sciavicco G.,  Decidability of the interval temporal logic ABBbar over the natural numbers. Rapporto di Ricerca 07/2009. Dipartimento di Matematica ed Informatica, Università di Udine, December 2009 (extended version of [C70]).


[RR37] Montanari A., Policriti A., Vitacolonna N.,   Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies. Rapporto di Ricerca 02/2009. Dipartimento di Matematica ed Informatica, Università di Udine, February 2009 (extended version of [C48]).


[RR36] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions". Rapporto di Ricerca 05/2008. Dipartimento di Matematica ed Informatica, Università di Udine, February 2008 (preliminary version of [J34]).


[RR30] Montanari A., Puppis G.,  Decidability of MSO Theories of Tree Structures. Rapporto di Ricerca 01/2004. Dipartimento di Matematica ed Informatica, Università di Udine, January 2004 (extended version of [C43]).


[RR29] Bresolin D., Montanari A., Puppis G.,  Time Granularities and Ultimately Periodic Automata. Rapporto di Ricerca 24/2003. Dipartimento di Matematica ed Informatica, Università di Udine, October 2003 (preliminary version of [J35]).


[RR28] Dal Lago U., Montanari A., Puppis G., Towards Compact and Tractable Automaton-based Representations of Time Granularity. Rapporto di Ricerca 17/2003. Dipartimento di Matematica ed Informatica, Università di Udine, July 2003 (extended version of [C40]).


[RR27] Dal Lago U., Montanari A., Puppis G., Time Granularities, Calendar Algebra, and Automata. Rapporto di Ricerca 04/2003. Dipartimento di Matematica ed Informatica, Università di Udine, February 2003.


[RR26] Franceschet M., Montanari A., Peron A., Sciavicco G.,  Definability and decidability of binary predicates for time granularity. Rapporto di Ricerca 02/2002. Dipartimento di Matematica ed Informatica, Università di Udine, February 2002