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, n^o 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, n^o 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, n^o 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, n^o 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

Articles in International Peer-Reviewed Journals

10R. Amadini, M. Gabbrielli, J. Mauro.

SUNNY-CP and the MiniZinc challenge, in: Theory and Practice of Logic Programming, January 2018, vol. 18, n^o 01, pp. 81 - 96. [ DOI : 10.1017/S1471068417000205 ]

https://hal.inria.fr/hal-01931324
11M. Avanzini, U. Dal Lago.

On sharing, memoization, and polynomial time, in: Information and Computation, August 2018, vol. 261, pp. 3 - 22. [ DOI : 10.1016/j.ic.2018.05.003 ]

https://hal.archives-ouvertes.fr/hal-01926431
12F. Barbanera, I. Lanese, U. De'Liguoro.

A theory of retractable and speculative contracts, in: Science of Computer Programming, December 2018, vol. 167, pp. 25 - 50. [ DOI : 10.1016/j.scico.2018.06.005 ]

https://hal.inria.fr/hal-01912858
13M. Bravetti.

Reduction Semantics in Markovian Process Algebra, in: Journal of Logical and Algebraic Methods in Programming, 2018, vol. 96, pp. 41-64. [ DOI : 10.1016/j.jlamp.2018.01.002 ]

https://hal.inria.fr/hal-01921194
14M. Bravetti, M. Carbone, G. Zavattaro.

On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping, in: Theoretical Computer Science, 2018, vol. 722, pp. 19-51. [ DOI : 10.1016/j.tcs.2018.02.010 ]

https://hal.inria.fr/hal-01921168
15F. S. De Boer, M. Bravetti, M. D. Lee, G. Zavattaro.

A Petri Net Based Modeling of Active Objects and Futures, in: Fundamenta Informaticae, 2018, vol. 159, n^o 3, pp. 197-256. [ DOI : 10.3233/FI-2018-1663 ]

https://hal.inria.fr/hal-01919136
16I. Lanese, N. Nishida, A. Palacios, G. Vidal.

A theory of reversibility for Erlang, in: Journal of Logical and Algebraic Methods in Programming, November 2018, vol. 100, pp. 71 - 97. [ DOI : 10.1016/j.jlamp.2018.06.004 ]

https://hal.inria.fr/hal-01912856
17D. Sangiorgi, X. Xu.

Trees from functions as processes, in: Logical Methods in Computer Science, August 2018, https://arxiv.org/abs/1804.05797. [ DOI : 10.2168/LMCS-14(3:11)2018 ]

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

Invited Conferences

18I. Lanese.

From Reversible Semantics to Reversible Debugging, in: Reversible Computation, Leicester, United Kingdom, Lecture Notes in Computer Science, September 2018, vol. 11106.

https://hal.inria.fr/hal-01912920
19D. Sangiorgi.

Bisimilarity via unique-solution techniques, in: 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 2018.

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

International Conferences with Proceedings

20M. Avanzini, U. Dal Lago, A. Yamada.

On Probabilistic Term Rewriting, in: Functional and Logic Programming - 14th International Symposium, Proceedings, Nagoya, Japan, May 2018.

https://hal.archives-ouvertes.fr/hal-01926502
21R. Borchia, A. Carbonaro, G. Casadei, L. Forlizzi, M. Lodi, S. Martini.

Problem Solving Olympics: an inclusive education model for learning Informatics, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, Lecture Notes in Computer Science, October 2018, vol. 11169, pp. 319–335. [ DOI : 10.1007/978-3-030-02750-6_25 ]

https://hal.inria.fr/hal-01913064
22M. Bravetti, G. Zavattaro.

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory, in: 20th International Conference on Coordination Languages and Models (COORDINATION), Madrid, Spain, G. D. M. Serugendo, M. Loreti (editors), Coordination Models and Languages, Springer International Publishing, June 2018, vol. LNCS-10852, pp. 21-50. [ DOI : 10.1007/978-3-319-92408-3_2 ]

https://hal.inria.fr/hal-01821498
23F. Breuvart, U. Dal Lago.

On Intersection Types and Probabilistic Lambda Calculi, in: 20th International Symposium on Principles and Practice of Declarative Programming, Frankfurt am Main, Germany, ACM Press, September 2018. [ DOI : 10.1145/3236950.3236968 ]

https://hal.archives-ouvertes.fr/hal-01926420
24I. Corradini, M. Lodi, E. Nardelli.

An Investigation of Italian Primary School Teachers' View on Coding and Programming, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, Lecture Notes in Computer Science, October 2018, vol. 11169, pp. 228–243. [ DOI : 10.1007/978-3-030-02750-6_18 ]

https://hal.inria.fr/hal-01913059
25U. Dal Lago, G. Vanoni.

On Randomised Strategies in the $λ$ -Calculus, in: 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 2018.

https://hal.archives-ouvertes.fr/hal-01926512
26A. Durier, D. Hirschkoff, D. Sangiorgi.

