EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1M. Bravetti, G. Zavattaro.

    A Foundational Theory of Contracts for Multi-party Service Composition, in: Fundam. Inform., 2008, vol. 89, no 4, pp. 451-478.
  • 2N. Busi, M. Gabbrielli, G. Zavattaro.

    On the expressive power of recursion, replication and iteration in process calculi, in: Mathematical Structures in Computer Science, 2009, vol. 19, no 6, pp. 1191-1222.
  • 3P. Coppola, S. Martini.

    Optimizing optimal reduction: A type inference algorithm for elementary affine logic, in: ACM Trans. Comput. Log., 2006, vol. 7, no 2, pp. 219-260.
  • 4M. Gabbrielli, S. Martini.

    Programming Languages: Principles and Paradigms, Springer, 2010.
  • 5D. Hirschkoff, É. Lozes, D. Sangiorgi.

    On the Expressiveness of the Ambient Logic, in: Logical Methods in Computer Science, 2006, vol. 2, no 2.
  • 6U. D. Lago, M. Gaboardi.

    Linear Dependent Types and Relative Completeness, in: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, IEEE Computer Society, 2011, pp. 133-142.

    https://hal.archives-ouvertes.fr/hal-00906347
  • 7I. Lanese, C. A. Mezzina, A. Schmitt, J.-B. Stefani.

    Controlling Reversibility in Higher-Order Pi, in: Proc. of CONCUR 2011, J.-P. Katoen, B. König (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6901, pp. 297-311.

    http://www.cs.unibo.it/~lanese/publications/fulltext/concur2011.pdf.gz
  • 8F. Montesi, C. Guidi, G. Zavattaro.

    Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, pp. 13-22.
  • 9D. Sangiorgi.

    An introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12R. Amadini, M. Gabbrielli, J. Mauro.

    Portfolio Approaches for Constraint Optimization Problems, in: Annals of Mathematics and Artificial Intelligence, 2015. [ DOI : 10.1007/s10472-015-9459-5 ]

    https://hal.inria.fr/hal-01227939
  • 13U. Dal Lago, P. Parisen.

    A Higher-Order Characterization of Probabilistic Polynomial Time, in: Information and Computation, 2015, vol. 241, pp. 114-141. [ DOI : 10.1016/j.ic.2014.10.009 ]

    https://hal.inria.fr/hal-01231752
  • 14M. Dalla Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro.

    Developing correct, distributed, adaptive software, in: Science of Computer Programming, 2015. [ DOI : 10.1016/j.scico.2013.11.019 ]

    https://hal.inria.fr/hal-01227610
  • 15E. Giachino, C. Laneve, M. Lienhardt.

    A framework for deadlock detection in core ABS, in: Software and Systems Modeling, 2015. [ DOI : 10.1007/s10270-014-0444-y ]

    https://hal.inria.fr/hal-01229046
  • 16C. Laneve, L. Padovani.

    An Algebraic Theory for Web Service Contracts, in: Formal Aspects of Computing, July 2015, vol. 27, no 4, 27 p. [ DOI : 10.1007/s00165-015-0334-2 ]

    https://hal.inria.fr/hal-01229401
  • 17T. A. Lascu, J. Mauro, G. Zavattaro.

    Automatic deployment of component-based applications, in: Science of Computer Programming, 2015. [ DOI : 10.1016/j.scico.2015.07.006 ]

    https://hal.inria.fr/hal-01233485
  • 18M. Solieri.

    Geometry of Resource Interaction - A Minimalist Approach, in: Electronic Proceedings in Theoretical Computer Science, February 2015, vol. 176, pp. 79-94. [ DOI : 10.4204/EPTCS.176.7 ]

    https://hal-univ-paris13.archives-ouvertes.fr/hal-01091754

Invited Conferences

  • 19M. Bravetti.

    Towards Dynamic Updates in Service Composition, in: FOCLASA 2015 - Proceedings of 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Madrid, Spain, EPTCS - Electronic Proceedings in Theoretical Computer Science, September 2015.

    https://hal.inria.fr/hal-01231465
  • 20R. Crubillé, U. Dal Lago, D. Sangiorgi, V. Vignudelli.

    On Applicative Similarity, Sequentiality, and Full Abstraction, in: Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015. [ DOI : 10.1007/978-3-319-23506-6_7 ]

    https://hal.inria.fr/hal-01229398
  • 21R. Di Cosmo, M. Lienhardt, J. Mauro, S. Zacchiroli, G. Zavattaro, J. Zwolakowski.

    Automatic Application Deployment in the Cloud: from Practice to Theory and Back, in: CONCUR, Madrid, Spain, September 2015.

    https://hal.inria.fr/hal-01233478
  • 22I. Lanese, F. Montesi, G. Zavattaro.

    The Evolution of Jolie, in: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Munich, Germany, Lecture Notes in Computer Science, March 2015, no 8950, pp. 506-521. [ DOI : 10.1007/978-3-319-15545-6_29 ]

    https://hal.inria.fr/hal-01227623
  • 23D. Sangiorgi.

    The Proof Technique of Unique Solutions of Contractions, in: 12th International Colloquium on Theoretical Aspects of Computing, Cali, Colombia, Springer (editor), October 2015, vol. Lecture Notes in Computer Science, no 9399, pp. 63–68. [ DOI : 10.1007/978-3-319-25150-9_5 ]

    https://hal.inria.fr/hal-01227569

International Conferences with Proceedings

  • 24R. Amadini, F. Biselli, M. Gabbrielli, T. Liu, J. Mauro.

    Feature Selection for SUNNY: a Study on the Algorithm Selection Library, in: ICTAI, Vietri sul Mare, Italy, November 2015.

    https://hal.inria.fr/hal-01227600
  • 25R. Amadini, M. Gabbrielli, J. Mauro.

    A Multicore Tool for Constraint Solving, in: IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 2015, pp. 232-238.

    https://hal.inria.fr/hal-01227592
  • 26R. Amadini, M. Gabbrielli, J. Mauro.

    SUNNY-CP : a Sequential CP Portfolio Solver, in: SAC, Salamanca, Spain, April 2015. [ DOI : 10.1145/2695664.2695741 ]

    https://hal.inria.fr/hal-01227589
  • 27R. Amadini, M. Gabbrielli, J. Mauro.

    Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges, in: LOPSTR, Siena, Italy, July 2015.

    https://hal.inria.fr/hal-01227598
  • 28M. Avanzini, U. Dal Lago.

    On Sharing, Memoization, and Polynomial Time, in: Proceedings of STACS 2015, Munich, Germany, 2015, vol. 62. [ DOI : 10.4230/LIPIcs.STACS.2015.62 ]

    https://hal.inria.fr/hal-01231816
  • 29M. Avanzini, U. Dal Lago, G. Moser.

    Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order, in: ICFP 2015, Vancouver, Canada, August 2015. [ DOI : 10.1145/2784731.2784753 ]

    https://hal.inria.fr/hal-01231809
  • 30M. Avanzini, C. Sternagel, R. Thiemann.

    Certification of Complexity Proofs using CeTA, in: 26th International Conference on Rewriting Techniques and Applications, Warsaw, Poland, June 2015. [ DOI : 10.4230/LIPIcs.RTA.2015.23 ]

    https://hal.inria.fr/hal-01252000
  • 31F. Barbanera, M. Dezani-Ciancaglini, I. Lanese, U. De 'liguoro.

    Retractable Contracts, in: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, United Kingdom, Electronic Proceedings in Theoretical Computer Science, April 2015.

    https://hal.inria.fr/hal-01227693
  • 32A. Cappai, U. Dal Lago.

    On Equivalences, Metrics, and Polynomial Time, in: FCT 2015, Gdansk, Poland, August 2015, vol. 9210, pp. 311-323. [ DOI : 10.1007/978-3-319-22177-9_24 ]

    https://hal.inria.fr/hal-01231790
  • 33R. Crubillé, U. Dal Lago.

    Metric Reasoning About λ-Terms: The Affine Case, in: LICS 2015, Kyoto, Japan, July 2015. [ DOI : 10.1109/LICS.2015.64 ]

    https://hal.inria.fr/hal-01231814
  • 34U. Dal Lago, C. Faggian, B. Valiron, A. Yoshimizu.

    Parallelism and Synchronization in an Infinitary Context, in: LICS 2015, Kyoto, Japan, July 2015. [ DOI : 10.1109/LICS.2015.58 ]

    https://hal.inria.fr/hal-01231813
  • 35U. Dal Lago, A. Rioli.

    Applicative Bisimulation and Quantum λ-Calculi, in: FSEN 2015, Tehran, Iran, April 2015, vol. 9392, pp. 54-68. [ DOI : 10.1007/978-3-319-24644-4_4 ]

    https://hal.inria.fr/hal-01231800
  • 36M. Dalla Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro.

    Dynamic Choreographies Safe Runtime Updates of Distributed Applications, in: COORDINATION 2015, Grenoble, France, June 2015. [ DOI : 10.1007/978-3-319-19282-6_5 ]

    https://hal.inria.fr/hal-01227612
  • 37S. De Gouw, M. Lienhardt, J. Mauro, B. Nobakht, G. Zavattaro.

    On the Integration of Automatic Deployment into the ABS Modeling Language, in: 4th European Conference on Service-Oriented and Cloud computing, ESOCC 2015, Taormina, Italy, S. Dustdar, F. Leymann, M. Villari (editors), LNCS, Springer, September 2015, vol. 9306, pp. 49–64. [ DOI : 10.1007/978-3-319-24072-5_4 ]

    https://hal.inria.fr/hal-01233474
  • 38Y. Deng, Y. Feng, U. Dal Lago.

    On Coinduction and Quantum Lambda Calculi, in: Proceedings of CONCUR 2015, Madrid, Spain, 2015, vol. 42. [ DOI : 10.4230/LIPIcs.CONCUR.2015.427 ]

    https://hal.inria.fr/hal-01231782
  • 39R. Di Cosmo, A. Eiche, J. Mauro, S. Zacchiroli, G. Zavattaro, J. Zwolakowski.

    Automatic Deployment of Services in the Cloud with Aeolus Blender, in: ICSOC 2015: 13th International Conference on Service Oriented Computing, Goa, India, A. Barros, D. Grigori, N. C. Narendra, H. K. Dam (editors), Springer, November 2015, vol. 9435, pp. 397–411. [ DOI : 10.1007/978-3-662-48616-0_28 ]

    https://hal.inria.fr/hal-01233489
  • 40A. Garcia, C. Laneve, M. Lienhardt.

    Static analysis of cloud elasticity, in: 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Moreno Falaschi and Elvira Albert, July 2015, 12 p. [ DOI : 10.1145/2790449.2790524 ]

    https://hal.inria.fr/hal-01229424
  • 41E. Giachino, E. Broch Johnsen, C. Laneve, K. I. Pun.

    Time complexity of concurrent programs, in: FACS 2015, Niterói, Rio de Janeiro, Brazil, October 2015.

    https://hal.inria.fr/hal-01229068
  • 42E. Giachino, I. Lanese, C. A. Mezzina, F. Tiezzi.

    Causal-Consistent Reversibility in a Tuple-Based Language, in: PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Turku, Finland, IEEE, March 2015, pp. 467 - 475. [ DOI : 10.1109/PDP.2015.98 ]

    https://hal.inria.fr/hal-01227615
  • 43C. Guidi, S. Giallorenzo, M. Gabbrielli.

    Towards a Composition-based APIaaS Layer, in: CLOSER 2014, Barcelona, Spain, April 2015. [ DOI : 10.1007/978-3-319-07593-8_17 ]

    https://hal.inria.fr/hal-01090125
  • 45J. Mauro, G. Zavattaro.

    On the Complexity of Reconfiguration in Systems with Legacy Components, in: 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, G. F. Italiano, G. Pighizzini, D. Sannella (editors), LNCS, Springer, August 2015, vol. 9234, pp. 382–393. [ DOI : 10.1007/978-3-662-48057-1_30 ]

    https://hal.inria.fr/hal-01233482
  • 46D. Sangiorgi.

    Equations, contractions, and unique solutions, in: POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, Mumbai, India, ACM, January 2015. [ DOI : 10.1145/2676726.2676965 ]

    https://hal.archives-ouvertes.fr/hal-01089205

National Conferences with Proceedings

  • 47R. Amadini, F. Biselli, M. Gabbrielli, T. Liu, J. Mauro.

    SUNNY for Algorithm Selection: A Preliminary Study, in: CILC, Genova, Italy, July 2015.

    https://hal.inria.fr/hal-01227595

Scientific Books (or Scientific Book chapters)

  • 48G. Zavattaro.

    When to Move to Transfer Nets On the limits of Petri nets as models for process calculi, in: Programming Languages with Applications to Biology and Security, Lecture Notes in Computer Science, Springer, 2015, vol. 9465, pp. 339-353. [ DOI : 10.1007/978-3-319-25527-9_22 ]

    https://hal.inria.fr/hal-01233419

Internal Reports

  • 49P. Baillot, G. Barthe, U. Dal Lago.

    Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Long version), ENS Lyon, September 2015.

    https://hal.archives-ouvertes.fr/hal-01197456
  • 50S. De Gouw, M. Lienhardt, J. Mauro, B. Nobakht, G. Zavattaro.

    On the Integration of Automatic Deployment into the ABS Modeling Language, Inria Sophia Antipolis, July 2015.

    https://hal.inria.fr/hal-01170926
  • 51R. Di Cosmo, A. Eiche, J. Mauro, G. Zavattaro, S. Zacchiroli, J. Zwolakowski.

    Automatic Deployment of Software Components in the Cloud with the Aeolus Blender, Inria Sophia Antipolis, January 2015.

    https://hal.inria.fr/hal-01103806
  • 52J. Mauro, G. Zavattaro.

    On the Complexity of Reconfiguration in Systems with Legacy Components, Inria Sophia Antipolis, June 2015.

    https://hal.inria.fr/hal-01160369
References in notes
  • 53F. De Boer, M. M. Jaghoori, C. Laneve, G. Zavattaro.

    Decidability Problems for Actor Systems, in: Logical Methods in Computer Science, 2014, vol. 104, pp. 1 - 29. [ DOI : 10.2168/LMCS-10(4:5)2014 ]

    https://hal.inria.fr/hal-01090952
  • 54C. D. Giusto, M. Gabbrielli, M. C. Meo.

    On the Expressive Power of Multiple Heads in CHR, in: ACM Transactions on Computational Logic, 2012, vol. 13, no 1. [ DOI : 10.1145/2071368.2071374 ]

    https://hal.inria.fr/hal-00909390


previous Previous | up Home