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.

    http://www.cs.unibo.it/~gaboardi/publication/DalLagoGaboardi11lics.pdf
  • 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

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

    SUNNY: a Lazy Portfolio Approach for Constraint Solving, in: Theory and Practice of Logic Programming (TPLP), July 2014, pp. 509-524.

    https://hal.inria.fr/hal-01088489
  • 14U. Dal Lago, B. Petit.

    Linear dependent types in a call-by-value scenario, in: Science of Computer Programming, 2014, 24 p. [ DOI : 10.1145/2370776.2370792 ]

    https://hal.inria.fr/hal-01091610
  • 15F. 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
  • 16R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro.

    Aeolus: a Component Model for the Cloud, in: Information and Computation, January 2014, pp. 100–121.

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

Articles in Non Peer-Reviewed Journals

Invited Conferences

  • 18M. Bravetti, G. Zavattaro.

    Choreographies and Behavioural Contracts on the Way to Dynamic Updates, in: Proceedings First Workshop on Logics and Model-checking for Self*-Systems, Bertinoro (FC), Italy, September 2014, pp. 12 - 31. [ DOI : 10.4204/EPTCS.168.2 ]

    https://hal.inria.fr/hal-01090924
  • 19I. Lanese, M. Lienhardt, M. Bravetti, V. Stolz, R. Schlatte, E. B. Johnsen, G. Zavattaro.

    Fault Model Design Space for Cooperative Concurrency, in: ISOLA, Corfu, Greece, Lecture Notes in Computer Science, Springer, October 2014, vol. 8803, pp. 22 - 36. [ DOI : 10.1007/978-3-662-45231-8_3 ]

    https://hal.inria.fr/hal-01089341
  • 20D. Sangiorgi.

    Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract), in: Coalgebraic Methods in Computer Science, Grenoble, France, April 2014, pp. 3 - 9. [ DOI : 10.1007/978-3-662-44124-4_1 ]

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

