[Bio11] L. Bioglio. Enumerated type semantics for the calculus of looping sequences. RAIRO - Theoretical Informatics and Applications, 45(01):35-58, 2011.

[BCDGV12] L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino and B. Venneri. Deriving Session and Union Types for Objects, Mathematical Structures in Computer Science 23(6):1163 - 1219, 2013.

[BDGT12] L. Bioglio, M. Dezani-Ciancaglini, P. Giannini and A. Troina. Typed Stochastic Semantics for the Calculus of Looping Sequences, Theoretical Computer Science, 431:165 -180, 2012

[BF10] Michele Bugliesi, Riccardo Focardi. Channel abstractions for network security. Mathematical Structures in Computer Science 20(1): 3-44 (2010). [BMM12] Bruni, R., Melgratti, H., and Montanari, U., cJoin: Join with communicating transactions. in: Mathematical Structures in Computer Science, in corso di pubblicazione.

[CCD12] S. Capecchi, I. Castellani and M. Dezani-Ciancaglini. Typing Access Control and Secure Information Flow in Sessions, Information and Computation 2012, accepted for publication.

[CDP12] G. Castagna, M. Dezani-Ciancaglini and L. Padovani. On Global Types and Multi-Party Sessions, Logical Methods in Computer Science, 8:1-45, 2012.

[CGPS12] Dario Colazzo, Giorgio Ghelli, Pardini, Carlo Sartiani. Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. Theoretical Computer Science, to appear.

[DHS12] M. Dezani, R. Horne, and V. Sassone. Tracing where and who provenance in Linked Data: a calculus, Theoretical Computer Science 464: 113-129 (2012).

[GJPD12] S. Ghilezan, S. Jaksic, J. Pantovic and M. Dezani-Ciancaglini. Types and Roles for Web Security, Transactions on Advanced Research, 8(2):16-21, 2012.

[MM10b] Matteo Magnani and Danilo Montesi. A survey on uncertainty management in data integration. ACM Journal of Data and Information Quality, 2(1), 2010. ACM, New York, NY, USA, issn: 1936-1955

[RMI11] Luca Rossi, Matteo Magnani, and Barbara Iadarola. #rescatemineros: global media events in the microblogging age. Selected Papers of Internet Research, 1(1), 2011. issn: 2162-3317

[SKS11] Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii. Environmental bisimulations for higher-order languages. ACM Trans. Program. Lang. Syst. 33(1): 5 (2011)

[ACTTK12] M. Aldinucci, S. Campa, F. Tordini, M. Torquati, and P. Kilpatrick. An abstract annotation model for skeletons. In Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, B. Beckert, F. Damiani, F. S. de Boer, and M. M. Bonsangue, Eds., Springer, 2013, vol. 7542, pp. 218-236.

[ADKMS12] M. Aldinucci, M. Danelutto, P. Kilpatrick, C. Montangero, and L. Semini. Managing adaptivity in parallel systems. In Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, B. Beckert, F. Damiani, F. S. de Boer, and M. M. Bonsangue, Eds., Springer, 2013, vol. 7542, pp. 218-236.

[BBB12]Bodei, C., Brodo, L., Bruni, R., Open Multiparty Interaction, in: WADT 2012, Springer LNCS 7841, 2013.

[BCCD12] V. Bono, S. Capecchi, I. Castellani and M. Dezani-Ciancaglini. A Reputation System for Multirole Sessions, TGC'11, LNCS, volume 7173, pages1–24, 2012, Springer.

[BCDM12] Buscemi, M.G., Coppo, M., Dezani-Ciancaglini, M., and Montanari, U., Constraints for Service Contracts, in: TGC 2011, Springer LNCS 7173, pp. 212-226, 2012.

[BCEM11] M. Bugliesi, S. Calzavara, F. Eigner, M. Maffei. Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. CSF 2011: 83-98.

[BCEM12] M. Bugliesi, S. Calzavara, F. Eigner, M. Maffei. Affine Refinement Types for Authentication and Authorization. TGC 2012. To appear.

[BCFS12] M. Bugliesi, S. Calzavara, R. Focardi, M. Squarcina. Gran: Model Checking Grsecurity RBAC Policies. CSF 2012: 126-138

[BCM10] M. Bugliesi, S. Calzavara, D. Macedonio. Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS 2010: 23-40

