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, p. 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, p. 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, p. 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, p. 133-142.

http://www.cs.unibo.it/~gaboardi/publication/DalLagoGaboardi11lics.pdf
7I. Lanese, C. A. Mezzina, J.-B. Stefani.

Reversing Higher-Order Pi, in: CONCUR, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, p. 478–493.

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

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

An introduction to Bisimulation and Coinduction, Cambridge University Press, 2011.

Publications of the year

Doctoral Dissertations and Habilitation Theses

10J. Mauro.

Constraints meet concurrency, University of Bologna, 2012.
11C. A. Mezzina.

Réversibilité dans le pi calcul d'ordre supérieur, University of Grenoble and University of Bologna (joint degree), 2012.

Articles in International Peer-Reviewed Journals

12P. Baillot, U. Dal Lago, J.-Y. Moyen.

On quasi-interpretations, blind abstractions and implicit complexity, in: Mathematical Structures in Computer Science, 2012, vol. 22, n^o 4, p. 549–580.

http://journals.cambridge.org/action/displayAbstract?aid=8635368
13M. Bravetti, C. Di Giusto, J. A. Pérez, G. Zavattaro.

Adaptable Processes, in: Logical Methods in Computer Science, 2012, vol. 8, n^o 4:13, p. 1–71.
14S. Capecchi, E. Giachino, N. Yoshida.

Global Escape in Multiparty Sessions, in: Mathematical Structures in Computer Science, 2012, to appear.

http://www.cs.unibo.it/~giachino/bib/GExc-MSCS.pdf
15U. Dal Lago, M. Gaboardi.

Linear Dependent Types and Relative Completeness, in: Logical Methods in Computer Science, 2012, vol. 8, n^o 4.

http://arxiv.org/pdf/1104.0193.pdf
16U. Dal Lago, S. Martini.

On Constructor Rewrite Systems and the Lambda Calculus, in: Logical Methods in Computer Science, 2012, vol. 8, n^o 3.

http://arxiv.org/pdf/1208.0515.pdf
17U. Dal Lago, M. Zorzi.

Probabilistic operational semantics for the lambda calculus, in: RAIRO - Theor. Inf. and Applic., 2012, vol. 46, n^o 3, p. 413–450.

http://journals.cambridge.org/action/displayAbstract?aid=8661072
18C. Di Giusto, M. Gabbrielli, M. C. Meo.

On the Expressive Power of Multiple Heads in CHR, in: ACM Trans. Comput. Log., 2012, vol. 13, n^o 1.

http://doi.acm.org/10.1145/2071368.2071374
19M. Gaboardi, J.-Y. Marion, S. R. D. Rocca.

An Implicit Characterization of PSPACE, in: Transactions on Computational Logic, 2012, vol. 13, n^o 2, 38 p.

http://doi.acm.org/10.1145/2159531.2159540
20M. Gaboardi, M. Piccolo.

What is a Model for a Semantically Linear Lambda-calculus?, in: Journal of Logic and Computation, 2012.

Articles in National Peer-Reviewed Journals

21S. Martini.

Lingua Universalis, in: Annali della Pubblica Istruzione, 2012, vol. 4-5, p. 65–70.

International Conferences with Proceedings

22B. Accattoli, U. Dal Lago.

