David Barozzini

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 7

Top Topics

Finite Automata

Semistructured Data

Regular Expressions

Top Venues

Fundam. Informaticae

Publications

David Barozzini, Pawel Parys, Jan Wroblewski
Unboundedness for Recursion Schemes: A Simpler Type System. ICALP (2022)
David Barozzini, Pawel Parys, Jan Wroblewski
Unboundedness for Recursion Schemes: A Simpler Type System. CoRR (2022)
David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys
Cost Automata, Safe Schemes, and Downward Closures. Fundam. Informaticae 188 (3) (2022)
David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys
Cost Automata, Safe Schemes, and Downward Closures. ICALP (2020)
David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813 (2020)
David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys
Cost Automata, Safe Schemes, and Downward Closures. CoRR (2020)
David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC (2017)