I agree that this site is using cookies. You can find further informations here.
X
Lanese, Ivan
290  results:
english 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

Reversibility with Holes: (Work in Progress):

, In: Reversible Computation; Lecture Notes in Computer Science,
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 69-74 , 2024
Link: https://doi.org/10.1007/..
 
?
3

A Small-Step Semantics for Janus:

, In: Reversible Computation; Lecture Notes in Computer Science,
Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 105-123 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Choreographic Automata: A Case Study in Healthcare Manageme..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Pal, Sourabh ; Lanese, Ivan ; Clo, Massimo - p. 3-19 , 2024
Link: https://doi.org/10.1007/..
 
?
5

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/..
 
?
6

Causal Debugging for Concurrent Systems:

, In: Reversible Computation; Lecture Notes in Computer Science,
Lanese, Ivan ; Gössler, Gregor - p. 3-9 , 2024
Link: https://doi.org/10.1007/..
 
?
7

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/..
 
?
8

Programming Adaptive Microservice Applications: An AIOCJ Tu..:

, In: Behavioural Types,
Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo. - p. 147-167 , 2022
Link: https://doi.org/10.1201/..
 
?
9

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/..
 
?
10

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/..
 
?
11

Static and dynamic property-preserving updates:

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

Choreography Automata:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio - p. 86-106 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Foundations of Reversible Computation:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,
Aman, Bogdan ; Ciobanu, Gabriel ; Glück, Robert... - p. 1-40 , 2020
Link: https://doi.org/10.1007/..
 
?
14

A Case Study for Reversible Computing: Reversible Debugging..:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,
Hoey, James ; Lanese, Ivan ; Nishida, Naoki.. - p. 108-127 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Reversible Computation: 12th International Conference, RC 2.. 

Programming and Software Engineering, 12227
Lanese, Ivan ; Rawski, Mariusz - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
1-15