I. Castellani, M. Dezani-Ciancaglini and P. Giannini.  Asynchronous Sessions with Input Races,   Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Munich, Germany, 3rd April 2022,  Electronic Proceedings in Theoretical Computer Science.  In Carbone, Marco and Neykova, Rumyana ed(s).,   volume 356,  pages 12-23,  2022,  Open Publishing Association.

2021

F. Barbanera, M. Dezani-Ciancaglini, I. Lanese and E. Tuosto.  Composition and decomposition of multiparty sessions,   J. Log. Algebraic Methods Program.,  119:100620,  2021.

F. Dagnino, P. Giannini and M. Dezani-Ciancaglini.  Deconfined Global Types for Asynchronous Sessions,   COORDINATION,  Lecture Notes in Computer Science,   volume 12717,  pages 41--60,  2021,  Springer.

2020

A. Böhm, E. Böhm, M. Böhm, M. Dezani-Ciancaglini, F. Manfredini and N.P. Böhm.  Corrado Böhm: the lambda-adventure,   Contemporary Logic and Computing,  Landscapes in Logic,  pages 399--414,  2020,  College Publications.

V. Bono and M. Dezani-Ciancaglini.  A tale of intersection types,   LICS'20.  In Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller ed(s).,  pages 7--20,  2020,  ACM.

I. Castellani, M. Dezani-Ciancaglini, P. Giannini and R. Horne.  Global Types with Internal Delegation,   Theoretical Computer Science,  807:128--153,  2020.

F. Dagnino, V. Bono, E. Zucca and M. Dezani-Ciancaglini.  Soundness conditions for big-step semantics,   ESOP 2020,  LNCS,  2020,  Springer.

M. Dezani-Ciancaglini, P. Giannini and B. Venneri.  Deconfined Intersection Types in Java,   Gabbrielli's Festschrift,  OASIcs.  In de Boer, Frank S. and Mauro, Jacopo ed(s).,   volume 86,  pages 3:1--3:25,  2020,  Schloss Dagstuhl--Leibniz-Zentrum für Informatik.

A.B. Matos, L. Paolini and L. Roversi.  On the Expressivity of Total Reversible Programming Languages,   Reversible Computation.  In Lanese, Ivan and Rawski, Mariusz ed(s).,  pages 128--143,  2020,  Springer International Publishing,  Cham.

A.B. Matos, L. Paolini and L. Roversi.  The fixed point problem of a simple reversible language,   Theoretical Computer Science,  813:143 - 154,  2020.

L. Paolini, M. Piccolo and L. Roversi.  A class of Recursive Permutations which is Primitive Recursive complete,   Theoretical Computer Science,  813:218 - 233,  2020.

2019

F. Barbanera, U. de' Liguoro and R. Hennicker.  Connecting open systems of communicating finite state machines,   J. Log. Algebr. Meth. Program.,  109,  2019.

F. Barbanera and M. Dezani-Ciancaglini.  Open Multiparty Sessions,   ICE 2019,  EPTCS.  In Massimo Bartoletti and Ludovic Henrio and Anastasia Mavridou and Alceste Scalas ed(s).,   volume 304,  pages 77--95,  2019.

F. Barbanera and U. de' Liguoro.  Session types and subtyping for orchestrated interactions,   J. Log. Algebr. Meth. Program.,  102:103--137,  2019.

M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti and L. Paolini.  On the expressiveness of modal transition systems with variability constraints,   Science of Computer Programming,  169:1 - 17,  2019.

M.H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti and L. Paolini.  Static Analysis of Featured Transition Systems,   Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A,  SPLC '19,  pages 39--51,  2019,  ACM,  New York, NY, USA.

G. Castagna, M. Dezani-Ciancaglini, E. Giachino and L. Padovani.  Foundations of Session Types: 10 Years Later,   PPDP'19,  pages 1:1--1:3,  2019,  ACM Press.

I. Castellani, M. Dezani-Ciancaglini and P. Giannini.  Event Structure Semantics for Multiparty Sessions,   Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday,  LNCS.  In MicheleBoreale and Flavio Corradini and Michele Loreti and Rosario Pugliese ed(s).,   volume 11665,  pages 340--363,  2019,  Springer.

I. Castellani, M. Dezani-Ciancaglini and P. Giannini.  Reversible Sessions with Flexible Choices,   Acta Informatica,  56(7):553--583,  2019.

F. Damiani, M. Lienhardt and L. Paolini.  A formal model for Multi Software Product Lines,   Science of Computer Programming,  172:203 - 231,  2019.

F. Damiani, M. Lienhardt and L. Paolini.  Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form,   International Journal on Software Tools for Technology Transfer,  21(6):691--707,  2019.

P. Giannini, M. Servetto and E. Zucca.  A Syntactic Model of Mutation and Aliasing,   Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, Oxford, UK, 8th July 2018,  Electronic Proceedings in Theoretical Computer Science.  In Pagani, Michele and Alves, Sandra ed(s).,   volume 293,  pages 39-55,  2019,  Open Publishing Association.

P. Giannini, M. Servetto, E. Zucca and J. Cone.  Flexible recovery of uniqueness and immutability,   Theoretical Computer Science,  764:145 - 172,  2019.

P. Giannini, T. Richter, M. Servetto and E. Zucca.  Tracing sharing in an imperative pure calculus,   Science of Computer Programming,  172:180 - 202,  2019.

U. de' Liguoro and R. Treglia.  Intersection Types for the Computational lambda-Calculus,   CoRR,  abs/1907.05706,  2019.

U. de' Liguoro and R. Treglia.  Intersection Types for the Computational lambda-Calculus - Extended abstract,   Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019,  pages 184--189,  2019.

L. Paolini, M. Piccolo and M. Zorzi.  QPCF: Higher-Order Languages and Quantum Circuits,   Journal of Automated Reasoning,  63(4):941--966,  2019.

L. Paolini, L. Roversi and M. Zorzi.  Quantum Programming Made Easy,   Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity-TLLA 2018), Oxford, UK, 7-8 July 2018,  Electronic Proceedings in Theoretical Computer Science .  In Ehrhard, Thomas and Fernández, Maribel and de Paiva, Valeria and Tortora de Falco, Lorenzo ed(s).,   volume 292,  pages 133-147,  2019,  Open Publishing Association.

P. Severi and M. Dezani-Ciancaglini.  Observational Equivalence for Multiparty Sessions,   Fundamenta Informaticae,  170:267--305,  2019.

2018

P. Baillot, E.D. Benedetti and S.R.D. Rocca.  Characterizing polynomial and exponential complexity classes in elementary lambda-calculus,   Information and Computation,  2018.

S. van Bakel, F. Barbanera and U. de' Liguoro.  Intersection Types for the lambda-mu Calculus,   Logical Methods in Computer Science,  14(1),  2018.

F. Barbanera, I. Lanese and U. de' Liguoro.  A theory of retractable and speculative contracts,   Science of Computer Programming,  167:25 - 50,  2018.

J. Bessai, T.C. Chen, A. Dudenhefner, B. Dï¿œdder, U. de' Liguoro and J. Rehof.  Mixin Composition Synthesis based on Intersection Types,   Logical Methods in Computer Science,  Volume 14, Issue 1,  2018.

L. Bettini, V. Bono, M. Dezani-Ciancaglini, P. Giannini and B. Venneri.  Java Lambda: a Featherweight Story,   Logical Methods in Computer Science,  14(3),  2018.

M. Dezani-Ciancaglini, P. Giannini and B. Venneri.  Intersection Types in Java: back to the future,   Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday,  LNCS.  In Tiziana Margaria and Susanne Graf and Kim G. Larsen ed(s).,   volume 11200,  pages 68--86,  2018,  Springer.

P. Giannini, M. Servetto and E. Zucca.  A type and effect system for uniqueness and immutability,   Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018.  In Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir ed(s).,  pages 1038--1045,  2018,  ACM.

P. Giannini, M. Servetto, E. Zucca and J. Cone.  Flexible recovery of uniqueness and immutability (Extended Version),   CoRR,  abs/1807.00137,  2018.

P. Giannini, T. Richter, M. Servetto and E. Zucca.  Tracing sharing in an imperative pure calculus (Extended Version),   CoRR,  abs/1803.05838,  2018.

M. Lienhardt, F. Damiani, S. Donetti and L. Paolini.  Multi Software Product Lines in the Wild,   Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems,  VAMOS 2018,  pages 89--96,  2018,  ACM,  New York, NY, USA.

U. de' Liguoro and L. Padovani.  Mailbox Types for Unordered Interactions,   32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands,  pages 15:1--15:28,  2018,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

L. Paolini, M. Piccolo and L. Roversi.  A Certified Study of a Reversible Programming Language,   21st International Conference on Types for Proofs and Programs (TYPES 2015),  Leibniz International Proceedings in Informatics (LIPIcs).  In Tarmo Uustalu ed(s).,   volume 69,  pages 7:1--7:21,  2018,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

L. Paolini, M. Piccolo and L. Roversi.  On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions,   New Generation Computing,  36(3):233--256,  2018.

L. Paolini, M. Piccolo and M. Zorzi.  QPCF: higher order languages and quantum circuits,  Rapporto tecnico delle Univeritá di Torino e Verona,  2018.

L. Paolini, L. Roversi and M. Zorzi.  Quantum programming made easy,   2018 Joint Workshop on Linearity & TLLA,  pages July,  2018.

2017

D. Ancona, P. Giannini and E. Zucca.   Constrained polymorphic types for a calculus with name variables ,   TYPES 2015 (Post-Proceedings),  Leibniz International Proceedings in Informatics (LIPIcs).  In Tarmo Uustalu ed(s).,   volume 69,  2017,  Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik,  Dagstuhl, Germany.

D. Ancona, P. Giannini and E. Zucca.  Type safe incremental rebinding,   Mathematical Structures in Computer Science,  27(2):94--122,  2017.

F. Barbanera, S. van Bakel and U. de' Liguoro.  Orchestrated Session Compliance,   Journal of Logical and Algebraic Methods in Programming,  86:30-76,  2017.

F. Barbanera and U. de' Liguoro.  Retractability, games and orchestrators for session contracts,  2017.

F. Barbanera, I. Lanese and U. de' Liguoro.  Retractable and Speculative Contracts,   Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings,  Lecture Notes in Computer Science,   volume 10319,  pages 119-137,  2017.

F. Barbanera and U. de' Liguoro.  Session Types for Orchestrated Interactions,   Proceedings 10th Interaction and Concurrency Experience, Neuchâtel, Switzerland, 21-22nd June 2017,  Electronic Proceedings in Theoretical Computer Science.  In Bartoletti, Massimo and Bocchi, Laura and Henrio, Ludovic and Knight, Sophia ed(s).,   volume 261,  pages 17-36,  2017,  Open Publishing Association.

S. Berardi and U. de' Liguoro.  Non-monotonic pre-fix points and Learning,   Fundamenta Informaticae(150):259-280,  2017.

V. Bono, M. Coppo, M. Dezani-Ciancaglini and B. Venneri.  Data-driven Adaptation for Smart Sessions,   Journal of Logical and Algebraic Methods in Programming,  90:31--49,  2017.

I. Castellani, M. Dezani-Ciancaglini and P. Giannini.  Concurrent Reversible Sessions,   CONCUR 2017,  LIPIcs.  In Roland Meyer and Uwe Nestmann ed(s).,   volume 85,  pages 30:1--30:17,  2017,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

T.C. Chen, M. Dezani-Ciancaglini, A. Scalas and N. Yoshida.  On the Preciseness of Subtyping in Session Types,   LMCS,  13:1--61,  2017.

M. Coppo, M. Dezani-Ciancaglini, I. Margaria and M. Zacchi.  Isomorphism of Intersection and Union Types,   Mathematical Structures in Computer Science,  27(5):603--625,  2017.

M. Coppo, M. Dezani-Ciancaglini, A. Díaz-Caro, I. Margaria and M. Zacchi.  Retractions in Intersection Types,   ITRS'16,  EPTCS.  In Naoki Kobayashi ed(s).,   volume 242,  pages 31--47,  2017.

F. Damiani, M. Lienhardt and L. Paolini.   A Formal Model for Multi SPLs ,   Fundamentals of Software Engineering,  Lecture Notes in Computer Science,   volume 10522,  pages 67--83,  2017,  Springer.

F. Damiani, M. Lienhardt and L. Paolini.  A Formal Model for Multi SPLs,   Pre-proceedings of Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017,  Pre-proceedings of IPM.  In Mehdi Dastani and Marjan Sirjani ed(s).,   volume 10522,  pages 16--31,  2017,  IPM.

M. Dezani-Ciancaglini and B. Venneri.  Lambda Calcolo,   www.aphex.it,  16:1--33,  2017.

P. Giannini and A. Shaqiri.  A Provably Correct Compilation of Functional Languages into Scripting Languages,   Scientific Annals of Computer Science,  27(1):19--76,  2017.

P. Giannini, M. Servetto and E. Zucca.  A type and effect system for sharing,   Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017.  In Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng ed(s).,  pages 1513--1515,  2017,  ACM.

P. Giannini, M. Servetto and E. Zucca.  Tracing sharing in an imperative pure calculus: extended abstract,   Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona , Spain, June 20, 2017,  pages 6:1--6:6,  2017,  ACM.

G. Guerrieri, L. Paolini and S. Ronchi Della Rocca.  Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus,   Logical Methods in Computer Science,  Volume 13, Issue 4,  2017.

U. de' Liguoro.  The Approximation Theorem for the $\Lambda \mu$-Calculus,   Mathematical Structures in Computer Science,  27(5):560-580,  2017.

L. Paolini, M. Piccolo and R. Luca.  A class of Recursive Permutations which is Primitive Recursive complete,  Rapporto dell'Università di Torino,  2017.

L. Paolini, M. Piccolo and S. Ronchi Della Rocca.  Essential and relational models,   Mathematical Structures in Computer Science,  27(5):626–650,  2017.

L. Paolini.  Foundational principles of reversible and quantum computing: Quantum Computing,  2017.

L. Paolini and M. Zorzi.  qPCF: a language for quantum circuit computations,   14th Annual Conference on Theory and Applications of Models of Computation,  Lecture Notes in Computer Science.  In Gopal, T.V. and Jäger , Gerhard and Steila, Silvia ed(s).,   volume 10185,  pages 455--469,  2017,  Springer, Germany.

P. Severi, L. Padovani, E. Tuosto and M. Dezani-Ciancaglini.  On Sessions and Infinite Data,   Logical Methods in Computer Science,  Volume 13, Issue 2,  2017.

2016

L. Aceto, M. Dezani-Ciancaglini, Y. Gurevich, D. Harel, M. Henzinger, G.F. Italiano, S.A. Smolka, P.G. Spirakis and W. Thomas.  EATCS Fellows' Advice to the Young Theoretical Computer Scientist,   Bulletin of the EATCS,  119,  2016.

D. Ancona, P. Giannini and E. Zucca.  Incremental Rebinding with Name Polymorphism ,   Proceedings of {ICTCS} 2015, the 16th Italian Conference on Theoretical Computer Science ,  Electronic Notes in Theoretical Computer Science ,   volume 322,  pages 19 - 34,  2016.

F. Barbanera and U. de' Liguoro.  A Game Interpretation of Retractable Contracts,   Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings,  Lecture Notes in Computer Science.  In Alberto Lluch-Lafuente and José Proença ed(s).,   volume 9686,  pages 18-34,  2016,  Springer.

F. Barbanera, M. Dezani-Ciancaglini, I. Lanese and U. de' Liguoro.  Retractable Contracts,   PLACES 2015,  EPTCS,   volume 203,  pages 61 - 72,  2016.

F. Barbanera, M. Dezani-Ciancaglini and U. de' Liguoro.  Reversible client/server interactions,   Formal Aspects of Computing,  28(4):697-722,  2016.

S. Capecchi, I. Castellani and M. Dezani-Ciancaglini.  Information Flow Safety in Multiparty Sessions,   Mathematical Structures in Computer Science,  26:1352--1394,  2016.

I. Castellani, M. Dezani-Ciancaglini and U. de' Liguoro.  Secure Multiparty Sessions with Topics,   PLACES'16,  EPTCS,   volume 211,  pages 1--12,  2016.

I. Castellani, M. Dezani-Ciancaglini and J.A. Pérez.  Self-Adaptation and Secure Information Flow in Multiparty Communications,   Formal Aspects of Computing,  28(4):669--696,  2016.

W. Cazzola, P. Giannini and A. Shaqiri.  Formal Attributes Traceability in Modular Language Development Frameworks ,   Proceedings of {ICTCS} 2015, the 16th Italian Conference on Theoretical Computer Science ,  Electronic Notes in Theoretical Computer Science ,   volume 322,  pages 119 - 134,  2016.

M. Coppo, M. Dezani-Ciancaglini, N. Yoshida and L. Padovani.  Global Progress for Dynamically Interleaved Multiparty Sessions,   Mathematical Structures in Computer Science,  26(2):238--302,  2016.

M. Coppo, M. Dezani-Ciancaglini and B. Venneri.  Parallel Monitors for Self-adaptive Sessions,   PLACES'16,  EPTCS,   volume 211,  pages 25--36,  2016.

M. Coppo, M. Dezani-Ciancaglini, I. Margaria and M. Zacchi.  Partial and Complete Processes in Multiparty Sessions,   ICTCS'15,  ENTCS,   volume 322,  pages 135--151,  2016.

O. Danvy and U. de' Liguoro Editor(s).  Proceedings of the Workshop on Continuations, WoC 2015, London, UK, April 12th 2015,  EPTCS,   volume 212,  2016.

E. De Benedetti and S. Ronchi Della Rocca.  A type assignment for lambda-calculus complete both for FPTIME and strong normalization,   Information and Computation,  248,  2016.

M. Dezani-Ciancaglini, S. Ghilezan, S. Jaksic, J. Pantovic and N. Yoshida.  Denotational and Operational Preciseness of Subtyping: A Roadmap,   Theory and Practice of Formal Methods,  LNCS,   volume 9660,  pages 155-172,  2016.

M. Dezani-Ciancaglini, S. Ghilezan, S. Jaksic, J. Pantovic and N. Yoshida.  Precise subtyping for synchronous multiparty sessions,   PLACES 2015,  EPTCS,   volume 203,  pages 29 - 44,  2016.

M. Dezani-Ciancaglini and P. Giannini.  Reversible Multiparty Sessions with Checkpoints,   EXPRESS/SOS'16,  EPTCS,   volume 222,  pages 60--74,  2016.

D.J. Dougherty, U. de' Liguoro, L. Liquori and C. Stolze.  A Realizability Interpretation for Intersection and Union Types,   Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings,  Lecture Notes in Computer Science,   volume 10017,  pages 187-205,  2016.

M. Gaboardi, L. Paolini and M. Piccolo.  On the reification of semantic linearity,   Mathematical Structures in Computer Science,  27(5):829--867,  2016.

P. Giannini, M. Servetto and E. Zucca.  Coupling Catch Clauses with Local Declarations,   Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs,  FTfJP'16,  pages 6:1--6:6,  2016,  ACM,  New York, NY, USA.

P. Giannini, A.L. Lamprecht and T. Margaria.  Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework,   Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.  In Slimane Hammoudi and Luís Ferreira Pires and Bran Selic and Philippe Desfray  ed(s).,   volume 1,  pages 368-376,  2016,  SciTePress.

P. Giannini, M. Servetto and E. Zucca.  Initialize-and-catch,   Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016,  pages 1819--1822,  2016,  ACM.

P. Giannini, M. Servetto and E. Zucca.  Runtime Checks as Nominal Types,   Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016,  CEUR Workshop Proceedings,   volume 1720,  pages 75--87,  2016,  CEUR-WS.org.

P. Giannini, M. Servetto and E. Zucca.  Types for Immutability and Aliasing Control,   Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016,  CEUR Workshop Proceedings,   volume 1720,  pages 62--74,  2016,  CEUR-WS.org.

L. Paolini, M. Piccolo and L. Roversi.  A Class of Reversible Primitive Recursive Functions,   Electronic Notes in Theoretical Computer Science,  322:227--242,  2016.

L. Paolini, M. Piccolo and L. Roversi.  A Class of Reversible Primitive Recursive Functions,   Electronic Notes in Theoretical Computer Science,  322(18605):227--242,  2016.

S. Ronchi Della Rocca and V. Mogbil.  Development on Implicit Computational Complexity (DICE 2013)?? journal missing ???,  248,  2016.

L. Roversi.  A deep inference system with a self-dual binder which is complete for linear lambda calculus,   Journal of Logic and Computation,  26(2):677-698,  2016.

P. Severi, L. Padovani, E. Tuosto and M. Dezani-Ciancaglini.  On Sessions and Infinite Data,   COORDINATION'16,  LNCS.  In Alberto Lluch Lafuente and José Proença ed(s).,   volume 9686,  pages 245--261,  2016,  Springer.

2015

M. Aldinucci, G.P. Pezzi, M. Drocco, C. Spampinato and M. Torquati.  Parallel Visual Data Restoration on Multi-GPGPUs using Stencil-Reduce Pattern,   International Journal of High Performance Computing Application,  2015.

F. Barbanera, S. van Bakel and U. de' Liguoro.  Orchestrated Session Compliance,   Proceedings 8th Interaction and Concurrency Experience , Grenoble, France, 4-5th June 2015,  Electronic Proceedings in Theoretical Computer Science.  In Knight, Sophia and Lanese, Ivan and Lluch Lafuente, Alberto and Torres Vieira, Hugo  ed(s).,   volume 189,  pages 21-36,  2015,  Open Publishing Association.

F. Barbanera and U. de' Liguoro.  Sub-behaviour relations for session-based client/server systems,   MSCS,  25(6):1339--1381,  2015.

M. Bartoletti, I. Castellani, P.M. Deniélou, M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, J.A. Pérez, P. Thiemann, B. Toninho and H.T. Vieira.  Combining behavioural types with security analysis ,   Journal of Logical and Algebraic Methods in Programming ,  84(6):763 - 780,  2015.

M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti and L. Paolini.  From Featured Transition Systems to Modal Transition Systems with Variability Constraints,   13th International Conference SEFM 2015,  Lecture Notes in Computer Science.  In Radu Calinescu and Bernhard Rumpe ed(s).,   volume 9276,  pages 344--359,  2015,  Springer, Germany.

M. Benke, V. Bono and A. Schubert.  Lucretia - intersection type polymorphism for scripting languages,   Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014.,  pages 65--78,  2015.

J. Bessai, A. Dudenhefner, B. Düdder, T.C. Chen, U. de' Liguoro and J. Rehof.  Mixin Composition Synthesis Based on Intersection Types,   13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland,  LIPIcs.  In Thorsten Altenkirch ed(s).,   volume 38,  pages 76--91,  2015,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

J. Bessai, B. Düdder, A. Dudenhefner, T.C. Chen and U. de' Liguoro.  Typing Classes and Mixins with Intersection Types,   Proceedings Seventh Workshop on Intersection Types and Related Systems, Vienna, Austria, 18 July 2014,  Electronic Proceedings in Theoretical Computer Science.  In Rehof, Jakob ed(s).,   volume 177,  pages 79-93,  2015,  Open Publishing Association.

L. Bettini, F. Damiani and I. Schaefer.  Implementing type-safe software product lines using parametric traits,   Science of Computer Programming ,  97, Part 3():282 - 308,  2015.

L. Bettini and P. Crescenzi.  Java-- Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach,   ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015.  In Pascal Lorenz and Marten van Sinderen and Jorge Cardoso ed(s).,  pages 31--42,  2015,  SciTePress.

A. Bucciarelli, D. Kesner and S. Ronchi Della Rocca.  Observability for Pair Pattern Calculi,   proc. of TLCA 2015,  LIPIcs,  pages 123--137,  2015.

D. Canavese, E. Cesena, R. Ouchary, M. Pedicini and L. Roversi.  Light combinators for finite fields arithmetic ,   Science of Computer Programming ,  111(3):365 --- 394 ,  2015.

A. Compagnoni, P. Giannini and C. Kelley.  A computational modeling language for complex laboratory experiments ,   Nano Communication Networks ,  6(3):103 - 117,  2015.

M. Coppo, M. Dezani-Ciancaglini, L. Padovani and N. Yoshida.  A Gentle Introduction to Multiparty Asynchronous Session Types,   Formal Methods for Multicore Programming,  LNCS.  In Marco Bernardo and Einar Broch Johnsen ed(s).,   volume 9104,  pages 146--178,  2015,  Springer.

M. Coppo, M. Dezani-Ciancaglini, I. Margaria and M. Zacchi.  On Isomorphism of ``Functional'' Intersection and Union Types,   ITRS'14,  EPTCS.  In Jacob Reholf ed(s).,   volume 177,  pages 53-64,  2015.

M. Coppo, M. Dezani-Ciancaglini and B. Venneri.  Self-Adaptive Multiparty Sessions,   Service Oriented Computing and Applications,  9(3-4):249--268,  2015.

