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.inria.fr/hal-00906347/en
  • 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

  • 10S. Giallorenzo.

    Real-World Choreographies, Università degli studi di Bologna, May 2016.

    https://hal.inria.fr/tel-01336757
  • 11M. Solieri.

    Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets, Université Paris XIII, Sorbonne Paris Cité ; Università di Bologna, November 2016.

    https://hal.archives-ouvertes.fr/tel-01400369

Articles in International Peer-Reviewed Journals

  • 12B. Accattoli, U. Dal Lago.

    (Leftmost-outermost) beta reduction is invariant, indeed, in: Logical Methods in Computer Science, 2016. [ DOI : 10.2168/LMCS-12(1:4)2016 ]

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

    An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems, in: International Journal of Interactive Multimedia and Artificial Intelligence, 2016.

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

    Portfolio Approaches for Constraint Optimization Problems, in: Annals of Mathematics and Artificial Intelligence, 2016.

    https://hal.inria.fr/hal-01336686
  • 15D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna, P.-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, E. B. Johnsen, F. Martins, V. Mascardi, F. Montesi, R. Neykova, N. Ng, L. Padovani, V. T. Vasconcelos, N. Yoshida.

    Behavioral Types in Programming Languages, in: Foundations and Trends in Programming Languages, July 2016, vol. 3, no 2-3, pp. 95-230. [ DOI : 10.1561/2500000031 ]

    https://hal.inria.fr/hal-01348054
  • 16P. Baillot, U. Dal Lago.

    Higher-order interpretations and program complexity, in: Information and Computation, 2016. [ DOI : 10.1016/j.ic.2015.12.008 ]

    https://hal.inria.fr/hal-01337728
  • 17M. Bravetti, E. Giachino, M. Lienhardt, P. Wong.

    Dynamic Rebinding for Concurrent Object Groups: Theory and Practice, in: Journal of Logical and Algebraic Methods in Programming, April 2016. [ DOI : 10.1016/j.jlamp.2016.03.002 ]

    https://hal.inria.fr/hal-01337333
  • 18F. Breuvart, G. Manzonetto, A. Polonsky, D. Ruoppolo.

    New Results on Morris's Observational Theory: the benefits of separating the inseparable, in: Leibniz International Proceedings in Informatics (LIPIcs), June 2016, 560 p. [ DOI : 10.4230/LIPIcs.FSCD.2016.70 ]

    https://hal.inria.fr/hal-01337192
  • 19S. Capecchi, E. Giachino, N. Yoshida.

    Global Escape in Multiparty Sessions, in: Mathematical Structures in Computer Science, 2016. [ DOI : 10.1017/S0960129514000164 ]

    https://hal.inria.fr/hal-01336832
  • 20U. Dal Lago, S. Martini, D. Sangiorgi.

    Light Logics and Higher-Order Processes, in: Mathematical Structures in Computer Science, 2016, vol. 26, no 06, pp. 969 - 992. [ DOI : 10.1017/S0960129514000310 ]

    https://hal.inria.fr/hal-01400903
  • 21U. Dal Lago, U. Schöpp.

    Computation by interaction for space-bounded functional programming, in: Information and Computation, 2016, vol. 248. [ DOI : 10.1016/j.ic.2015.04.006 ]

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

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

    https://hal.inria.fr/hal-01229046
  • 23D. Hirschkoff, J.-M. Madiot, D. Sangiorgi.

    Name-passing calculi: From fusions to preorders and types, in: Journal of Information and Computation, 2016, vol. 251, 26 p. [ DOI : 10.1016/j.ic.2016.10.003 ]

    https://hal.inria.fr/hal-01419632
  • 24H. Hüttel, E. Tuosto, H. T. Vieira, G. Zavattaro, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P.-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara.

    Foundations of Session Types and Behavioural Contracts, in: ACM Computing Surveys, June 2016, vol. 49, no 1. [ DOI : 10.1145/2873052 ]

    https://hal.archives-ouvertes.fr/hal-01336707
  • 25I. Lanese, C. A. Mezzina, J.-B. Stefani.

    Reversibility in the higher-order π-calculus, in: Theoretical Computer Science, 2016, vol. 625, pp. 25-84. [ DOI : 10.1016/j.tcs.2016.02.019 ]

    https://hal.inria.fr/hal-01303090
  • 26M. Solieri.

    Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach, in: Mathematical Structures in Computer Science, November 2016, pp. 1 - 43. [ DOI : 10.1017/S0960129516000311 ]

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

Invited Conferences

  • 27S. Martini.

    Types in Programming Languages, between Modelling, Abstraction, and Correctness, in: Computability in Europe, CiE 2016: Pursuit of the Universal, Paris, France, LNCS, Springer, June 2016, vol. 9709.

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