International Conferences with Proceedings

  • 21B. Accattoli, U. D. Lago.

    Beta Reduction is Invariant, Indeed, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, July 2014. [ DOI : 10.1145/2603088.2603105 ]

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

    An enhanced features extractor for a portfolio of constraint solvers, in: SAC 2014, Gyeongju, South Korea, March 2014, pp. 1357 - 1359. [ DOI : 10.1145/2554850.2555114 ]

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

    Portfolio Approaches for Constraint Optimization Problems, in: LION 8, Gainesville, Florida, United States, February 2014, pp. 21 - 35.

    https://hal.inria.fr/hal-01088429
  • 24R. Amadini, P. J. Stuckey.

    Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers, in: CP - Principles and Practice of Constraint Programming, Lyon, France, September 2014, pp. 108 - 124. [ DOI : 10.1007/978-3-319-10428-7_11 ]

    https://hal.inria.fr/hal-01091664
  • 25M. Bernardo, D. Sangiorgi, V. Vignudelli.

    On the Discriminating Power of Passivation and Higher-Order Interaction, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, July 2014. [ DOI : 10.1145/2603088.2603113 ]

    https://hal.inria.fr/hal-01089467
  • 26M. Bernardo, D. Sangiorgi, V. Vignudelli.

    On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems, in: QEST, Florence, Italy, Lecture Notes in Computer Science, September 2014, vol. 8657, pp. 281 - 296. [ DOI : 10.1007/978-3-319-10696-0_23 ]

    https://hal.inria.fr/hal-01089484
  • 27M. Bravetti, M. Carbone, T. Hildebrandt, I. Lanese, J. Mauro, J. A. Perez, G. Zavattaro.

    Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops, Madrid, Spain, Lecture Notes in Computer Science, Springer, 2014, vol. 8368, pp. 3 - 14. [ DOI : 10.1007/978-3-319-05032-4_1 ]

    https://hal.inria.fr/hal-01089358
  • 28M. Carbone, O. Dardha, F. Montesi.

    Progress as Compositional Lock-Freedom, in: Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION, Berlin, Germany, June 2014.

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

    On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi, in: 23rd European Symposium on Programming, Grenoble, France, April 2014. [ DOI : 10.1007/978-3-642-54833-8_12 ]

    https://hal.inria.fr/hal-01091564
  • 30U. Dal Lago, C. Faggian, I. Hasuo, A. Yoshimizu.

    The Geometry of Synchronization, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, July 2014. [ DOI : 10.1145/2603088.2603154 ]

    https://hal.inria.fr/hal-01091560
  • 31U. Dal Lago, D. Sangiorgi, M. Alberti.

    On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs, in: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, United States, January 2014. [ DOI : 10.1145/2535838.2535872 ]

    https://hal.inria.fr/hal-01091573
  • 32U. Dal Lago, S. Zuppiroli.

    Probabilistic Recursion Theory and Implicit Computational Complexity, in: 11th International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, September 2014. [ DOI : 10.1007/978-3-319-10882-7_7 ]

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

    AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications, in: SLE 2014, Västerås, Sweden, September 2014, pp. 161 - 170. [ DOI : 10.1007/978-3-319-11245-9_9 ]

    https://hal.inria.fr/hal-01089187
  • 34M. Gabbrielli, S. Giallorenzo, F. Montesi.

    Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns, in: 11th International Symposium on Distributed Computing and Artificial Intelligence, Salamanca, Spain, June 2014. [ DOI : 10.1007/978-3-319-07593-8_17 ]

    https://hal.inria.fr/hal-01090128
  • 35E. Giachino, N. Kobayashi, C. Laneve.

    Deadlock Analysis of Unbounded Process Networks, in: CONCUR - Concurrency Theory - 25th International Conference, Rome, Italy, September 2014, pp. 63 - 77. [ DOI : 10.1007/978-3-662-44584-6_6 ]

    https://hal.inria.fr/hal-01091749
  • 36E. Giachino, I. Lanese, C. A. Mezzina.

    Causal-Consistent Reversible Debugging, in: FASE, Grenoble, France, Lecture Notes in Computer Science, Springer, April 2014, vol. 8411, pp. 370 - 384. [ DOI : 10.1007/978-3-642-54804-8_26 ]

    https://hal.inria.fr/hal-01089270
  • 37E. Giachino, C. Laneve.

    Deadlock Detection in Linear Recursive Programs, in: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), Bertinoro, Italy, June 2014, pp. 26 - 64. [ DOI : 10.1007/978-3-319-07317-0_2 ]

    https://hal.inria.fr/hal-01091747
  • 38E. Giachino, C. Laneve.

    Towards the Typing of Resource Deployment, in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA, Corfu, Greece, October 2014, pp. 88 - 103. [ DOI : 10.1007/978-3-662-45231-8_7 ]

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

    Towards a Composition-based APIaaS Layer, in: CLOSER - The 4th International Conference on Cloud Computing and Service, Barcelona, Spain, April 2014. [ DOI : 10.1007/978-3-319-07593-8_17 ]

    https://hal.inria.fr/hal-01090125
  • 40J.-M. Madiot, D. Pous, D. Sangiorgi.

    Bisimulations Up-to: Beyond First-Order Transition Systems, in: The 25th Conference on Concurrency Theory (CONCUR), Rome, Italy, September 2014, pp. 93 - 108. [ DOI : 10.1007/978-3-662-44584-6_8 ]

    https://hal.inria.fr/hal-01090509
  • 41D. Sangiorgi.

    Equations, contractions, and unique solutions, in: Proceedings POPL, Mombay, India, January 2015. [ DOI : 10.1145/2676726.2676965 ]

    https://hal.archives-ouvertes.fr/hal-01089205
  • 42D. Sangiorgi, X. Xu.

    Trees from Functions as Processes, in: 25th International Conference on Concurrency Theory, Rome, Italy, September 2014, pp. 78 - 92. [ DOI : 10.1007/978-3-662-44584-6_7 ]

    https://hal.inria.fr/hal-01092809
  • 43M. Solieri.

    Geometry of Resource Interaction, in: Proceedings Third International Workshop on Linearity, Vienna, Austria, Electronic Proceedings in Theoretical Computer Science, July 2014, forthcoming.

    https://hal-univ-paris13.archives-ouvertes.fr/hal-01091754
  • 44A. Yoshimizu, I. Hasuo, C. Faggian, U. Dal Lago.

    Measurements in Proof Nets as Higher-Order Quantum Circuits, in: 23rd European Symposium on Programming, Grenoble, France, April 2014, pp. 371 - 391. [ DOI : 10.1007/978-3-642-54833-8_20 ]

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

Scientific Books (or Scientific Book chapters)

  • 45Proceedings 7th Interaction and Concurrency Experience, Electronic Proceedings in Theoretical Computer Science, October 2014, vol. 166. [ DOI : 10.4204/EPTCS.166 ]

    https://hal.inria.fr/hal-01089381
  • 46F. Montesi, C. Guidi, G. Zavattaro.

    Service-Oriented Programming with Jolie, in: Web Services Foundations, A. Bouguettaya, Q. Z. Sheng, F. Daniel (editors), Springer, 2014, pp. 81-107.

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

Internal Reports

Other Publications

References in notes
  • 51U. Dal Lago, U. Schöepp.

    Functional Programming in Sublinear Space, in: Programming Languages and Systems, 19th European Symposium, Proceedings, Lecture Notes in Computer Science, Springer, 2010, vol. 6012, pp. 205-225.


previous Previous | up Home