I agree that this site is using cookies. You can find further informations here.
X
Ivan Lanese
34  results:
Articles (Online) X
Search for persons X
?
1

An Axiomatic Theory for Reversible Computation:

Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek
ACM Transactions on Computational Logic.  25 (2024)  2 - p. 1-40 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Reversible debugging of concurrent Erlang programs: Support..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
Journal of Logical and Algebraic Methods in Programming.  138 (2024)  - p. 100944 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  135 (2023)  - p. 100890 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Reversible Computing in Debugging of Erlang Programs:

Lanese, Ivan ; Schultz, Ulrik P. ; Ulidowski, Irek
IT Professional.  24 (2022)  1 - p. 74-80 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Preface for the Special Issue of the 12th Conference on Rev..:

Lanese, Ivan ; Rawski, Mariusz
Science of Computer Programming.  218 (2022)  - p. 102808 , 2022
Link: https://doi.org/10.1016/..
 
?
6

Composition and decomposition of multiparty sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Lanese, Ivan.
Journal of Logical and Algebraic Methods in Programming.  119 (2021)  - p. 100620 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Reversible Execution for Robustness in Embodied AI and Indu..:

Lanese, Ivan ; Schultz, Ulrik ; Ulidowski, Irek
IT Professional.  23 (2021)  3 - p. 12-17 , 2021
Link: https://doi.org/10.1109/..
 
?
8

Static and dynamic property-preserving updates:

Bresolin, Davide ; Lanese, Ivan
Information and Computation.  279 (2021)  - p. 104611 , 2021
Link: https://doi.org/10.1016/..
 
?
9

Static versus dynamic reversibility in CCS:

Lanese, Ivan ; Medić, Doriana ; Mezzina, Claudio Antares
Acta Informatica.  58 (2019)  1-2 - p. 1-34 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Preface for the special issue of the 8th Conference on Reve..:

Lanese, Ivan ; Devitt, Simon
Science of Computer Programming.  151 (2018)  - p. 1 , 2018
Link: https://doi.org/10.1016/..
 
?
11

A theory of reversibility for Erlang:

Lanese, Ivan ; Nishida, Naoki ; Palacios, Adrián.
Journal of Logical and Algebraic Methods in Programming.  100 (2018)  - p. 71-97 , 2018
Link: https://doi.org/10.1016/..
 
?
12

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; de'Liguoro, Ugo
Science of Computer Programming.  167 (2018)  - p. 25-50 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Preface for the special issue on Interaction and Concurrenc..:

Lanese, Ivan ; Lluch Lafuente, Alberto ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming.  86 (2017)  1 - p. 1 , 2017
Link: https://doi.org/10.1016/..
 
?
14

Causal-consistent rollback in a tuple-based language:

Giachino, Elena ; Lanese, Ivan ; Mezzina, Claudio Antares.
Journal of Logical and Algebraic Methods in Programming.  88 (2017)  - p. 99-120 , 2017
Link: https://doi.org/10.1016/..
 
?
15

Preface for the special issue on Interaction and Concurrenc..:

Lanese, Ivan ; Lluch Lafuente, Alberto ; Sokolova, Ana.
Journal of Logical and Algebraic Methods in Programming.  85 (2016)  3 - p. 367 , 2016
Link: https://doi.org/10.1016/..
 
1-15