F. Damiani, M. Viroli, D. Pianini and J. Beal.  Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields,   Formal Techniques for Distributed Objects, Components, and Systems,  Lecture Notes in Computer Science.  In Graf, Susanne and Viswanathan, Mahesh ed(s).,   volume 9039,  pages 113-128,  2015,  Springer International Publishing.

M. Drocco, C. Misale, G.P. Pezzi, F. Tordini and M. Aldinucci.  Memory-Optimised Parallel Processing of Hi-C Data,   Proc. of Intl. Euromicro PDP 2015: Parallel Distributed and network-based Processing,  2015,  IEEE.

P. Giannini, E. Merelli and A. Troina.  Interactions between Computer Science and Biology,   Theor. Comput. Sci.,  587:1--2,  2015.

G. Guerrieri, L. Paolini and S. Ronchi Della Rocca.  Standardization for a Call-by-Value Lambda-Calculus,   13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015,  LIPIcs,   volume 38,  pages 211--225,  2015,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

C. Laneve and L. Padovani.  An Algebraic Theory for Web Service Contracts,   Formal Aspects of Computing,  27:613-640,  2015.

L. Padovani.  Fair Subtyping for Multi-Party Session Types,   Mathematical Structures in Computer Science:1-41,  2015.

L. Padovani, T.C. Chen and A. Tosatto.  Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear pi-Calculi,   Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15),  LNCS,   volume 9037,  pages 83-98,  2015,  Springer.

L. Padovani and L. Novara.  Types for Deadlock-Free Higher-Order Programs,   Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15),  LNCS,   volume 9039,  pages 3-18,  2015,  Springer.

L. Paolini, M. Piccolo and L. Roversi.  Big and Small-step Operational Semantics of the Reversible Programming Language Janus,  Rapporto Tecnico dell'Università di Torino,  2015.

O. Shkaravska, S. Ronchi Della Rocca and M. van Eekelen.  Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011,   Science of Computer Programming,  111(3):363 --- 534,  2015.

F. Tordini, M. Drocco, C. Misale, L. Milanesi, P. Lió, I. Merelli and M. Aldinucci.  Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II,   Proc. of Intl. Euromicro PDP 2015: Parallel Distributed and network-based Processing,  2015,  IEEE.

2014

M. Aldinucci, M. Torquati, M. Drocco, G.P. Pezzi and C. Spampinato.  An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs,   GPU Technology Conference (GTC 2014),  2014,  San Jose, CA, USA.

M. Aldinucci, S. Ruggieri and M. Torquati.  Decision Tree Building on Multi-Core using FastFlow,   Concurrency and Computation: Practice and Experience,  26(3):800-820,  2014.

M. Aldinucci, S. Campa, M. Danelutto, P. Kilpatrick and M. Torquati.  Design patterns percolating to parallel programming framework implementation,   International Journal of Parallel Programming,  42(6):1012-1031,  2014.

M. Aldinucci, M. Drocco, G.P. Pezzi, C. Misale, F. Tordini and M. Torquati.  Exercising high-level parallel programming on streams: a systems biology use case,   Proc. of the 2014 IEEE 34th Intl. Conference on Distributed Computing Systems Workshops (ICDCS),  2014,  IEEE,  Madrid, Spain.

M. Aldinucci, M. Torquati, M. Drocco, G.P. Pezzi and C. Spampinato.  FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs,   GPU Technology Conference (GTC 2014),  2014,  San Jose, CA, USA.

M. Aldinucci, M. Danelutto, P. Kilpatrick and M. Torquati.  FastFlow: high-level and efficient streaming on multi-core,   Programming Multi-core and Many-core Computing Systems,  Parallel and Distributed Computing.  In Sabri Pllana and Fatos Xhafa ed(s).,  2014,  Wiley.

M. Aldinucci, A. Bracciali, T. Marschall, M. Patterson, N. Pisanti and M. Torquati.  High-Performance Haplotype Assembly,   Proc. of the 11th Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB),  LNBI,  2014,  Springer,  Cambridge, UK.

M. Aldinucci, C. Calcagno, M. Coppo, F. Damiani, M. Drocco, E. Sciacca, S. Spinella, M. Torquati and A. Troina.  On designing multicore-aware simulators for systems biology endowed with on-line statistics,   BioMed Research International,  2014.

M. Aldinucci, M. Torquati, C. Spampinato, M. Drocco, C. Misale, C. Calcagno and M. Coppo.  Parallel stochastic systems biology in the cloud,   Briefings in Bioinformatics,  15(5):798-813,  2014.

M. Aldinucci, G.P. Pezzi, M. Drocco, F. Tordini, P. Kilpatrick and M. Torquati.  Parallel video denoising on heterogeneous platforms,   Proc. of Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU),  2014.

M. Aldinucci, S. Campa, M. Danelutto, P. Kilpatrick and M. Torquati.  Pool evolution: a domain specific parallel pattern,   Proc.of the 7th Intl. Symposium on High-level Parallel Programming and Applications (HLPP),  2014,  Amsterdam, The Netherlands.

P. Baillot, E. De Benedetti and S. Ronchi Della Rocca.  Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus,   IFIP/TCS, Roma,1-3 September 14,  LNCS,   volume 8705,  pages 151--163,  2014,  Springer.

S. van Bakel, F. Barbanera and U. de' Liguoro.  Intersection Types for the lambda-mu Calculus,  2014.

F. Barbanera, M. Dezani-Ciancaglini and U. de' Liguoro.  Compliance for reversible client/server interactions,   BEAT'14,  EPTCS,   volume 162,  pages 35--42,  2014.

F. Barbanera and U. de' Liguoro.  Loosening the notions of compliance and sub-behaviour in client/server systems,   Proceedings of ICE 2014,  EPTCS.  In Ivan Lanese and Alberto Lluch Lafuente and Ana Sokolova and Hugo Torres Vieira  ed(s).,   volume 166,  pages 94-110,  2014.

S. Berardi and U. de' Liguoro.  Knowledge Spaces and the Completeness of Learning Strategies (full version),   LMCS,  10:1-21,  2014.

M. Bernardo, F. Damiani, R. Hähnle, E.B. Johnsen and I. Schaefer Editor(s).  Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures,  Lecture Notes in Computer Science,   volume 8483,  2014,  Springer.

L. Bettini.  Developing User Interfaces with EMF Parsley,   ICSOFT 2014 - 9th International Joint Conference on Software Technologies,  pages 58 - 66,  2014.

L. Bettini and F. Damiani.  Generic Traits for the Java Platform,   Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools,  PPPJ '14,  pages 5--16,  2014,  ACM,  New York, NY, USA.

V. Bono, E. Mensa and M. Naddeo.  Trait-oriented programming in Java 8,   PPPJ'14,  pages 181--186,  2014,  ACM Press.

A. Bucciarelli, D. Kesner and S. Ronchi Della Rocca.  The Inhabitation Problem for Non-Idempotent Intersection Types,   IFIP/TCS, Roma,1-3 September 14,  LNCS,   volume 8705,  2014,  Springer.

D. Canavese, E. Cesena, R. Ouchary, M. Pedicini and L. Roversi.  Can a light typing discipline be compatible with an efficient implementation of finite fields inversion?,   Foundational and Practical Aspects of Resource Analysis (subtitle: 3rd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013),  LNCS.  In Dal Lago, U. and Peña, R. ed(s).,   volume 8552,  pages 38 -- 57,  2014,  Springer.

S. Capecchi, E. Giachino and N. Yoshida.  Global Escape in Multiparty Sessions ,   Mathematical Structures in Computer Science,  2014.

S. Capecchi and P. Pisano.  Reputation by design: using VDML and ServiceML for reputation systems modeling,   ICEBE'14,  2014,  IEEE.

S. Capecchi, I. Castellani and M. Dezani-Ciancaglini.  Typing Access Control and Secure Information Flow in Sessions,   Inf. Comput.(238):68-105,  2014.

G. Castagna, K. Nguyen, Z. Xu, H. Im, S. Lenglet and L. Padovani.  Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation,   Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14),  ACM SIGPLAN Notices,   volume 49,  pages 5-17,  2014,  ACM.

I. Castellani, M. Dezani-Ciancaglini and J.A. Pérez.  Self-Adaptation and Secure Information Flow in Multiparty Structured Communications,   BEAT'14,  EPTCS,   volume 162,  pages 9--18,  2014.

T.C. Chen.  Lightening Global Types,   PLACES,  2014.

T.C. Chen, M. Dezani-Ciancaglini and N. Yoshida.  On the Preciseness of Subtyping in Session Types,   PPDP'14,  pages 135-146,  2014,  ACM Press.

A. Compagnoni, P. Giannini, C. Kim, M. Milideo and V. Sharma.  A Calculus of Located Entities,   Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013.,  EPTCS,   volume 144,  pages 41-56,  2014.

A.B. Compagnoni, P. Giannini and C. Kelley.  State-Sensitive Computational Modeling,   8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014.  In Junichi Suzuki and Tadashi Nakano ed(s).,  2014,  ICST.

M. Coppo, M. Dezani-Ciancaglini, I. Margaria and M. Zacchi.  Isomorphism of "Functional" Intersection Types,   19th International Conference on Types for Proofs and Programs (TYPES 2013),  Leibniz International Proceedings in Informatics (LIPIcs).  In Ralph Matthes and Aleksy Schubert ed(s).,   volume 26,  pages 129--149,  2014,  Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik,  Dagstuhl, Germany.

M. Coppo, M. Dezani-Ciancaglini and B. Venneri.  Self-Adaptive Monitors for Multiparty Sessions,   PDP'14,  pages 688-696,  2014,  IEEE.

F. Damiani, I. Schaefer, S. Schuster and T. Winkelmann.  Delta-Trait Programming of Software Product Lines,   Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,  Lecture Notes in Computer Science.  In Margaria, Tiziana and Steffen, Bernhard ed(s).,   volume 8802,  pages 289-303,  2014,  Springer.

F. Damiani, I. Schaefer and T. Winkelmann.  Delta-oriented Multi Software Product Lines,   Proceedings of the 18th International Software Product Line Conference - Volume 1,  SPLC '14,  pages 232--236,  2014,  ACM,  New York, NY, USA.

F. Damiani, J. Dovland, E. Johnsen and I. Schaefer.  Verifying traits: an incremental proof system for fine-grained reuse,   Formal Aspects of Computing,  26(4):761-793,  2014.

M. Dezani-Ciancaglini and S. Ghilezan.  Preciseness of Subtyping on Intersection and Union Types,   RTATLCA'14,  LNCS,   volume 8560,  pages 194-207,  2014,  Springer.

M. Dezani-Ciancaglini, L. Padovani and J. Pantovic.  Session Type Isomorphisms,   Proceedings of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14),  EPTCS,   volume 155,  pages 61-71,  2014,  Open Publishing Association.

M. Gaboardi and M. Piccolo.  What is a model for a semantically linear $\lambda$-calculus?,   J. Log. Comput.,  24(3):557-589,  2014.

P. Giannini and A. Shaqiri.  Compiling Functional to Scripting Languages,   Communications in Computer and Information Science,  457:114--130,  2014.

S. Jakšic and L. Padovani.  Exception Handling for Copyless Messaging,   Science of Computer Programming,  84:22-51,  2014.

J. Koscielny, S. Holthusen, I. Schaefer, S. Schulze, L. Bettini and F. Damiani.  DeltaJ 1.5: Delta-oriented Programming for Java 1.5,   Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools,  PPPJ '14,  pages 63--74,  2014,  ACM,  New York, NY, USA.

U. de' Liguoro and T.c. Chen.  Semantic Types for Classes and Mixins,  2014.

C. Misale, G. Ferrero, M. Torquati and M. Aldinucci.  Sequence alignment tools: one parallel pattern to rule them all?,   BioMed Research International,  2014.

L. Padovani.  Deadlock and Lock Freedom in the Linear pi-Calculus,   Proceedings of the Joint EACSL Annual Conference on Computer Science Logic and Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14),  pages 72:1-72:10,  2014,  ACM.

L. Padovani.  Type Reconstruction for the Linear pi-Calculus with Composite and Equi-Recursive Types,   Proceedings of the International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14),  LNCS,   volume 8412,  pages 88-102,  2014,  Springer.

L. Padovani, V.T. Vasconcelos and H.T. Vieira.  Typing Liveness in Multiparty Communicating Systems,   Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'14),  LNCS,   volume 8459,  pages 147-162,  2014,  Springer.

M. Piccolo, C. Sacerdoti Coen and P. Tranquilli.  The labelling approach to precise resource analysis on the source code, revisited,  2014.

L. Roversi.  A deep inference system with a self-dual binder which is complete for linear lambda calculus,   Journal of Logic and Computation,  2014.

C. Spampinato, I. Kavasidis, M. Aldinucci, C. Pino, D. Giordano and A. Faro.  Discovering Biological Knowledge by Integrating High Throughput Data and Scientific Literature on the Cloud,   Concurrency and Computation: Practice and Experience,  26(10):1771-1786,  2014.

F. Tordini, M. Drocco, I. Merelli, L. Milanesi, P. Liò and M. Aldinucci.  NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data,   Proc. of the 11th Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB),  LNBI,  2014,  Springer,  Cambridge, UK.

M. Viroli and F. Damiani.  A Calculus of Self-stabilising Computational Fields,   Coordination Models and Languages,  Lecture Notes in Computer Science.  In KÃŒhn, Eva and Pugliese, Rosario ed(s).,  pages 163-178,  2014,  Springer Berlin Heidelberg.

2013

M. Aldinucci, S. Campa, F. Tordini, M. Torquati and P. Kilpatrick.  An abstract annotation model for skeletons,   Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  LNCS.  In Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue ed(s).,   volume 7542,  pages 257-276,  2013,  Springer.

M. Aldinucci, M. Danelutto, P. Kilpatrick, C. Montangero and L. Semini.  Managing Adaptivity in Parallel Systems,   Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  LNCS.  In Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue ed(s).,   volume 7542,  pages 199-217,  2013,  Springer.

M. Aldinucci, F. Tordini, M. Drocco, M. Torquati and M. Coppo.  Parallel stochastic simulators in system biology: the evolution of the species,   Proc. of Intl. Euromicro PDP 2013: Parallel Distributed and network-based Processing,  2013,  IEEE,  Belfast, Nothern Ireland, U.K..

M. Aldinucci, S. Campa, P. Kilpatrick and M. Torquati.  Structured Data Access Annotations for Massively Parallel Computations,   Euro-Par 2012 Workshops, Proc. of the ParaPhrase Workshop on Parallel Processing,  LNCS,   volume 7640,  pages 381-390,  2013,  Springer.

M. Aldinucci, S. Campa, M. Danelutto, P. Kilpatrick and M. Torquati.  Targeting Distributed Systems in FastFlow,   Euro-Par 2012 Workshops, Proc. of the CoreGrid Workshop on Grids, Clouds and P2P Computing,  LNCS,   volume 7640,  pages 47-56,  2013,  Springer.

F. Alessi, H. Barendregt, W. Dekkers, M. Dezani-Ciancaglini, F. Honsell, P. Severi and R. Statman.  Intersection Types,   Lambda Calculus with Types,  Perspectives in Logic,  pages 577-790,  2013,  Cambridge.

R.M. Amadio, N. Ayache, F. Bobot, J. Boender, B. Campbell, I. Garnier, A. Madet, J. McKinna, D.P. Mulligan, M. Piccolo, R. Pollack, Y. Régis-Gianas, C.S. Coen, I. Stark and P. Tranquilli.  Certified Complexity (CerCo),   Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers,  Lecture Notes in Computer Science.  In Ugo Dal Lago and Ricardo Peña ed(s).,   volume 8552,  pages 1--18,  2013,  Springer.

D. Ancona, P. Giannini and E. Zucca.  Incremental Rebinding,   ICTCS'13,  2013.

D. Ancona, P. Giannini and E. Zucca.  Reconciling positional and nominal binding,   Proceedings Sixth Workshop on Intersection Types and Related Systems, Dubrovnik, Croatia, 29th June 2012,  Electronic Proceedings in Theoretical Computer Science.  In Graham-Lengrand, Stéphane and Paolini, Luca ed(s).,   volume 121,  pages 81-93,  2013,  Open Publishing Association.

S. van Bakel, F. Barbanera and U. de' Liguoro.  Characterisation of Strongly Normalising $\lambda \mu$-Terms,   Proc. of ITRS'12,  EPTCS.  In Stephane Graham-Lengrand and Luca Paolini ed(s).,   volume 121,  pages 1-17,  2013.

B. Beckert, F. Damiani, F.S. de Boer and M.M. Bonsangue Editor(s).  Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers,  Lecture Notes in Computer Science,   volume 7542,  2013,  Springer.

S. Berardi and U. de' Liguoro.  Non-monotonic pre-fix points and Learning,   Proceedings of FICS 2013,  EPTCS.  In David Baelde and Arnaud Carayol ed(s).,   volume 126,  pages 1-10,  2013.

A. Bergel and L. Bettini.  Artifact evaluation (summary),   Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,  ESEC/FSE 2013,  pages 24--25,  2013,  ACM.

A. Bergel and L. Bettini.  Generic Programming in Pharo,   Software and Data Technologies,  Communications in Computer and Information Science.  In José Cordeiro and Slimane Hammoudi and Marten Sinderen ed(s).,   volume 411,  pages 66-79,  2013,  Springer.

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:1163--1219,  2013.

L. Bettini, F. Damiani, K. Geilmann and J. Schaefer.  Combining traits with boxes and ownership types in a Java-like setting,   Science of Computer Programming,  78(2):218 - 247,  2013.

L. Bettini, F. Damiani and I. Schaefer.  Compositional type checking of delta-oriented software product lines,   Acta Informatica,  50(2):77-122,  2013.

L. Bettini.  Implementing Domain-Specific Languages with Xtext and Xtend?? publisher missing ???,  2013.

L. Bettini.  Implementing Java-like languages in Xtext with Xsemantics,   Proceedings of the 28th Annual ACM Symposium on Applied Computing,  SAC '13,  pages 1559--1564,  2013,  ACM.

L. Bettini, S. Capecchi and F. Damiani.  On flexible dynamic trait replacement for Java-like languages,   Science of Computer Programming,  78(7):907 - 932,  2013.

L. Bettini, V. Caselli and F. Guidieri.  Parsley for your EMF Applications,   Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community.  In Elvinia Riccobene ed(s).,  pages 1-2,  2013.

L. Bettini and F. Damiani.  Pure Trait-based Programming on the Java Platform,   Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools,  PPPJ '13,  pages 67--78,  2013,  ACM,  New York, NY, USA.

L. Bettini, F. Damiani, I. Schaefer and F. Strocco.  TraitRecordJ: A programming language with traits and records ,   Science of Computer Programming,  78(5):521 - 541,  2013.

L. Bioglio, M. Dezani-Ciancaglini, P. Giannini and A. Troina.  Type Directed Semantics for the Calculus of Looping Sequences,   International Journal of Software and Informatics,  7:501-526,  2013.

L. Bocchi, T.C. Chen, R. Demangeon, K. Honda and N. Yoshida.  Monitoring Networks through Multiparty Session Types,   FMOODS/FORTE,  Lecture Notes in Computer Science,   volume 7892,  pages 50-65,  2013,  Springer.

V. Bono, L. Padovani and A. Tosatto.  Polymorphic Types for Leak Detection in a Session-Oriented Functional Language,   Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'13),  LNCS,   volume 7892,  pages 83-98,  2013,  Springer.

T.c. Chen.  Theories for Session-based Governance for Large-scale Distributed Systems,  Queen Mary, University of London,  2013.

M. Coppo, M. Dezani-Ciancaglini, L. Padovani and N. Yoshida.  Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions,   Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'13),  LNCS,   volume 7890,  pages 45-59,  2013,  Springer.

M. Coppo, M. Dezani-Ciancaglini, I. Margaria and M. Zacchi.  Towards Isomorphism of Intersection and Union Types,   ITRS'12,  EPTCS.  In S. Graham-Lengrand and Luca Paolini ed(s).,   volume 121,  pages 58 -- 80,  2013.

F. Damiani, C. Gladisch and S. Tyszberowicz.  Refinement-based Testing of Delta-oriented Product Lines,   Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools,  PPPJ '13,  pages 135--140,  2013,  ACM,  New York, NY, USA.

E. De Benedetti and S. Ronchi Della Rocca.  Bounding normalization time through intersection types,   Proceedings of Sixth Workshop on Intersection Types and Related Systems (ITRS 2012),  EPTCS.  In Luca Paolini ed(s).,  pages 48--57,  2013,  Cornell University Library.

P. Giannini and A. Shaqiri.  An intermediate language for compilation to scripting languages,   ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjavík, Iceland, 29-31 July, 2013,  pages 92--103,  2013,  SciTePress.

P. Giannini and E.P. de Vink.  The Third International Workshop on Interactions between Computer Science and Biology, CS2Bio 2012,   Electr. Notes Theor. Comput. Sci.,  293:1-2,  2013.

S. Graham-Lengrand and L. Paolini Editor(s).  Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012,  Electronic Notes in Theoretical Computer Science,   volume 121,  2013,  Elsevier, Netherlands.

K. Hammond, M. Aldinucci, C. Brown, F. Cesarini, M. Danelutto, H. González-Vélez, P. Kilpatrick, R. Keller, M. Rossbory and G. Shainer.  The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems,   Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  LNCS.  In Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue ed(s).,   volume 7542,  pages 218-236,  2013,  Springer.

C. Laneve and L. Padovani.  An Algebraic Theory for Web Service Contracts,   Proceedings of the International Conference on Integrated Formal Methods (IFM'13),  LNCS,   volume 7940,  pages 301-315,  2013,  Springer.

C. Misale, M. Aldinucci and M. Torquati.  Memory affinity in multi-threading: the Bowtie2 case study,   Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts,  2013,  HiPEAC,  Fiuggi, Italy.

L. Padovani.  Fair Subtyping for Open Session Types,   Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP'13), Part II,  LNCS,   volume 7966,  pages 373-384,  2013,  Springer.

L. Padovani.  From Lock Freedom to Progress Using Session Types,   Proceedings of Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13),  EPTCS,   volume 137,  pages 3-19,  2013,  Open Publishing Association.

S. Ronchi Della Rocca Editor(s).  Proceedings of 22nd Annual Conference on Computer Science Logic (CSL 2013), Torino, September 2-5, 2013 ,  LIPICs,   volume 23,  2013,  Dagsthul publishing.

E. Sciacca, S. Spinella, C. Calcagno, F. Damiani and M. Coppo.  Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations,   Electronic Notes in Theoretical Computer Science,  293():83 - 96,  2013.

M. Viroli, F. Damiani and J. Beal.  A Calculus of Computational Fields,   Advances in Service-Oriented and Cloud Computing,  Communications in Computer and Information Science.  In Canal, Carlos and Villari, Massimo ed(s).,   volume 393,  pages 114-128,  2013,  Springer Berlin Heidelberg.

2012

B. Accattoli and L. Paolini.  Call-by-Value Solvability, Revisited,   Functional and Logic Programming - 11th International Symposium, FLOPS 2012, 2012. Proceedings,  Lecture Notes in Computer Science.  In Tom Schrijvers and Peter Thiemann ed(s).,   volume 7294,  pages 4-16,  2012,  Springer, Germany.

M. Aldinucci, C. Spampinato, M. Drocco, M. Torquati and S. Palazzo.  A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising,   Proc of 2nd Intl. Conference on Image Processing Theory Tools and Applications (IPTA).  In K. Djemal and M. Deriche and W. Puech and Osman N. Ucan ed(s).,  pages 97-102,  2012,  IEEE,  Istambul, Turkey.

M. Aldinucci, M. Danelutto, P. Kilpatrick, M. Meneghin and M. Torquati.  An Efficient Unbounded Lock-Free Queue for Multi-core Systems,   Proc. of 18th Intl. Euro-Par 2012 Parallel Processing,  LNCS,   volume 7484,  pages 662-673,  2012,  Springer,  Rhodes Island, Greece.

M. Aldinucci, M. Danelutto and M. Torquati.  FastFlow tutorial,   number TR-12-04,  Università di Pisa, Dipartimento di Informatica, Italy,  2012.

M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, E. Sciacca, S. Spinella, M. Torquati and A. Troina.  On Parallelizing On-Line Statistics for Stochastic Biological Simulations,   Euro-Par 2011 Workshops, Proc. of the 2st Workshop on High Performance Bioinformatics and Biomedicine (HiBB),  LNCS.  In Michael Alexander and Pasqua D'Ambra and Adam Belloum and George Bosilca and Mario Cannataro and Marco Danelutto and Beniamino Di Martino and Michael Gerndt and Emmanuel Jeannot and Raymond Namyst and Jean Roman and Stephen L. Scott and Jesper Larsson Träff and Geoffroy Vallée and Josef Weidendorfer ed(s).,   volume 7156,  pages 3-12,  2012,  Springer,  Bordeaux, France.

