Foto del docente

Ivan Lanese

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

LANESE I.; VASCONCELOS V.T.; MARTINS F.; RAVARA A., Disciplining Orchestration and Conversation in Service-Oriented Computing, in: Proceedings of SEFM'07, 5th IEEE International Conference on Software Engineering and Formal Methods, LOS ALAMITOS, IEEE Computer Society Press, 2007, pp. 305 - 314 (atti di: 5th IEEE International Conference on Software Engineering and Formal Methods, London, England, 10-14/09/2007) [Contribution to conference proceedings]

I. LANESE; U. MONTANARI, Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2007, 7(1-2), pp. 123 - 151 [Scientific article]

BRUNI R; LANESE I., PRISMA: A Mobile Calculus with Parametric Synchronization, in: Proceedings of TGC'06, Second Symposium on Trustworthy Global Computing, BERLIN, Springer, 2007, 4661, pp. 132 - 149 (atti di: Second Symposium on Trustworthy Global Computing, Lucca, Italia, 7-9/11/2006) [Contribution to conference proceedings]

R. BRUNI; I. LANESE; U. MONTANARI, A Basic Algebra of Stateless Connectors, «THEORETICAL COMPUTER SCIENCE», 2006, 366(1-2), pp. 98 - 120 [Scientific article]

LANESE I.; MONTANARI U., Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility, in: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), Amsterdam, Elsevier B.V., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 154, pp. 55 - 72 (atti di: GT-VC'05, Graph Transformation for Verification and Concurrency, San Francisco, California, USA, 23-26/8/2005) [Contribution to conference proceedings]

M. Boreale; R. Bruni; L. Caires; R. De Nicola; I. Lanese; M. Loreti; F. Martins; U. Montanari; A. Ravara; D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contribution to conference proceedings]

FERRARI G. L.; HIRSCH D.; LANESE I.; MONTANARI U.; TUOSTO E., Synchronised Hyperedge Replacement as a Model for Service Oriented Computing, in: Proceedings of FMCO'05, Fourth International Symposium on Formal Methods for Components and Objects, BERLIN, Springer, 2006, 4111, pp. 22 - 43 (atti di: Fourth International Symposium on Formal Methods for Components and Objects, Amsterdam, The Netherlands, 1-4/11/2005) [Contribution to conference proceedings]

MAZZARA M.; LANESE I., Towards a Unifying Theory for Web Services Composition, in: Proceedings of WS-FM'06, 3rd International Workshop on Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 257 - 272 (atti di: 3rd International Workshop on Web Services and Formal Methods, Vienna, Austria, 8-9/9/2006) [Contribution to conference proceedings]

BRUNI R.; LANESE I.; MONTANARI U., Complete Axioms for Stateless Connectors, in: Proceedings of CALCO'05, First Conference on Algebra and Coalgebra in Computer Science, BERLIN, Springer, 2005, 3629, pp. 98 - 113 (atti di: First Conference on Algebra and Coalgebra in Computer Science, Swansea, Wales, UK, 3-6/9/2005) [Contribution to conference proceedings]

Lanese I.; Montanari U., Insights Emerged while Comparing Three Models for Global Computing, in: Proceedings of Dagstuhl Seminar n.05081, Foundations of global computing, DAGSTUHL, Schloss Dagstuhl, 2005, 05081, pp. 1 - 20 (atti di: Dagstuhl Seminar n.05081, Foundations of global computing, Dagstuhl, Germany, 20-25/2/2005) [Contribution to conference proceedings]

BRUNI R.; LANESE I., Summary 3: On Graph(ic) Encodings, in: Proceedings of Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, DAGSTUHL, Schloss Dagstuhl, 2005, 04241, pp. 23 - 39 (atti di: Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl, Germany, 6-11/6/2004) [Contribution to conference proceedings]

LANESE I.; TUOSTO E., Synchronized Hyperedge Replacement for Heterogeneous Systems, in: Proceedings of COORDINATION'05, Seventh International Conference on Coordination Models and Languages, BERLIN, Springer, 2005, 3454, pp. 220 - 235 (atti di: Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 20-23/4/2005) [Contribution to conference proceedings]

LANESE I.; MONTANARI U., A Graphical Fusion Calculus, in: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Amsterdam, Elsevier B.V., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 104, pp. 199 - 215 (atti di: Workshop of the COMETA Project on Computational Metamodels, Udine, Italy, 15-17/12/2003) [Contribution to conference proceedings]

BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U., New Insights on Architectural Connectors, in: Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, ALPHEN AAN DEN RIJN, Kluwer Academics, 2004, 155, pp. 367 - 379 (atti di: 3rd IFIP International Conference on Theoretical Computer Science, Toulose, France, 24-26/8/2004) [Contribution to conference proceedings]

LANESE I.; MONTANARI U., Synchronization Algebras with Mobility for Graph Transformations, in: Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), Amsterdam, Elsevier B.V., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 138, pp. 43 - 60 (atti di: FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing, London, UK, 3-4/9/2004,) [Contribution to conference proceedings]

Latest news

At the moment no news are available.