LANESE, IVAN

LANESE, IVAN  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 111 (tempo di esecuzione: 0.048 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 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 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 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 -
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 operational semantics for a calculus for wireless systems I. Lanese; D. Sangiorgi 2010-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
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
Behavioral Theory for Session-Oriented Calculi I. Lanese; A. Ravara; H. T. Vieira 2011-01-01 - Springer 2.01 Capitolo / saggio in libro -
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus L. CRUZ-FILIPE; I. LANESE; F. MARTINS; A. RAVARA; V.T. VASCONCELOS 2008-01-01 - Springer 4.01 Contributo in Atti di convegno -
Bridging the Gap between Interaction- and Process-Oriented Choreographies I. Lanese; C. Guidi; F. Montesi; G. Zavattaro 2008-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
CaReDeb Elena Giachino; Ivan Lanese; Claudio Antares Mezzina 2014-01-01 - - 7.04 Software -
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
Cauder: A causal-consistent reversible debugger for erlang Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán* 2018-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Causal-Consistent Debugging of Distributed Erlang Programs Fabbretti G.; Lanese I.; Stefani J.-B. 2021-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno -
Causal-Consistent Replay Debugging for Message Passing Programs Lanese I.; Palacios A.; Vidal G. 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno 737300.pdf