M. Aldinucci, M. Danelutto, L. Anardu, M. Torquati and P. Kilpatrick.  Parallel patterns + Macro Data Flow for multi-core programming,   Proc. of Intl. Euromicro PDP 2012: Parallel Distributed and network-based Processing,  pages 27-36,  2012,  IEEE,  Garching, Germany.

M. Aldinucci, M. Danelutto, P. Kilpatrick and M. Torquati.  Targeting heterogeneous architectures via macro data flow,   Parallel Processing Letters,  22(2),  2012.

G. Audrito, B. Demo and E. Giovannetti.  The Role of Contests in Changing Informatic Education: A Local View,   Olympiads in Informatics,  6:3--20,  2012.

B. Beckert, F. Damiani and D. Gurov Editor(s).  Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers,  Lecture Notes in Computer Science,   volume 7421,  2012,  Springer.

S. Berardi and U. de' Liguoro.  Interactive realizers. A new approach to program extraction from non constructive proofs,   ACM Transactions on Computational Logic,  13(2):11,  2012.

S. Berardi and U. de' Liguoro.  Knowledge Spaces and the Completeness of Learning Strategies,   Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France,  LIPIcs.  In Patrick Cégielski and Arnaud Durand ed(s).,   volume 16,  pages 77-91,  2012,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

A. Bergel and L. Bettini.  Generics and Reverse Generics for Pharo,   ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends.  In Slimane Hammoudi and Marten van Sinderen and José Cordeiro ed(s).,  pages 363-372,  2012,  SciTePress.

L. Bettini, D. Stoll, M. Völter and S. Colameo.  Approaches and Tools for Implementing Type Systems in Xtext,   Software Language Engineering,  Lecture Notes in Computer Science,   volume 7745,  pages 392-412,  2012,  Springer.

L. Bettini.  EMF Components - Filling the Gap between Models and UI,   ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends.  In Slimane Hammoudi and Marten van Sinderen and José Cordeiro ed(s).,  pages 34-43,  2012,  SciTePress.

L. Bioglio, M. Dezani-Ciancaglini, P. Giannini and A. Troina.  A Calculus of Looping Sequences with Local Rules,   7th Workshop on Developments in Computational Models (DCM'11),  2012.

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.

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

V. Bono, J. Kusmierek and M. Mulatero.  Magda: A New Language for Modularity,   ECOOP,  pages 560-588,  2012.

V. Bono and L. Padovani.  Typing Copyless Message Passing,   Logical Methods in Computer Science,  8:1-50,  2012.

M.G. Buscemi, M. Coppo, M. Dezani-Ciancaglini and U. Montanari.  Constraints for Service Contracts,   TGC'11,  LNCS,   volume 7173,  pages 104--120,  2012,  Springer.

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

E. Cesena, M. Pedicini and L. Roversi.  Typing a Core Binary-Field Arithmetic in a Light Logic,   Foundational and Practical Aspects of Resource Analysis (subtitle: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011),  LNCS.  In Peña, R. and van Eekelen, M. and Shkaravska, O. ed(s).,   volume 7177,  pages 19 -- 35,  2012,  Springer.

T.C. Chen and K. Honda.  Specifying Stateful Asynchronous Properties for Distributed Programs,   CONCUR,  Lecture Notes in Computer Science,   volume 7454,  pages 209-224,  2012,  Springer.

G. Ciobanu and A. Troina.  Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains,   Proc. of ICTCS'12, 13th Italian Conference on Theoretical Computer Science,  pages 86-89,  2012.

A. Compagnoni, M. Dezani-Ciancaglini, P. Giannini, K. Sauer, V. Sharma and A. Troina.  Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions,   MeCBIC'12,  EPTCS,   volume 11,  pages 91--106,  2012.

M. Coppo, F. Damiani, M. Drocco, E. Grassi, E. Sciacca, S. Spinella and A. Troina.  Simulation techniques for the calculus of wrapped compartments,   Theoretical Computer Science,  431():75 - 95,  2012.

F. Damiani, L. Padovani and I. Schaefer.  A Formal Foundation for Dynamic Delta-Oriented Software Product Lines,   Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE'12),  ACM SIGPLAN Notices,   volume 48,  pages 1-10,  2012,  ACM.

F. Damiani, O. Owe, J. Dovland, I. Schaefer, E.B. Johnsen and I.C. Yu.  A transformational proof system for delta-oriented programming,   Proceedings of the 16th International Software Product Line Conference - Volume 2,  SPLC '12,  pages 53--60,  2012,  ACM,  New York, NY, USA.

F. Damiani, A. Poetzsch-Heffter and Y. Welsch.  A type system for checking specialization of packages in object-oriented programming,   Proceedings of the 27th Annual ACM Symposium on Applied Computing,  SAC '12,  pages 1737--1742,  2012,  ACM,  New York, NY, USA.

F. Damiani and I. Schaefer.  Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines,   Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,  Lecture Notes in Computer Science.  In Margaria, Tiziana and Steffen, Bernhard ed(s).,   volume 7609,  pages 193-207,  2012,  Springer Berlin Heidelberg.

F. Damiani, P. Giannini, A. Ricci and M. Viroli.  Standard type soundness for agents and artifacts,   Scientific Annals of Computer Science,  22(2):267-326,  2012.

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

M. Dominici, S. Ronchi Della Rocca and P. Tranquilli.  Standardization in resource lambda calculus,   Proceedings of Second Workshop on Linearity (LINEARITY 2012),  EPTCS.  In Sandra Alves and Ian Mackie ed(s).,  pages 1--12,  2012,  Cornell University Library.

M. Gaboardi, J.Y. Marion and S. Ronchi Della Rocca.  An Implicit Characterization of PSPACE,   ACM Transactions on Computational Logic,  13(2):18:1--18:36,  2012.

S. Ghilezan and L. Paolini Editor(s).  Revised Papers of the Conference "Intersection Types and Related Systems", Torino, Italia, 2008,  Special Issue on Fundamenta Informaticæ,  2012,  IOS Press, Netherlands.

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.

P. Giannini, D. Mantovani and A. Shaqiri.  Leveraging dynamic typing through static typing,   ICTCS'12,  2012.

S. Jakšic and L. Padovani.  Exception Handling for Copyless Messaging,   Proceedings of the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12),  pages 151-162,  2012,  ACM.

L. Padovani.  On Projecting Processes into Session Types,   Mathematical Structures in Computer Science,  22:237-289,  2012.

E. Pimentel, S. Ronchi Della Rocca and L. Roversi.  Intersection Types from a proof-theoretic perspective,   Fundamenta Informaticae,  121(1-4):253 --- 274,  2012.

E. Pimentel and S. Ronchi Della Rocca Editor(s).  Proceedings of Sixth Workshop on Logical and Semantic Frameworks with Applications (LFSA 2011), Belo Horizonte, August 27, 2011 ,  EPTCS,   volume 81,  2012,  Cornell University Library.

P. Ramón and A. Troina.  Modelling Ecological Systems with the Calculus of Wrapped Compartments,   Proc. of CMC13, 13nt International Confernece on Membrane Computing,  Lecture Notes in Computer Science,   volume 7762,  pages 358-377,  2012,  Springer.