On the Invariance of the Unitary Cost Model for Head Reduction, in: 23rd International Conference on Rewriting Techniques and Applications (RTA'12), LIPIcs, 2012, vol. 15, p. 22–37.

http://dx.doi.org/10.4230/LIPIcs.RTA.2012.22
23P. Baillot, U. Dal Lago.

Higher-Order Interpretations and Program Complexity, in: Computer Science Logic (CSL'12) - 26th International Workshop, LIPIcs, 2012, vol. 16, p. 62–76.

http://dx.doi.org/10.4230/LIPIcs.CSL.2012.62
24M. Bravetti, C. Di Giusto, J. A. Pérez, G. Zavattaro.

Towards the Verification of Adaptable Processes, in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, Lecture Notes in Computer Science, Springer, 2012, vol. 7609, p. 269–283.
25U. Dal Lago, B. Petit.

Linear dependent types in a call-by-value scenario, in: Principles and Practice of Declarative Programming, (PPDP'12), ACM, 2012, p. 115–126.

http://doi.acm.org/10.1145/2370776.2370792
26U. Dal Lago, P. Parisen Toldin.

A Higher-Order Characterization of Probabilistic Polynomial Time, in: Foundational and Practical Aspects of Resource Analysis, R. Pena, M. van Eekelen, O. Shkaravska (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7177, p. 1–18, 10.1007/978-3-642-32495-6_1.

http://dx.doi.org/10.1007/978-3-642-32495-6_1
27M. Dalla Preda.

The Grand Challenge in Metamorphic Analysis, in: Information Systems, Technology and Management, 6th International Conference, ICISTM, Communications in Computer and Information Science, Springer, 2012, vol. 285, p. 439-444.
28M. Dalla Preda, W. Feng, R. Giacobazzi, R. Greechie, A. Lakhotia.

Twisting Additivity in Program Obfuscation, in: Information Systems, Technology and Management - 6th International Conference, ICISTM, Communications in Computer and Information Science, Springer, 2012, vol. 285, p. 336-347.
29M. Dalla Preda, M. Gabbrielli, C. Guidi, J. Mauro, F. Montesi.

Interface-Based Service Composition with Aggregation, in: First European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, F. De Paoli, E. Pimentel, G. Zavattaro (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7592, p. 48–63.
30M. Dalla Preda, M. Gabbrielli, C. Guidi, J. Mauro, F. Montesi.

Service integration via target-transparent mediation, in: SOCA, 2012, to appear.
31M. Dalla Preda, M. Gabbrielli, C. Guidi, J. Mauro, F. Montesi.

Service integration via target-transparent mediation, in: 5th conference on service-oriented computing and applications, SOCA, 2012, to appear.
32O. Dardha, E. Giachino, D. Sangiorgi.

Session types revisited, in: Principles and Practice of Declarative Programming, PPDP'12, D. De Schreye, G. Janssens, A. King (editors), ACM, 2012, p. 139–150.
33G. Delzanno, A. Sangnier, G. Zavattaro.

Verification of Ad Hoc Networks with Node and Communication Failures, in: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference (FMOODS 2012) and 32nd IFIP WG 6.1 International Conference (FORTE 2012), Lecture Notes in Computer Science, Springer, 2012, vol. 7273, p. 235–250.
34R. Demangeon, D. Hirschkoff, D. Sangiorgi.

Termination in impure lambda-calculus, in: Fundamentals of Software Engineering, Lecture Notes in Computer Science, Springer, 2012, vol. 7141, p. 128–142.
35R. Di Cosmo, S. Zacchiroli, G. Zavattaro.

Towards a Formal Component Model for the Cloud, in: 10th International Conference Software Engineering and Formal Methods (SEFM 2012), Lecture Notes in Computer Science, 2012, vol. 7504, p. 156–171.
36A. Díaz-Caro, B. Petit.

Linearity in the Non-deterministic Call-by-Value Setting, in: WoLLIC, 2012, p. 216–231.

http://dx.doi.org/10.1007/978-3-642-32621-9_16
37D. Hirschkoff, J.-M. Madiot, D. Sangiorgi.

Duality and i/o-Types in the pi-calculus, in: 23rd International Conference on Concurrency Theory (CONCUR 2012), M. Koutny, I. Ulidowski (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7454, p. 302–316.

http://perso.ens-lyon.fr/jeanmarie.madiot/files/concur12.pdf
38R. Hähnle, M. Helvenstijn, E. B. Johnsen, M. Lienhardt, D. Sangiorgi, I. Schaefer, P. Wong.

HATS Abstract Behavioral Specification: The Architectural View, in: Formal Methods for Components and Objects (FMCO) 2011, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2012, vol. 7542, p. 165–185.

http://proton.inrialpes.fr/~mlienhar/articles/2012%20-%20Hahnle,all%20-%20HATS%20Abstract%20Behavioral%20Specification:%20The%20Architectural%20View.pdf
39I. Lanese, C. A. Mezzina, J.-B. Stefani.

Controlled Reversibility and Compensations, in: Proceedings of RC 2012, 4th Workshop on Reversible Computation, R. Gluck, T. Yokoyama (editors), LNCS, Springer Verlag, 2012, vol. 7581, p. 233–240.
40M. Lienhardt, M. Bravetti, D. Sangiorgi.

An Object Group-Based Component Model, in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, Lecture Notes in Computer Science, Springer, 2012, vol. 7609, p. 64–78.

http://dx.doi.org/10.1007/978-3-642-34026-0_6
41M. Lienhardt, D. Clarke.

Conflict Detection in Delta-Oriented Programming, in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, Lecture Notes in Computer Science, Springer, 2012, vol. 7609, p. 178–192.

http://dx.doi.org/10.1007/978-3-642-34026-0_14
42M. Lienhardt, D. Clarke.

Row types for delta-oriented programming, in: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, New York, NY, USA, VaMoS '12, ACM, 2012, p. 121–128. [ DOI : 10.1145/2110147.2110161 ]

http://proton.inrialpes.fr/~mlienhar/articles/2012%20-%20Lienhardt,Clarke%20-%20Row%20Types%20for%20Delta-Oriented%20Programming.pdf
43M. Lienhardt, I. Lanese, C. A. Mezzina, J.-B. Stefani.

A Reversible Abstract Machine and Its Space Overhead, in: FMOODS/FORTE, H. Giese, G. Rosu (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7273, p. 1–17.

http://www.cs.unibo.it/~lanese/publications/fulltext/fmoods2012.pdf.gz
44B. Petit.

Continuation Models for the Lambda Calculus With Constructors, in: Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), 2012, vol. 286, p. 337–350.

http://dx.doi.org/10.1016/j.entcs.2012.10.001
45F. S. de Boer, M. Bravetti, I. Grabe, M. Lee, M. Steffen, G. Zavattaro.

A Petri Net based Analysis of Deadlocks for Active Objects and Futures, in: Proceedings 9th International Symposium on Formal Aspects of Component Software (FACS'12), Lecture Notes in Computer Science, Springer, 2012, vol. 7684, p. 110–127.
46F. S. de Boer, M. M. Jaghoori, C. Laneve, G. Zavattaro.

Decidability Problems for Actor Systems, in: 23rd International Conference on Concurrency Theory (CONCUR 2012), Lecture Notes in Computer Science, Springer, 2012, vol. 7454, p. 562–577.

Scientific Books (or Scientific Book chapters)

47D. Pous, D. Sangiorgi.

Enhancements of the bisimulation proof method, in: Advanced Topics in Bisimulation and Coinduction, D. Sangiorgi, J. Rutten (editors), Cambridge University Press, 2012.
48D. Sangiorgi.

Introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
49D. Sangiorgi.

Origins of Bisimulation and Coinduction, in: Advanced Topics in Bisimulation and Coinduction, D. Sangiorgi, J. Rutten (editors), Cambridge University Press, 2012.

Books or Proceedings Editing

50M. Carbone, I. Lanese, A. Silva, A. Sokolova (editors)

Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012), Electronic Proceedings in Theoretical Computer Science, 2012, vol. 104.
51D. Sangiorgi, J. Rutten (editors)

Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012.

Scientific Popularization

52S. Martini.

Lingua Universalis, in: Annali della Pubblica Istruzione, 2012, vol. 4-5, p. 65–70.

http://www.annalipubblicaistruzione.it/riviste/annali/pdf/api4_5_2011.pdf

References in notes

53U. 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, p. 205-225.
54K. Pohl, G. Böckle, F. v. der Linden.

Software Product Line Engineering: Foundations, Principles, and Techniques Objects, Springer Verlag, 2005.

Previous |

Home