EN FR
EN FR


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.
  • 7I. Lanese, C. A. Mezzina, J. Stefani.

    Reversibility in the higher-order π-calculus, in: Theor. Comput. Sci., 2016, vol. 625, pp. 25–84.

    https://doi.org/10.1016/j.tcs.2016.02.019
  • 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

  • 13M. Avanzini, U. Dal Lago.

    Automating sized-type inference for complexity analysis, in: Proceedings of the ACM on Programming Languages, August 2017, vol. 1, no ICFP, pp. 1 - 29. [ DOI : 10.1145/3110287 ]

    https://hal.inria.fr/hal-01639200
  • 14J. Boubeta-Puig, M. Bravetti, L. Llana, M. Merayo.

    Analysis of temporal complex events in sensor networks, in: Journal of Information and Telecommunication, July 2017, vol. 1, no 3, pp. 273-289. [ DOI : 10.1080/24751839.2017.1347763 ]

    https://hal.inria.fr/hal-01637941
  • 15M. Bravetti, M. Carbone, G. Zavattaro.

    Undecidability of asynchronous session subtyping, in: Information and Computation, October 2017, vol. 256, pp. 300 - 320. [ DOI : 10.1016/j.ic.2017.07.010 ]

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

    Dynamic Choreographies: Theory And Implementation, in: Logical Methods in Computer Science, May 2017, vol. 13, pp. 1 - 57. [ DOI : 10.23638/LMCS-13(2:1)2017 ]

    https://hal.inria.fr/hal-01631394
  • 17O. Dardha, E. Giachino, D. Sangiorgi.

    Session Types Revisited, in: Information and Computation, October 2017, vol. 256, pp. 253 - 286. [ DOI : 10.1016/j.ic.2017.06.002 ]

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

    Static analysis of cloud elasticity, in: Science of Computer Programming, November 2017, vol. 147, pp. 27 - 53. [ DOI : 10.1016/j.scico.2017.03.008 ]

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

    Causal-consistent rollback in a tuple-based language, in: Journal of Logical and Algebraic Methods in Programming, April 2017, vol. 88, pp. 99 - 120. [ DOI : 10.1016/j.jlamp.2016.09.003 ]

    https://hal.inria.fr/hal-01633260
  • 20N. Kobayashi, C. Laneve.

    Deadlock analysis of unbounded process networks, in: Information and Computation, February 2017, vol. 252, pp. 48 - 70. [ DOI : 10.1016/j.ic.2016.03.004 ]

    https://hal.inria.fr/hal-01643152
  • 21S. Martini.

    Computational thinking: a fourth competence after writing, reading, and accounting, in: IL NODO, SCUOLA IN RETE, December 2017, no 47, pp. 18-28.

    https://hal.inria.fr/hal-01643699
  • 22D. Sangiorgi.

    Equations, Contractions, and Unique Solutions, in: ACM Transactions on Computational Logic, April 2017, vol. 18, no 1, pp. 1-36. [ DOI : 10.1145/2971339 ]

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

Articles in National Peer-Reviewed Journals

  • 23M. Lodi, S. Martini, E. Nardelli.

    Do we really need computational thinking? , in: Mondo Digitale, November 2017, no 72, pp. 1-15.

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