S. Ronchi Della Rocca.  Linear Logic and Theoretical Computer Science in Italy (Optimal Reduction and Implicit Computational Complexity),   INFLUXUS (http://www.influxus.eu/),  Logique et Interaction: vers une geometrie de la cognition,  2012.

L. Roversi.  Communication, and concurrency with logic-based restriction inside a calculus of structures,   ArXiv e-prints,  2012.

L. Roversi.  Extending a system in the calculus of structures with a self-dual quantifier,   ArXiv e-prints,  2012.

I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides, G. Botterweck, A. Pathak, S. Trujillo and K. Villela.  Software diversity: state of the art and perspectives,   International Journal on Software Tools for Technology Transfer,  14:477-495,  2012.

F. Tordini, M. Aldinucci and M. Torquati.  High-level lock-less programming for multicore,   Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts,  2012,  HiPEAC,  Fiuggi, Italy.

T. Weigold, M. Aldinucci, M. Danelutto and V. Getov.  Process-Driven Biometric Identification by means of Autonomic Grid Components,   Int. J. of Autonomous and Adaptive Communications Systems,  5(3):274-291,  2012.

2011

M. Aldinucci, M. Drocco, D. Giordano, C. Spampinato and M. Torquati.  A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising,   number 138/2011,  Università degli Studi di Torino, Dip. di Informatica, Italy,  2011.

M. Aldinucci, M. Danelutto, P. Kilpatrick, M. Meneghin and M. Torquati.  Accelerating code on multi-cores with FastFlow,   Proc. of 17th Intl. Euro-Par 2011 Parallel Processing,  LNCS.  In E. Jeannot and R. Namyst and J. Roman ed(s).,   volume 6853,  pages 170-181,  2011,  Springer,  Bordeaux, France.

M. Aldinucci, M. Danelutto, P. Kilpatrick and V. Xhagjika.  LIBERO: a framework for autonomic management of multiple non-functional concerns,   Euro-Par 2010 Workshops, Proc. of the CoreGrid Workshop on Grids, Clouds and P2P Computing,  LNCS.  In M. R. Guarracino and F. Vivien and J. L. Träff and M. Cannataro and M. Danelutto and A. Hast and F. Perla and A. Knüpfer and B. Di Martino and M. Alexander ed(s).,   volume 6586,  pages 237-245,  2011,  Springer,  Ischia, Italy.

M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, M. Torquati and A. Troina.  On Designing Multicore-Aware Simulators for Biological Systems,   Proc. of Intl. Euromicro PDP 2011: Parallel Distributed and network-based Processing.  In Yiannis Cotronis and Marco Danelutto and George Angelos Papadopoulos ed(s).,  pages 318-325,  2011,  IEEE,  Ayia Napa, Cyprus.

M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, E. Sciacca, S. Spinella, M. Torquati and A. Troina.  On Parallelizing On-Line Statistics for Stochastic Biological Simulations,   2nd International Workshop on High Performance Bioinformatics and Biomedicine (HiBB'11), Springer LNCS,  2011.

M. Aldinucci, S. Ruggieri and M. Torquati.  Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow,   number TR-11-06,  Università di Pisa, Dipartimento di Informatica, Italy,  2011.

M. Aldinucci, A. Bracciali, P. Liò, A. Sorathiya and M. Torquati.  StochKit-FF: Efficient Systems Biology on Multicore Architectures,   Euro-Par 2010 Workshops, Proc. of the 1st Workshop on High Performance Bioinformatics and Biomedicine (HiBB),  LNCS.  In M. R. Guarracino and F. Vivien and J. L. Träff and M. Cannataro and M. Danelutto and A. Hast and F. Perla and A. Knüpfer and B. Di Martino and M. Alexander ed(s).,   volume 6586,  pages 167-175,  2011,  Springer,  Ischia, Italy.

M. Aldinucci, L. Anardu, M. Danelutto, P. Kilpatrick and M. Torquati.  Targeting multi cores by structured programming and data flow,   number TR-11-13,  Università di Pisa, Dipartimento di Informatica, Italy,  2011.

D. Ancona, A. Corradi, G. Lagorio and F. Damiani.  Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?,   FoVeOOS 2010,  Lecture Notes in Computer Science,   volume 6528,  pages 31-45,  2011,  Springer.

F. Aschieri.  Learning, Realizability and Games in Classical Arithmetic,  Università di Torino, Queen Mary University of London,  2011.

S. van Bakel, F. Barbanera and U. de' Liguoro.  A Filter Model for $\lambda \mu$,   Proc. of TLCA'11,  ARCoSS/LNCS.  In Luke Ong ed(s).,   number 6690,  pages 213-228,  2011.

A. Bergel and L. Bettini.  Reverse Generics - Parametrization after the Fact,   ICSOFT (1),  Communications in Computer and Information Science.  In Boris Shishkov and José Cordeiro and Alpesh Ranchordas ed(s).,   volume 50,  pages 107-123,  2011,  Springer.

L. Bettini.  A DSL for Writing Type Systems for Xtext Languages,   Proceedings of Principles and Practice of Programming in Java (PPPJ).  In Christian Wimmer and Christian W. Probst ed(s).,  pages 31-40,  2011,  ACM.

L. Bettini, V. Bono and B. Venneri.  Delegation by object composition,   Sci. Comput. Program.,  76(11):992-1014,  2011.

L. Bettini, V. Caselli and F. Guidieri.  Extending the BPEL Designer with Xtext based editors,   Proc. of ECLIPSE-IT,  pages 332-333,  2011.

L. Bettini and B. Venneri.  Object Reuse and Behavior Adaptation in Java-like Languages,   Proceedings of Principles and Practice of Programming in Java (PPPJ).  In Christian Wimmer and Christian W. Probst ed(s).,  pages 111-120,  2011,  ACM.

L. Bioglio.  A Minimal OO Calculus for Modelling Biological Systems,   Computational Models for Cell Processes (CompMod) 2011,  2011.

L. Bioglio, C. Calcagno, M. Coppo, F. Damiani, E. Sciacca, S. Spinella and A. Troina.  A Spatial Calculus of Wrapped Compartments,   5th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11),  pages 25--39,  2011.

L. Bioglio.  Enumerated Type Semantics for the Calculus of Looping Sequences,   RAIRO - Theoretical Informatics and Applications,  45:35 -58,  2011.

V. Bono and L. Padovani.  Polymorphic Endpoint Types for Copyless Message Passing,   Proceedings of the Interaction and Concurrency Experience (ICE'11),  EPTCS,   volume 59,  pages 52-67,  2011,  Open Publishing Association.

V. Bono, C. Messa and L. Padovani.  Typing Copyless Message Passing,   Proceedings of the European Symposium on Programming (ESOP'11),  LNCS,   volume 6602,  pages 57-76,  2011,  Springer.

C. Calcagno, M. Coppo, F. Damiani, M. Drocco, E. Sciacca, S. Spinella and A. Troina.  Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments,   3rd International Workshop on Computational Models for Cell Processes (CompMod'11), EPTCS,   volume 67,  pages 3--18,  2011.

S. Capecchi, I. Castellani and M. Dezani-Ciancaglini.  Information Flow Safety in Multiparty Sessions,   EXPRESS,  EPTCS.  In Bas Luttik and Frank Valencia ed(s).,   volume 64,  pages 16-30,  2011.

F. Cardone.  Corrado Mangione, le categorie, la logica,   La ricerca logica in Italia. Studi in onore di Corrado Mangione.  In E. Ballo and C. Cellucci ed(s).,  pages 247--259,  2011,  Cisalpino.

F. Cardone.  The algebra and geometry of commitment,   Ludics, dialogue and interaction,  Lecture Notes in Artificial intelligence FoLLI.  In A. Lecomte and S. Tronçon ed(s).,   volume 6505,  pages 147--160,  2011,  Springer-Verlag.

G. Castagna, M. Dezani-Ciancaglini and L. Padovani.  On Global Types and Multi-Party Sessions,   Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'11),  LNCS,   volume 6722,  pages 1-28,  2011,  Springer.

T.C. Chen, L. Bocchi, P.M. Deniélou, K. Honda and N. Yoshida.  Asynchronous Distributed Monitoring for Multiparty Session Enforcement,   TGC,  Lecture Notes in Computer Science,   volume 7173,  pages 25-45,  2011,  Springer.

F. Damiani, P. Giannini, A. Ricci and M. Viroli.  A Calculus of Agents and Artifacts,   Communications in Computer and Information Science,  50:124-136,  2011.

F. Damiani and I. Schaefer.  Dynamic delta-oriented programming,   SPLC Workshops,  pages 34,  2011,  ACM.

F. Damiani, J. Dovland, E.B. Johnsen and I. Schaefer.  Verifying traits: a proof system for fine-grained reuse,   Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs,  FTfJP '11,  pages 8:1--8:6,  2011,  ACM,  New York, NY, USA.

M. Dezani-Ciancaglini, P. Giannini and E. Zucca.  Extending the lambda-calculus with unbind and rebind,   RAIRO - Theoretical Informatics and Applications,  45:143--162,  2011.

M. Dezani-Ciancaglini, P. Giannini and E. Zucca.  Intersection Types for Unbind and Rebind,   ITRS'10,  EPTCS,   volume 45,  pages 45-59,  2011.

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

M. Gaboardi, L. Paolini and M. Piccolo.  Linearity and PCF: a semantic insight!,   ICFP 2011 - The 16th ACM SIGPLAN International Conference on Functional Programming ,  pages 372-384,  2011,  ACM, USA.

P. Giannini and J. Krivine.  The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio 2011,   Electr. Notes Theor. Comput. Sci.,  277:1-2,  2011.

K. Honda, A. Mukhamedov, G. Brown, T.C. Chen and N. Yoshida.  Scribbling Interactions with a Formal Foundation,   ICDCIT,  Lecture Notes in Computer Science,   volume 6536,  pages 55-75,  2011,  Springer.

L. Padovani.  Fair Subtyping for Multi-Party Session Types,   Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'11),  LNCS,   volume 6721,  pages 127-141,  2011,  Springer.

L. Padovani.  Session Types = Intersection Types + Union Types,   Proceedings of the Workshop on Intersection Types and Related Systems (ITRS'10),  EPTCS,   volume 45,  pages 71-89,  2011,  Open Publishing Association.

L. Paolini, E. Pimentel and S. Ronchi Della Rocca.  Strong Normalization from an unusual point of view,   Theoretical Computer Science,  412(20):1903-1915,  2011.

S. Ronchi Della Rocca, A. Saurin, S. Yiorgos and A. Veneti.  Intersection Logic in sequent calculus style,   Proceedings Fifth Workshop on Intersection Types and Related Systems (ITRS 2010,  EPTCS.  In Elaine Pimentel, Betti Venneri ed(s).,   volume 45,  pages 16--30,  2011,  Cornell University Library.

L. Roversi.  Linear Lambda Calculus and Deep Inference,   TLCA 2011 - 10th Typed Lambda Calculi and Applications, Part of RDP'11,  ARCoSS/LNCS.  In Luke Ong ed(s).,   volume 6690,  pages 184 -- 197,  2011,  Springer.

I. Schaefer, L. Bettini and F. Damiani.  Compositional Type-Checking for Delta-oriented Programming,   Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11,  pages 43--56,  2011,  ACM.

E. Sciacca, S. Spinella, A. Genre and C. Calcagno.  Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling,   CS2BIO 2011,  2011.

E. Sciacca, S. Spinella, D. Ienco and P. Giannini.  Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins,   Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics. Springer LNCS,   volume 6623,  2011.

M. Tatsuta and F. Damiani.  Type Inference for Bimorphic Recursion,   GandALF,  EPTCS,   volume 54,  pages 102-115,  2011.

2010

M. Aldinucci, M. Danelutto, P. Kilpatrick, M. Meneghin and M. Torquati.  Accelerating sequential programs using FastFlow and self-offloading,   number TR-10-03,  Università di Pisa, Dipartimento di Informatica, Italy,  2010.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Autonomic Management of Multiple Non-Functional Concerns in Behavioural Skeletons,   Grids, P2P and Services Computing,  CoreGRID.  In Frédéric Desprez and Vladimir Getov and Thierry Priol and Ramin Yahyapour ed(s).,  pages 89-103,  2010,  Springer.

M. Aldinucci.  Efficient Parallel MonteCarlo with FastFlow,   HPC-Europa2: Science and Supercomputing in Europe, research highlights 2010,  2010,  Cineca.

M. Aldinucci, M. Meneghin and M. Torquati.  Efficient Smith-Waterman on multi-core with FastFlow,   Proc. of Intl. Euromicro PDP 2010: Parallel Distributed and network-based Processing.  In Marco Danelutto and Tom Gross and Julien Bourgeois ed(s).,  pages 195-199,  2010,  IEEE,  Pisa, Italy.

M. Aldinucci, M. Danelutto, M. Meneghin, P. Kilpatrick and M. Torquati.  Efficient streaming applications on multi-core with FastFlow: the biosequence alignment test-bed,   Parallel Computing: From Multicores and GPU's to Petascale (Proc. of PARCO 2009, Lyon, France),  Advances in Parallel Computing.  In Barbara Chapman and Frédéric Desprez and Gerhard R. Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol ed(s).,   volume 19,  pages 273-280,  2010,  IOS press,  Lyon, France.

M. Aldinucci, A. Bracciali and P. Liò.  Formal Synthetic Immunology,   ERCIM News,  82:40-41,  2010.

M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, M. Torquati and A. Troina.  On Designing Multicore-Aware Simulators for Biological Systems,   number 13½010,  Università degli Studi di Torino, Dipartimento di Informatica, Italy,  2010.

M. Aldinucci, S. Ruggieri and M. Torquati.  Porting Decision Tree Algorithms to Multicore using FastFlow,   Proc. of European Conference in Machine Learning and Knowledge Discovery in Databases (ECML PKDD),  LNCS.  In José L. Balcázar and Francesco Bonchi and Aristides Gionis and Michèle Sebag ed(s).,   volume 6321,  pages 7-23,  2010,  Springer,  Barcelona, Spain.

M. Aldinucci, S. Ruggieri and M. Torquati.  Porting Decision Tree Algorithms to Multicore using FastFlow,   number TR-10-11,  Università di Pisa, Dipartimento di Informatica, Italy,  2010.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Skeletons for multi/many-core systems,   Parallel Computing: From Multicores and GPU's to Petascale (Proc. of PARCO 2009, Lyon, France),  Advances in Parallel Computing.  In Barbara Chapman and Frédéric Desprez and Gerhard R. Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol ed(s).,   volume 19,  pages 265-272,  2010,  IOS press,  Lyon, France.

M. Aldinucci, A. Bracciali, P. Liò, A. Sorathiya and M. Torquati.  StochKit-FF: Efficient Systems Biology on Multicore Architectures,   number TR-10-12,  Università di Pisa, Dipartimento di Informatica, Italy,  2010.

P. Baillot, M. Gaboardi and V. Mogbil.  A polytime functional language from Light linear logic,   European Symposium on Programming, ESOP'10,  Lecture Notes in Computer Science,   volume 6012,  2010,  Springer.

P. Baillot, P.L. Curien and L. Paolini Editor(s).  Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009", Brasilia, Brazil, 2009,  Special Issue on Logical Methods in Computer Science,  2010.

M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi and A. Santi.  MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems,   Proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN'10),   volume 627,  pages 134-149,  2010,  CEUR.

F. Barbanera and U. de' Liguoro.  Two Notions of Sub-behaviour for Session-based Client/Server Systems,   Proc. of PPDP'10,  ACM SIGPLAN,   volume ,   number ,  pages 155-164,  2010,  ACM.

F. Barbanera, S. Capecchi and U. de' Liguoro.  Typing Asymmetric Client-Server Interaction,   Proc. of FSEN'09,  LNCS,   volume 5961,   number ,  pages 97-112,  2010,  Springer.

R. Barbuti, M. Dezani-Ciancaglini, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  A Formalism for the Description of Protein Interaction,   Fundamenta Informaticae,  104(1-4):1--29,  2010.

S. Berardi and U. de' Liguoro.  Interactive Realizers and Monads,  2010.

L. Bettini, F. Damiani, M. De Luca, K. Geilmann and J. Schaefer.  A Calculus for Boxes and Traits in a Java-like Setting,   Coordination'10,  LNCS 6116,  pages 41-50,  2010,  Springer.

L. Bettini, F. Damiani, I. Schaefer and F. Strocco.  A Prototypical Java-like Language with Records and Traits,   Proc. of PPPJ, Principles and Practice of Programming in Java,  pages 2096-2102,  2010,  ACM.

L. Bettini.  An Eclipse-based IDE for Featherweight Java implemented in Xtext,   Proc. ECLIPSE-IT,  pages 14-28,  2010.

L. Bettini, F. Damiani and I. Schaefer.  Implementing Software Product Lines using Traits,   Proceedings of the 25th ACM symposium on Applied Computing (SAC 2010),   volume ,  pages 2096-2102,  2010,  ACM,  New York, NY, USA.

S. Capecchi, E. Giachino and N. Yoshida.  Global Escape in Multiparty Sessions,   FSTTCS,  LIPIcs,   volume 8,  2010,  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

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.

S. Capecchi and A. Troina.  Types for BioAmbients,   3rd Workshop From Biology To Concurrency and back,   volume EPTCS 19,  pages 103--115,  2010.

M. Coppo, F. Damiani, M. Drocco, E. Grassi, E. Sciacca, S. Spinella and A. Troina.  Hybrid Calculus of Wrapped Compartments,   Membrane Computing and Biologically Inspired Process Calculi 2010,  pages 98--116,  2010.

M. Coppo, F. Damiani, M. Drocco, E. Grassi and A. Troina.  Stochastic Calculus of Wrapped Compartment,   QAPL (affiliated with ETAPS 2010),  2010.

F. Cordero, S. Ghignone, L. Lanfranco, G. Leonardi, R. Meo, S. Montani and L. Roversi.  BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse,  2010,  Singapore.

M. Dezani-Ciancaglini, R. Di Cosmo, E. Giovannetti and M. Tatsuta.  On Isomorphisms of Intersection Types,   ACM ToCL,  11(4):1--22,  2010.

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

J.D.M. Kusmierek and V. Bono.  Big-step Operational Semantics Revisited,   Fundam. Inform.,  103(1-4):137-172,  2010.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Reachability results for timed automata with unbounded data structures,   Acta Informatica,  47:279-311,  2010.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Time and Probability based Information Flow Analysis,   IEEE Transactions on Software Engineering,  36:719-734,  2010.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Weak Bisimulation for Probabilistic Timed Automata,   Theoretical Computer Science,  411:4291-4322,  2010.

L. Padovani.  Contract-Based Discovery of Web Services Modulo Simple Orchestrators,   Theoretical Computer Science,  411:3328-3347,  2010.

M. Pagani and S. Ronchi Della Rocca.  Linearity, Non-determinism and Solvability,   Fundamenta Informaticae,  103:358--373,  2010.

M. Pagani and S. Ronchi Della Rocca.  Solvability in Resource Lambda Calculus,   Foundations of Software Science and Computational Structures (FOSSACS 2010),  LNCS.  In Luke Ong ed(s).,   volume 6014,  pages 358--373,  2010,  SPRINGER.

M. Piccolo.  Strong Normalization in the $\pi$-calculus with Intersection and Union Types,   Fundamenta Informaticae,  2010.

L. Roversi and L. Vercelli.  A structural and local criterion for polynomial time computations,   Foundational and Practical Aspects of Resource Analysis (subtitle: 1st International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009),  LNCS.  In van Eekelen, M. and Shkaravska, O. ed(s).,   volume 6324,  pages 66 -- 81,  2010,  Springer.

L. Roversi.  Linear lambda calculus with explicit substitutions as proof-search in Deep Inference,  2010.

L. Roversi and L. Vercelli.  Safe Recursion on Notation into a Light Logic by Levels,   Proceedings of the Workshop on Developments in Implicit Computational complexity (DICE 2010),  Electronic Proceedings in Theoretical Computer Science,   volume 23,  pages 63 -- 77,  2010.

I. Schaefer, L. Bettini, V. Bono, F. Damiani and N. Tanzarella.  Delta-Oriented Programming of Software Product Lines,   Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings,  Lecture Notes in Computer Science,   volume 6287,  pages 77-91,  2010,  Springer.

I. Schaefer and F. Damiani.  Pure delta-oriented programming,   FOSD,  pages 49-56,  2010,  ACM.

E. Sciacca.  Contributions in Computational Biology,  University of Catania,  2010.

S. Spinella, E. Sciacca and P. Giannini.  Sequence-Function Protein Analysis Using Annotated Context Free Grammars,   ICTCS 2010,  2010.

J. Sproston and A. Troina.  Simulation and Bisimulation for Probabilistic Timed Automata,   Proc. of FORMATS'10, 8th International Conference on Formal Modeling and Analysis of Timed Systems,  LNCS,   volume 6246,  pages 213-227,  2010,  Springer.

A.J. Summers, N. Cameron, M. Dezani-Ciancaglini and S. Drossopoulou.  Towards a Semantic Model for Java Wildcards,   FTfJP'10,  pages 2:1--2:7,  2010,  ACM,  New York, NY, USA.

L. Vercelli.  On the Complexity of Stratified Logics,  Scuola di Dottorato in Scienze e Alta Tecnologia,  Università degli Studi di Torino -- Italy,  2010.

L. Vercelli.  On the Complexity of Stratified Logics -- Relationship between stratified light logics and algebras of functions used to characterize polynomial time computable functions,   VDM Verlag,  2010,  Saarbrücken (Germany).

T. Weigold, M. Aldinucci, M. Danelutto and V. Getov.  Integrating Autonomic Grid Components and Process-Driven Business Applications,   Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers,  Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (LNICST).  In Athanasios V. Vasilakos and Roberto Beraldi and Roy Friedman and Marco Mamei ed(s).,   volume 23,  pages 98-113,  2010,  Springer,  Limassol, Cyprus.

2009

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Autonomic management of multiple non-functional concerns in behavioural skeletons,   number TR-09-10,  Università di Pisa, Dipartimento di Informatica, Italy,  2009.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Autonomic management of non-functional concerns in distributed and parallel application programming,   Proc. of Intl. Parallel & Distributed Processing Symposium (IPDPS),  pages 1-12,  2009,  IEEE,  Rome, Italy.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Co-design of distributed systems using skeletons and autonomic management abstractions,   Euro-Par 2008 Workshops - Parallel Processing, Selected Papers,  LNCS.  In E. César and M. Alexander and A. Streit and J.L. Träff and C. Cérin and A. Knüpfer and D. Kranzlmüller and S. Jha ed(s).,   volume 5415,  pages 403-414,  2009,  Springer,  Las Palmas, Spain.

M. Aldinucci and M. Torquati.  FastFlow website,  2009.

M. Aldinucci, M. Torquati and M. Meneghin.  FastFlow: Efficient Parallel Streaming Applications on Multi-core,   number TR-09-12,  Università di Pisa, Dipartimento di Informatica, Italy,  2009.

M. Aldinucci, H.L. Bouziane, M. Danelutto and C. Pérez.  STKM on SCA: a Unified Framework with Components, Workflows and Algorithmic Skeletons,   Proc. of 15th Intl. Euro-Par 2009 Parallel Processing,  LNCS,   volume 5704,  pages 678-690,  2009,  Springer,  Delft, The Netherlands.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Semi-formal models to support program development: autonomic management within component based parallel and distributed programming,   Formal Methods for Components and Objects: 7th Intl. Symposium, FMCO 2008, Sophia-Antipolis, France, October 20 - 24, 2008, Revised Lectures,  LNCS.  In Frank S. de Boer and Marcello M. Bonsangue and Eric Madelaine ed(s).,   volume 5751,  pages 204-225,  2009,  Springer.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Towards hierarchical management of autonomic components: a case study,   Proc. of Intl. Euromicro PDP 2009: Parallel Distributed and network-based Processing.  In Didier El Baz and Tom Gross and Francois Spies ed(s).,  pages 3-10,  2009,  IEEE,  Weimar, Germany.

B. Aman, M. Dezani-Ciancaglini and A. Troina.  Type Disciplines for Analysing Biologically Relevant Properties,   MeCBIC'08,  ENTCS.  In Gabriel Ciobanu ed(s).,   volume 227,  pages 97--111,  2009,  Elsevier.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection,   Journal of Biological Systems,  17:349-376,  2009.

S. Berardi and U. de' Liguoro.  Toward the interpretation of non-constructive reasoning as non-monotonic learning,   Information and Computation,  207(1):63-81,  2009.

S. Berardi, F. Damiani and U. de' Liguoro Editor(s).  Types for Proofs and Programs (International Conference TYPES 2008, Revised Selected Papers),   Springer,  LNCS,  5497,  2009.

M. Bernardo, L. Padovani and G. Zavattaro Editor(s).  Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures,  LNCS,   volume 5569,  2009,  Springer.

L. Bettini, S. Capecchi and F. Damiani.  A Mechanisms for Flexible Dynamic Trait Replacement,   Electronic proceedings FTfJP'09 (http://www.cs.ru.nl/ftfjp/),  2009,  ACM Digital Library.

L. Bettini, S. Capecchi and B. Venneri.  A safe implementation of dynamic overloading in Java-like languages,   Proc. of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09) ,  LNCS,  2009,  Springer.

L. Bettini, S. Capecchi and B. Venneri.  Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account,   RAIRO - Theoretical Informatics and Applications,  2009.

L. Bettini, S. Capecchi and B. Venneri.  Featherweight Java with Dynamic and StaticOverloading ,   Science of Computer Programming,  74(5-6):261-278,  2009.

L. Bettini, V. Bono and E. Turin.  I-Java: an extension of Java with incomplete objects and object composition,   Proceedings of Software Composition,  LNCS.  In Alexandre Bergel and Johan Fabry ed(s).,   volume 5634,  pages 27-44,  2009,  Springer.

L. Bioglio.  Typeed Reductions of CLS,   Italian Conference on Theoretical Computer Science (ITCTS) 2009,  2009.

S. Capecchi, M. Coppo, M. Dezani-Ciancaglini, S. Drossopoulou and E. Giachino.  Amalgamating Sessions and Methods in Object Oriented Languages with Generics,   Theoretical Computer Science,  410:142--167,  2009.

F. Cardone and J.R. Hindley.  History of lambda-calculus and combinators,   Handbook of the History of Logic. Volume 5. Logic from Russell to Church.  In D. Gabbay and J. Woods ed(s).,  pages 723--817,  2009,  Elsevier.

S. Carpineti, C. Laneve and L. Padovani.  PiDuce - A Project for Experimenting Web Services Technologies,   Science of Computer Programming,  74(10):777-811,  2009.

G. Castagna, N. Gesbert and L. Padovani.  A Theory of Contracts for Web Services,   ACM Transactions on Programming Languages and Systems,  31(5),  2009.

G. Castagna and L. Padovani.  Contracts for Mobile Processes,   Proceedings of the International Conference on Concurrency Theory (CONCUR'09),  LNCS,   volume 5710,  pages 211-228,  2009,  Springer.

G. Castagna, M. Dezani-Ciancaglini, E. Giachino and L. Padovani.  Foundations of Session Types,   PPDP'09,  pages 219--230,  2009,  ACM Press.

M. Coppo, F. Damiani, E. Grassi, M. Guether and A. Troina.  Modelling an Ammonium Transporter with SCLS,   CompMod 2009 (affiliated with FM 2009),  EPTCS (http://eptcs.org/),  2009.

M. Coppo and M. Dezani-Ciancaglini.  Structured Communications with Concurrent Constraints,   TGC'08,  LNCS,   volume 5474,  pages 104--125,  2009,  Springer.

U. Dal Lago, L. Roversi and L. Vercelli.  Taming Modal Impredicativity: Superlazy Reduction,   Proceedings of Logical Foundations of Computer Science (LFCS09),  Lecture Notes in Computer Science,   volume LNCS 5407,  pages 137 -- 151,  2009,  Springer Verlag.

F. Damiani, P. Giannini, A. Ricci and M. Viroli.  Featherweight Agent Language: a core calculus for agents and artifacts,   ICSOFT'09 (http://www.icsoft.org),   volume ,  pages ,  2009,  INSTICC press.

M. Dezani-Ciancaglini, P. Giannini and A. Troina.  A Type System for Required/Excluded Elements in CLS,   DCM'09,  EPTCS,   volume 9,  pages 38--48,  2009.

M. Dezani-Ciancaglini, P. Giannini and A. Troina.  A Type System for a Stochastic CLS,   MeCBIC'09,  EPTCS,   volume 11,  pages 91--106,  2009.

M. Dezani-Ciancaglini, P. Giannini and S. Ronchi Della Rocca.  Intersection, Universally Quantified, and Reference Types,   CSL'09,  LNCS,   volume 5771,  pages 209--224,  2009,  Springer.

M. Dezani-Ciancaglini and J.R. Hindley.  Lambda-Calculus,  2009.

M. Dezani-Ciancaglini, S. Drossopoulou, D. Mostrous and N. Yoshida.  Objects and Session Types,   Information and Computation,  207(5):595--641,  2009.

M. Dezani-Ciancaglini, P. Giannini and E. Zucca.  The Essence of Static and Dynamic Bindings,   ICTCS'09,  2009.

C. Faggian and M. Piccolo.  Partial Orders, Event Structures and Linear Strategies,   Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings,  Lecture Notes in Computer Science.  In Pierre-Louis Curien ed(s).,   volume 5608,  pages 95-111,  2009,  Springer.

M. Gaboardi, L. Roversi and L. Vercelli.  A by-level analysis of Multiplicative Exponential Linear Logic,   Proceedings of MFCS'09,  Lecture Notes in Computer Science,   volume 5734,  pages 344 -- 355,  2009,  Springer.

M. Gaboardi and M. Piccolo.  Categorical Models for a Semantically Linear $\lambda$-calculus,   Pre-proceedings of LINEARITY'09, Satellite Workshop of CSL 2009,  2009.

M. Gaboardi and S. Ronchi Della Rocca.  From Light Logics to Type Assignements: a case study,   Logic Journal of the IGPL, Special Issue on LSFA 2007,  17: 499 -- 530 ,  2009.

M. Gaboardi and R. Péchoux.  Global and local space properties of stream programs,   Pre-Proceedings of FOPARA'09, Satellite Workshop of FM 2009,  2009.

M. Gaboardi and S. Ronchi Della Rocca.  Type Inference for a polynomial Lambda-Calculus,   Types for proofs and programs 2008, TYPES'08,  Lecture Notes in Computer Science,   volume 5497,  pages 136--152,  2009,  Springer.

M. Gaboardi and R. Péchoux.  Upper Bounds on Stream I/O Using Semantic Interpretations,   Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings,  Lecture Notes in Computer Science.  In Erich Grädel and Reinhard Kahle ed(s).,   volume 5771,  pages 271-286,  2009,  Springer.

E. Giachino, M. Sackman, S. Drossopoulou and S. Eisenbach.  Softly Safely Spoken: Role Playing for Session Types,   PLACES '09,  2009.

S. Guerrini, A. Piperno and M. Dezani-Ciancaglini.  Bohm's Theorem,  2009.

L. Padovani.  Contract-based Discovery and Adaptation of Web Services,  2009.

L. Padovani.  Session Types at the Mirror,   Proceedings of the Interaction and Concurrency Experience (ICE'09),  EPTCS,   volume 12,  pages 71-86,  2009,  Open Publishing Association.

L. Paolini and M. Piccolo.  A Process-Model for Linear Programs,   Types for Proofs and Programs, International Conference, TYPES 2008, 2008, Selected Papers,  Lecture Notes in Computer Science,   volume 5497,  pages 289-305,  2009,  Springer.

L. Paolini.  Call-by-value lambda-calculus,  2009.

L. Paolini, M. Piccolo and S. Ronchi Della Rocca.  Logical Semantics for Stability,   Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009),  Electronic Notes in Theoretical Computer Science.  In Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi ed(s).,   volume 249,  pages 429-449,  2009,  Elsevier, Netherlands.

L. Paolini.  Parametric Lambda Calculus. A meta-calculus for computation,  2009.

M. Piccolo.  Linearity and Beyond in Denotational Semantics,  Università degli Studi di Torino - Université Paris Diderot (Paris 7),  2009.

L. Roversi and L. Vercelli.  Some Complexity and Expressiveness results on Multimodal and Stratified Proof-nets,   Proceedings of TYPES'08,  Lecture Notes in Computer Science,   volume 5497,  pages 306 -- 322,  2009,  Springer.

E. Sciacca and S. Spinella.  Fuzzy Optimization: Recent Developments and Applications,  2009.

2008

M. Aldinucci, M. Danelutto and P. Kilpatrick.  A framework for prototyping and reasoning about grid systems,   Parallel Computing: Architectures, Algorithms and Applications,  ADVANCES IN PARALLEL COMPUTING.  In C. Bischof and M. Bücker and P. Gibbon and G. R. Joubert and T. Lippert and B. Mohr and F. J. Peters ed(s).,   volume 15,  pages 235-242,  2008,  IOS press,  Germany.

M. Aldinucci, M. Danelutto, G. Zoppi and P. Kilpatrick.  Advances in Autonomic Components & Services,   From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008),  CoreGRID.  In Thierry Priol and Marco Vanneschi ed(s).,  pages 3-18,  2008,  Springer,  Las Palmas, Spain.

M. Aldinucci and A. Benoit.  Automatic mapping of ASSIST applications using process algebra,   Parallel Processing Letters,  18(1):175-188,  2008.

M. Aldinucci, S. Campa, M. Danelutto, P. Dazzi, P. Kilpatrick, D. Laforenza and N. Tonellotto.  Behavioural skeletons for component autonomic management on grids,   Making Grids Work,  CoreGRID.  In Marco Danelutto and Paraskevi Frangopoulou and Vladimir Getov ed(s).,  pages 3-16,  2008,  Springer.

M. Aldinucci, S. Campa, M. Danelutto, M. Vanneschi, P. Dazzi, D. Laforenza, N. Tonellotto and P. Kilpatrick.  Behavioural skeletons in GCM: autonomic management of grid components,   Proc. of Intl. Euromicro PDP 2008: Parallel Distributed and network-based Processing.  In Didier El Baz and Julien Bourgeois and Francois Spies ed(s).,  pages 54-63,  2008,  IEEE,  Toulouse, France.

M. Aldinucci, G. Antoniu, M. Danelutto and M. Jan.  Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture,   Achievements in European Research on Grid Systems,  CoreGRID.  In Marian Bubak and Sergei Gorlatch and Thierry Priol ed(s).,  pages 67-81,  2008,  Springer,  Kraków, Poland.

M. Aldinucci, M. Danelutto, P. Kilpatrick and P. Dazzi.  From Orc Models to Distributed Grid Java code,   Grid Computing: Achievements and Prospects,  CoreGRID.  In Sergei Gorlatch and Paraskevi Fragopoulou and Thierry Priol ed(s).,  pages 13-24,  2008,  Springer.

M. Aldinucci, M. Danelutto, P. Kilpatrick and P. Dazzi.  From Orc Models to Distributed Grid Java code,   Proc. of the Integrated Research in Grid Computing Workshop,  CoreGRID.  In Sergei Gorlatch and Paraskevi Fragopoulou and Thierry Priol ed(s).,  pages 2-13,  2008,  Hersonissos, Crete, Greece.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Hierarchical autonomic management: a case study with skeletal systems,   number TR-0127,  Institute on Programming Model, CoreGRID - Network of Excellence,  2008.

M. Aldinucci, S. Campa, M. Coppola, M. Danelutto, G. Zoppi, A. Basso, A. Bolotov, F. Baude, H.L. Bouziane, D. Caromel, L. Henrio, C. Pérez, J. Cunha, C. Michael, P. Classen, C. Lengauer, J. Cohen, S. Mc Gough, N. Currle-Linde, P. Dazzi, N. Tonellotto, J. Dünnweber, S. Gorlatch, P. Kilpatrick, N. Ranaldo and E. Zimeo.  Proceedings of the Programming Model Institute Technical meeting 2008,   number TR-0138,  Institute of Programming Model, CoreGRID - Network of Excellence,  2008.

M. Aldinucci and M. Danelutto.  Securing skeletal systems with limited performance penalty: the Muskel experience,   Journal of Systems Architecture,  54(9):868-876,  2008.

M. Aldinucci, M. Torquati, M. Vanneschi and P. Zuccato.  The VirtuaLinux Storage Abstraction Layer for Efficient Virtual Clustering,   Proc. of Intl. Euromicro PDP 2008: Parallel Distributed and network-based Processing.  In Didier El Baz and Julien Bourgeois and Francois Spies ed(s).,  pages 619-627,  2008,  IEEE,  Toulouse, France.

M. Aldinucci and E. Tuosto.  Toward a Formal Semantics for Autonomic Components,   number TR-08-08,  Università di Pisa, Dipartimento di Informatica, Italy,  2008.

M. Aldinucci, M. Danelutto, H.L. Bouziane and C. Pérez.  Towards Software Component Assembly Language Enhanced with Workflows and Skeletons,   number TR-0153,  Institute on Programming Model, CoreGRID - Network of Excellence,  2008.

M. Aldinucci, M. Danelutto, H.L. Bouziane and C. Pérez.  Towards Software Component Assembly Language Enhanced with Workflows and Skeletons,   Proc. of the ACM SIGPLAN Component-Based High Performance Computing (CBHPC),  pages 1-11,  2008,  ACM,  New York, NY, USA.

M. Aldinucci and E. Tuosto.  Towards a Formal Semantics for Autonomic Components,   From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008),  CoreGRID.  In Thierry Priol and Marco Vanneschi ed(s).,  pages 31-45,  2008,  Springer,  Las Palmas, Spain.

M. Aldinucci, M. Danelutto, H.L. Bouziane and C. Pérez.  Towards a Spatio-Temporal sKeleton Model implementation on top of SCA,   number TR-0171,  Institute on Programming Model, CoreGRID - Network of Excellence,  2008.

M. Aldinucci, M. Danelutto, M. Torquati, F. Polzella, G. Spinatelli, M. Vanneschi, A. Gervaso, M. Cacitti and P. Zuccato.  VirtuaLinux: virtualized high-density clusters with no single point of failure,   Parallel Computing: Architectures, Algorithms and Applications,  ADVANCES IN PARALLEL COMPUTING.  In C. Bischof and M. Bücker and P. Gibbon and G. R. Joubert and T. Lippert and B. Mohr and F. J. Peters ed(s).,   volume 15,  pages 355-362,  2008,  IOS press,  The Netherlands.

S. van Bakel and U. de' Liguoro.  Logical equivalence for subtyping and recursive types,   Theory of Computing Systems,  42(3):306-348,  2008.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  Bisimulations in Calculi Modelling Membranes,   Formal Aspects of Computing,  20:351-377,  2008.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, P. Tiberi and A. Troina.  Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways,   Transactions on Computational Systems Biology,  IX:86-113,  2008.

S. Berardi and U. de' Liguoro.  A Calculus of Realizers for EM1 Arithmetic,   Proceedings of CSL '08,  Lecture Notes in Computer Science,   volume 5213,  pages 215-229,  2008,  Springer-Verlag.

S. Berardi and Y. Yamagata.  A sequent calculus for limit computable mathematics,   Annals of Pure and Applied Logic,  ???:???-???,  2008.

L. Bettini, V. Bono and M. Naddeo.  A Trait Based Re-engineering Technique for Java Hierarchies,   PPPJ 2008,  ACM International Conference Proceedings,  2008,  ACM Press.

L. Bettini, V. Bono and B. Venneri.  A typed lambda calculus with intersection types,   Theoretical Computer Science,  398(1-3):95-113,  2008.

L. Bettini, S. Capecchi and E. Giachino.  Featherweight Wrap Java: wrapping objects and methods,   Journal of Objetc Technology (www.jot.fm),  7(2):5-29,  2008.

L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini and N. Yoshida.  Global Progress in Dynamically Interleaved Multiparty Sessions,   CONCUR'08,  LNCS,   volume 5201,  pages 418-433,  2008,  Springer.

L. Bettini, R. De Nicola and M. Loreti.  Implementing Session Centered Calculi,   Coordination Models and Languages (COORDINATION2008),  Lecture Notes in Computer Science.  In Doug Lea and Gianluigi Zavattaro ed(s).,   volume 5052,  pages 17-32,  2008,  Springer.

L. Bettini, V. Bono and B. Venneri.  Object incompleteness and dynamic composition in Java-like languages,   Objects, Components, Models and Patterns - Proc. of TOOLS 2008,  LNBIP,   volume 11,  2008,  Springer.

L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino and B. Venneri.  Session and Union Types for Object Oriented Programming,   Concurrency, Graphs and Models,  LNCS.  In Rocco De Nicola and Pierpaolo Degano and José Meseguer ed(s).,   volume 5065,  pages 659--680,  2008,  Springer-Verlag.

L. Bettini.  Timed Buffers: A Technique For Update Propagation In Nomadic Environments,   Computer Communications(31):3209-3222,  2008.

L. Bettini and V. Bono.  Type Safe Dynamic Object Delegation in Class-based Languages,   PPPJ 2008,  ACM International Conference Proceedings,  2008,  ACM Press.

V. Bono, F. Damiani and E. Giachino.  On Traits and Types in a Java-like Setting,   Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008,  IFIP International Federation for Information Processing,  pages 367-382,  2008,  Springer.

G. Castagna, N. Gesbert and L. Padovani.  A Theory of Contracts for Web Services,   Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08),  ACM SIGPLAN Notices,   volume 43,  pages 261-272,  2008,  ACM.

M. Comini, F. Damiani and S. Vrech.  On Polymorphic Recursion, Type Systems, and Abstract Interpretation,   SAS 2008,  LNCS 5079,  pages 144-158,  2008,  Springer.

M. Coppo, M. Dezani-Ciancaglini and E. Giovannetti.  Types for Ambient and Process Mobility,   Mathematical Structures in Computer Science,  18:221-290,  2008.

P. Coppola, U. Dal Lago and S. Ronchi Della Rocca.  Light Logics and the Call-by-Value Lambda Calculus,   Logical Methods in Computer Science,  4(4),  2008.

F. Damiani, E. Giachino, P. Giannini and S. Drossopoulou.  A Type Safe State Abstraction for Coordination in Java-like Languages,   Acta Informatica,  45():479-536,  2008.

F. Damiani, E. Giachino and P. Giannini.  Alias Types and effects for ``environment-aware'' computations,   Fundamenta Informaticae,  88(1-2):63-107,  2008.

F. Damiani, E. Giachino, P. Giannini and E. Cazzola.  On state classes and their dynamic semantics,   Software and Data Technologies (ICSOFT 2006, Revised Selected Papers),  Communications in Computer and Information Science,   volume 10,  pages 84-96,  2008,  Springer.

M. Dezani-Ciancaglini, P. Giannini and O. Nierstrasz.  A Calculus of Evolving Objects,   MPOOL'08,  2008.

M. Dezani-Ciancaglini, P. Giannini and O. Nierstrasz.  A Calculus of Evolving Objects,   Scientific Annals of Computer Science:63--98,  2008.

M. Dezani-Ciancaglini, R. Di Cosmo, E. Giovannetti and M. Tatsuta.  On Isomorphisms of Intersection Types,   CSL'08,  LNCS.  In Kaminski, Michael and Martini, Simone ed(s).,   volume 5213,  pages 461--492,  2008,  Springer.

M. Dezani-Ciancaglini, U. de' Liguoro and N. Yoshida.  On Progress for Structured Communications,   TGC'07,  LNCS.  In Gilles Barthe and Cédric Fournet ed(s).,   volume 4912,  pages 257--275,  2008,  Springer.

M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic and D. Varacca.  Security Types for Dynamic Web Data,   Theoret. Comput. Sci.(402):156--171,  2008.

M. Gaboardi, J.Y. Marion and S. Ronchi Della Rocca.  A Logical Account of PSPACE,   35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2008, San Francisco, January 10-12, 2008, Proceedings,  pages 121-131,  2008.

M. Gaboardi, J.Y. Marion and S. Ronchi Della Rocca.  Soft linear Logic and Polynomial Complexity Classes,   Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007),  Electronic Notes in Theoretical Computer Science,   volume 205,  pages 67--87,  2008,  Elsevier.

J. Krivine, R. Milner and A. Troina.  Stochastic Bigraphs,   Proc. of MFPS'08, 24th Conference on the Mathematical Foundations of Programming Semantics,  ENTCS,   volume 218,  pages 73-96,  2008,  Elsevier.

C. Laneve and L. Padovani.  The Pairing of Contracts and Session Types,   Concurrency, Graphs and Models (Ugo65'08),  LNCS,   volume 5065,  pages 681-700,  2008,  Springer.

R. Lanotte, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  Design and Verification of Long-Running Transactions in a Timed Framework,   Science of Computer Programming,  73:76-94,  2008.

W. Lodwick.  Fuzzy surfaces in GIS and geographical analysis: theory, analytical methods, algorithms, and applications,   CRC,  2008.

G. Nicosia, S. Rinaudo and E. Sciacca.  An Evolutionary Algorithm-Based Approach to Robust Analog Circuit Design using Constrained Multi-Objective Optimization,   KNOWLEDGE-BASED SYSTEMS,  21:175--183,  2008.

G. Nicosia and E. Sciacca.  Pattern Search Algorithms for Circuit Design Optimization?? booktitle missing ???,  pages 58--59,  2008.

G. Nicosia and E. Sciacca.  Robust Parameter Identification for Biological Circuit Calibration,   IEEE BIBE 2008 Proceedings,  pages 1--6,  2008.

A.M. Oprescu, T. Kielmann, M. Danelutto and M. Aldinucci.  Autonomic Behavior of Grid Applications using Component Platforms,   number TR-0156,  Institute on Programming Model, CoreGRID - Network of Excellence,  2008.

L. Padovani.  Contract-Directed Synthesis of Simple Orchestrators,   Proceedings of the International Conference on Concurrency Theory (CONCUR'08),  LNCS,   volume 5201,  pages 131-146,  2008,  Springer.

L. Paolini and M. Piccolo.  Linear Programming Languages,  2008.

L. Paolini.  Parametric $\lambda$-Theories,   Theoretical Computer Science,  398(1-3):51-62,  2008.

L. Paolini and M. Piccolo.  Semantically Linear Programming Languages,   10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming,  pages 97--107,  2008,  ACM,USA.

M. Piccolo.  Strong Normalization in the $\pi$-calculus with Intersection and Union Types,  2008.

E. Pimentel, S. Ronchi Della Rocca and L. Roversi.  Intersection Types from a proof-theoretic perspective,  2008.

L. Roversi.  Weak Affine Light Typing is complete with respect to Safe Recursion on Notation,   number 104/08,  Dipartimento di Informatica, Torino,  2008,  C.so Svizzera, n.185 --- 10149 Torino --- Italy.

E. Sciacca, A.V.S. Ayyadurai and C.F. Dewey.  A Web Based Application for the Integration of Quantitative Molecular Pathway Simulations?? booktitle missing ???,  pages 1,  2008.

E. Sciacca, A.V.S. Ayyadurai and C.F. Dewey.  A Web Based Tool for Integration of Molecular Pathway Models,   IEEE BIBE 2008,  pages 1--6,  2008.

S. Spinella, M. Ostoich and A.M. Anile.  River water quality assessment with fuzzy interpolation,   Ecological Chemistry and Engineering. S Selected full texts,  15(2):245--262,  2008.

2007

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Adding metadata to Orc to support reasoning about grid programming,   Towards Next Generation Grids (Proc. of the CoreGRID Symposium 2007),  CoreGRID.  In Thierry Priol and Marco Vanneschi ed(s).,  pages 205-214,  2007,  Springer,  Rennes, France.

M. Aldinucci, S. Campa, M. Coppola, M. Danelutto, C. Zoccolo, F. André and J. Buisson.  An abstract schema modeling adaptivity management,   Integrated Research in Grid Computing,  CoreGRID.  In Sergei Gorlatch and Marco Danelutto ed(s).,  pages 89-102,  2007,  Springer.

M. Aldinucci, S. Campa, M. Danelutto, P. Kilpatrick, P. Dazzi, D. Laforenza and N. Tonellotto.  Behavioural skeletons for component autonomic management on grids,   number TR-07-12,  Università di Pisa, Dipartimento di Informatica,  2007.

M. Aldinucci, S. Campa, M. Danelutto, P. Dazzi, P. Kilpatrick, D. Laforenza and N. Tonellotto.  Behavioural skeletons for component autonomic management on grids,   CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments,  2007,  Heraklion, Crete, Greece.

M. Aldinucci, M. Danelutto and P. Dazzi.  MUSKEL: an expandable skeleton environment,   Scalable Computing: Practice and Experience,  8(4):325-341,  2007.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Management in distributed systems: a semi-formal approach,   Proc. of 13th Intl. Euro-Par 2007 Parallel Processing,  LNCS.  In A.-M. Kermarrec and L. Bougé and T. Priol ed(s).,   volume 4641,  pages 651-661,  2007,  Springer,  Rennes, France.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Management in distributed systems: a semi-formal approach,   number TR-07-05,  Università di Pisa, Dipartimento di Informatica,  2007.

M. Aldinucci, M. Danelutto and P. Kilpatrick.  Orc + metadata supporting grid programming,   number TR-07-10,  Università di Pisa, Dipartimento di Informatica,  2007.

M. Aldinucci and M. Danelutto.  Skeleton based parallel programming: functional and parallel semantic in a single shot,   Computer Languages, Systems and Structures,  33(3-4):179-192,  2007.

M. Aldinucci and M. Danelutto.  The cost of security in skeletal systems,   Proc. of Intl. Euromicro PDP 2007: Parallel Distributed and network-based Processing.  In Pasqua D'Ambra and Mario Rosario Guarracino ed(s).,  pages 213-220,  2007,  IEEE,  Napoli, Italia.

M. Aldinucci and A. Benoit.  Towards the Automatic Mapping of ASSIST Applications for the Grid,   Integrated Research in Grid Computing,  CoreGRID.  In Sergei Gorlatch and Marco Danelutto ed(s).,  pages 73-87,  2007,  Springer.

M. Aldinucci, M. Torquati, M. Vanneschi, M. Cacitti, A. Gervaso and P. Zuccato.  VirtuaLinux Design Principles,   number TR-07-13,  Università di Pisa, Dipartimento di Informatica, Italy,  2007.

M. Aldinucci and P. Zuccato.  Virtual clusters with no single point of failure,   Intl. Supercomputing Conference (ISC2007), Poster session,  2007,  Dresden, Germany.

M. Aldinucci, M. Torquati and P. Zuccato.  Virtualinux website,  2007.

D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini and E. Zucca.  A provenly correct translation of Fickle into Java,   ACM Transactions On Programming Languages and Systems,  29(2):Article No. 13 (67 pages),  2007.

F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini and V. Sassone.  Space-Aware Ambients and Processes,   Theoretical Compututer Science,  373(1-2):41--69,  2007.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  The Calculus of Looping Sequences for Modeling Biological Membranes,   Proc. of WMC8, 8th Workshop on Membrane Computing,  LNCS,   volume 4860,  pages 54-76,  2007,  Springer.

S. Berardi and U. de' Liguoro.  Limit of learning sequences with retractable guesses,   number ,  Universitá di Torino,  2007.

S. Berardi and M. Tatsuta.  Positive Arithmetic Without Exchange Is a Subclassical Logic,   APLAS,  pages 271-285,  2007.

S. Berardi.  Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves,   TLCA,  pages 23-38,  2007.

M. Bernardo and L. Padovani.  Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders,   Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07),  LNCS,   volume 4468,  pages 269-284,  2007,  Springer.

L. Bettini, S. Capecchi and B. Venneri.  Featherweight Java with Multi-Methods,   Proc. of PPPJ, Principles and Practice of Programming in Java,   volume 272,  pages 83-92,  2007,  ACM Press.

L. Bettini, S. Capecchi and E. Giachino.  Featherweight Wrap Java,   OOPS track at SAC'07,  pages 1094--1100,  2007,  ACM Press.

V. Bono and J. Kusmierek.  FJMIP: A Calculus for a Modular Object Initialization,   FCT 2007,  LNCS,   volume 4639,  2007,  Springer.

V. Bono and J. Kusmierek.  Modularizing constructors,   TOOLS 2007,  JOT,   volume 10,  2007,  ETH Zurich.

V. Bono, F. Damiani and E. Giachino.  Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse,   Electronic proceedings of FTfJP'07 (http://www.cs.ru.nl/ftfjp/),  2007.

G. Boudol and M. Kolundzija.  Access Control and Declassification,   Computer Network Security,  CCIS,   volume 1,  pages 85--98,  2007,  Springer-Verlag.

G. Castagna, N. Gesbert and L. Padovani.  A Theory of Contracts for Web Services,   Proceedings of the ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07),  pages 37-48,  2007,  ACM.

M. Coppo, M. Dezani-Ciancaglini and N. Yoshida.  Asynchronous Session Types and Progress for Object-Oriented Languages,   FMOODS'07,  LNCS.  In Marcello Bonsangue and Einar Broch Johnsen ed(s).,   volume 4468,  pages 1--31,  2007,  Springer.

J. Dünnweber, S. Gorlatch, S. Campa, M. Aldinucci and M. Danelutto.  Adaptable Parallel Components for Grid Programming,   Integrated Research in Grid Computing,  CoreGRID.  In Sergei Gorlatch and Marco Danelutto ed(s).,  pages 43-57,  2007,  Springer.

F. Damiani.  Rank 2 Intersection for Recursive Definitions,   Fundamenta Informaticae,  77(4):451-488,  2007.

M. Danelutto, M. Aldinucci and P. Kilpatrick.  Prototyping and reasoning about distributed systems: an Orc based framework,   number TR-0102,  Institute on Programming Model, CoreGRID - Network of Excellence,  2007.

M. Dezani-Ciancaglini and M. Tatsuta.  A Behavioural Model for Klop's Calculus,   Logic, Model and Computer Science,  ENTCS.  In Flavio Corradini and Carlo Toffalori ed(s).,   volume 169,  pages 19-32,  2007,  Elsevier.

M. Dezani-Ciancaglini, S. Drossopoulou, E. Giachino and N. Yoshida.  Bounded Session Types for Object-Oriented Languages,   FMCO'06,  LNCS.  In de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and de Roever, Willem-Paul ed(s).,   volume 4709,  pages 207--245,  2007,  Springer-Verlag.

M. Dezani-Ciancaglini and S. Ronchi Della Rocca.  Intersection and Reference Types,   Reflections on Type Theory, Lambda Calculus, and the Mind.  In Barendsen, Erik and Capretta, Venanzio and Geuvers, Hermann and Niqui, Milad ed(s).,  pages 77--86,  2007,  Radboud University Nijmegen.

M. Dezani-Ciancaglini, S. Ghilezan and J. Pantovic.  Security Types for Dynamic Web Data,   TGC'06,  LNCS.  In Roberto Bruni and Ugo Montanari and Donald Sannella ed(s).,   volume 4661,  pages 263--280,  2007,  Springer.

S. Drossopoulou, M. Dezani-Ciancaglini and M. Coppo.  Amalgamating the Session Types and the Object Oriented Programming Paradigms,   MPOOL'07,  2007.

C. Faggian and M. Piccolo.  A Graph Abstract Machine Describing Event Structure Composition,   Electronic Notes in Theoretical Computer Science,  175(4):21-36,  2007.

C. Faggian and M. Piccolo.  Ludics is a Model for the Finitary Linear Pi-Calculus,   Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings,  Lecture Notes in Computer Science.  In Simona Ronchi Della Rocca ed(s).,   volume 4583,  pages 148-162,  2007,  Springer.

M. Gaboardi and S. Ronchi Della Rocca.  A Soft Type Assignment System for $\lambda$-Calculus,   Computer Science Logic, 21st International Workshop, CSL 07, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings,  Lecture Notes in Computer Science.  In Jacques Duparc and Thomas A. Henzinger ed(s).,   volume 4646,  pages 253--267,  2007,  Springer.

M. Gaboardi.  Linearity: an Analytic Tool in the study of Complexity and Semantics of Programming Languages,  Università degli Studi di Torino - Institut National Polytechnique de Lorraine,  2007.

M. Gaboardi and L. Paolini.  Syntactical, Operational and Denotational Linearity,   Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras. Dedicated to Jean-Yves Girard on his 60th birthday,  2007,  Certosa di Pontignano, Siena.

M. Gaboardi and L. Paolini.  Syntactical, Operational and Denotational Linearity,   Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras. Dedicated to Jean-Yves Girard on his 60th birthday,  2007,  Certosa di Pontignano, Siena.

P. Garralda, E. Bonelli, A. Compagnoni and M. Dezani-Ciancaglini.  Boxed Ambients with Communication Interfaces,   MSCS,  17:1--59,  2007.

J. Goubault-Larrecq, C. Palamidessi and A. Troina.  A Probabilistic Applied Pi-Calculus,   Proc. of APLAS'07, 5th Asian Symposium on Programming Languages and Systems,  LNCS,   volume 4870,  pages 175-190,  2007,  Springer.

P. Kilpatrick, M. Danelutto and M. Aldinucci.  Deriving Grid Applications from Abstract Models,   number TR-0085,  Institute on Programming Model, CoreGRID - Network of Excellence,  2007.

J. Kusmierek and V. Bono.  Hygienic methods - Introducing HygJava,   TOOLS 2007,  JOT,   volume 10,  2007,  ETH Zurich.

C. Laneve and L. Padovani.  The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts,   Proceedings of the International Conference on Concurrency Theory (CONCUR'07),  LNCS,   volume 4703,  pages 212-225,  2007,  Springer.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Parametric Probabilistic Transition Systems for System Design and Analysis,   Formal Aspects of Computing,  19:93-109,  2007.

L. Liquori and S. Ronchi Della Rocca.  Intersection Types a la Church,   Information and Computation,  205(9):1371--1386,  2007.

G. Nicosia, E. Sciacca and L. Zammataro.  Detecting Constituent Sequences by Means of HP Pattern-Based Grammars to Synthesize Proteins: Inferring Sequence-Structure-Function Relationship?? booktitle missing ???,  pages 53--59,  2007.

G. Nicosia, E. Sciacca and L. Zammataro.  Detecting Constituent Sequences by means of HP Pattern-Based Grammars to Synthesize Proteins?? booktitle missing ???,  pages 1,  2007.

L. Paolini.  Denotational Paradigms,  2007.

M. Pasin, P. Kuonen, M. Danelutto and M. Aldinucci.  Skeleton Parallel Programming and Parallel Objects,   Integrated Research in Grid Computing,  CoreGRID.  In Sergei Gorlatch and Marco Danelutto ed(s).,  pages 59-71,  2007,  Springer.

S. Ronchi Della Rocca Editor(s).  Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings,  Lecture Notes in Computer Science,   volume 4583,  2007,  Springer.

L. Roversi.  Weak Affine Light Typing: Intensional expressivity, Polytime soundness and completeness,   number 103/07,  Dipartimento di Informatica, Torino,  2007,  C.so Svizzera, n.185 --- 10149 Torino --- Italy.

E. Sciacca, S. Spinella and A.M. Anile.  Theoretical Advances and Applications of Fuzzy Logic and Soft Computing,  2007.

S. Spinella, V. Enea, D. Kroell, M. Messina and C. Ronsisvalle.  Optimal Design of Monolithic ESBT Device carried out by Multiobjective Optimization,   Scientific Computing in Electrical Engineering:339--346,  2007.

2006

M. Aldinucci, M. Coppola, M. Danelutto, M. Vanneschi and C. Zoccolo.  ASSIST as a research framework for high-performance Grid programming environments,   Grid Computing: Software environments and Tools.  In J. C. Cunha and O. F. Rana ed(s).,  pages 230-256,  2006,  Springer.

M. Aldinucci and M. Danelutto.  Algorithmic skeletons meeting grids,   Parallel Computing,  32(7):449-462,  2006.

M. Aldinucci, M. Danelutto and M. Vanneschi.  Autonomic QoS in ASSIST Grid-aware components,   Proc. of Intl. Euromicro PDP 2006: Parallel Distributed and network-based Processing,  pages 221-230,  2006,  IEEE,  Montbéliard, France.

M. Aldinucci, M. Danelutto, A. Paternesi, R. Ravazzolo and M. Vanneschi.  Building interoperable grid-aware ASSIST applications via WebServices,   Parallel Computing: Current & Future Issues of High-End Computing (Proc. of PARCO 2005, Malaga, Spain),  NIC.  In G. R. Joubert and W. E. Nagel and F. J. Peters and O. Plata and P. Tirado and E. Zapata ed(s).,   volume 33,  pages 145-152,  2006,  John von Neumann Institute for Computing,  Germany.

M. Aldinucci, G. Antoniu, M. Danelutto and M. Jan.  Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture,   Proc. of the Integrated Research in Grid Computing Workshop,  CoreGRID.  In Marian Bubak and Sergei Gorlatch and Thierry Priol ed(s).,  pages 177-188,  2006,  Academic Computing Centre CYFRONET AGH,  Kraków, Poland.

M. Aldinucci, G. Antoniu, M. Danelutto and M. Jan.  Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture,   number TR-0058,  Institute on Programming Model, CoreGRID - Network of Excellence,  2006.

M. Aldinucci, M. Coppola, M. Danelutto, N. Tonellotto, M. Vanneschi and C. Zoccolo.  High level grid programming with ASSIST,   Computational Methods in Science and Technology,  12(1):21-32,  2006.

M. Aldinucci, F. André, J. Buisson, S. Campa, M. Coppola, M. Danelutto and C. Zoccolo.  Parallel program/component adaptivity management,   Parallel Computing: Current & Future Issues of High-End Computing (Proc. of PARCO 2005, Malaga, Spain),  NIC.  In G. R. Joubert and W. E. Nagel and F. J. Peters and O. Plata and P. Tirado and E. Zapata ed(s).,   volume 33,  pages 89-96,  2006,  John von Neumann Institute for Computing,  Germany.

M. Aldinucci, C. Bertolli, S. Campa, M. Coppola, M. Vanneschi, L. Veraldi and C. Zoccolo.  Self-Configuring and Self-Optimising Grid Components in the GCM model and their ASSIST Implementation,   number TR-06-13,  Università di Pisa, Dipartimento di Informatica, Italy,  2006.

M. Aldinucci, C. Bertolli, S. Campa, M. Coppola, M. Vanneschi, L. Veraldi and C. Zoccolo.  Self-configuring and self-optimizing grid components in the GCM model and their ASSIST implementation,   Proc of. HPC-GECO/Compframe (held in conjunction with HPDC-15),  pages 45-52,  2006,  IEEE,  Paris, France.

M. Aldinucci, M. Coppola, S. Campa, M. Danelutto, M. Vanneschi and C. Zoccolo.  Structured implementation of component based grid programming environments,   Future Generation Grids,  CoreGRID.  In Vladimir Getov and Domenico Laforenza and Alexander Reinefeld ed(s).,  pages 217-239,  2006,  Springer.

M. Aldinucci and M. Danelutto.  The cost of security in skeletal systems,   number TR-06-03,  Università di Pisa, Dipartimento di Informatica, Italy,  2006.

M. Aldinucci, M. Danelutto, G. Giaccherini, M. Torquati and M. Vanneschi.  Towards a distributed scalable data service for the grid,   Parallel Computing: Current & Future Issues of High-End Computing (Proc. of PARCO 2005, Malaga, Spain),  NIC.  In G. R. Joubert and W. E. Nagel and F. J. Peters and O. Plata and P. Tirado and E. Zapata ed(s).,   volume 33,  pages 73-80,  2006,  John von Neumann Institute for Computing,  Germany.

F. Alessi, F. Barbanera and M. Dezani-Ciancaglini.  Intersection Types and Lambda Models,   Theoretical Compututer Science,  355(2):108--126,  2006.

A.M. Anile, S. Salvatore and M. Ostoich.  Best locations for river water quality monitoring sensors through fuzzy interpolation,   Proceedings of Accuracy 2006.  In M. Caetano and M. Painho ed(s).,  pages 773--783,  2006.

A.M. Anile, S. Rinaudo, A. Ciccazzo, V. Martino, C. Milazzo and S. Spinella.  Comparison of Different Methodologies for Parameter Extraction in Circuit Design,   Scientific Computing in Electrical Engineering:283--287,  2006.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  Bisimulation Congruences in the Calculus of Looping Sequences,   Proc. of ICTAC'06, 3rd Int. Colloquium on Theoretical Aspects of Computing,  LNCS,   volume 4281,  pages 93-107,  2006,  Springer.

S. Berardi.  Some intuitionistic equivalents of classical principles for degree 2 formulas ,   Annals of Pure and Applied Logic,  139:185-200,  2006.

L. Bettini, S. Capecchi and B. Venneri.  Double Dispatch in C++,   Software - Practice and Experience,  36(6):581 - 613,  2006.

L. Bettini, R. De Nicola and M. Loreti.  Implementing Mobile and Distributed Applications in X-Klaim,   Scalable Computing: Practice and Experience, Special Issue: Software Agent Mobility,  7(4):13-35,  2006.

L. Bettini, R.D. Nicola, D. Falassi and M. Loreti.  Implementing a distributed mobile calculus using the IMC framework,   Proc. of MTCOORD (2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems),  ENTCS,  2006,  Elsevier.

T. Biondi, A. Ciccazzo, V. Cutello, S. D'Antona, G. Nicosia and S. Spinella.  Multi-objective evolutionary algorithms and pattern search methods for circuit design problems,   Journal of Universal Computer Science,  12(4):432--449,  2006.

S. Carpineti, G. Castagna, C. Laneve and L. Padovani.  A Formal Account of Contracts for Web Services,   Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'06),  LNCS,   volume 4184,  pages 148-162,  2006,  Springer.

G. Castagna, M. Dezani-Ciancaglini and D. Varacca.  Encoding CDuce in the Cpi-calculus,   CONCUR'06,  Lecture Notes in Computer Science.  In Christel Baier and Holger Hermanns ed(s).,   volume 4137,  pages 310-326,  2006,  Springer-Verlag.

V. Cutello, G. Nicosia, R. Rascuna and S. Spinella.  Optimising an inductor circuit and a two-stage operational transconductance amplifier using evolutionary and classical algorithms,   International Journal of Computational Science and Engineering,  2(3):158--169,  2006.

F. Damiani, E. Giachino, P. Giannini, N. Cameron and S. Drossopoulou.  A State Abstraction for Coordination in Java-like Languages,   Electronic proceedings of FTfJP'06 (http://www.cs.ru.nl/ftfjp/),  2006.

F. Damiani, E. Giachino, P. Giannini and E. Cazzola.  On state classes and their dynamic semantics,   ICSOFT'06 (http://www.icsoft.org),   volume 1,  pages 5-12,  2006,  INSTICC press.

M. Dezani-Ciancaglini, D. Mostrous, N. Yoshida and S. Drossopoulou.  Session Types for Object-Oriented Languages,   ECOOP'06,  LNCS.  In Dave Thomas ed(s).,   volume 4067,  pages 328--352,  2006,  Springer-Verlag.

L. Fossati.  Handshake Games,   Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006),  Electronic Notes in Theoretical Computer Science,   volume 171,   number 3,  pages 21-41,  2006.

M. Gaboardi and S. Ronchi Della Rocca.  Soft Linear Logic and $\lambda$-Calculus,   4th International Workshop on Proof, Computation, Complexity PCC'06 . Ilmenau, Germany, July 24-25 , 2006, Proceedings,  2006.

P. Garralda, A. Compagnoni and M. Dezani-Ciancaglini.  BASS: Boxed Ambients with Safe Sessions,   PPDP'06.  In Michael Maher ed(s).,  pages 61-72,  2006,  ACM Press.

P. Giannini, D. Sangiorgi and A. Valente.  Safe Ambients: Abstract Machine and Distributed Implementation,   Science of Computer Programming,  59:209 - 249,  2006.

C. Laneve and L. Padovani.  Smooth Orchestrators,   Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06),  LNCS,   volume 3921,  pages 32-46,  2006,  Springer.

R. Lanotte, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata,   Proc. of FMOODS'06, 8th IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems,  LNCS,   volume 4037,  pages 108-122,  2006,  Springer.

S. Likavec and P. Lescanne.  On untyped Curien-Herbelin calculus,   1st workshop on Classical Logic and Computation (CLaC'06),  2006.

R.K. Meyer, Y. Motohama and V. Bono.  Truth Translations of Relevant Logics,   Truth and Probability: Essays in Honour of Hugues Leblanc.  In Bryson Brown ed(s).,  pages 59--84,  2006,  College Publications.

L. Padovani and S. Zacchiroli.  From Notation to Semantics: There and Back Again,   Proceedings of the Mathematical Knowledge Management (MKM'06),  LNAI,   volume 4108,  pages 194-207,  2006,  Springer.

L. Paolini.  A Stable Programming Language,   Information and Computation,  204(3):339-375,  2006.

L. Paolini, E. Pimentel and S. Ronchi Della Rocca.  An Operational Characterization of Strong Normalization,   Proceedings of 9th International Conference on Foundations of Software Science and Computation Structures -- FOSSACS 2006, Held as Part of the European Joint Conferences on Theory and Practice of Software 2006,  Lecture Notes in Computer Science.  In Luca Aceto and Anna Ingólfsdóttir ed(s).,   volume 3921,  pages 367-381,  2006,  Springer, Germany.

L. Paolini.  Semantics of PCF and the full abstraction problem,  2006.

M. Piccolo.  Strutture ad Eventi e Strategie: un Ponte fra Teoria della Concorrenza e Semantica dei Giochi,  Dipartimento di Matematica Pura e Applicata, Università degli Studi di Padova,  2006.

E. Sciacca, S. Spinella and S. Drago.  Multiobjective optimization of circuit performances through solution ranking and evolutionary strategies?? booktitle missing ???,  pages 1--8,  2006.

M. Tatsuta and M. Dezani-Ciancaglini.  Normalisation is Insensible to Lambda-term Identity or Difference,   LICS'06.  In Rajeev Alur ed(s).,  pages 327-336,  2006,  IEEE Computer Society.

A. Troina.  Probabilistic Timed Automata for Security Analysis and Design,  Università di Pisa,  2006.

2005

M. Aldinucci and A. Benoit.  Automatic mapping of ASSIST applications using process algebra,   number TR-0016,  Institute on Programming Model, CoreGRID - Network of Excellence,  2005.

M. Aldinucci and A. Benoit.  Automatic mapping of ASSIST applications using process algebra,   Proc. of HLPP2005: Intl. Workshop on High-Level Parallel Programming,  2005,  Warwick University, Coventry, UK.

M. Aldinucci, M. Danelutto, A. Paternesi, R. Ravazzolo and M. Vanneschi.  Building Interoperable Grid-aware ASSIST Applications via Web Services,   number TR-05-24,  Università di Pisa, Dipartimento di Informatica, Italy,  2005.

M. Aldinucci, S. Campa, M. Coppola, M. Danelutto, D. Laforenza, D. Puppin, L. Scarponi, M. Vanneschi and C. Zoccolo.  Components for high performance Grid programming in Grid.it,   Proc. of the Intl. Workshop on Component Models and Systems for Grid Applications,  CoreGRID.  In V. Getov and T. Kielmann ed(s).,  pages 19-38,  2005,  Springer,  Saint-Malo, France.

M. Aldinucci, A. Petrocelli, E. Pistoletti, M. Torquati, M. Vanneschi, L. Veraldi and C. Zoccolo.  Dynamic reconfiguration of Grid-aware applications in ASSIST,   number TR-05-05,  Università di Pisa, Dipartimento di Informatica, Italy,  2005.

M. Aldinucci, A. Petrocelli, E. Pistoletti, M. Torquati, M. Vanneschi, L. Veraldi and C. Zoccolo.  Dynamic reconfiguration of grid-aware applications in ASSIST,   Proc. of 11th Intl. Euro-Par 2005 Parallel Processing,  LNCS.  In J. C. Cunha and P. D. Medeiros ed(s).,   volume 3648,  pages 771-781,  2005,  Springer.

M. Aldinucci, M. Vanneschi and M. Villa.  Grid technologies and c-business for SMEs,   Innovation and the Knowledge Economy: Issues, Applications, Case Studies (Proc. of Intl. conference eChallenges 2005),  Information and Communication Technologies and the Knowledge Economy.  In P. Cunningham and M. Cunningham ed(s).,   volume 2,  2005,  IOS press,  Amsterdam, The Netherland.

M. Aldinucci, M. Danelutto, J. Dünnweber and S. Gorlatch.  Optimization Techniques for Implementing Parallel Skeletons in Distributed Environments,   number TR-0001,  Institute on Programming Model, CoreGRID - Network of Excellence,  2005.

M. Aldinucci, M. Danelutto, J. Dünnweber and S. Gorlatch.  Optimization techniques for skeletons on grids,   Grid Computing and New Frontiers of High Performance Processing,  Advances in Parallel Computing.  In L. Grandinetti ed(s).,   volume 14,  pages 255-273,  2005,  Elsevier.

M. Aldinucci, F. André, J. Buisson, S. Campa, M. Coppola, M. Danelutto and C. Zoccolo.  Parallel program/component adaptivity management,   number TR-0014,  Institute on Programming Model, CoreGRID - Network of Excellence,  2005.

M. Aldinucci, F. André, J. Buisson, S. Campa, M. Coppola, M. Danelutto and C. Zoccolo.  Parallel program/component adaptivity management,   Proc. of the Integrated Research in Grid Computing Workshop.  In Sergei Gorlatch and Marco Danelutto ed(s).,   volume TR-05-22,  pages 95-104,  2005,  Università di Pisa, Dipartimento di Informatica,  Pisa, Italy.

M. Aldinucci, S. Gusmeroli, M. Vanneschi and M. Villa.  SFIDA: interoperability in innovative c-business models for SMEs through an enabling Grid platform,   Pre-proc. of INTEROP-ESA: Intl. Conference on Interoperability on Enterprise Software and Applications,  pages 547-557,  2005,  Geneva, Switzerland.

M. Aldinucci, M. Danelutto, G. Giaccherini, M. Torquati and M. Vanneschi.  Towards a distributed scalable data service for the Grid,   number TR-05-21,  Università di Pisa, Dipartimento di Informatica, Italy,  2005.

M. Aldinucci and A. Benoit.  Towards the Automatic Mapping of ASSIST Applications for the Grid,   Proc. of the Integrated Research in Grid Computing Workshop.  In Sergei Gorlatch and Marco Danelutto ed(s).,   volume TR-05-22,  pages 59-68,  2005,  Università di Pisa, Dipartimento di Informatica,  Pisa, Italy.

F. Alessi and M. Dezani-Ciancaglini.  Type Preorders and Recursive Terms,   ITRS 2004,  Electronic Lecture Notes in Theoretical Computer Science.  In Mario Coppo and Ferruccio Damiani ed(s).,   volume 136,  pages 3--21,  2005,  Elsevier.

D. Ancona, F. Damiani, S. Drossopoulou and E. Zucca.  Polymorphic Bytecode: Compositional Compilation for Java-like Languages,   POPL'05,  pages 26-37,  2005,  ACM.

C. Anderson, P. Giannini and S. Drossopoulou.  Towards Type Inference for JavaScript,   19th European Conference on Object-Oriented Programming (ECOOP 2005),  LNCS 3586,  pages 428-453,  2005,  Springer.

C. Anderson and P. Giannini.  Type Checking for JavaScript,   WOOD'05,  ENTCS,  2005,  Elsevier.

A.M. Anile, V. Cutello, G. Nicosia, R. Rascuna and S. Spinella.  Comparison among evolutionary algorithms and classical optimization methods for circuit design problems,   Evolutionary Computation, 2005. The 2005 IEEE Congress on,   volume 1,  pages 765--772,  2005,  IEEE.

A.M. Anile and S. Spinella.  Fuzzy modeling of sparse data,   Developments in Spatial Data Handling:163--172,  2005.

S. van Bakel and U. de' Liguoro.  Subtyping object and recursive types logically,   Proc. of ICTCS'05,  LNCS 3701,  pages 66-80,  2005,  Springer.

M. Baldoni, C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau and L. Roversi.  Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino,   Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa.  In Boniolo, B. AND Margarita, S. AND Spadaro, C. ed(s).,  2005,  Torino.

M. Baldoni, C. Baroglio, C. Grandi and L. Roversi.  Live! I-Learn @ Home,   Proc. of 1st International Conference on Open Source Systems, OSS 2005.  In Scotto, M. AND Succi, G. ed(s).,  pages 294 -- 295,  2005,  ECIG Edizioni Culturali Internazionali Genova,  Genova.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  A Calculus of Looping Sequences for Modelling Microbiological Systems,   Fundamenta Informaticae,  72:21-35,  2005.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  A Calculus of Looping Sequences for Modelling Microbiological Systems,   Proc. of CS&P'05, 14th Int. Workshop on Concurrency Specification and Programming,   volume 51½005,  pages 29-40,  2005,  Warsaw University.

R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  A Probabilistic Model for Molecular Systems,   Fundamenta Informaticae,  67:13-27,  2005.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions,   Proc. of CMSB'05, 3rd Int. Workshop on Computational Methods in Systems Biology,  pages 167-178,  2005.

S. Berardi.  Classical Logic as Limit Completion,   MSCS,  15(01):167-200,  2005.

L. Bettini, R. De Nicola, D. Falassi, M. Lacoste and M. Loreti.  A Flexible and Modular Framework for Implementing Infrastructures for Global Computing,   Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS),  LNCS,   volume 3543,  pages 181--193,  2005,  Springer.

L. Bettini, V. Bono and B. Venneri.  MoMi - A Calculus for Mobile Mixins,   Acta Informatica,  42(2/3):143-190,  2005.

L. Bettini and R. De Nicola.  Mobile Distributed Programming in X-Klaim,   Formal Methods for Mobile Computing, Advanced Lectures,  LNCS.  In M. Bernardo and A. Bogliolo ed(s).,   volume 3465,  pages 29-68,  2005,  Springer.

L. Bettini, V. Bono and S. Likavec.  Safe and Flexible Objects,   ACM Symposium on Applied Computing (SAC 2005),  2005,  ACM Press.

L. Bettini, V. Bono and S. Likavec.  Safe and Flexible Objects with Subtyping,   Journal of Object Technology - JOT,  4(10),  2005.

L. Bettini, V. Bono and S. Likavec.  Safe object composition in the presence of subtyping,   ICTCS 2005,  LNCS,   volume 3701,  pages 128-142,  2005,  Springer-Verlag.

L. Bettini, S. Capecchi and B. Venneri.  Translating Double-Dispatch into Single-Dispatch,   Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004),  ENTCS,   volume 138,   number 2,  pages 59-78,  2005,  Elsevier.

V. Bono, M. Bugliesi and S. Drossopoulou Editor(s).  Workshop on Object-Oriented Developments (WOOD 2004),  ENTCS,   volume 138,   number 2,  2005,  Elsevier.

N. Busi and L. Padovani.  A Distributed Implementation of Mobile Nets as Mobile Agents,   Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05),  LNCS,   volume 3535,  pages 259-274,  2005,  Springer.

M. Coppo, F. Cozzi, M. Dezani-Ciancaglini, E. Giovannetti and R. Pugliese.  A Mobility Calculus with Local and Dependent Types,   Processes, Terms and Cycles: Steps on the Road to Infinity,  LNCS.  In Middeldorp, Aart and van Oostrom, Vincent and van Raamsdonk, Femke and de Vrijer, Roel ed(s).,   volume 3838,  pages 404--444,  2005,  Springer-Verlag.

M. Coppo and F. Damiani Editor(s).  International Workshop on Intersection Types and Related Systems (ITRS 2004),  ENTCS,   volume 136,  2005,  Elsevier.

P. Coppola, U. Dal Lago and S. Ronchi Della Rocca.  Elementary Affine Logic and the Call by Value Lambda Calculus ,   TLCA'05,  Lecture Notes in Computer Science.  In Pawel Urzyczyn ed(s).,   volume 3461,  pages 131-145,  2005,  Springer.

P. Coppola and S. Ronchi Della Rocca.  Principal Typing for Lambda Calculus in Elementary Affine Logic,   Fundamenta Informaticae,  65(1-2):87-112,  2005.

J. Dünnweber, S. Gorlatch, S. Campa, M. Aldinucci and M. Danelutto.  Behavior Customization of Parallel Components Application Programming,   number TR-0002,  Institute on Programming Model, CoreGRID - Network of Excellence,  2005.

J. Dünnweber, S. Gorlatch, S. Campa, M. Aldinucci and M. Danelutto.  Using Code Parameters for Component Adaptations,   Proc. of the Integrated Research in Grid Computing Workshop.  In Sergei Gorlatch and Marco Danelutto ed(s).,   volume TR-05-22,  pages 49-57,  2005,  Università di Pisa, Dipartimento di Informatica,  Pisa, Italy.

F. Damiani.  Rank-2 Intersection and Polymorphic Recursion,   TLCA'05,  LNCS 3461,  pages 146-161,  2005,  Springer.

M. Dezani-Ciancaglini, N. Yoshida, A. Ahern and S. Drossopoulou.  $$L_doos: a Distributed Object-Oriented language with Session types,   TGC 2005,  LNCS.  In Rocco De Nicola and Davide Sangiorgi ed(s).,   volume 3705,  pages 299--318,  2005,  Springer-Verlag.

M. Dezani-Ciancaglini, F. Honsell and Y. Motohama.  Compositional Characterization of $\lambda$-terms using Intersection Types,   Theoretical Computer Science,  340(3):459-495,  2005.

D. Dougherty, S. Ghilezan, P. Lescanne and S. Likavec.  Strong Normalization of the Dual Classical Sequent Calculus,   12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR '05),  LNAI,   volume 3835,  pages 169-183,  2005,  Springer-Verlag.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  A Classification of Time and/or Probability Dependent Security Properties,   Proc. of QAPL'05, 3rd Int. Workshop on Quantitative Aspects of Programming Languages,  ENTCS,   volume 153,  pages 177-193,  2005,  Elsevier.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Timed Automata with Data Structures for Distributed Systems Design and Analysis,   Proc. of SEFM'05, 3rd Int. Conference on Software Engineering and Formal Methods,  pages 44-53,  2005,  IEEE Computer Society Press.

S. Likavec.  Types for object-oriented and functional programming languages,  Università di Torino, Italy, ENS Lyon, France,  2005.

L. Liquori and S. Ronchi Della Rocca.  Towards an Intersection Typed System a la Church ,   ITRS'04,   volume 136,  pages 43-56,  2005,  Electronic Notes in Theoretical Computer Science.

L. Padovani.  Compilation of Generic Regular Path Expressions Using C++ Class Templates,   Proceedings of the Compiler Construction (CC'05),  LNCS,   volume 3443,  pages 27-42,  2005,  Springer.

L. Paolini, E. Pimentel and S. Ronchi Della Rocca.  Lazy strong normalization,   Proceedings of Intersection Types and Related Systems (ITRS'04), a Satellite Workshop of the Symposium on Logic in Computer Science (LICS'04),  Electronic Notes in Theoretical Computer Science,   volume 136C,  pages 103-116,  2005.

M. Pasin, P. Kuonen, M. Danelutto and M. Aldinucci.  Skeleton Parallel Programming and Parallel Objects,   Proc. of the Integrated Research in Grid Computing Workshop.  In Sergei Gorlatch and Marco Danelutto ed(s).,   volume TR-05-22,  pages 115-124,  2005,  Università di Pisa, Dipartimento di Informatica,  Pisa, Italy.

E. Pimentel, S. Ronchi Della Rocca and L. Roversi.  Intersection Types: a proof-theoretical approach,   Proc. of STRUCTURES AND DEDUCTION - ICALP Workshop, Lisbon July 16-17,  pages 189 -- 204,  2005.

S. Spinella and A.M. Anile.  A Posteriori Multiobjective Optimization for Parameter Extraction of Microelectronic Devices,   SERIES ON ADVANCES IN MATHEMATICS FOR APPLIED SCIENCES,  69:520,  2005.

A. Troina, A. Aldini and R. Gorrieri.  Towards a Formal Treatment of Secrecy against Computational Adversaries,   Proc. of GC'04, 2nd Int. Workshop on Global Computing,  LNCS,   volume 3267,  pages 77-92,  2005,  Springer.

2004

M. Aldinucci, S. Campa, P. Ciullo, M. Coppola, M. Danelutto, P. Pesciullesi, R. Ravazzolo, M. Torquati, M. Vanneschi and C. Zoccolo.  A framework for experimenting with structure parallel programming environment design,   Parallel Computing: Software Technology, Algorithms, Architectures and Applications (Proc. of PARCO 2003, Dresden, Germany),  Advances in Parallel Computing.  In G. R. Joubert and W. E. Nagel and F. J. Peters and W. V. Walter ed(s).,   volume 13,  pages 617-624,  2004,  Elsevier.

M. Aldinucci, M. Coppola, M. Danelutto, M. Vanneschi and C. Zoccolo.  ASSIST as a Research Framework for High-performance Grid Programming Environments,   number TR-04-09,  Università di Pisa, Dipartimento di Informatica, Italy,  2004.

M. Aldinucci and M. Torquati.  Accelerating Apache farms through ad-HOC distributed scalable objects repository,   number TR-04-08,  Università di Pisa, Dipartimento di Informatica, Italy,  2004.

M. Aldinucci and M. Torquati.  Accelerating apache farms through ad-HOC distributed scalable object repository,   Proc. of 10th Intl. Euro-Par 2004 Parallel Processing,  LNCS.  In Marco Danelutto and Marco Vanneschi and Domenico Laforenza ed(s).,   volume 3149,  pages 596-605,  2004,  Springer.

M. Aldinucci and M. Danelutto.  An operational semantics for skeletons,   Parallel Computing: Software Technology, Algorithms, Architectures and Applications (Proc. of PARCO 2003, Dresden, Germany),  Advances in Parallel Computing.  In G. R. Joubert and W. E. Nagel and F. J. Peters and W. V. Walter ed(s).,   volume 13,  pages 63-70,  2004,  Elsevier,  Germany.

M. Aldinucci, M. Danelutto and J. Dünnweber.  Optimization Techniques for Implementing Parallel Skeletons in Grid Environments,   Proc. of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming.  In S. Gorlatch ed(s).,  pages 35-47,  2004,  Universität Münster, Germany,  Stirling, Scotland, UK.

M. Aldinucci, S. Campa, M. Coppola, S. Magini, P. Pesciullesi, L. Potiti, R. Ravazzolo, M. Torquati and C. Zoccolo.  Targeting heterogeneous architectures in ASSIST: Experimental results,   Proc. of 10th Intl. Euro-Par 2004 Parallel Processing,  LNCS.  In Marco Danelutto and Marco Vanneschi and Domenico Laforenza ed(s).,   volume 3149,  pages 638-643,  2004,  Springer.

F. Alessi, M. Dezani-Ciancaglini and S. Lusin.  Intersection Types and Domain Operators,   Theoret. Comput. Sci.,  316(1--3):25--47,  2004.

F. Alessi, M. Dezani-Ciancaglini and F. Honsell.  Inverse Limit Models as Filter Models,   HOR'04.  In Delia Kesner and Femke van Raamsdonk and Joe Wells ed(s).,  pages 3-25,  2004,  RWTH Aachen,  Aachen.

F. Alessi, F. Barbanera and M. Dezani-Ciancaglini.  Tailoring Filter Models,   Types'03,  Lecture Notes in Computer Science.  In Stefano Berardi and Mario Coppo and Ferruccio Damiani ed(s).,   volume 3085,  pages 17 -- 33,  2004,  Springer-Verlag.

D. Ancona, F. Damiani, S. Drossopoulou and E. Zucca.  Even More Principal Typings for Java-like Languages,   Electronic proceedings of FTfJP'04 (http://www.cs.ru.nl/ftfjp/),  2004.

A.M. Anile and S. Spinella.  Modeling Uncertain Sparse Data with Fuzzy B-splines,   Reliable Computing,  10(5):335--355,  2004.

F. Barbanera and U. de' Liguoro.  Type Assignement for Mobile Objects,   Proc. of COMETA'03,  ENTCS,  pages 25-38,  2004,  Elsevier.

R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A. Troina.  A Probabilistic Calculus for Molecular Systems,   Proc. of CS&P'04, 13th Int. Workshop on Concurrency Specification and Programming,  Informatik-Berichte,   volume 170,  pages 202-216,  2004,  Humboldt-Univeristaet.

S. Berardi.  A generalization of conservativity theorem for classical versus intuitionistic arithmetic,   MLQ,  50(1):41-46,  2004.

S. Berardi and C. Berline.  Building continuous webbed models for System F,   TCS,  315( ):3-34,  2004.

S. Berardi and S. Valentini.  Krivine's intuitionistic proof of Classical Completeness,   APAL,  129:93-106,  2004.

S. Berardi, M. Coppo and F. Damiani Editor(s).  Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers),   Springer,  LNCS,  3085,  2004.

L. Bettini, V. Bono and S. Likavec.  A Core Calculus of Higher-Order Mixins and Classes,   International Workshop TYPES'03 (Selected Papers),  LNCS,   volume 3085,  2004,  Springer-Verlag.

L. Bettini, V. Bono and S. Likavec.  A Core Calculus of Higher-Order Mixins and Classes [Poster Abstract],   PL track at SAC 2004,  2004,  ACM Press.

L. Bettini, V. Bono and S. Likavec.  A Core Calculus of Mixin-Based Incomplete Objects,   FOOL 11,  2004.

L. Bettini, V. Bono and S. Likavec.  A Core Calculus of Mixins and Incomplete Objects,   The OOPSLA Companion,  2004,  ACM Press.

L. Bettini.  A Java Package for Transparent Code Mobility,   FIDJI 2004, Int. Workshop on scientific engineering of distributed Java applications,  LNCS.  In N.Guelfi and G.Reggio and A.Romanovsky ed(s).,   volume 3409,  pages 112-122,  2004,  Springer.

L. Bettini, R. De Nicola, D. Falassi, M. Lacoste, L. Lopes, L. Oliveira, H. Paulino and V.T. Vasconcelos.  A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi,   Global Computing. IST/FET International Workshop, GC 2004, Revised Papers,  LNCS.  In C. Priami ed(s).,   volume 3267,  2004,  Springer.

L. Bettini, L. Cecchi, P. Crescenzi, G. Innocenti and M. Loreti.  An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses,   Proc. of IEEE International Conference on Advanced Learning Technologies,  pages 161-165,  2004,  IEEE.

L. Bettini.  Data Privacy in Tuple Space Based Mobile Agent Systems,   2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo),  ENTCS.  In R.Focardi and G.Zavattaro ed(s).,   number 568,  2004,  Elsevier.