[BCMM12] M. Bugliesi, S. Calzavara, P. Modesti, S. Modersheim. Security Protocol Specification and Verification with Anbx. Submitted. 2012.

[BDPZ11a] M. Bravetti, C. Di Giusto, J.A. Perez, G. Zavattaro, “Steps on the Road to Component Evolvability”, in Proc. of the 7th Int. Workshop on Formal Aspects of Component Software (FACS 2010), LNCS 6921:295-299, Springer, 2011

[BDPZ11b] M. Bravetti, C. Di Giusto, J.A. Perez, G. Zavattaro, “Adaptable Processes (Extended Abstract)”, in Proc. of “Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011”, LNCS 6722:90-105, Springer, 2011

[BFGLMMM10] Matteo Bertoni, Giuliano Furlini, Gianluca Gozzoli, Maria Paola Landini, Matteo Magnani, Antonio Messina, and Danilo Montesi. Database Technology for Life Sciences and Medicine, chapter Quality of medical data: a case study. World Scientific Publishing, 2010. isbn: 978-981-4307-70-3

[BFK12] Bruni, R., Ferreira, C., and Kersten-Kauer, A., First-Order Dynamic Logic for Compensable Processes. in: COORDINATION 2012, Spinger LNCS 7274, pp. 104-121, 2012.

[BGHMR12] M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and S. Rossi. Interference-sensitive Preorders for MANETs. QEST 2012: 189-198. [BK12] Bruni, R., Kersten-Kauer, A., LTS Semantics for Compensation-based Processes. in: TGC 2012, Springer LNCS, in corso di pubblicazione.

[BKLS11] Bruni, R., Kersten-Kauer, A., Lanese, I., and Spagnolo, G., A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. in: WADT 2010, Springer LNCS 7137, 42-60, 2011.

[BLZ11] Bruni, R., Liu, Z., and Zhao, L., Graph Representation of Sessions and Pipelines for Structured Service Programming. in: FACS 2010, Springer LNCS 6921, pp. 259-276, 2011.

[BM10] M Bugliesi, P Modesti. AnBx - Security Protocols Design and Verification. ARSPA-WITS 2010: 164-184

[BMM11a] Bruni, R., Melgratti, H., and Montanari, U., A Connector Algebra for P/T Nets Interactions. in: CONCUR 2011, Springer LNCS 6901, 312-326, 2011.

[BMM11b] Bruni, R., Melgratti, H., and Montanari, U., A Survey on Basic Connectors and Buffers. In Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, B. Beckert, F. Damiani, F. S. de Boer, and M. M. Bonsangue, Eds., Springer, 2013, vol. 7542, pp. 218-236.

[CCD11] S. Capecchi, I. Castellani and M. Dezani-Ciancaglini. Information Flow Safety in Multiparty Sessions, EXPRESS, EPTCS. In Bas Luttik and Frank Valencia eds., volume 64, pages 16-30, 2011.

[CCDR10] S. Capecchi, I. Castellani, M. Dezani-Ciancaglini and T. Rezk. Session Types for Access and Information Flow Control, CONCUR'10, LNCS, volume 6269, pages 237-252, 2010, Springer.

[CDMZ12] M. Coppo, M. Dezani-Ciancaglini, I. Margaria and M. Zacchi. Toward isomorphism of intersection and union types, ITRS 2012, EPTCS, to appear.

[CDP11] G. Castagna, M. Dezani-Ciancaglini and L. Padovani. On Global Types and Multi-party Sessions, FMOODS & FORTE 2011, volume LNCS 6722, pages 1-28, 2011, Springer.

[CGS11] Dario Colazzo, Giorgio Ghelli, Carlo Sartiani. Schemas for safe and efficient XML processing. in: ICDE'11, 2011.

[CGS12] Dario Colazzo, Giorgio Ghelli and Carlo Sartiani. Typing Massive JSON Datasets. in: XLDI'12, 2012.

[CLMPR10] Fabio Celli, F. Marta L. Di Lascio, Matteo Magnani, Barbara Pacelli, and Luca Rossi. Social network data and practices: the case of friendfeed. In International Conference on Social Computing, Behavioral Modeling and Prediction, Lecture Notes in Computer Science, pages 346-353. Springer, Berlin, 2010. isbn: 978-3-642-12078-7

