Foto del docente

Ivan Lanese

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contributo in Atti di convegno]

R. Bruni; A. Kersten; I. Lanese; G. Spagnolo, A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, in: Proceedings of WADT 2010, 20th International Workshop on Recent Trends in Algebraic Development Techniques, Berlin, Springer, 2012, pp. 42 - 60 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

M. Lienhardt; I. Lanese; C. A. Mezzina; J.-B. Stefani, A Reversible Abstract Machine and Its Space Overhead, in: Proc. of Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7273, pp. 1 - 17 (atti di: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, 13-16 June 2012) [Contributo in Atti di convegno]

C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro, Advanced Mechanisms for Service Combination and Transactions, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 302 - 325 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

I. Lanese; A. Ravara; H. T. Vieira, Behavioral Theory for Session-Oriented Calculi, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 189 - 213 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

I. Lanese; C. A. Mezzina; A. Schmitt; J. Stefani, Controlling Reversibility in Higher-Order Pi, in: Proceedings of CONCUR 2011, 22nd International Conference on Concurrency Theory, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6901, pp. 297 - 311 (atti di: CONCUR 2011, 22nd International Conference on Concurrency Theory, Aachen, Germany, 5-10/9/2011) [Contributo in Atti di convegno]

Johnsen E. B.; Lanese I.; Zavattaro G., Fault in the Future, in: Proceedings of COORDINATION 2011, 13th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6721, pp. 1 - 15 (atti di: COORDINATION 2011, 13th International Conference on Coordination Models and Languages, Reykjavik, Iceland, 6-9/6/2011) [Contributo in Atti di convegno]

Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro, Graceful Interruption of Request-Response Service Interactions, in: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 7084, pp. 590 - 600 (atti di: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Cipro, 2011) [Contributo in Atti di convegno]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the expressiveness and decidability of higher-order process calculi, «INFORMATION AND COMPUTATION», 2011, 209, pp. 198 - 226 [articolo]

M. Bartoletti; L. Caires; I. Lanese; F. Mazzanti; D. Sangiorgi; H. T. Vieira; R. Zunino, Tools and Verification, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 408 - 427 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

I. LANESE; A. BUCCHIARONE A; F. MONTESI, A Framework for Rule-Based Dynamic Adaptation, in: Proceedings of the 5th International Symposium on Trustworthly Global Computing, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6084, pp. 284 - 300 (atti di: 5th International Symposium on Trustworthly Global Computing, Munich, Germany, 24-26/2/2010) [Contributo in Atti di convegno]

I. Lanese; D. Sangiorgi, An operational semantics for a calculus for wireless systems, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1928 - 1948 [articolo]

I. LANESE; F. MONTESI, Error Handling: From Theory to Practice, in: Proceedings of the 4th International Symposium on Leveraging Applications, ISoLA 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6416, pp. 66 - 81 (atti di: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 18-21/10/2010) [Contributo in Atti di convegno]

I. LANESE; C. VAZ; C. FERREIRA, On the Expressive Power of Primitives for Compensation Handling, in: Proceedings of the 19th European Symposium on Programming, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6012, pp. 366 - 386 (atti di: 19th European Symposium on Programming, Paphos, Cyprus, 22-26 Marzo 2010) [Contributo in Atti di convegno]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, in: Automata, Languages and Programming : Proceedings, BERLIN, Springer, 2010, 6199, pp. 442 - 453 (atti di: 37th International Colloquium Automata, Languages and Programming (ICALP 2010), Bordeaux, France, July 6-10, 2010) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.