L. Bettini, R. De Nicola and M. Loreti.  Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming,   Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering,  11(3):245-288,  2004.

L. Bettini, V. Bono and B. Venneri.  O'Klaim: a coordination language with mobile mixins,   COORDINATION'04,  LNCS,   volume 2949,  pages 20-37,  2004,  Springer-Verlag.

L. Bettini, V. Bono and B. Venneri.  Subtyping-Inheritance Conflicts: The Mobile Mixin Case,   Third IFIP International Conference on Theoretical Computer Science (TCS 2004),  2004,  Kluwer Academic Publishers.

E. Bonelli, A. Compagnoni, M. Dezani-Ciancaglini and P. Garralda.  Boxed Ambients with Communication Interfaces,   MFCS'04,  Lecture Notes in Computer Science.  In Fiala, Jirí and Koubek, Václav and Kratochvíl Jan ed(s).,   volume 3153,  pages 119 -- 148,  2004,  Springer-Verlag.

V. Bono, J. Tiuryn and P. Urzyczyn.  Type Inference for Nested Self Types (Extended Abstract),   International Workshop TYPES'03 (Selected Papers),  LNCS,   volume 3085,  2004,  Springer-Verlag.

M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti and R. Pugliese.  Dynamic and Local Typing for Mobile Ambients,   TCS'04.  In Jean-Jacques Lévy and Ernst W. Mayr and John C. Mitchell ed(s).,  pages 583-596,  2004,  Kluwer.

