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, Deadlock and Lock Freedom in the Linear π-Calculus, in: Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), USA, ACM - Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science, Vienna, Austria, July 14–18, 2014) [Contributo in Atti di convegno]
Svetlana, Jakšić; Padovani, Luca, Exception Handling for Copyless Messaging, «SCIENCE OF COMPUTER PROGRAMMING», 2014, 84, pp. 22 - 51 [articolo]
Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Serguei; Padovani, Luca, Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation, in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), 2014, 49, pp. 5 - 17 (atti di: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA, January 22-24, 2014) [Contributo in Atti di convegno]
Dezani, Mariangiola; Padovani, Luca; J., Pantovic, Session Type Isomorphisms, in: Proceedings of the workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’14), Waterloo, Open Publishing Association, 2014, pp. 61 - 71 (atti di: PLACES'14, Grenoble, 2014) [Contributo in Atti di convegno]
Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, in: Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), DEU, Springer, 2014, 8412, pp. 88 - 102 (atti di: 17th International Conference on Foundations of Software Science and Computation Structures, Grenoble, Francia, 5-13 April 2014) [Contributo in Atti di convegno]
Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira, Typing Liveness in Multiparty Communicating Systems, in: Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), DEU, Springer, 2014, 8459, pp. 147 - 162 (atti di: 16th International Conference on Coordination Models and Languages, Berlino, Germania, June 3-5, 2014) [Contributo in Atti di convegno]
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina, A formal foundation for dynamic delta-oriented software product lines, in: Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE’12), 2013, 48, pp. 1 - 10 (atti di: 11th International Conference on Generative Programming and Component Engineering (GPCE'12), Dresden, Germany, September 26-27, 2012) [Contributo in Atti di convegno]
Cosimo Laneve;
Luca Padovani, An Algebraic Theory for Web Service Contracts., in: Integrated Formal Methods, 10th International Conference, IFM 2013, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7940, pp. 301 - 315 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, TURKU, June 10-14, 2013) [Contributo in Atti di convegno]
Padovani, Luca, Fair Subtyping for Open Session Types, in: Proceedings of the 40th International Colloquium on Automata, Languages and Programming, Part II, DEU, SPRINGER-VERLAG BERLIN, 2013, 7966, pp. 373 - 384 (atti di: 40th International Colloquium on Automata, Languages and Programming, Riga, Latvia, July 8-12 2013) [Contributo in Atti di convegno]
Padovani, Luca, From Lock Freedom to Progress Using Session Types, in: Proceedings of Programming Language Approaches to Concurrency- and Communication-cEntric Software 2013 (PLACES’13), Waterloo, Open Publishing Association, 2013, 137, pp. 3 - 19 (atti di: Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013) [Contributo in Atti di convegno]
Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in: Proceedings of the 15th International Conference on Coordination Models and Languages, DEU, SPRINGER-VERLAG BERLIN, 2013, 7890, pp. 45 - 59 (atti di: 15th International Conference on Coordination Models and Languages, Florence, Italy, June 3-5 2013) [Contributo in Atti di convegno]
Bono, Viviana; Padovani, Luca; Andrea, Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, in: Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, DEU, SPRINGER-VERLAG BERLIN, 2013, 7892, pp. 83 - 98 (atti di: 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13), Florence, Italy, June 3-6, 2013) [Contributo in Atti di convegno]
Svetlana, Jakšić; Padovani, Luca, Exception Handling for Copyless Messaging, in: Proceedings of the 14th symposium on Principles and practice of declarative programming, USA, ACM, 2012, pp. 151 - 162 (atti di: 14th Symposium on Principles and practice of declarative programming, Leuven, Belgium, 19-21 september 2012) [Contributo in Atti di convegno]
Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca, On Global Types and Multi-Party Sessions, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(1:24), pp. 1 - 45 [articolo]
