Gabbrielli, Maurizio;
Giallorenzo, Saverio;
Lanese, Ivan;
Zingaro, Stefano Pio;, A Language-based Approach for Interoperability of IoT Platforms, in: Proceedings of the 51st Hawaii International Conference on System Sciences, 2018, pp. 5697 - 5706 (atti di: 51st Hawaii International Conference on System Sciences, Hawaii, January 2018) [Contributo in Atti di convegno]
Barbanera, Franco; Lanese, Ivan*; de'Liguoro, Ugo, A theory of retractable and speculative contracts, «SCIENCE OF COMPUTER PROGRAMMING», 2018, 167, pp. 25 - 50 [articolo]
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán, A theory of reversibility for Erlang, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 100, pp. 71 - 97 [articolo]Open Access
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán*, Cauder: A causal-consistent reversible debugger for erlang, in: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 10818, pp. 247 - 263 (atti di: 14th International Symposium on Functional and Logic Programming, FLOPS 2018, Nagoya, Japan, 2018) [Contributo in Atti di convegno]
Giallorenzo, Saverio*; Lanese, Ivan; Russo, Daniel, ChIP: A choreographic integration process, in: On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 11230, pp. 22 - 40 (atti di: Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C and TC, held as part of OTM 2018, Valletta, Malta, 2018) [Contributo in Atti di convegno]
Lanese, Ivan*, From reversible semantics to reversible debugging, in: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 11106, pp. 34 - 46 (atti di: 10th International Conference on Reversible Computation, RC 2018, Leicester, UK, 2018) [Contributo in Atti di convegno]
Nicola, Dragoni; Ivan, Lanese; Stephan Thordal Larsen, ; Manuel, Mazzara; Ruslan, Mustafin; Larisa, Safina, Microservices: How To Make Your Application Scale, in: Perspectives of System Informatics. 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 10742, pp. 95 - 104 (atti di: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Mosca, Russia, 26–29/6/2017) [Contributo in Atti di convegno]
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-consistent rollback in a tuple-based language, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2017, 88, pp. 99 - 120 [articolo]
Mila, Dalla Preda; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro, Dynamic Choreographies: Theory And Implementation, «LOGICAL METHODS IN COMPUTER SCIENCE», 2017, 13, pp. 1 - 57 [articolo]Open Access
Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi, Microservices: A Language-Based Approach, in: Present and Ulterior Software Engineering, Cham, Springer, 2017, pp. 217 - 225 [capitolo di libro]
Bresolin, Davide; Lanese, Ivan, Most general property-preserving updates, in: 11th International Conference on Language and Automata Theory and Applications, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10168, pp. 367 - 379 (atti di: 11th International Conference on Language and Automata Theory and Applications, LATA 2017, Umeå, Sweden, 2017) [Contributo in Atti di convegno]
Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M., Programming adaptive microservice applications: An AIOCJ tutorial, in: Behavioural Types: from Theory to Tools, Gistrup, River Publishers, 2017, pp. 147 - 168 [capitolo di libro]Open Access
Franco, Barbanera; Ivan, Lanese; Ugo, De'Liguoro, Retractable and speculative contracts, in: Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017, Proceedings, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, pp. 119 - 137 (atti di: COORDINATION 2017, Neuchatel, Svizzera, 19-22 giugno 2017) [Contributo in Atti di convegno]
Bernadet, Alexis; Lanese, Ivan, A modular formalization of reversibility for concurrent models and languages, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2016, 223, pp. 98 - 112 (atti di: 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Grecia, 8-9 Giugno 2016) [Contributo in Atti di convegno]
Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi, Foundations of session types and behavioural contracts, «ACM COMPUTING SURVEYS», 2016, 49, Article number: 2873052, pp. 1 - 36 [articolo]Open Access