U. Dal Lago, S. Martini and L. Roversi.  Higer-Order Linear Ramified Recurrence,   Proceedings of TYPES'03,  Lecture Notes in Computer Science,   volume 3085,  pages 178--193,  2004,  Springer Verlag.

F. Damiani, M. Dezani-Ciancaglini and P. Giannini.  On Re-classification and Multithreading,   Journal of Objectc Technology (www.jot.fm),  3(11):5-30,  2004.

F. Damiani, M. Dezani-Ciancaglini and P. Giannini.  Re-classification and Multithreading: Fickle$$_MT,   OOPS track at SAC'04,   volume 2,  pages 1297--1304,  2004,  ACM.

M. Dezani-Ciancaglini, S. Ghilezan and S. Likavec.  Behavioural Inverse Limit Models,   Theoret. Comput. Sci.,  316(1--3):49--74,  2004.

S. Ghilezan and S. Likavec.  Extensions of the reducibility method,   4th Panhellenic Logic Symposium (PLS4),  pages 107-112,  2004.

E. Giovannetti.  Type Inference for Mobile Ambients in Prolog,   CATS 2004,  ENTCS,   volume 91,  pages 96-115,  2004.

R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina and E. Tronci.  Automatic Covert Channel Analysis of a Multilevel Secure Component,   Proc. of ICICS'04, 6th Int. Conference on Information and Communications Security,  LNCS,   volume 3269,  pages 249-261,  2004,  Springer.

