Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. - David Barozzini; Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS/CILC, 2017)

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. - David Barozzini; David de Frutos-Escrig; Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2020)

Unboundedness for Recursion Schemes: A Simpler Type System. - David Barozzini; Pawel Parys; Jan Wroblewski (ICALP, 2022)

Cost Automata, Safe Schemes, and Downward Closures. - David Barozzini; Lorenzo Clemente; Thomas Colcombet; Pawel Parys (Fundam. Informaticae, 2022)