David Barozzini

According to our database, David Barozzini authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Cost Automata, Safe Schemes, and Downward Closures.

David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys

Fundam. Informaticae, 2022

Unboundedness for Recursion Schemes: A Simpler Type System.

David Barozzini, Pawel Parys, Jan Wroblewski

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2020

Beyond <i>ω</i>-regular languages: <i>ωT</i>-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

2017

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.

David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017