R. Lanotte, A. Maggiolo-Schettini, S. Tini and A. Troina.  Verification of Hybrid Automata by Synthesis and Refinement,   Proc. of CS&P'04, 13th Int. Workshop on Concurrency Specification and Programming,  Informatik-Berichte,   volume 170,  pages 69-80,  2004,  Humboldt-Univeristaet.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Weak Bisimulation for Probabilistic Timed Automata and Applications to Security,   Proc. of FAST'04, 2nd Int. Workshop on Formal Aspects in Security and Trust,  IFIP series,   volume 173,  pages 13-26,  2004,  Springer.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Weak Bisimulation for Probabilistic Timed Automata and Applications to Security,   Proc. of QAPL'04, 2nd Int. Workshop on Quantitative Aspects of Programming Languages,  ENTCS,   volume 112,  pages 113-129,  2004,  Elsevier.

S. Lengrand, P. Lescanne, D. Dougherty, M. Dezani-Ciancaglini and S. van Bakel.  Intersection Types for Explicit Substitutions,   Information and Computation,  189(1):17--42,  2004.

P. Lescanne and S. Likavec.  Understanding untyped λμμ̃-calculus,  ENS Lyon, France,  2004.

L. Padovani, C.S. Coen and S. Zacchiroli.  A Generative Approach to the Implementation of Language Bindings for the Document Object Model,   Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE'04),  LNCS,   volume 3286,  pages 469-487,  2004,  Springer.