Eager Functions as Processes, in: the 33rd Annual ACM/IEEE Symposium, Oxford, United Kingdom, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, ACM Press, July 2018. [ DOI : 10.1145/3209108.3209152 ]

https://hal.archives-ouvertes.fr/hal-01917255
27L. Forlizzi, M. Lodi, V. Lonati, C. Mirolo, M. Monga, A. Montresor, A. Morpurgo, E. Nardelli.

A Core Informatics Curriculum for Italian Compulsory Education, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, Lecture Notes in Computer Science, October 2018, vol. 11169, pp. 141–153. [ DOI : 10.1007/978-3-030-02750-6_11 ]

https://hal.inria.fr/hal-01913057
28M. Gabbrielli, S. Giallorenzo, I. Lanese, S. P. Zingaro.

A Language-based Approach for Interoperability of IoT Platforms, in: Hawaii International Conference on System Science, Waikoloa Village, United States, November 2018.

https://hal.inria.fr/hal-01912958
29F. Gavazzo.

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances, in: LICS '18- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 2018. [ DOI : 10.1145/3209108.3209149 ]

https://hal.inria.fr/hal-01926069
30S. Giallorenzo, I. Lanese, D. Russo.

ChIP: a Choreographic Integration Process, in: On the Move to Meaningful Internet Systems, La Valletta, Malta, October 2018.

https://hal.inria.fr/hal-01912917
31S. Giallorenzo, F. Montesi, M. Gabbrielli.

Applied Choreographies, in: 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Madrid, Spain, C. Baier, L. Caires (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, June 2018, vol. LNCS-10854, pp. 21-40. [ DOI : 10.1007/978-3-319-92612-4_2 ]

https://hal.inria.fr/hal-01824812
32I. Lanese, N. Nishida, A. Palacios, G. Vidal.

CauDEr: A Causal-Consistent Reversible Debugger for Erlang, in: Functional and Logic Programming, Nagoya, Japan, May 2018.

https://hal.inria.fr/hal-01912894
33C. Laneve.

A lightweight deadlock analysis for programs with threads and reentrant locks, in: 22nd International Symposium on Formal Methods, Oxford, United Kingdom, July 2018.

https://hal.inria.fr/hal-01926509
34M. Lodi.

Can Creative Computing foster Growth Mindset?, in: Joint Proceedings of the 1st Co-Creation in the Design, Development and Implementation of Technology-Enhanced Learning workshop (CC-TEL 2018) and Systems of Assessments for Computational Thinking Learning workshop (TACKLE 2018) co-located with 13th European Conference on Technology Enhanced Learning (ECTEL 2018), Leeds, United Kingdom, CEUR Workshop Proceedings, September 2018, vol. 2190.

https://hal.inria.fr/hal-01913053
35M. Monga, M. Lodi, D. Malchiodi, A. Morpurgo, B. Spieler.

Learning to program in a constructionist way, in: Proceedings of Constructionism 2018, Vilnius, Lithuania, August 2018.

https://hal.inria.fr/hal-01913065
36C. Tian, D. Sangiorgi.

Unique solutions of contractions, CCS, and their HOL formalisation, in: Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, Beijing, China, September 2018, vol. 276, pp. 122 - 139. [ DOI : 10.4204/EPTCS.276.10 ]

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

National Conferences with Proceedings

37M. Lodi.

Computational Thinking: from "samba schools of computation" to CoderDojos, in: Atti del convegno DIDAMATICA 2018, Cesena, Italy, April 2018.

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

Other Publications

38I. Corradini, M. Lodi, E. Nardelli.

Coding and Programming: What Do Italian Primary School Teachers Think? (Abstract Only), ACM Press, February 2018, SIGCSE '18 - Proceedings of the 49th ACM Technical Symposium on Computer Science Education, Poster. [ DOI : 10.1145/3159450.3162268 ]

https://hal.inria.fr/hal-01913062
39A. Durier, D. Hirschkoff, D. Sangiorgi.

Eager Functions as Processes, March 2018, working paper or preprint. [ DOI : 10.1145/3209108.3209152 ]

https://hal.archives-ouvertes.fr/hal-01736696
40A. Durier, D. Hirschkoff, D. Sangiorgi.

Towards 'up to context' reasoning about higher-order processes, August 2018, working paper or preprint.

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

References in notes

41M. Carbone, K. Honda, N. Yoshida.

A Calculus of Global Interaction based on Session Types, in: Electr. Notes Theor. Comput. Sci., 2007, vol. 171, n^o 3, pp. 127–151.
42A. Igarashi, N. Kobayashi.

Resource usage analysis, in: POPL conference, ACM Press, 2002, pp. 331–342.
43N. Kobayashi, D. Sangiorgi.

A hybrid type system for lock-freedom of mobile processes, in: ACM Trans. Program. Lang. Syst., 2010, vol. 32, n^o 5.
44I. C. C. Phillips, I. Ulidowski.

Reversing algebraic process calculi, in: J. Log. Algebr. Program., 2007, vol. 73, n^o 1-2, pp. 70–96.

https://doi.org/10.1016/j.jlap.2006.11.002

Previous |

Home