Pietro Barbieri

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Top Venues

Theor. Comput. Sci.

Publications

Davide Ancona, Pietro Barbieri, Elena Zucca
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009 (2024)
Davide Ancona, Pietro Barbieri, Elena Zucca
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974 (2023)
Davide Ancona, Pietro Barbieri, Elena Zucca
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing Expressivity of Checked Corecursive Streams. FLOPS (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing expressivity of checked corecursive streams (extended version). CoRR (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhanced Regular Corecursion for Data Streams. CoRR (2021)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhanced Regular Corecursion for Data Streams. ICTCS (2021)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. CoRR (2020)
Pietro Barbieri, Francesco Dagnino, Elena Zucca
An inductive abstract semantics for coFJ. FTfJP@ECOOP (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. ECOOP (2020)
Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
Corecursive Featherweight Java Revisited. ICTCS (2019)