[RR201701] Barozzini, D., Della Monica, D., Montanari, A., and Sala, P., Extending omega-regular languages with a strong T-constructor: omegaT-regular languages and counter-queue automata , Research Report 2017/01, Dept. of Mathematics, Computer Science, and Physics, University of Udine, Italy, 2017.
[RR38] Montanari A., Puppis G., Sala P.,and 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