Foto del docente

Ivan Lanese

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

I. LANESE; C. A. MEZZINA; J. STEFANI, Reversing Higher-Order Pi, in: Proceedings of the 21th International Conference on Concurrency Theory - CONCUR 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6269, pp. 478 - 493 (atti di: 21th International Conference on Concurrency Theory - CONCUR 2010, Parigi, Francia, 31/8/2010 - 3/9/2010) [Contributo in Atti di convegno]

Lanese I., Static vs Dynamic SAGAs, in: Third Interaction and Concurrency Experience (ICE 2010), 2010, 38, pp. 51 - 65 (atti di: 3rd Interaction and Concurrency Experience, Amsterdam, Netherlands, 10/6/2010) [Contributo in Atti di convegno]

M. Bravetti; I. Lanese; G. Zavattaro, Contract-Driven Implementation of Choreographies, in: Proceedings of Symposium on Trustworthy Global Computing 2008., BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5474, pp. 1 - 18 (atti di: Symposium on Trustworthy Global Computing 2008, Barcellona, November 3-4, 2008) [Contributo in Atti di convegno]

C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, Dynamic Error Handling in Service Oriented Applications, «FUNDAMENTA INFORMATICAE», 2009, 95(1), pp. 73 - 102 [articolo]

I. Lanese; G. Zavattaro, Programming Sagas in SOCK, in: Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, LOS ALAMITOS, CA, IEEE Computer Society Press, 2009, pp. 189 - 198 (atti di: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November, 2009) [Contributo in Atti di convegno]

F. ARBAB; R. BRUNI; D. CLARKE; I. LANESE; U. MONTANARI, Tiles for Reo, in: Proceedings of the 19th International Workshop on Algebraic Development Techniques, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5486, pp. 37 - 55 (atti di: 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13-16/6/2008) [Contributo in Atti di convegno]

L. CRUZ-FILIPE; I. LANESE; F. MARTINS; A. RAVARA; V.T. VASCONCELOS, Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus, in: Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5051, pp. 59 - 77 (atti di: 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Oslo, Norway, 4-6/6/2008) [Contributo in Atti di convegno]

I. Lanese; C. Guidi; F. Montesi; G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, in: Proc. of Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 323 - 332 (atti di: Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, Cape Town. South Africa, 10-14 Nov. 2008) [Contributo in Atti di convegno]

F. Montesi; C. Guidi; I. Lanese; G. Zavattaro, Dynamic fault handling mechanisms for service-oriented applications, in: Proceedings of the 6th IEEE European Conference on Web Services, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 225 - 234 (atti di: 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 Novembre 2008) [Contributo in Atti di convegno]

Lanese I., Exploiting User-Definable Synchronizations in Graph Transformation, in: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006) Vienna, Austria, Amsterdam, Elsevier B.V, 2008, 211, pp. 27 - 38 (atti di: 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Vienna, Austria, 1/4/2006) [Contributo in Atti di convegno]

R. BRUNI; I. LANESE; H. MELGRATTI; E. TUOSTO, Multiparty Sessions in SOC, in: Proceedings of the 10th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5052, pp. 67 - 82 (atti di: 10th International Conference on Coordination Models and Languages, Oslo, Norvegia, 4-6/6/2008) [Contributo in Atti di convegno]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness and Decidability of Higher-Order Process Calculi, in: LICS'08, LOS ALAMITOS, IEEE Computer Society, 2008, pp. 145 - 155 (atti di: Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008,, Pittsburgh, USA, 24-27 June 2008) [Contributo in Atti di convegno]

C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, On the interplay between fault handling and request-response service invocations, in: Proc. of Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 190 - 198 (atti di: Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, Xidian, China, 23-27 June 2008) [Contributo in Atti di convegno]

R. Bruni; I. Lanese, Parametric synchronizations in mobile nominal calculi, «THEORETICAL COMPUTER SCIENCE», 2008, 402(2-3), pp. 102 - 119 [articolo]

LANESE I.; MELGRATTI H., Synchronous Multiparty Synchronizations and Transactions, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, BERLIN, Springer, 2008, pp. 76 - 95 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Ultimi avvisi

Al momento non sono presenti avvisi.