International Conferences with Proceedings

  • 28E. Albert, F. De Boer, R. Hähnle, E. B. Johnsen, C. Laneve.

    Envisage: Developing SLA-aware Deployed Services with Formal Methods, in: ESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Wien, Austria, September 2016.

    https://hal.inria.fr/hal-01345020
  • 29M. Avanzini, G. Moser, M. Schaper.

    Complexity of Acyclic Term Graph Rewriting, in: Proceedings of FSCD'16, Porto, Portugal, D. Kesner, B. Pientka (editors), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, June 2016, vol. 52, pp. 10:1 - 10:18. [ DOI : 10.4230/LIPIcs.FSCD.2016 ]

    https://hal.inria.fr/hal-01392188
  • 30A. Bernadet, I. Lanese.

    A Modular Formalization of Reversibility for Concurrent Models and Languages, in: ICE 2016, Heraklion, Greece, EPTCS, June 2016.

    https://hal.inria.fr/hal-01337423
  • 31J. Borgström, U. Dal Lago, A. D. Gordon, M. Szymczak.

    A lambda-calculus foundation for universal probabilistic programming, in: International Conference on Functional Programming, Nara, Japan, 2016, pp. 33 - 46. [ DOI : 10.1145/2951913.2951942 ]

    https://hal.inria.fr/hal-01400890
  • 32K. Chatzikokolakis, C. Palamidessi, V. Vignudelli.

    Up-To Techniques for Generalized Bisimulation Metrics, in: 27th International Conference on Concurrency Theory (CONCUR 2016), Québec City, Canada, Leibniz International Proceedings in Informatics (LIPIcs), August 2016, vol. 59, pp. 35:1–35:14. [ DOI : 10.4230/LIPIcs.CONCUR.2016.35 ]

    https://hal.inria.fr/hal-01335234
  • 33U. Dal Lago.

    Infinitary Lambda Calculi from a Linear Perspective, in: Logic in Computer Science, New York, United States, July 2016. [ DOI : 10.1145/2933575.2934505 ]

    https://hal.inria.fr/hal-01400883
  • 34S. De Gouw, J. Mauro, B. Nobakht, G. Zavattaro.

    Declarative Elasticity in ABS, in: Proceedings of the European Conference on Service-Oriented and Cloud Computing 2016, Vienna, Austria, September 2016, pp. 118 - 134. [ DOI : 10.1007/978-3-319-44482-6_8 ]

    https://hal.inria.fr/hal-01399887
  • 35M. Falaschi, M. Gabbrielli, C. Olarte, C. Palamidessi.

    Slicing Concurrent Constraint Programs, in: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, United Kingdom, M. V. Hermenegildo, P. Lopez-Garcia (editors), 2016.

    https://hal.inria.fr/hal-01421407
  • 36E. Giachino, L. Henrio, C. Laneve, V. Mastandrea.

    Actors may synchronize, safely! *, in: PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 2016.

    https://hal.inria.fr/hal-01345315
  • 37D. Sangiorgi, V. Vignudelli.

    Environmental Bisimulations for Probabilistic Higher-Order Languages, in: POPL '16, St. Petersburg, United States, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2016. [ DOI : 10.1145/2837614.2837651 ]

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

Conferences without Proceedings

  • 38M. Avanzini, G. Moser.

    Complexity of Acyclic Term Graph Rewriting, in: Proceedings of FSCD'16, Porto, Portugal, June 2016. [ DOI : 10.4230/LIPIcs.FSCD.2016 ]

    https://hal.inria.fr/hal-01336582
  • 39F. Callegati, S. Giallorenzo, A. Melis, M. Prandini.

    Data Security Issues in MaaS-enabling Platforms, in: International Forum on Research and Technologies for Society and Industry, Bologna, Italy, September 2016.

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

Scientific Books (or Scientific Book chapters)

  • 40M. Gabbrielli, S. Giallorenzo, C. Guidi, J. Mauro, F. Montesi.

    Self-Reconfiguring Microservices, in: Theory and Practice of Formal Methods, E. Ábrahám, M. Bonsangue, E. B. Johnsen (editors), Lecture Notes in Computer Science, Springer, 2016, no 9660, pp. 194-210. [ DOI : 10.1007/978-3-319-30734-3_14 ]

    https://hal.inria.fr/hal-01336688
  • 41E. Giachino, S. De Gouw, C. Laneve, B. Nobakht.

    Statically and Dynamically Verifiable SLA Metrics, in: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, Springer, 2016, vol. 9660, pp. 211-225. [ DOI : 10.1007/978-3-319-30734-3_15 ]

    https://hal.archives-ouvertes.fr/hal-01336836
  • 42J. Mauro, G. Zavattaro.

    On the Expressiveness of Synchronization in Component Deployment, in: Theory and Practice of Formal Methods, Lecture Notes in Computer Science, 2016, vol. 9660, pp. 344-359. [ DOI : 10.1007/978-3-319-30734-3 ]

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

Internal Reports

References in notes
  • 45S. Martini.

    Several Types of Types in Programming Languages, in: HaPoC 2015 - Third International Conference History and Philosophy of Computing, Pisa, Italy, Springer, October 2015, vol. 487, pp. 216 - 227. [ DOI : 10.1007/978-3-319-47286-7_15 ]

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


previous Previous | up Home