Pietro Barbieri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2020–2022
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FLOPS | Enhancing Expressivity of Checked Corecursive Streams. | Davide Ancona, Pietro Barbieri, Elena Zucca |
| 2020 | ECOOP | Sound Regular Corecursion in coFJ. | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | ECOOP | An inductive abstract semantics for coFJ. | Pietro Barbieri, Francesco Dagnino, Elena Zucca |