I agree that this site is using cookies. You can find further informations here.
X
Ivan Lanese
5  results:
E-Books X
Search for persons X
?
1

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

Reversible Computation 

8th International Conference, RC 2016, Bologna, Italy, July...  Lecture Notes in Computer Science ; 9720;Programming and Software Engineering ; 9720;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Devitt, Simon ; Lanese, Ivan , 2016
Link: https://doi.org/10.1007/..
 
?
3

Formal Aspects of Component Software 

11th International Symposium, FACS 2014, Bertinoro, Italy, ...  Lecture Notes in Computer Science ; 8997;SpringerLink, Bücher
Lanese, Ivan ; Madelaine, Eric , 2015
Link: https://doi.org/10.1007/..
 
?
4

Theoretical Computer Science 

8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Ro...  Lecture Notes in Computer Science ; 8705;SpringerLink, Bücher
Diaz, Josep ; Lanese, Ivan ; Sangiorgi, Davide , 2014
Link: https://doi.org/10.1007/..
 
?
5

Formal Techniques for Distributed Objects, Components, and .. 

36th IFIP WG 6.1 International Conference, FORTE 2016, Held...  Lecture Notes in Computer Science ; 9688;Programming and Software Engineering ; 9688;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Albert, Elvira ; Lanese, Ivan , 2016
Link: https://doi.org/10.1007/..
 
1-5