Pubblicazioni
-
Ciancarini P; Sillitti A; Succi G; Messina A, Proceedings of 4th International Conference in Software Engineering for Defence Applications, Cham, Springer International Publishing, 2015, pp. 330 . [Curatela]
-
Messina A; Ciancarini P; Sillitti A; Succi G, A-CASE ``Agile" Computer Aided Software Engineering environment, in: Proceedings of the 2015 CAE Conference, 2015, pp. 1 - 4 (atti di: 2015 CAE Conference, Pacengo del Garda,VR, Italy, October, 2015) [Contributo in Atti di convegno]
-
Roccetti M.; Colombini S.; Zanichelli M., Some reflections on bolognese food: A digital perspective, with a lot of fun, in: Proceedings 16th International Conference on Intelligent Games and Simulation, 2015, pp. 34 - 37 (atti di: 978-907738191-5, Amsterdam, 2015) [Contributo in Atti di convegno]
-
Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 45 [Articolo in rivista]
-
Padovani, Luca; Novara, Luca, Types for Deadlock-Free Higher-Order Programs, in: Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), DEU, Springer, 2015, 9039, pp. 3 - 18 (atti di: IFIP International Conference on Formal Methods and Techniques, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]
-
Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), DEU, Springer, 2015, 9037, pp. 83 - 98 (atti di: International Conference on Coordination Models and Languages, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]
-
Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), USA, ACM, 2015, pp. 917 - 934 (atti di: ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pittsburgh, PA, USA, 25-30 October 2015) [Contributo in Atti di convegno]
-
Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko, A gentle introduction to multiparty asynchronous session types, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), DEU, Springer Verlag, 2015, pp. 146 - 178 [Capitolo/Saggio in libro]