Pietro Barbieri

Orcid: 0000-0003-3193-5549

According to our database1, Pietro Barbieri authored at least 9 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Checking equivalence of corecursive streams: An inductive procedure.
Theor. Comput. Sci., 2024

2023
Checked corecursive streams: Expressivity and completeness.
Theor. Comput. Sci., September, 2023

2022
Enhancing expressivity of checked corecursive streams (extended version).
CoRR, 2022

Equality of Corecursive Streams Defined by Finitary Equational Systems.
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Enhancing Expressivity of Checked Corecursive Streams.
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021
Enhanced Regular Corecursion for Data Streams.
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020
An inductive abstract semantics for coFJ.
Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

Sound Regular Corecursion in coFJ.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Corecursive Featherweight Java Revisited.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019


  Loading...