L. Padovani.  A Math Canvas for the GNOME Desktop,   Proceedings of the Annual GNOME User and Developer European Conference (GUADEC'04),   volume 107,  2004,  Agder University College.

L. Padovani and R. Solmi.  An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics,   Proceedings of the Mathematical Knowledge Management (MKM'04),  LNCS,   volume 3119,  pages 302-316,  2004,  Springer.

L. Padovani.  Interactive Editing of MathML Markup Using TeX Syntax,   Proceedings of the International Conference on TEX, XML, and Digital Typography (TUG'04),  LNCS,   volume 3130,  pages 125-138,  2004,  Springer.

L. Paolini and S. Ronchi Della Rocca.  A fully abstract model for the lazy lambda-calculus,   Third International symposium on Domain Theory,  2004,  Xi'an, China.

L. Paolini.  Lambda-theories: some investigations,  Università degli Studi di Genova and Université de la Méditerranée (Aix-Marseille II),  2004.

L. Paolini and S. Ronchi Della Rocca.  Lazy Logical Semantics,   Proceedings of COMETA,  Electronic Notes in Theoretical Computer Science,   volume 104C,  pages 235--251,  2004,  Elsevier, Netherlands.

L. Paolini and S. Ronchi Della Rocca.  Parametric parameter passing lambda-calculus,   Information and Computation,  189(1):87-106,  2004.

S. Ronchi Della Rocca and L. Paolini.  The Parametric $\lambda$-Calculus: a Metamodel for Computation,   Springer,  Texts in Theoretical Computer Science: An EATCS Series,  2004,  Berlin.

2003

M. Aldinucci, S. Campa, P. Ciullo, M. Coppola, M. Danelutto, P. Pesciullesi, R. Ravazzolo, M. Torquati, M. Vanneschi and C. Zoccolo.  ASSIST demo: a high level, high performance, portable, structured parallel programming environment at work,   Proc. of 9th Intl. Euro-Par 2003 Parallel Processing,  LNCS.  In H. Kosch and L. Böszörményi and H. Hellwagner ed(s).,   volume 2790,  pages 1295-1300,  2003,  Springer,  Klagenfurt, Austria.

M. Aldinucci, M. Danelutto and P. Teti.  An advanced environment supporting structured parallel programming in Java,   Future Generation Computer Systems,  19(5):611-626,  2003.

M. Aldinucci.  Dynamic shared data in structured parallel programming frameworks,  Computer Science Dept., University of Pisa,  2003.

M. Aldinucci, S. Campa, P. Ciullo, M. Coppola, S. Magini, P. Pesciullesi, L. Potiti, R. Ravazzolo, M. Torquati, M. Vanneschi and C. Zoccolo.  The Implementation of ASSIST, an Environment for Parallel and Distributed Programming,   Proc. of 9th Intl Euro-Par 2003 Parallel Processing,  LNCS.  In H. Kosch and L. Böszörményi and H. Hellwagner ed(s).,   volume 2790,  pages 712-721,  2003,  Springer,  Klagenfurt, Austria.

M. Aldinucci.  eskimo: experimenting skeletons on the shared address model,   Proc. of HLPP2003: Intl. Workshop on High-Level Parallel Programming,  pages 89-100,  2003,  Paris, France.

M. Aldinucci.  eskimo: experimenting with Skeletons in the Shared Address Model,   Parallel Processing Letters,  13(3):449-460,  2003.

F. Alessi, F. Barbanera and M. Dezani-Ciancaglini.  Types and Computational Rules,   Wollic'03,  ENTCS,   volume 84,  pages 1-15,  2003,  Elsevier.

C. Anderson, F. Barbanera and M. Dezani-Ciancaglini.  Alias and Union Types for Delegation,   Annals Of Mathematics, Computing and Teleinformatics,  1:1--18,  2003.

C. Anderson, F. Barbanera, M. Dezani-Ciancaglini and S. Drossopoulou.  Can Addresses be Types? (a case study: Objects with Delegation),   WOOD'03,  ENTCS,   volume 82(8),  pages 1--22,  2003,  Elsevier.

A.M. Anile, S. Spinella and S. Rinaudo.  Stochastic response surface method and tolerance analysis in microelectronics,   COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering,  22(2):314--327,  2003.

A. Asperti, L. Padovani, C.S. Coen, F. Guidi and I. Schena.  Mathematical Knowledge Management in HELM,   Annals of Mathematics and Artificial Intelligence,  38(1-3):27-46,  2003.

S. van Bakel and U. de' Liguoro.  Logical Semantics for the First Order Sigma-Calculus,   Proc. of ICTCS'03,  LNCS 2841,  pages 202-215,  2003,  Springer.

F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini and V. Sassone.  A Calculus of Bounded Capacities,   Asian'03,  LNCS,   volume 2896,  pages 205-223,  2003,  Springer.

F. Barbanera and S. Berardi.  A full continuous model of polymorphism,   TCS,  290(1):407-428,  2003.

L. Bettini and R. De Nicola.  A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces,   Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications,  LNCS.  In N. Guelfi and E. Astesiano and G. Reggio ed(s).,   number 2604,  pages 175-184,  2003,  Springer.

L. Bettini.  A Java package for class and mixin mobility in a distributed setting,   Proc. of FIDJI'03,  LNCS.  In N.Guelfi and E.Astesiano and G.Reggio ed(s).,   volume 2952,  pages 12-22,  2003,  Springer.

L. Bettini, S. Capecchi and B. Venneri.  Extending Java to dynamic object behaviors,   Proc of WOOD 2003,  ENTCS,   number 82,  2003.

L. Bettini.  Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations,  2003.

L. Bettini, M. Loreti and B. Venneri.  On Multiple Inheritance in Java,   Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002.  In Theo D'Hondt ed(s).,  pages 1-15,  2003,  Kluwer Academic Publishers.

L. Bettini, V. Bono and B. Venneri.  Subtyping Mobile Classes and Mixins,   FOOL 10,  2003.

L. Bettini, V. Bono, R.D. Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto and B. Venneri.  The Klaim Project: Theory and Practice,   Global Computing - Programming Environments, Languages, Security and Analysis of Systems,  LNCS,   volume 2874,  2003,  Springer-Verlag.

V. Bono.  Extensible Objects: a Tutorial,   Global Computing - Programming Environments, Languages, Security and Analysis of Systems,  LNCS,   volume 2874,  2003,  Springer-Verlag.

V. Bono and M. Bugliesi Editor(s).  Workshop on Object-Oriented Developments (WOOD 2003),  ENTCS,   volume 82,   number 2,  2003,  Elsevier.

M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti and I. Salvo.  M3: Mobility Types for Mobile Processes in Mobile Ambients,   CATS 2003,  ENTCS,   volume 78,  pages 1--34,  2003.

P. Coppola and S. Ronchi Della Rocca.  Principal Typing for Elementary Affine Logic,   TLCA 2003,  Lecture Notes in Computer Science.  In Hofmann M. ed(s).,   volume 2701,  pages 90-104,  2003,  Springer-Verlag,  Berlin.

F. Damiani.  A conjunctive type system for useless-code elimination,   Mathematical Structures in Computer Science,  13():157-197,  2003.

F. Damiani and P. Giannini.  Alias types for ``environment-aware'' computations,   WOOD'03,  ENTCS,   volume 82.8,  2003,  Elsevier.

F. Damiani.  Rank 2 intersection types for local definitions and conditional expressions,   ACM Transactions On Programming Languages and Systems,  25(4):401--451,  2003.

F. Damiani.  Rank 2 intersection types for modules,   PPDP'03,  pages 67--78,  2003,  ACM.

F. Damiani, S. Drossopoulou and P. Giannini.  Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract),   ICTCS'03,  LNCS 2841,  pages 97--110,  2003,  Springer.

M. Dezani-Ciancaglini, F. Honsell and F. Alessi.  A Complete Characterization of Complete Intersection-Type Preorders,   ACM TOCL,  4(1):120--147,  2003.

M. Dezani-Ciancaglini, P. Severi and F.J. de Vries.  Infinitary Lambda Calculus and Discrimination of Berarducci Trees,   Theoretical Computer Science,  298(2):275-302,  2003.

M. Dezani-Ciancaglini and S. Ghilezan.  Lambda Models Characterizing Computational Behaviours of Terms,   Schedae Informaticae,  12:35-49,  2003.

M. Dezani-Ciancaglini and S. Ghilezan.  Two Behavioural Lambda Models,   TYPES'02,  LNCS,   volume 2246,  pages 127--147,  2003,  Springer.

S. Ghilezan and S. Likavec.  Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types,   ITRS '02,  Electronic Notes in Theoretical Computer Science.  In Steffen van Bakel ed(s).,   volume 70,  2003,  Elsevier.

E. Giovannetti.  Ambient Calculi with Types: a Tutorial,   Global Computing - Programming Environments, Languages, Security and Analysis of Systems, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers,  LNCS.  In Corrado Priami ed(s).,   volume 2874,  pages 151-191,  2003,  Springer-Verlag.

R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina and E. Tronci.  Automatic Analysis of the NRL Pum,   MEFISTO Project 2003 (Formal Methods for Security and Time),  ENTCS,   volume 99,  pages 245-266,  2003,  Elsevier.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security,   Proc. of SEFM'04, 2nd Int. Conference on Software Engineering and Formal Methods,  pages 114-121,  2003,  IEEE Computer Society Press.

R. Lanotte, A. Maggiolo-Schettini and A. Troina.  Weak Bisimulation for Probabilistic Timed Automata and Applications to Security,   Proc. of SEFM'03, 1st Int. Conference on Software Engineering and Formal Methods,  pages 34-43,  2003,  IEEE Computer Society Press.

I. Margaria and M. Zacchi.  A Filter Model for Safe Ambients,   COMETA'03,  ENTCS,  2003,  Elsevier.

L. Padovani.  MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality,   The Communications of the T,  24(1):53-61,  2003.

L. Padovani.  On the Roles of L^ATEX and MathML in Encoding and Processing Mathematical Expressions,   Proceedings of the Mathematical Knowledge Management (MKM'03),  LNCS,   volume 2594,  pages 66-79,  2003,  Springer.

A. Troina, A. Aldini and R. Gorrieri.  A Probabilistic Formulation of Imperfect Cryptography,   Proc. of WISP'03, 1st IFIP WG 1.7 Int. Workshop on Issues in Security and Petri Nets,  pages 41-55,  2003,  Eindhoven University of Technology.

A. Troina, A. Aldini and R. Gorrieri.  Approximating Imperfect Cryptography in a Formal Model,   MEFISTO Project 2003 (Formal Methods for Security and Time),  ENTCS,   volume 99,  pages 183-203,  2003,  Elsevier.

2002

M. Aldinucci and M. Danelutto.  An operational semantic for skeletons,   number TR-02-13,  Università di Pisa, Dipartimento di Informatica, Italy,  2002.

M. Aldinucci.  Automatic Program Transformation: The Meta Tool for Skeleton-based Languages,   Constructive Methods for Parallel Programming,  Advances in Computation: Theory and Practice.  In Sergei Gorlatch and Christian Lengauer ed(s).,  pages 59-78,  2002,  Nova Science Publishers,  NY, USA.

D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini and E. Zucca.  A type preserving translation of Fickle into Java ,   TOSCA'01,  ENTCS,   volume 62,  pages ,  2002,  Elsevier.

A. Asperti and L. Roversi.  Intuitionistic Light Affine Logic,   ACM Transactions on Computational Logic,  3(1):1 -- 39,  2002.

S. van Bakel and M. Dezani-Ciancaglini.  Characterising Strong Normalisation for Explicit Substitutions,   LATIN'02,  LNCS 2286,  pages 356-370,  2002,  Springer.

S. van Bakel, F. Barbanera, M. Dezani-Ciancaglini and F.J. de Vries.  Intersection Types for Lambda-Trees,   Theoretical Computer Science,  272(1-2):3--40,  2002.

F. Barbanera, M. Dezani-Ciancaglini, I. Salvo and V. Sassone.  A Type Inference Algorithm for Secure Ambients,   TOSCA'01,  ENTCS,   volume 62,  pages 83--101,  2002,  Elsevier.

S. Berardi and C. Berline.  Beta-eta complete models for system F,   MSCS,  12():823-874,  2002.

L. Bettini, M. Loreti and R. Pugliese.  An Infrastructure Language for Open Nets,   Proc. of SAC, Special Track on Coordination Models, Languages and Applications,  pages 373-377,  2002,  ACM Press.

L. Bettini, V. Bono and B. Venneri.  Coordinating Mobile Object-Oriented Code,   COORDINATION'02,  LNCS,   volume 2315,  pages 56-71,  2002,  Springer-Verlag.

L. Bettini, R. De Nicola and M. Loreti.  Formalizing Properties of Mobile Agent Systems,   Proc. of Coordination 2002,  LNCS.  In F. Arbab and C. Talcott ed(s).,   number 2315,  pages 72-87,  2002,  Springer.

L. Bettini, R. De Nicola and R. Pugliese.  Klava: a Java Package for Distributed and Mobile Applications,   Software - Practice and Experience,  32(14):1365-1394,  2002.

L. Bettini, R. De Nicola and M. Loreti.  Software Update via Mobile Agent Based Programming,   Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems,  pages 32-36,  2002,  ACM Press.

L. Bettini, V. Bono and B. Venneri.  Towards Object-Oriented Klaim,   TOSCA'01,  ENTCS,   volume 62,  2002,  Elsevier.

V. Bono, F. Damiani and P. Giannini.  A calculus for ``environment-aware'' computation,   F-WAN'02,  ENTCS,   volume 66.3,  2002,  Elsevier.

V. Bono and M. Kerber.  Crash in Program and Logic,   AVocS 2002, Birmingham, U.K.,  2002.

V. Bono and J. Tiuryn.  Products and Polymorphic Subtypes,   Fundamenta Informaticae,  51(1-2):13-41,  2002.

V. Bono, M. Bugliesi and S. Crafa.  Typed Interpretations of Extensible Objects,   ACM Transactions on Computational Logic (TOCL),  3(4):562-603,  2002.

P. Casarini and L. Padovani.  The GNOME DOM Engine,   Markup Languages: Theory & Practice,  3(2):173-190,  2002.

M. Coppo and M. Dezani-Ciancaglini.  A Fully Abstract Model for Higher-Order Mobile Ambients,   VMCAI'02,  LNCS 2294,  pages 255-271,  2002,  Springer.

M. Coppo and M. Dezani-Ciancaglini.  A Fully Abstract Model for Mobile Ambients,   TOSCA'01,  ENTCS 62,  pages 177--194,  2002,  Elsevier Science B. V..

M. Coppo, F. Damiani and P. Giannini.  Strictness, totality, and non-standard type inference,   Theoretical Computer Science,  272(1-2):69--112,  2002.

M. Dezani-Ciancaglini and S. Lusin.  Intersection Types and Lambda Theories,   Electronic Proceedings of WIT'02 (http://www.irit.fr/zeno/WIT2002/proceedings.shtml),  2002.

M. Dezani-Ciancaglini, A. Frisch, E. Giovannetti and Y. Motohama.  The Relevance of Semantic Subtyping,   ITRS'02,  ENTCS,   volume 70(1),  pages 1-18,  2002,  Elsevier.

M. Dezani-Ciancaglini, R.K. Meyer and Y. Motohama.  The Semantics of Entailment Omega,   Notre Dame Journal of Formal Logic,  43(3):129-145,  2002.

S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini and P. Giannini.  More Dynamic Object Re-classification: Fickle$$_II,   ACM Transactions On Programming Languages and Systems,  24(2):153-191,  2002.

U. de' Liguoro.  Subtyping in logical form,   Proc. of ITRS'02,  ENTCS 70,  2002,  Elsevier.

L. Padovani.  A Standalone Rendering Engine for MathML,   Proceedings of the MathML International Conference (MathML'02),  pages 109-114,  2002.

L. Paolini.  Call-by-Value Separability and Computability,   ICTCS'01,  Lecture Notes in Computer Science,   volume 2202,  pages 74--89,  2002,  Springer, Germany.

S. Ronchi Della Rocca.  Typed Intersection Lambda Calculus,   LTRS 2002,  Electronic Notes in Computer Science,   volume 70(1),  pages ,  2002,  Elsevier.

A. Troina.  Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici,  Università di Bologna,  2002.

Y. Xie, S.M. Watt and L. Padovani.  A Lisp Subset Based on MathML,   Proceedings of the MathML International Conference (MathML'02),  pages 101-108,  2002.

2001

M. Aldinucci, S. Gorlatch, C. Lengauer and S. Pelagatti.  Towards Parallel Programming by Transformation: The FAN Skeleton Framework,   Parallel Algorithms and Applications,  16(2-3):87-121,  2001.

F. Alessi, M. Dezani-Ciancaglini and F. Honsell.  Filter Models and Easy Terms,   ICTCS'01,  LNCS,   volume 2202,  pages 17-37,  2001,  Springer.

D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini and E. Zucca.  An effective translation of Fickle into Java (extended abstract),   ICTCS'01,  LNCS 2202,  pages 215-234,  2001,  Springer.

A. Asperti, L. Padovani, C.S. Coen and I. Schena.  Formal Mathematics on the Web,   Proceedings of the Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01),   volume 1,  pages 342-346,  2001.

A. Asperti, L. Padovani, C.S. Coen and I. Schena.  HELM and the Semantic Math-Web,   Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01),  LNCS,   volume 2152,  pages 59-74,  2001,  Springer.

A. Asperti, L. Padovani, C.S. Coen and I. Schena.  XML, Stylesheets and the Re-mathematization of Formal Content,   Proceedings of the Extreme Markup Languages Conference (EXTREME'01),  pages 17-27,  2001.

L. Bettini, M. Loreti and R. Pugliese.  Modelling Node Connectivity in Dynamically Evolving Networks,   ConCoord International Workshop on Concurrency and Coordination,  ENTCS,   volume 54,  2001,  Elsevier.

L. Bettini and R. De Nicola.  Translating Strong Mobility into Weak Mobility,   Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA),  LNCS.  In G. Picco ed(s).,   number 2240,  pages 182-197,  2001,  Springer.

L. Bettini, R. De Nicola and R. Pugliese.  X-Klaim and Klava: Programming Mobile Code,   TOSCA 2001.  In M. Lenisa and M. Miculan ed(s).,   volume 62,  2001,  Elsevier.

V. Bono and I. Salvo.  A CuCh Interpretation of an Object-Oriented Language,   BOTH '01,  Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs/volume50.html),   volume 50,  pages 161-179,  2001,  Elsevier.

V. Bono and J. Tiuryn.  Products and Polymorphic Subtypes,   CS@P'2001, Warsaw, Poland,  2001.

P. Casarini and L. Padovani.  The GNOME DOM Engine,   Proceedings of the Extreme Markup Languages Conference (EXTREME'01),  pages 45-53,  2001.

M. Coppo and D. Hirschoff.  Incremental Inference of Partial Types,   ICTCS'01,  LNCS 2202,  pages 50-73,  2001,  Springer.

M. Coppo.  Type Inference with Recursive Type Equations,   FOSSACS'01,  LNCS 2030,  pages 184-198,  2001,  Springer.

M. Dezani-Ciancaglini and S. Ghilezan.  A Lambda Model Characterizing Computational Behaviours of Terms,   RPC'01,  pages 100-118,  2001,  Tohoku University.

M. Dezani-Ciancaglini, F. Honsell and Y. Motohama.  Approximation Theorems for Intersection Type Systems,   Journal of Logic and Computation,  11(3):395-417,  2001.

M. Dezani-Ciancaglini and E. Giovannetti.  From Böhm's Theorem to Observational Equivalences: an Informal Account,   BOTH'01,  Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs/volume50.html),   volume 50,  pages 83-116,  2001,  Elsevier.

S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini and P. Giannini.  Fickle: Dynamic object re-classification,   Electronic proceedings of FOOL8 (http://www.cs.williams.edu/ kim/FOOL/),  2001.

S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini and P. Giannini.  Fickle: Dynamic object re-classification,   ECOOP'01,  LNCS 2072,  pages 130-149,  2001,  Springer.

S. Ghilezan, V. Kunčak and S. Likavec.  Reducibility method for termination properties of typed lambda terms,   Fifth International Workshop on Termination (WST '01),  pages 14-16,  2001.

U. de' Liguoro.  Characterizing convergent terms in object calculi via intersection types,   Proc. of TLCA'01,  LNCS 2044,  pages 315-328,  2001,  Springer.

R.K. Meyer, Y. Motohama and V. Bono.  Truth translations of basic relevant logics,   SEP 2001, Montreal, Canada,  2001.

A. Restivo, S. Ronchi Della Rocca and L. Roversi Editor(s).  Theoretical Computer Science - 7th Italian Conference (ICTCS 2001),   Springer Verlag,  Lecture Notes in Computer Science,  2202,  2001.

S. Ronchi Della Rocca and L. Roversi.  Intersection Logic,   Proceedings of CSL'01,  Lecture Notes in Computer Science,   volume 2412,  pages 414--428,  2001,  Springer Verlag.

2000

M. Aldinucci.  The Meta Transformation Tool for Skeleton-Based Languages,   Proc. of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming.  In S. Gorlatch and C. Lengauer ed(s).,  pages 53-68,  2000,  Fakultät für mathematik und informatik,  Uni. Passau, Germany.

S. van Bakel, M. Dezani-Ciancaglini, U. de' Liguoro and Y. Motohama.  The Minimal Relevant Logic and the Call-by-Value Lambda Calculus,   number TR-ARP-05-2000,  The Australian National University,  2000.

S. Berardi, M. Coppo, F. Damiani and P. Giannini.  Type-Based Useless-Code Elimination for Functional Programs,   PLI Workshop - SAIG'00,  LNCS 1924,  pages 172--189,  2000,  Springer.

L. Bettini, R. De Nicola, G. Ferrari and R. Pugliese.  Mobile Applications in X-KLAIM,   Proc. of WOA 2000.  In A. Corradi and A. Omicini and A. Poggi ed(s).,  pages 1-6,  2000.

L. Bettini, M. Loreti and R. Pugliese.  Structured Nets in Klaim,   Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications,   volume 1,  pages 174-180,  2000,  ACM Press.

F. Damiani and P. Giannini.  Automatic useless-code detection and elimination for HOT functional programs,   Journal of Functional Programming,  10(6):509-559,  2000.

F. Damiani.  Conjunctive Types and Useless-code Elimination (Extended Abstract),   ICALP Workshops,  Proceedings in Informatics,   volume 8,  pages 271--285,  2000,  Carleton-Scientific.

F. Damiani.  Typing local definitions and conditional expressions with rank 2 intersection,   FOSSACS'00 (part of ETAPS'00),  LNCS 1784,  pages 82-97,  2000,  Springer.

M. Dezani-Ciancaglini, F. Honsell and F. Alessi.  A Complete Characterization of Complete Intersection-Type Theories,   ITRS'00 Workshop,  Proceedings in Informatics,  pages 287-301,  2000,  Carleton-Scientific.

M. Dezani-Ciancaglini, P. Severi and F.J. de Vries.  Böhm's Theorem for Berarducci Trees,   CATS'00,  Electronic Notes in Theoretical Computer Science,   volume 31(1),  pages 34--57,  2000,  Elsevier.

M. Dezani-Ciancaglini, F. Honsell and Y. Motohama.  Compositional Characterization of Lambda-terms using Intersection Types (Extended abstract),   MFCS'00,  LNCS,   volume 1893,  pages 304-314,  2000,  Springer.

M. Dezani-Ciancaglini and I. Salvo.  Security Types for Safe Mobile Ambients,   ASIAN'00,  LNCS,   volume 1961,  pages 215-236,  2000,  Springer.

I. Margaria and M. Zacchi.  Generalized filter models,   Theoretical Computer Science,  238:363-387,  2000.

L. Paolini.  Élements de Ludique,  Institut de Mathématiques de Luminy, Université de la Méditerranée (Aix-Marseille II),  2000.

S. Ronchi Della Rocca.  Operational Semantics and Extensionality,   Principle of Declarative Programming Languages (PPDP '00),  pages 24--31,  2000,  ACM.

L. Roversi.  Light Affine Logic as a Programming Language: a First Contribution ,   Internatinal Journal of Foundations of Computer Science,  11(1):113 - 152,  2000.

1999

M. Aldinucci and M. Danelutto.  Stream parallel skeleton optimization,   Proc. of PDCS: Intl. Conference on Parallel and Distributed Computing and Systems,  pages 955-962,  1999,  IASTED,  ACTA press,  Cambridge, Massachusetts, USA.

S. Berardi.  Intuitionistic Completness for First Order Classical Logic,   Journal of Symbolic Logic,  64(1):304-312,  1999.

S. Berardi and U. de' Liguoro.  Total Functionals and Well-Founded Strategies,   Proceedings of TLCA '99,  Lecture Notes in Computer Science,   volume 1581,  pages 54-68,  1999,  Springer-Verlag.

A. Berarducci and M. Dezani-Ciancaglini.  Infinite Lambda-calculus and Types,   Theoretical Computer Science,  212( ):29-75,  1999.

V. Bono, A. Patel and V. Shmatikov.  A Core Calculus of Classes and Mixins,   ECOOP '99,  LNCS,   volume 1628,  pages 43-66,  1999,  Springer-Verlag.

V. Bono, A. Patel, V. Shmatikov and J.C. Mitchell.  A Core Calculus of Classes and Objects,   MFPS'99,  Electronic Notes in TCS,   volume 20,  pages 1-22,  1999,  Elsevier.

V. Bono, M. Bugliesi, M. Dezani-Ciancaglini and L. Liquori.  A Subtyping for Extensible, Incomplete Objects,   Fundamenta Informaticae,  38(4):325-364,  1999.

V. Bono and M. Bugliesi.  Interpretations of Extensible Objects and Types,   FCT'99,  Lecture Notes in Computer Science,   volume 1684,  pages 112-123,  1999,  Springer-Verlag.

V. Bono and M. Bugliesi.  Matching for the Lambda Calculus of Objects,   Theoretical Computer Science,  212(1-2):101-140,  1999.

V. Bono.  Type Systems for the Object-Oriented Paradigm,  Dipartimento di Informatica, Università di Torino,  C.so Svizzera 185, I 10149 Torino - Italy,  1999.

F. Damiani, M. Dezani-Ciancaglini and P. Giannini.  A Filter Model for Mobile Processes,   Mathematical Structures in Computer Science,  9(1):63-101,  1999.

F. Damiani.  Useless-code detection and elimination for PCF with algebraic Datatypes,   TLCA'99,  LNCS 1581,  pages 83-97,  1999,  Springer.

M. Dezani-Ciancaglini, J. Tiuryn and P. Urzyczyn.  Discrimination by Parallel Observers: the Algorithm,   Information and Computation,  150(2):153-186,  1999.

D. Kfoury, S. Ronchi Della Rocca, J. Tiuryn and P. Urzyczyn.  Alpha-conversion and Typability,   Information and Computation,  150:1--21,  1999.

L. Paolini and S. Ronchi Della Rocca.  Call-by-value Solvability,   Theoretical Informatics and Applications,  33(6):507-534,  1999.

A. Pravato, S. Ronchi Della Rocca and L. Roversi.  The call by value $\lambda$-calculus: a semantic investigation,   Mathematical Structures in Computer Science,  9(5):617 - 650,  1999.

L. Roversi.  A P-Time Completeness Proof for Light Logics,   Ninth Annual Conference of the EACSL (CSL'99),  Lecture Notes in Computer Science,   volume 1683,  pages 469 -- 483,  1999,  Springer-Verlag,  Madrid (Spain).

1998

M. Aldinucci, M. Coppola and M. Danelutto.  Rewriting skeleton programs: How to evaluate the data-parallel stream-parallel tradeoff,   Proc of CMPP: Intl. Workshop on Constructive Methods for Parallel Programming.  In S. Gorlatch ed(s).,  pages 44-58,  1998,  Fakultät für mathematik und informatik,  Uni. Passau, Germany.

S. Baratella and S. Berardi.  Approximating Classical Theorems,   Journal of Logic and Computation,  8(6):839-854,  1998.

S. Baratella and S. Berardi.  Constructivization via Approximations and Examples,   MSJ Memoirs,  pages 177-206,  1998.

F. Barbanera, M. Dezani-Ciancaglini and F.J. de Vries.  Types for Trees,   Proceedings of PROCOMET '98,  pages 11-29,  1998,  Chapman & Hall, London.

O. Bastonero, A. Pravato and S. Ronchi Della Rocca.  Structures for lazy semantics,   Programming Concepts and Methods (PROCOMET'98).  In Gries and de Roever ed(s).,  pages 30 -- 48,  1998,  Chaptman & Hall.

S. Berardi, M. Bezem and T. Coquand.  On the Computational Content of the Axiom of Choice,   Journal of Symbolic Logic,  63(2):600-622,  1998.

L. Bettini, R. De Nicola, G. Ferrari and R. Pugliese.  Interactive Mobile Agents in X-Klaim,   Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98),  pages 110-115,  1998,  IEEE Computer Society.

V. Bono and K. Fisher.  An Imperative First-Order Calculus with Object Extension,   ECOOP '98,  LNCS,   volume 1445,  pages 462-497,  1998,  Springer-Verlag.

M. Coppo, F. Damiani and P. Giannini.  Inference based analysis of functional programs: dead-code and strictness,   Theories of Types and Proofs,  MSJ-Memoir,   volume 2,  pages 143-176,  1998,  Mathematical Society of Japan.

M. Coppo.  Recursive types: the syntactic and semantic approaches,   Theories of Types and Proofs,  pages 16-41,  1998,  Kyoto University.

F. Damiani and F. Prost.  Detecting and Removing Dead-Code using Rank 2 Intersection,   Types for Proofs and Programs (International Workshop TYPES'96, Selected Papers),  LNCS 1512,  pages 66-87,  1998,  Springer.

F. Damiani.  Non-standard type inference for functional programs,  Dipartimento di Informatica, Università di Torino,  C.so Svizzera 185 - I 10149 Torino - Italy,  1998.

M. Dezani-Ciancaglini, U. de' Liguoro and A. Piperno.  A Filter Model for Concurrent Lambda-Calculus,   Siam Journal on Computing,  27(5):1376-1419,  1998.

M. Dezani-Ciancaglini, B. Intrigila and M. Venturini-Zilli.  Böhm's Theorem for Böhm Trees,   Proceedings of ICTCS'98,  pages 1-23,  1998,  World Scientific, Oxford.

M. Dezani-Ciancaglini, E. Giovannetti and U. de' Liguoro.  Intersection Types, Lambda-models and Böhm Trees,   MSJ-Memoir Vol. 2 ``Theories of Types and Proofs'',   volume 2,  pages 45-97,  1998,  Mathematical Society of Japan.

F. Honsell, A. Pravato and S. Ronchi Della Rocca.  Structured Operational Semantics of a fragment of the language SCHEME,   Journal of Functional Programming,  8(4):335 -- 366,  1998.

L. Paolini.  La chiamata per Valore e La valutazione pigra nel $\lambda$-calcolo,  Dipartimento di Informatica, Università degli Studi di Torino,  1998.

L. Roversi.  A Polymorphic Language which is Typable and Poly-step,   Proceedings of the Asian Computing Science Conference (ASIAN'98),  Lecture Notes in Computer Science,   volume 1538,  pages 43 -- 60,  1998,  Springer Verlag,  Manila (The Philippines).

L. Roversi.  Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment,   Sixth Italian Conference on Theoretical Computer Science (ICTCS'98),  pages 24 -- 36,  1998,  World Scientific,  Prato (Italy).

1997

F. Alessi, M. Dezani-Ciancaglini and U. de' Liguoro.  A Convex Powerdomain over Lattices: its Logic and $\lambda$-Calculus,   Fundamenta Informaticae,  32:193-250,  1997.

A. Aoun, F. Barbanera, M. Dezani-Ciancaglini and S. Mirasyedioglu.  Principal Typing for Parallel and non-Deterministic Lambda Calculus,   Journal of Computing and Information Technology,  5(2):129--138,  1997.

S. van Bakel, L. Liquori, S. Ronchi Della Rocca and P. Urzyczyn.  Comparing Cubes of Typed and Type Assignment Systems,   Annals of Pure and Applied Logic,  86(3):267-303,  1997.

S. Baratella and S. Berardi.  A Parallel Game Semantic for Linear Logic,   Archive for Math. Log.,  36( ):189-217,  1997.

S. Baratella and S. Berardi.  Yet Another Constructivization of Classical logic,   Twenty-five years of Constructive Type Theory.  In G. Sambin and J. Smith ed(s).,  pages ,  1997.

F. Barbanera and S. Berardi.  The Simply-Typed Theory of beta-conversion has no Maximum Extension,   Information and Computation,  139(1):57-61,  1997.

F. Barbanera, S. Berardi and M. Schivalocchi.  ``Classical'' programming-with-proofs in $\lambda Sym$_PA:an analysis of non-confluence,   Proceedings of TACS'97,  Lecture Notes in Computer Science,   volume 1281,  1997,  Springer-Verlag.

S. Berardi and L. Boerio.  Minimum Information Code in a Pure Functional Language with Data Types,   TLCA 97, Nancy, France, in: LNCS 1210,  pages 30-45,  1997.

V. Bono and M. Bugliesi.  Matching Constraints for the Lambda Calculus of Objects,   TLCA '97,  Lecture Notes in Computer Science,   volume 1210,  pages 46-62,  1997,  Springer-Verlag.

V. Bono, M. Bugliesi, M. Dezani-Ciancaglini and L. Liquori.  Subtyping Constraints for Incomplete Objects,   TAPSOFT '97,  Lecture Notes in Computer Science,   volume 1214,  pages 465-477,  1997,  Springer-Verlag.

M. Coppo, F. Damiani and P. Giannini.  On Strictness and Totality,   TACS'97,  LNCS 1281,  pages 138--164,  1997,  Springer.

F. Damiani and P. Giannini.  An Inference Algorithm for Strictness,   TLCA'97,  LNCS 1210,  pages 129-146,  1997,  Springer.

M. Dezani-Ciancaglini, J. Tiuryn and P. Urzyczyn.  Discrimination by Parallel Observers,   Proceedings of LICS'97,  pages 396-407,  1997,  IEEE Comp. Soc. Press, Los Alamitos.

S. Ronchi Della Rocca and L. Roversi.  Lambda calculus and Intuitionistic Linear Logic,   Studia Logica,  59(3),  1997.

1996

F. Barbanera and S. Berardi.  A Constructive Valuation Semantics for Classical Logic,   Notre Dame Journal of Formal Logic,  37(3):462-482,  1996.

F. Barbanera and S. Berardi.  A Symmetric Lambda-Calculus for Classical Program Extraction,   Information and Computation,  125(2):103-117,  1996.

F. Barbanera and S. Berardi.  Proof-irrelevance out of Excluded-middle and Choice in the Calculus of Constructions,   Journal of Functional Programming,  6(3):519-525,  1996.

S. Berardi.  Pruning Simply Typed Lambda Terms,   Journal of Logic and Computation,  6(5):663-681,  1996.

S. Berardi and M. Coppo Editor(s).  Types for Proofs and Programs 95',   Springer,  LNCS,  1158,  1996.

V. Bono, M. Bugliesi and L. Liquori.  A Lambda Calculus of Incomplete Objects,   MFCS '96,  Lecture Notes in Computer Science,   volume 1113,  pages 218-229,  1996,  Springer-Verlag.

M. Coppo, F. Damiani and P. Giannini.  Refinement Types for Program Analysis,   SAS'96,  LNCS 1145,  pages 143-158,  1996,  Springer.

M. Dezani-Ciancaglini, U. de' Liguoro and A. Piperno.  Filter Models for Conjunctive-Disjunctive Lambda-Calculi,   Theoretical Computer Science,  170(1-2):83-128,  1996.

M. Dezani-Ciancaglini.  Logical Semantics for Concurrent Lambda-Calculus,  Nijmegen University,  1996.

P. Giannini and S. Ricaldone.  Multiple Inheritance and Class Composition,  Dipartimento di Informatica, Universita' di Torino.,  1996,  Torino.

U. de' Liguoro.  PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke),  Laboratoire d'Informatique de l'Ecole Normale Supérieure,  1996,  45 r. d'Ulm 75230 Paris Cedex 05.

L. Roversi.  a Type-Free Resource-Aware $\lambda$-Calculus,   Fifth Annual Conference of the EACSL (CSL'96),  Lecture Notes in Computer Science,   volume 1258,  pages 399 -- 413,  1996,  Springer-Verlag,  Utrecht (The Nederland).

1995

F. Barbanera and S. Berardi.  A Strong Normalization Result for Classical Logic,   Annals of Pure and Applied Logic,  76:99-116,  1995.

F. Barbanera, M. Dezani-Ciancaglini and U. de' Liguoro.  Intersection and Union Types: Syntax and Semantics,   Information and Computation,  119:202-230,  1995.

S. Berardi, M. Bezem and T. Coquand.  A realization of the negative interpretation of the Axiom of Choice,   Proceedings TLCA95, Edinburgh, in: LNCS 902,  pages 47-62,  1995.

S. Berardi and M. Coppo Editor(s).  Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers),   Springer,  LNCS,  1158,  1995.

S. Berardi and L. Boerio.  Using Subtyping in Program Optimization,   Proceedings TLCA95, Edinburgh, in: LNCS 902,  pages 63-77,  1995.

V. Bono and L. Liquori.  A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects,   CSL '94,  Lecture Notes in Computer Science,   volume 933,  pages 16-30,  1995,  Springer-Verlag.

M. Coppo and P. Giannini.  Principal Types and Unification For a Simple Intersection Type System ,   Information and Computation,  122:70--96,  1995.

U. de' Liguoro and A. Piperno.  Nondeterministic Extensions of Untyped $\lambda$-Calculus,   Information and Computation,  149-177(122),  1995.

I. Margaria and M. Zacchi.  Infinite Intersection Type Theory,  Dipartimento di Informatica- Universita' di Torino,  1995.

I. Margaria and M. Zacchi.  Principal Typing in a $\forall \; \wedge$ Discipline,   Journal of Logic Computation,  5:367-381,  1995.

A. Pravato and L. Roversi.  $\Lambda$_! considered both as a paradigmatic language and as a meta-language,   Fifth Italian Conference on Theoretical Computer Science,  1995,  Salerno (Italy).

A. Pravato, S. Ronchi Della Rocca and R. Luca.  Categorical Semantics of the call-by-value lambda calculus,   Proc. of TLCA'95, Second International Symposium on Typed Lambda Calculus and Applications,  Lecture Notes in Computer Science,   volume 902,  pages 381-396,  1995,  Springer-Verlag.

L. Roversi.  Semantics of lambda-calculi designed from Intuitionistic linear logic,  Dipartimento di Informatica, Università di Pisa,  C.so Italia 40 -- 56125 Pisa -- Italy,  1995.

1994

S. van Bakel, L. Liquori, S. Ronchi Della Rocca and P. Urzyczyn.  Comparing Cubes,   Proc. of LFCS-94, Third International Symposium on Logical Foundations of Computer Science,  LNCS.  In  ed(s).,   volume 813,  pages 353--365,  1994,  Springer-Verlag.

F. Barbanera and S. Berardi.  A Symmetric Lambda-Calculus for Classical Program Extraction,   Proceedings of TACS '94,  Lecture Notes in Computer Science,   volume 789,  1994,  Springer-Verlag.

F. Cardone, M. Dezani-Ciancaglini and U. de' Liguoro.  Combining Type Disciplines,   Annals of Pure and Applied Logic,  66:197--230,  1994.

F. Damiani and P. Giannini.  A Decidable Intersection Type System based on Relevance,   TACS'94,  LNCS 789,  pages 707-725,  1994,  Springer.

M. Dezani-Ciancaglini, U. de' Liguoro and A. Piperno.  Fully Abstract Semantics for Concurrent Lambda-calculus,   TACS '94,  LNCS,   volume 789,  pages 16-35,  1994,  Springer.

P. Giannini and S. Ronchi Della Rocca.  A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline,   Information and Computation,  110:115 - 173,  1994.

A. Piperno and S. Ronchi Della Rocca.  Type Inference and Extensionality,   Proceeding of LICS'94,  pages 196 - 205,  1994,  IEEE Computer Society Press.

1993

F. Barbanera and S. Berardi.  Extracting Constructive Content from Classical Logic via Control-like Reductions,   Proceedings of first international Conference on Typed Lambda Calculus and Applications TLCA'93,  Lecture Notes in Computer Science,   volume 664,  pages 45-59,  1993,  Springer-Verlag.

F. Barbanera and S. Berardi.  Witness Extraction in Classical Logic through Normalization,   Logical Environments.  In G.Huet and G.Plotkin ed(s).,  1993,  Cambridge University Press.

S. Berardi.  An application of PER model to Program Extraction,   Mathematical Structures in Computer Science,  3( ):309-331,  1993.

S. Berardi.  Encoding of Data Types in Pure Construction Calculus: a semantic justification,   Logical Environments.  In G. Huet and G. Plotkin ed(s).,  pages 30-60,  1993.

P. Giannini, F. Honsell and S. Ronchi Della Rocca.  Type Inference: some results, some problems,   Fundamenta Informaticæ,  19(1-2):87 - 125,  1993.

1992

F. Barbanera and S. Berardi.  A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction,   Proceedings of Colloquium on Trees in Algebra and programming (CAAP '92),  Lecture Notes in Computer Science.  In J.-C. Raoult ed(s).,   volume 581,  pages 1-23,  1992,  Springer Verlag.

F. Barbanera and S. Berardi.  Continuations and Simple Types: A strong Normalization Result,   Proceedings of the ACM SIGPLAN Workshop on Continuations CW'92,  Report No. STAN-CS-92-1426,   volume ,  1992,  University of Stanford.

M. Coppo and P. Giannini.  A Complete Type Inference Algorithm for Simple Intersection Types,   In Colloquium on Trees Algebras and Programming, CAAP92,  LNCS582.  In Springer-Verlag ed(s).,  1992.

L. Egidi, F. Honsell and S. Ronchi Della Rocca.  Operational, denotational and logical descriptions: a case study,   Fundamenta Informaticæ,  16(2):149 - 169,  1992.

F. Honsell and S. Ronchi Della Rocca.  An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus,   Journal of Computer and Systems Science,  45:49 - 75,  1992.

B. Jacobs, I. Margaria and M. Zacchi.  Filter models with polymorphic types,   Theoretical Computer Science,  95:143 -158,  1992.

U. de' Liguoro, A. Piperno and R. Statman.  Retracts in simply typed $\lambda$-$\beta \eta$ calculus,   Proc. of IEEE-LICS '92,  pages 461-469,  1992.

L. Roversi.  A compiler from Curry-typed $\lambda$-terms to linear-$\lambda$-terms,   Theoretical Computer Science: Proceedings of the Fourth Italian Conference,  pages 330 -- 344,  1992,  World Scientific,  L'Aquila (Italy).

1991

S. Berardi.  Retraction on dI-domains as a Model of Type:Type,   Journal of Logic and Computation,  2(94):204-231,  1991.

P. Giannini and S. Ronchi Della Rocca.  Type Inference in Polymorphic Type Discipline,   In Theoretical Aspects of Computer Software, TACS91,  LNCS526.  In Springer-Verlag ed(s).,  1991.

U. de' Liguoro.  Non-deterministic untyped $\lambda$-calculus. A study about explicit non determinism in higher-order functional calculi,  Università di Roma ``La Sapienza'',  1991.

1990

F. Honsell and S. Ronchi Della Rocca.  Reasoning about interpretations in qualitative lambda models,   Proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods,  pages 505-521,  1990,  M. Broy and C.B. Jones editors, North-Holland,  Sea of Galilee, Israel.

J. Nestor, J. Newcomer, P. Giannini and D. Stone.  IDL, The Language and its Implementation,   Prentice Hall Software Series,  1990.

1988

S. Berardi.  Equalization of Finite Flowers,   Journal of Symbolic Logic,  53(1):105-123,  1988.

S. Berardi.  Equalization of Finite Flowers,   Journal of Symbolic Logic,  53(1):105-123,  1988.

P. Giannini and S. Ronchi Della Rocca.  Characterization of Typings in Polymorphic Type Discipline,   Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science,  pages 61-70,  1988,  Edinburgh.

S. Ronchi Della Rocca.  Principal Type scheme and unification for intersection type discipline,   Theoretical Computer Science,  59:1-29,  1988.

1987

S. Ronchi Della Rocca.  A Unification Semi-Algorithm for Intersection Type Schemes,   Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '87). Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87),  LNCS.  In Giorgio Levi Hartmut Ehrig, Robert Kowalski and Ugo Mantanari ed(s).,   volume 249,  pages 37--51,  1987,  Springer,  Pisa, Italy.

1984

M. Coppo, M. Dezani-Ciancaglini, F. Honsell and G. Longo.  Extended Type Structures and Filter Lambda Models,   Logic Colloquium 82.  In G. Lolli and G. Longo and A. Marcja ed(s).,  pages 241--262,  1984,  North-Holland,  Amsterdam, the Netherlands.

P. Giannini and G. Longo.  Effectively Given Domains and Lamba-Calculus Models,   Information and Control,  62:36 - 63,  1984.

S. Ronchi Della Rocca and B. Venneri.  Principal Type Scheme for an extended type theory,   Theoretical Computer Science,  28:151-169,  1984.

1983

H. Barendregt, M. Coppo and M. Dezani-Ciancaglini.  A Filter Lambda Model and the Completeness of Type Assignment,   The Journal of Symbolic Logic,  48(4):931-940,  1983.

1982

S. Ronchi Della Rocca.  Characterization Theorems for a filter lambda model,   Information and Control,  54:201 - 216,  1982.

1981

M. Coppo, M. Dezani-Ciancaglini and B. Venneri.  Functional Characters of Solvable Terms,   Math. Log. Q.,  27(2-6):45--58,  1981.

1980

M. Coppo, M. Dezani-Ciancaglini and B. Venneri.  Principal Type Schemes and Lambda-calculus Semantics,   To H.B.Curry: Essays on Combinatory Logic, Lambda-calculus and Formalism,  pages 535--560,  1980,  Academic Press.

1978

M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca.  Semi-Separability of Finite Sets of Terms in Scott's $D$_∞-models of $\lambda$-calculus,   ICALP'78,  Lecture Notes in Computer Science.  In G. Ausiello and C.Böhm ed(s).,   volume 62,  pages 142--164,  1978,  Springer-Verlag.