International Conferences with Proceedings

  • 24F. Barbanera, I. Lanese, U. De 'liguoro.

    Retractable and Speculative Contracts, in: 19th International Conference on Coordination Languages and Models (COORDINATION), Neuchâtel, Switzerland, J.-M. Jacquet, M. Massink (editors), Coordination Models and Languages, Springer, June 2017, vol. 10319, pp. 119-137, Part 3: Types. [ DOI : 10.1007/978-3-319-59746-1_7 ]

    https://hal.inria.fr/hal-01633262
  • 25D. Bresolin, I. Lanese.

    Most General Property-Preserving Updates, in: LATA 2017 - Language and Automata Theory and Applications, Umea, Sweden, March 2017.

    https://hal.inria.fr/hal-01635801
  • 26F. Breuvart, U. Dal Lago, A. Herrou.

    On Higher-Order Probabilistic Subrecursion, in: FoSSaCS 2017 - 20th International Conference on Foundations of Software Science and Computation Structures, Uppsala, Sweden, LNCS, April 2017, vol. 10203, pp. 370-386. [ DOI : 10.1007/978-3-662-54458-7_22 ]

    https://hal.inria.fr/hal-01639379
  • 27F. Callegati, M. Gabbrielli, S. Giallorenzo, A. Melis, M. Prandini.

    Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators, in: ITSC2017- 20th International Conference on Intelligent Transportation, Yokohama, Japan, October 2017.

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

    Insider Threats in Emerging Mobility-as-a-Service Scenarios, in: HICSS 2017 - 50th annual Hawaii International Conference on System Science, Hilton Waikoloa Village, United States, January 2017.

    https://hal.inria.fr/hal-01631388
  • 29I. Corradini, M. Lodi, E. Nardelli.

    Computational Thinking in Italian Schools: Quantitative Data and Teachers' Sentiment Analysis after Two Years of "Programma il Futuro" Project, in: ITiCSE '17 - Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, Bologna, Italy, July 2017. [ DOI : 10.1145/3059009.3059040 ]

    https://hal.inria.fr/hal-01636232
  • 30I. Corradini, M. Lodi, E. Nardelli.

    Conceptions and Misconceptions about Computational Thinking among Italian Primary School Teachers, in: ICER '17 - Proceedings of the 2017 ACM Conference on International Computing Education Research, Tacoma (WA), United States, August 2017. [ DOI : 10.1145/3105726.3106194 ]

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

    Metric Reasoning About λ-Terms: The General Case, in: ESOP 2017 - 26th European Symposium on Programming, Uppsala, Sweden, H. Yang (editor), LNCS - Lecture Notes in Computer Science, Springer, April 2017, vol. 10201, pp. 341-367. [ DOI : 10.1007/978-3-662-54434-1_13 ]

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

    The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects, in: POPL 2017 - Principles of Programming Languages, Paris, France, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, January 2017, pp. 833-845, https://arxiv.org/abs/1610.09629. [ DOI : 10.1145/3009837.3009859 ]

    https://hal.archives-ouvertes.fr/hal-01474620
  • 33U. Dal Lago, F. Gavazzo, P. Blain Levy.

    Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method, in: LICS 2017 - ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, IEEE, June 2017, pp. 1-12. [ DOI : 10.1109/LICS.2017.8005117 ]

    https://hal.inria.fr/hal-01636365
  • 34U. Dal Lago, F. Gavazzo, R. Tanaka.

    Effectful applicative similarity for call-by-name lambda calculi, in: ICTCS 2017 - 18th Italian Conference on Theoretical Computer Science, Naples, Italy, September 2017.

    https://hal.inria.fr/hal-01636368
  • 35U. Dal Lago, C. Grellois.

    Probabilistic Termination by Monadic Affine Sized Typing, in: ESOP 2017 - 26th European Symposium on Programming, Uppsala, Sweden, ESOP 2017, April 2017.

    https://hal.archives-ouvertes.fr/hal-01635077
  • 36U. Dal Lago, R. Tanaka, A. Yoshimizu.

    The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens, in: LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, June 2017.

    https://hal.inria.fr/hal-01639411
  • 37N. Dragoni, I. Lanese, S. T. Larsen, M. Mazzara, R. Mustafin, L. Safina.

    Microservices: How To Make Your Application Scale, in: A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition), Moscow, Russia, June 2017.

    https://hal.inria.fr/hal-01636132
  • 38A. Durier, D. Hirschkoff, D. Sangiorgi.

    Divergence and unique solution of equations, in: CONCUR 2017 - 28th International Conference on Concurrency Theory, Berlin, Germany, September 2017, vol. 7, pp. 1 - 7. [ DOI : 10.4230/LIPIcs.CONCUR.2017.7 ]

    https://hal.archives-ouvertes.fr/hal-01643502
  • 39L. Henrio, C. Laneve, V. Mastandrea.

    Analysis of Synchronisations in Stateful Active Objects, in: IFM 2017 - 13th International Conference on Integrated Formal Methods, Torino, France, September 2017. [ DOI : 10.1007/978-3-540-74792-5_5 ]

    https://hal.archives-ouvertes.fr/hal-01627866
  • 40T. Liu, R. Amadini, J. Mauro.

    SUNNY with Algorithm Configuration, in: Open Algorithm Selection Challenge (OASC 2017), Brussels, Belgium, September 2017, pp. 12 - 14.

    https://hal.inria.fr/hal-01674691
  • 41T. Liu, R. Di Cosmo, M. Gabbrielli, J. Mauro.

    NightSplitter: a scheduling tool to optimize (sub)group activities, in: CP 2017 - 23rd International Conference on Principles and Practice of Constraint Programming, Melbourne, Australia, Lecture Notes in Computer Science, Springer, August 2017, vol. 10416, pp. 370-386. [ DOI : 10.1007/978-3-319-66158-2_24 ]

    https://hal.inria.fr/hal-01648192
  • 42M. Lodi.

    Growth Mindset in Computational Thinking Teaching and Teacher Training, in: ICER '17 International Computing Education Research Conference, Tacoma (WA), United States, August 2017. [ DOI : 10.1145/3105726.3105736 ]

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

Scientific Books (or Scientific Book chapters)

  • 43N. Dragoni, S. Giallorenzo, A. Lafuente, M. Mazzara, F. Montesi, R. Mustafin, L. Safina.

    Microservices: yesterday, today, and tomorrow, in: Present and Ulterior Software Engineering, M. Mazzara, B. Meyer (editors), Springer, September 2017.

    https://hal.inria.fr/hal-01631455
  • 44A. Garcia, C. Laneve.

    JaDA – the Java Deadlock Analyzer, in: Behavioural Types: from Theory to Tools, S. Gay, A. Ravara (editors), River Publishers, 2017, pp. 169-192.

    https://hal.inria.fr/hal-01643216
  • 45S. Giallorenzo, I. Lanese, J. Mauro, M. Gabbrielli.

    Programming Adaptive Microservice Applications: an AIOCJ Tutorial, in: Behavioural Types: from Theory to Tools, S. Gay, A. Ravara (editors), River Publishers, June 2017.

    https://hal.inria.fr/hal-01631422
  • 46C. Guidi, I. Lanese, M. Mazzara, F. Montesi.

    Microservices: a Language-based Approach, in: Present and Ulterior Software Engineering, M. Mazzara, B. Meyer (editors), Springer, November 2017.

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

Internal Reports

References in notes
  • 48F. Barbanera, U. de'Liguoro.

    Sub-behaviour relations for session-based client/server systems, in: Mathematical Structures in Computer Science, 2015, vol. 25, no 6, pp. 1339–1381.
  • 49D. Gelernter.

    Generative Communication in Linda, in: ACM Trans. Program. Lang. Syst., 1985, vol. 7, no 1, pp. 80-112.
  • 50D. Gorla, R. Pugliese.

    Resource Access and Mobility Control with Dynamic Privileges Acquisition, in: ICALP, J. C. M. Baeten, J. K. Lenstra, J. Parrow, G. J. Woeginger (editors), Lect. Notes in Comput. Sci., Springer, 2003, vol. 2719, pp. 119-132.