[DGJP11] M. Dezani-Ciancaglini, S. Ghilezan, S. Jakoic and J. Pantovic. Types for Role-Based Access Control of Dynamic Web Data, WFLP'10, LNCS, volume 6559, pages 1-29, 2011, Springer.

[DGS12] Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited. Principles and Practice of Declarative Programming (PPDP'12) pp 139-150, ACM, 2012

[DHS10] Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in Impure Concurrent Languages. CONCUR 2010, Lecture Notes in Computer Science 6269, pp 328-342, Springer, 2010.

[DL10] M. Dezani-Ciancaglini and U. de Liguoro. Sessions and Session Types: an Overview, WS-FM 2009, LNCS, volume 6194, pages 1-28, 2010, Springer.

[DR12] E. De Benedetti and S. Ronchi Della Rocca. Bounding normalization time through intersection types, ITRS 2012, EPTCS, to appear.

[GDMR12] Lucia Gallina, Gian-Luca Dei Rossi, Andrea Marin, Sabina Rossi. Evaluating resistance to jamming and casual interception in mobile wireless networks. MSWiM 2012: 151-158

[GHKMRS12] L. Gallina, T. Han, M. Kwiatkowska, A. Marin, S. Rossi and A. Spanò. Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks. IFIP Wireless Days 2012, IEEE Press, 2012.

[GHMR11a] Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi. A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. ASMTA 2011: 316-330

[GHMR11b] Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi. A framework for throughput and energy efficiency in mobile ad hoc networks. Wireless Days 2011: 1-6

[GR10a] Lucia Gallina, Sabina Rossi. A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. IFIP TCS 2010: 20-31

[GR10b] Lucia Gallina, Sabina Rossi. Sender- and receiver-centered interference in wireless ad hoc networks. Wireless Days 2010: 1-5

[GR12] L. Gallina and S. Rossi. A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks. Wireless Communications & Mobile Computing, John Wiley & Sons, Ltd. 2012. To appear.

[MM10a] Matteo Magnani and Danilo Montesi. Us-sql: Managing uncertain schemata. In SIGMOD conference, pages 1195-1198, 2010. isbn: 978-1-4503-0032-2

[MM10c] Matteo Magnani and Danilo Montesi. Toward conversation retrieval. In Maristella Agosti, Floriana Esposito, and Costantino Thanos, editors, Italian Research Conference on Digital Libraries - Revised selected papers, volume 91 of Communications in Computer and Information Science. Springer, 2010. isbn: 978-3-642-15849-0

[MM10d] Matteo Magnani and Danilo Montesi. Uncertainty in decision tree classifiers. In Amol Deshpande and Anthony Hunter, editors, International conference on Scalable Uncertainty Management, volume 6379 of Lecture Notes in Computer Science. Springer, Berlin, 2010. isbn: 978-3-642-15950- 3

[MM11] S. Modersheim, P. Modesti. Verifying SeVeCom using set-based abstraction. IWCMC 2011: 1164-1169

[MMNR11] Matteo Magnani, Danilo Montesi, Gabriele Nunziante, and Luca Rossi. Conversation retrieval from twitter. In ECIR conference, volume 6611 of Lecture Notes in Computer Science. Springer, 2011. isbn: 978-3-642- 20160-8

[MMR10a] Matteo Magnani, Danilo Montesi, and Luca Rossi. Information propagation analysis in a social network site. In International conference on Advances in Social Network Analysis and Mining, pages 296-300. IEEE Computer Society, Los Alamitos, 2010. isbn: 978-0-7695-4138-9/10

[MMR10b] Matteo Magnani, Danilo Montesi, and Luca Rossi. Friendfeed breaking news: Death of a public figure. In IEEE SocialCom - International Symposium on Social Computing Application, pages 528-533. IEEE Computer Society, Los Alamitos, 2010. isbn: 978-0-7695-4211-9/10

[MR11] Matteo Magnani and Luca Rossi. The ml-model for multi layer network analysis. In IEEE International conference on Advances in Social Network Analysis and Mining. IEEE Computer Society, Los Alamitos, 2011. isbn: 978-0-769-54375-8. Best paper award

[Mod12] P. Modesti. Verified Security Protocol Design and Implementation with AnBx. PhD Dissertation, Univ. of Venice. March 2012 [Ros10] Sabina Rossi. Model Checking Adaptive Multilevel Service Compositions. FACS 2010: 106-124.