Giovanni Fabbretti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RC | Reversibility with Holes - (Work in Progress). | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | ICFEM | Generation of a Reversible Semantics for Erlang in Maude. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | RC | Reversibility in Erlang: Imperative Constructs. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
| 2021 | RC | Causal-Consistent Debugging of Distributed Erlang Programs. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |