‪Pietro Lami‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	5	5
h-index	1	1
i10-index	0	0

0

4

2

2022202320241 1 3

Public access

1 article

1 article

available

not available

Based on funding mandates

Co-authors

Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Giovanni FabbrettiINRIAVerified email at inria.fr
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it

Pietro Lami

Pietro Lami

Verified email at inria.fr - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reversibility in erlang: imperative constructs P Lami, I Lanese, JB Stefani, C Sacerdoti Coen, G Fabbretti International Conference on Reversible Computation, 187-203, 2022	5	2022
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives P Lami, I Lanese, JB Stefani, CS Coen, G Fabbretti Journal of Logical and Algebraic Methods in Programming 138, 100944, 2024		2024
Reversibility in Erlang: Imperative Constructs-Technical Report P Lami, I Lanese, JB Stefani, CS Coen, G Fabbretti Inria-Research Centre Grenoble–Rhône-Alpes, 2022		2022
Estensione di un debugger reversibile per Erlang con feature imperative CS Coen, P Lami
Verso la convergenza tra Operational Transformation e Change Tracking F Vitali, P Lami

The system can't perform the operation now. Try again later.

Articles 1–5