CRIS Current Research Information System

LANESE, IVAN

LANESE, IVAN  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 117 (tempo di esecuzione: 0.055 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Basic Algebra of Stateless Connectors R. BRUNI; I. LANESE; U. MONTANARI 2006-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A case study for reversible computing: Reversible debugging of concurrent programs Hoey J.; Lanese I.; Nishida N.; Ulidowski I.; Vidal G. 2020-01-01 - Springer 2.01 Capitolo / saggio in libro published.pdf
A Component Model for the ABS Language M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetz...sch-Heffter 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Framework for Rule-Based Dynamic Adaptation I. LANESE; A. BUCCHIARONE A; F. MONTESI 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
A general approach to derive uncontrolled reversible semantics Lanese I.; Medic D. 2020-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno published.pdf
A Graphical Fusion Calculus LANESE I.; MONTANARI U. 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier B.V. 4.01 Contributo in Atti di convegno -
A Language-based Approach for Interoperability of IoT Platforms Gabbrielli, Maurizio;
Giallorenzo, Saverio;
Lanese, Ivan;
Zingaro, Stefano Pio; 		2018-01-01 - - 4.01 Contributo in Atti di convegno -
A MAPE-K Approach to Autonomic Microservices Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J. 2022-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno ICSA2022_NEMI.pdf
A modular formalization of reversibility for concurrent models and languages Bernadet, Alexis; Lanese, Ivan 2016-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno -
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions R. Bruni; A. Kersten; I. Lanese; G. Spagnolo 2012-01-01 - Springer 2.01 Capitolo / saggio in libro -
A Reversible Abstract Machine and Its Space Overhead M. Lienhardt; I. Lanese; C. A. Mezzina; J.-B. Stefani 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES Barbanera F.; Lanese I.; Tuosto E. 2023-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista published.pdf
A theory of retractable and speculative contracts Barbanera, Franco; Lanese, Ivan*; de'Liguoro, Ugo 2018-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
A theory of reversibility for Erlang Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán 2018-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista paper.pdf
Advanced Mechanisms for Service Combination and Transactions C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro 2011-01-01 - Springer 2.01 Capitolo / saggio in libro -
AIOCJ Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio 2014-01-01 - - 7.04 Software -
AIOCJ: A choreographic framework for safe adaptive distributed applications Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio 2014-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Amending Choreographies Ivan Lanese;Fabrizio Montesi;Gianluigi Zavattaro 2013-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
An Axiomatic Approach to Reversible Computation Lanese I.; Phillips I.; Ulidowski I. 2020-01-01 - Springer 4.01 Contributo in Atti di convegno published.pdf
An operational semantics for a calculus for wireless systems I. Lanese; D. Sangiorgi 2010-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -