Foto del docente

Ivan Lanese

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

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]

Dragoni, Nicola; Lanese, Ivan; Thordal Larsen, Stephan; Mazzara, Manuel; Mustafin, Ruslan; Safina, Larisa, 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]

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]

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, pp. 1 - 36 [articolo]

Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo De'Liguoro, Retractable Contracts, in: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., 2016, 203, pp. 61 - 72 (atti di: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, UK, 18/4/2015) [Contributo in Atti di convegno]

Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean Bernard, Reversibility in the higher-order π-calculus, «THEORETICAL COMPUTER SCIENCE», 2016, 625, pp. 25 - 84 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.