Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

DIPARTIMENTO   DI  INFORMATICA
Università degli Studi di Torino

Formal Methods in Computing

2017
Ancona, Giannini and Zucca"Type safe incremental rebinding"
Article.
Baillot, De Benedetti and Ronchi Della Rocca"Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus"
Article.
van Bakel, Barbanera and de' Liguoro"Intersection Types for the lambda-mu Calculus"
Article.
Barbanera, van Bakel and de' Liguoro"Orchestrated Session Compliance"
Article.
Barbanera and de' Liguoro"Retractability, games and orchestrators for session contracts"
Unpublished.
Barbanera, Lanese and de' Liguoro"Retractable and Speculative Contracts"
In proceedings.
Berardi and de' Liguoro"Non-monotonic pre-fix points and Learning"
Article.
Bono, Coppo, Dezani-Ciancaglini and Venneri"Data-driven Adaptation for Smart Sessions"
Article.
Chen, Dezani-Ciancaglini, Scalas and Yoshida"On the Preciseness of Subtyping in Session Types"
Article.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of Intersection and Union Types"
Article.
Coppo, Dezani-Ciancaglini, Díaz-Caro, Margaria and Zacchi"Retractions in Intersection Types"
In proceedings.
Damiani, Lienhardt and Paolini" A Formal Model for Multi SPLs "
In proceedings.
Giannini, Servetto and Zucca"A type and effect system for sharing"
In proceedings.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus"
Article.
Paolini, Piccolo and Roversi"A certified study of a reversible programming language"
In proceedings.
Paolini, Piccolo and Luca"A class of Recursive Permutations which is Primitive Recursive complete"
Technical report.
Paolini, Piccolo and Zorzi"QPCF: higher order languages and quantum circuits"
Technical report.
Paolini and Zorzi"qPCF: a language for quantum circuit computations"
In proceedings.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
Article.

2016
Aceto, Dezani-Ciancaglini, Gurevich, Harel, Henzinger, Italiano, Smolka, Spirakis and Thomas"EATCS Fellows' Advice to the Young Theoretical Computer Scientist"
Article.
Ancona, Giannini and Zucca"Incremental Rebinding with Name Polymorphism "
In proceedings.
Barbanera and de' Liguoro"A Game Interpretation of Retractable Contracts"
In proceedings.
Barbanera, Dezani-Ciancaglini, Lanese and de' Liguoro"Retractable Contracts"
In proceedings.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Reversible client/server interactions"
Article.
Capecchi, Castellani and Dezani-Ciancaglini"Information Flow Safety in Multiparty Sessions"
Article.
Castellani, Dezani-Ciancaglini and de' Liguoro"Secure Multiparty Sessions with Topics"
In proceedings.
Castellani, Dezani-Ciancaglini and Pérez"Self-Adaptation and Secure Information Flow in Multiparty Communications"
Article.
Cazzola, Giannini and Shaqiri"Formal Attributes Traceability in Modular Language Development Frameworks "
In proceedings.
Coppo, Dezani-Ciancaglini, Yoshida and Padovani"Global Progress for Dynamically Interleaved Multiparty Sessions"
Article.
Coppo, Dezani-Ciancaglini and Venneri"Parallel Monitors for Self-adaptive Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Partial and Complete Processes in Multiparty Sessions"
In proceedings.
Danvy and de' Liguoro"Proceedings of the Workshop on Continuations, WoC 2015, London, UK, April 12th 2015"
Conference proceedings.
De Benedetti and Ronchi Della Rocca"A type assignment for lambda-calculus complete both for FPTIME and strong normalization"
Article.
Dezani-Ciancaglini, Ghilezan, Jaksic, Pantovic and Yoshida"Denotational and Operational Preciseness of Subtyping: A Roadmap"
In proceedings.
Dezani-Ciancaglini, Ghilezan, Jaksic, Pantovic and Yoshida"Precise subtyping for synchronous multiparty sessions"
In proceedings.
Dezani-Ciancaglini and Giannini"Reversible Multiparty Sessions with Checkpoints"
In proceedings.
Dougherty, de' Liguoro, Liquori and Stolze"A Realizability Interpretation for Intersection and Union Types"
In proceedings.
Gaboardi, Paolini and Piccolo"On the reification of semantic linearity"
Article.
Giannini, Servetto and Zucca"Coupling Catch Clauses with Local Declarations"
In proceedings.
Giannini, Lamprecht and Margaria"Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework"
In proceedings.
Giannini, Servetto and Zucca"Initialize-and-catch"
In proceedings.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article.
Ronchi Della Rocca and Mogbil"Development on Implicit Computational Complexity (DICE 2013)"
Article.
Roversi"A deep inference system with a self-dual binder which is complete for linear lambda calculus"
Article.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
In proceedings.

2015
Aldinucci, Pezzi, Drocco, Spampinato and Torquati"Parallel Visual Data Restoration on Multi-GPGPUs using Stencil-Reduce Pattern"
Article.
Barbanera, van Bakel and de' Liguoro"Orchestrated Session Compliance"
In proceedings.
Barbanera and de' Liguoro"Sub-behaviour relations for session-based client/server systems"
Article.
Bartoletti, Castellani, Deniélou, Dezani-Ciancaglini, Ghilezan, Pantovic, Pérez, Thiemann, Toninho and Vieira"Combining behavioural types with security analysis "
Article.
ter Beek, Damiani, Gnesi, Mazzanti and Paolini"From Featured Transition Systems to Modal Transition Systems with Variability Constraints"
In proceedings.
Benke, Bono and Schubert"Lucretia - intersection type polymorphism for scripting languages"
In proceedings.
Bessai, Dudenhefner, Düdder, Chen, de' Liguoro and Rehof"Mixin Composition Synthesis Based on Intersection Types"
In proceedings.
Bessai, Düdder, Dudenhefner, Chen and de' Liguoro"Typing Classes and Mixins with Intersection Types"
In proceedings.
Bettini, Damiani and Schaefer"Implementing type-safe software product lines using parametric traits"
Article.
Bettini and Crescenzi"Java-- Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach"
In proceedings.
Bucciarelli, Kesner and Ronchi Della Rocca"Observability for Pair Pattern Calculi"
In proceedings.
Canavese, Cesena, Ouchary, Pedicini and Roversi"Light combinators for finite fields arithmetic "
Article.
Compagnoni, Giannini and Kelley"A computational modeling language for complex laboratory experiments "
Article.
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"A Gentle Introduction to Multiparty Asynchronous Session Types"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"On Isomorphism of ``Functional'' Intersection and Union Types"
In proceedings.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Multiparty Sessions"
Article.
Damiani, Viroli, Pianini and Beal"Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields"
In a collection.
Drocco, Misale, Pezzi, Tordini and Aldinucci"Memory-Optimised Parallel Processing of Hi-C Data"
In proceedings.
Giannini, Merelli and Troina"Interactions between Computer Science and Biology"
Article.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization for a Call-by-Value Lambda-Calculus"
In proceedings.
Laneve and Padovani"An Algebraic Theory for Web Service Contracts"
Article.
de' Liguoro"The Approximation Theorem for the Λμ-Calculus"
Article.
Padovani"Fair Subtyping for Multi-Party Session Types"
Article.
Padovani, Chen and Tosatto"Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear pi-Calculi"
In proceedings.
Padovani and Novara"Types for Deadlock-Free Higher-Order Programs"
In proceedings.
Paolini, Piccolo and Roversi"Big and Small-step Operational Semantics of the Reversible Programming Language Janus"
Technical report.
Paolini, Piccolo and Ronchi Della Rocca"Essential and relational models"
Article.
Shkaravska, Ronchi Della Rocca and van Eekelen"Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011"
Article.
Tordini, Drocco, Misale, Milanesi, Lió, Merelli and Aldinucci"Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II"
In proceedings.

2014
Aldinucci, Torquati, Drocco, Pezzi and Spampinato"An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs"
In proceedings.
Aldinucci, Ruggieri and Torquati"Decision Tree Building on Multi-Core using FastFlow"
Article.
Aldinucci, Campa, Danelutto, Kilpatrick and Torquati"Design patterns percolating to parallel programming framework implementation"
Article.
Aldinucci, Drocco, Pezzi, Misale, Tordini and Torquati"Exercising high-level parallel programming on streams: a systems biology use case"
In proceedings.
Aldinucci, Torquati, Drocco, Pezzi and Spampinato"FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs"
In proceedings.
Aldinucci, Danelutto, Kilpatrick and Torquati"FastFlow: high-level and efficient streaming on multi-core"
In a collection.
Aldinucci, Bracciali, Marschall, Patterson, Pisanti and Torquati"High-Performance Haplotype Assembly"
In proceedings.
Aldinucci, Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On designing multicore-aware simulators for systems biology endowed with on-line statistics"
Article.
Aldinucci, Torquati, Spampinato, Drocco, Misale, Calcagno and Coppo"Parallel stochastic systems biology in the cloud"
Article.
Aldinucci, Pezzi, Drocco, Tordini, Kilpatrick and Torquati"Parallel video denoising on heterogeneous platforms"
In proceedings.
Aldinucci, Campa, Danelutto, Kilpatrick and Torquati"Pool evolution: a domain specific parallel pattern"
In proceedings.
Baillot, De Benedetti and Ronchi Della Rocca"Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus"
In proceedings.
van Bakel, Barbanera and de' Liguoro"Intersection Types for the lambda-mu Calculus"
Unpublished.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Compliance for reversible client/server interactions"
In proceedings.
Barbanera and de' Liguoro"Loosening the notions of compliance and sub-behaviour in client/server systems"
In proceedings.
Berardi and de' Liguoro"Knowledge Spaces and the Completeness of Learning Strategies (full version)"
Article.
Bernardo, Damiani, Hähnle, Johnsen and Schaefer"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"
Conference proceedings.
Bettini"Developing User Interfaces with EMF Parsley"
In proceedings.
Bettini and Damiani"Generic Traits for the Java Platform"
In proceedings.
Bono, Mensa and Naddeo"Trait-oriented programming in Java 8"
In proceedings.
Bucciarelli, Kesner and Ronchi Della Rocca"The Inhabitation Problem for Non-Idempotent Intersection Types"
In proceedings.
Canavese, Cesena, Ouchary, Pedicini and Roversi"Can a light typing discipline be compatible with an efficient implementation of finite fields inversion?"
In proceedings.
Capecchi, Giachino and Yoshida"Global Escape in Multiparty Sessions "
Article.
Capecchi and Pisano"Reputation by design: using VDML and ServiceML for reputation systems modeling"
In proceedings.
Capecchi, Castellani and Dezani-Ciancaglini"Typing Access Control and Secure Information Flow in Sessions"
Article.
Castagna, Nguyen, Xu, Im, Lenglet and Padovani"Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation"
In proceedings.
Castellani, Dezani-Ciancaglini and Pérez"Self-Adaptation and Secure Information Flow in Multiparty Structured Communications"
In proceedings.
Chen"Lightening Global Types"
In proceedings.
Chen, Dezani-Ciancaglini and Yoshida"On the Preciseness of Subtyping in Session Types"
In proceedings.
Compagnoni, Giannini, Kim, Milideo and Sharma"A Calculus of Located Entities"
In proceedings.
Compagnoni, Giannini and Kelley"State-Sensitive Computational Modeling"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of "Functional" Intersection Types"
In proceedings.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Monitors for Multiparty Sessions"
In proceedings.
Damiani, Schaefer, Schuster and Winkelmann"Delta-Trait Programming of Software Product Lines"
In a collection.
Damiani, Schaefer and Winkelmann"Delta-oriented Multi Software Product Lines"
In proceedings.
Damiani, Dovland, Johnsen and Schaefer"Verifying traits: an incremental proof system for fine-grained reuse"
Article.
Dezani-Ciancaglini and Ghilezan"Preciseness of Subtyping on Intersection and Union Types"
In proceedings.
Dezani-Ciancaglini, Padovani and Pantovic"Session Type Isomorphisms"
In proceedings.
Gaboardi and Piccolo"What is a model for a semantically linear λ-calculus?"
Article.
Giannini and Shaqiri"A Provenly Correct Compilation of Functional Languages into Scripting Languages"
Technical report.
Giannini and Shaqiri"Compiling Functional to Scripting Languages"
Article.
Jakšic and Padovani"Exception Handling for Copyless Messaging"
Article.
Koscielny, Holthusen, Schaefer, Schulze, Bettini and Damiani"DeltaJ 1.5: Delta-oriented Programming for Java 1.5"
In proceedings.
de' Liguoro and Chen"Semantic Types for Classes and Mixins"
Unpublished.
Misale, Ferrero, Torquati and Aldinucci"Sequence alignment tools: one parallel pattern to rule them all?"
Article.
Padovani"Deadlock and Lock Freedom in the Linear pi-Calculus"
In proceedings.
Padovani"Type Reconstruction for the Linear pi-Calculus with Composite and Equi-Recursive Types"
In proceedings.
Padovani, Vasconcelos and Vieira"Typing Liveness in Multiparty Communicating Systems"
In proceedings.
Piccolo, Sacerdoti Coen and Tranquilli"The labelling approach to precise resource analysis on the source code, revisited"
Unpublished.
Roversi"A deep inference system with a self-dual binder which is complete for linear lambda calculus"
Article.
Spampinato, Kavasidis, Aldinucci, Pino, Giordano and Faro"Discovering Biological Knowledge by Integrating High Throughput Data and Scientific Literature on the Cloud"
Article.
Tordini, Drocco, Merelli, Milanesi, Liò and Aldinucci"NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data"
In proceedings.
Viroli and Damiani"A Calculus of Self-stabilising Computational Fields"
In a collection.

2013
Aldinucci, Campa, Tordini, Torquati and Kilpatrick"An abstract annotation model for skeletons"
In a collection.
Aldinucci, Danelutto, Kilpatrick, Montangero and Semini"Managing Adaptivity in Parallel Systems"
In a collection.
Aldinucci, Tordini, Drocco, Torquati and Coppo"Parallel stochastic simulators in system biology: the evolution of the species"
In proceedings.
Aldinucci, Campa, Kilpatrick and Torquati"Structured Data Access Annotations for Massively Parallel Computations"
In proceedings.
Aldinucci, Campa, Danelutto, Kilpatrick and Torquati"Targeting Distributed Systems in FastFlow"
In proceedings.
Alessi, Barendregt, Dekkers, Dezani-Ciancaglini, Honsell, Severi and Statman"Intersection Types"
In a collection.
Amadio, Ayache, Bobot, Boender, Campbell, Garnier, Madet, McKinna, Mulligan, Piccolo, Pollack, Régis-Gianas, Coen, Stark and Tranquilli"Certified Complexity (CerCo)"
In proceedings.
Ancona, Giannini and Zucca"Incremental Rebinding"
In proceedings.
Ancona, Giannini and Zucca"Reconciling positional and nominal binding"
In proceedings.
van Bakel, Barbanera and de' Liguoro"Characterisation of Strongly Normalising λμ-Terms"
In proceedings.
Beckert, Damiani, de Boer and Bonsangue"Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers"
Conference proceedings.
Berardi and de' Liguoro"Non-monotonic pre-fix points and Learning"
In proceedings.
Bergel and Bettini"Artifact evaluation (summary)"
In proceedings.
Bergel and Bettini"Generic Programming in Pharo"
In a collection.
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri" Deriving Session and Union Types for Objects "
Article.
Bettini, Damiani, Geilmann and Schaefer"Combining traits with boxes and ownership types in a Java-like setting"
Article.
Bettini, Damiani and Schaefer"Compositional type checking of delta-oriented software product lines"
Article.
Bettini"Implementing Domain-Specific Languages with Xtext and Xtend"
Book.
Bettini"Implementing Java-like languages in Xtext with Xsemantics"
In proceedings.
Bettini, Capecchi and Damiani"On flexible dynamic trait replacement for Java-like languages"
Article.
Bettini, Caselli and Guidieri"Parsley for your EMF Applications"
In proceedings.
Bettini and Damiani"Pure Trait-based Programming on the Java Platform"
In proceedings.
Bettini, Damiani, Schaefer and Strocco"TraitRecordJ: A programming language with traits and records "
Article.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Type Directed Semantics for the Calculus of Looping Sequences"
Article.
Bocchi, Chen, Demangeon, Honda and Yoshida"Monitoring Networks through Multiparty Session Types"
In proceedings.
Bono, Padovani and Tosatto"Polymorphic Types for Leak Detection in a Session-Oriented Functional Language"
In proceedings.
Chen"Theories for Session-based Governance for Large-scale Distributed Systems"
PhD thesis.
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Towards Isomorphism of Intersection and Union Types"
In proceedings.
Damiani, Gladisch and Tyszberowicz"Refinement-based Testing of Delta-oriented Product Lines"
In proceedings.
De Benedetti and Ronchi Della Rocca"Bounding normalization time through intersection types"
In proceedings.
Giannini and Shaqiri"An intermediate language for compilation to scripting languages"
In proceedings.
Giannini and de Vink"The Third International Workshop on Interactions between Computer Science and Biology, CS2Bio 2012"
Article.
Graham-Lengrand and Paolini"Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012"
Conference proceedings.
Hammond, Aldinucci, Brown, Cesarini, Danelutto, González-Vélez, Kilpatrick, Keller, Rossbory and Shainer"The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems"
In a collection.
Laneve and Padovani"An Algebraic Theory for Web Service Contracts"
In proceedings.
Misale, Aldinucci and Torquati"Memory affinity in multi-threading: the Bowtie2 case study"
In proceedings.
Padovani"Fair Subtyping for Open Session Types"
In proceedings.
Padovani"From Lock Freedom to Progress Using Session Types"
In proceedings.
Paolini"Foundational principles of reversible and quantum computing: Quantum Computing"
Unpublished.
Ronchi Della Rocca"Proceedings of 22nd Annual Conference on Computer Science Logic (CSL 2013), Torino, September 2-5, 2013 "
Conference proceedings.
Sciacca, Spinella, Calcagno, Damiani and Coppo"Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations"
Article.
Viroli, Damiani and Beal"A Calculus of Computational Fields"
In a collection.

2012
Accattoli and Paolini"Call-by-Value Solvability, Revisited"
In proceedings.
Aldinucci, Spampinato, Drocco, Torquati and Palazzo"A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising"
In proceedings.
Aldinucci, Danelutto, Kilpatrick, Meneghin and Torquati"An Efficient Unbounded Lock-Free Queue for Multi-core Systems"
In proceedings.
Aldinucci, Danelutto and Torquati"FastFlow tutorial"
Technical report.
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Aldinucci, Danelutto, Anardu, Torquati and Kilpatrick"Parallel patterns + Macro Data Flow for multi-core programming"
In proceedings.
Aldinucci, Danelutto, Kilpatrick and Torquati"Targeting heterogeneous architectures via macro data flow"
Article.
Audrito, Demo and Giovannetti"The Role of Contests in Changing Informatic Education: A Local View"
Article.
Beckert, Damiani and Gurov"Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers"
Conference proceedings.
Berardi and de' Liguoro"Interactive realizers. A new approach to program extraction from non constructive proofs"
Article.
Berardi and de' Liguoro"Knowledge Spaces and the Completeness of Learning Strategies"
In proceedings.
Bergel and Bettini"Generics and Reverse Generics for Pharo"
In proceedings.
Bettini, Stoll, Völter and Colameo"Approaches and Tools for Implementing Type Systems in Xtext"
In proceedings.
Bettini"EMF Components - Filling the Gap between Models and UI"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"A Calculus of Looping Sequences with Local Rules"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Typed Stochastic Semantics for the Calculus of Looping Sequences"
Article.
Bono, Capecchi, Castellani and Dezani-Ciancaglini" A Reputation System for Multirole Sessions"
In proceedings.
Bono, Kusmierek and Mulatero"Magda: A New Language for Modularity"
In proceedings.
Bono and Padovani"Typing Copyless Message Passing"
Article.
Buscemi, Coppo, Dezani-Ciancaglini and Montanari"Constraints for Service Contracts"
In proceedings.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
Article.
Cesena, Pedicini and Roversi"Typing a Core Binary-Field Arithmetic in a Light Logic"
In proceedings.
Chen and Honda"Specifying Stateful Asynchronous Properties for Distributed Programs"
In proceedings.
Ciobanu and Troina"Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains"
In proceedings.
Compagnoni, Dezani-Ciancaglini, Giannini, Sauer, Sharma and Troina"Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions"
In proceedings.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Simulation techniques for the calculus of wrapped compartments"
Article.
Damiani, Padovani and Schaefer"A Formal Foundation for Dynamic Delta-Oriented Software Product Lines"
In proceedings.
Damiani, Owe, Dovland, Schaefer, Johnsen and Yu"A transformational proof system for delta-oriented programming"
In proceedings.
Damiani, Poetzsch-Heffter and Welsch"A type system for checking specialization of packages in object-oriented programming"
In proceedings.
Damiani and Schaefer"Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines"
In a collection.
Damiani, Giannini, Ricci and Viroli"Standard type soundness for agents and artifacts"
Article.
Dezani-Ciancaglini, Horne and Sassone"Tracing where and who provenance in Linked Data: a calculus"
Article.
Dominici, Ronchi Della Rocca and Tranquilli"Standardization in resource lambda calculus"
In proceedings.
Gaboardi, Marion and Ronchi Della Rocca"An Implicit Characterization of PSPACE"
Article.
Ghilezan and Paolini"Revised Papers of the Conference "Intersection Types and Related Systems", Torino, Italia, 2008"
Conference proceedings.
Ghilezan, Jaksic, Pantovic and Dezani-Ciancaglini"Types and Roles for Web Security"
Article.
Giannini, Mantovani and Shaqiri"Leveraging dynamic typing through static typing"
In proceedings.
Jakšic and Padovani"Exception Handling for Copyless Messaging"
In proceedings.
Padovani"On Projecting Processes into Session Types"
Article.
Pimentel, Ronchi Della Rocca and Roversi"Intersection Types from a proof-theoretic perspective"
Article.
Pimentel and Ronchi Della Rocca"Proceedings of Sixth Workshop on Logical and Semantic Frameworks with Applications (LFSA 2011), Belo Horizonte, August 27, 2011 "
Conference proceedings.
Ramón and Troina"Modelling Ecological Systems with the Calculus of Wrapped Compartments"
In proceedings.
Ronchi Della Rocca"Linear Logic and Theoretical Computer Science in Italy (Optimal Reduction and Implicit Computational Complexity)"
Article.
Roversi"Communication, and concurrency with logic-based restriction inside a calculus of structures"
Article.
Roversi"Extending a system in the calculus of structures with a self-dual quantifier"
Article.
Schaefer, Rabiser, Clarke, Bettini, Benavides, Botterweck, Pathak, Trujillo and Villela"Software diversity: state of the art and perspectives"
Article.
Tordini, Aldinucci and Torquati"High-level lock-less programming for multicore"
In proceedings.
Weigold, Aldinucci, Danelutto and Getov"Process-Driven Biometric Identification by means of Autonomic Grid Components"
Article.

2011
Aldinucci, Drocco, Giordano, Spampinato and Torquati"A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising"
Technical report.
Aldinucci, Danelutto, Kilpatrick, Meneghin and Torquati"Accelerating code on multi-cores with FastFlow"
In proceedings.
Aldinucci, Danelutto, Kilpatrick and Xhagjika"LIBERO: a framework for autonomic management of multiple non-functional concerns"
In proceedings.
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
In proceedings.
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Aldinucci, Ruggieri and Torquati"Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow"
Technical report.
Aldinucci, Bracciali, Liò, Sorathiya and Torquati"StochKit-FF: Efficient Systems Biology on Multicore Architectures"
In proceedings.
Aldinucci, Anardu, Danelutto, Kilpatrick and Torquati"Targeting multi cores by structured programming and data flow"
Technical report.
Ancona, Corradi, Lagorio and Damiani"Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?"
In proceedings.
Aschieri"Learning, Realizability and Games in Classical Arithmetic"
PhD thesis.
van Bakel, Barbanera and de' Liguoro"A Filter Model for λμ"
In proceedings.
Bergel and Bettini"Reverse Generics - Parametrization after the Fact"
In proceedings.
Bettini"A DSL for Writing Type Systems for Xtext Languages"
In proceedings.
Bettini, Bono and Venneri"Delegation by object composition"
Article.
Bettini, Caselli and Guidieri"Extending the BPEL Designer with Xtext based editors"
In proceedings.
Bettini and Venneri"Object Reuse and Behavior Adaptation in Java-like Languages"
In proceedings.
Bioglio"A Minimal OO Calculus for Modelling Biological Systems"
In proceedings.
Bioglio, Calcagno, Coppo, Damiani, Sciacca, Spinella and Troina"A Spatial Calculus of Wrapped Compartments"
In proceedings.
Bioglio"Enumerated Type Semantics for the Calculus of Looping Sequences"
Article.
Bono and Padovani"Polymorphic Endpoint Types for Copyless Message Passing"
In proceedings.
Bono, Messa and Padovani"Typing Copyless Message Passing"
In proceedings.
Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella and Troina"Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments"
In proceedings.
Capecchi, Castellani and Dezani-Ciancaglini"Information Flow Safety in Multiparty Sessions"
In proceedings.
Cardone"Corrado Mangione, le categorie, la logica"
In a collection.
Cardone"The algebra and geometry of commitment"
In a collection.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
In proceedings.
Chen, Bocchi, Deniélou, Honda and Yoshida"Asynchronous Distributed Monitoring for Multiparty Session Enforcement"
In proceedings.
Damiani, Giannini, Ricci and Viroli"A Calculus of Agents and Artifacts"
Article.
Damiani and Schaefer"Dynamic delta-oriented programming"
In proceedings.
Damiani, Dovland, Johnsen and Schaefer"Verifying traits: a proof system for fine-grained reuse"
In proceedings.
Dezani-Ciancaglini, Giannini and Zucca"Extending the lambda-calculus with unbind and rebind"
Article.
Dezani-Ciancaglini, Giannini and Zucca"Intersection Types for Unbind and Rebind"
In proceedings.
Dezani-Ciancaglini, Ghilezan, Jakšic and Pantovic"Types for Role-Based Access Control of Dynamic Web Data"
In proceedings.
Gaboardi, Paolini and Piccolo"Linearity and PCF: a semantic insight!"
In proceedings.
Giannini and Krivine"The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio 2011"
Article.
Honda, Mukhamedov, Brown, Chen and Yoshida"Scribbling Interactions with a Formal Foundation"
In proceedings.
Padovani"Fair Subtyping for Multi-Party Session Types"
In proceedings.
Padovani"Session Types = Intersection Types + Union Types"
In proceedings.
Paolini, Pimentel and Ronchi Della Rocca"Strong Normalization from an unusual point of view"
Article.
Ronchi Della Rocca, Saurin, Yiorgos and Veneti"Intersection Logic in sequent calculus style"
In proceedings.
Roversi"Linear Lambda Calculus and Deep Inference"
In proceedings.
Schaefer, Bettini and Damiani"Compositional Type-Checking for Delta-oriented Programming"
In proceedings.
Sciacca, Spinella, Genre and Calcagno"Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling"
In proceedings.
Sciacca, Spinella, Ienco and Giannini"Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins"
In proceedings.
Tatsuta and Damiani"Type Inference for Bimorphic Recursion"
In proceedings.

2010
Aldinucci, Danelutto, Kilpatrick, Meneghin and Torquati"Accelerating sequential programs using FastFlow and self-offloading"
Technical report.
Aldinucci, Danelutto and Kilpatrick"Autonomic Management of Multiple Non-Functional Concerns in Behavioural Skeletons"
In a collection.
Aldinucci"Efficient Parallel MonteCarlo with FastFlow"
In a collection.
Aldinucci, Meneghin and Torquati"Efficient Smith-Waterman on multi-core with FastFlow"
In proceedings.
Aldinucci, Danelutto, Meneghin, Kilpatrick and Torquati"Efficient streaming applications on multi-core with FastFlow: the biosequence alignment test-bed"
In proceedings.
Aldinucci, Bracciali and Liò"Formal Synthetic Immunology"
Article.
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
Technical report.
Aldinucci, Ruggieri and Torquati"Porting Decision Tree Algorithms to Multicore using FastFlow"
In proceedings.
Aldinucci, Ruggieri and Torquati"Porting Decision Tree Algorithms to Multicore using FastFlow"
Technical report.
Aldinucci, Danelutto and Kilpatrick"Skeletons for multi/many-core systems"
In proceedings.
Aldinucci, Bracciali, Liò, Sorathiya and Torquati"StochKit-FF: Efficient Systems Biology on Multicore Architectures"
Technical report.
Baillot, Gaboardi and Mogbil"A polytime functional language from Light linear logic"
In proceedings.
Baillot, Curien and Paolini"Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009", Brasilia, Brazil, 2009"
Conference proceedings.
Baldoni, Baroglio, Bergenti, Boccalatte, Marengo, Martelli, Mascardi, Padovani, Patti, Ricci, Rossi and Santi"MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems"
In proceedings.
Barbanera and de' Liguoro"Two Notions of Sub-behaviour for Session-based Client/Server Systems"
In proceedings.
Barbanera, Capecchi and de' Liguoro"Typing Asymmetric Client-Server Interaction"
In proceedings.
Barbuti, Dezani-Ciancaglini, Maggiolo-Schettini, Milazzo and Troina"A Formalism for the Description of Protein Interaction"
Article.
Berardi and de' Liguoro"Interactive Realizers and Monads"
Unpublished.
Bettini, Damiani, De Luca, Geilmann and Schaefer"A Calculus for Boxes and Traits in a Java-like Setting"
In proceedings.
Bettini, Damiani, Schaefer and Strocco"A Prototypical Java-like Language with Records and Traits"
In proceedings.
Bettini"An Eclipse-based IDE for Featherweight Java implemented in Xtext"
In proceedings.
Bettini, Damiani and Schaefer"Implementing Software Product Lines using Traits"
In proceedings.
Capecchi, Giachino and Yoshida"Global Escape in Multiparty Sessions"
In proceedings.
Capecchi, Castellani, Dezani-Ciancaglini and Rezk"Session Types for Access and Information Flow Control"
In proceedings.
Capecchi and Troina"Types for BioAmbients"
In proceedings.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Hybrid Calculus of Wrapped Compartments"
In proceedings.
Coppo, Damiani, Drocco, Grassi and Troina"Stochastic Calculus of Wrapped Compartment"
In proceedings.
Cordero, Ghignone, Lanfranco, Leonardi, Meo, Montani and Roversi"BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse"
Book part.
Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta"On Isomorphisms of Intersection Types"
Article.
Dezani-Ciancaglini and de' Liguoro"Sessions and Session Types: an Overview"
In proceedings.
Kusmierek and Bono"Big-step Operational Semantics Revisited"
Article.
Lanotte, Maggiolo-Schettini and Troina"Reachability results for timed automata with unbounded data structures"
Article.
Lanotte, Maggiolo-Schettini and Troina"Time and Probability based Information Flow Analysis"
Article.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata"
Article.
Padovani"Contract-Based Discovery of Web Services Modulo Simple Orchestrators"
Article.
Pagani and Ronchi Della Rocca"Linearity, Non-determinism and Solvability"
Article.
Pagani and Ronchi Della Rocca"Solvability in Resource Lambda Calculus"
In proceedings.
Piccolo"Strong Normalization in the π-calculus with Intersection and Union Types"
Article.
Roversi and Vercelli"A structural and local criterion for polynomial time computations"
In proceedings.
Roversi"Linear lambda calculus with explicit substitutions as proof-search in Deep Inference"
Unpublished.
Roversi and Vercelli"Safe Recursion on Notation into a Light Logic by Levels"
In proceedings.
Schaefer, Bettini, Bono, Damiani and Tanzarella"Delta-Oriented Programming of Software Product Lines"
In proceedings.
Schaefer and Damiani"Pure delta-oriented programming"
In proceedings.
Sciacca"Contributions in Computational Biology"
PhD thesis.
Spinella, Sciacca and Giannini"Sequence-Function Protein Analysis Using Annotated Context Free Grammars"
In proceedings.
Sproston and Troina"Simulation and Bisimulation for Probabilistic Timed Automata"
In proceedings.
Summers, Cameron, Dezani-Ciancaglini and Drossopoulou"Towards a Semantic Model for Java Wildcards"
In proceedings.
Vercelli"On the Complexity of Stratified Logics"
PhD thesis.
Vercelli"On the Complexity of Stratified Logics -- Relationship between stratified light logics and algebras of functions used to characterize polynomial time computable functions"
Book.
Weigold, Aldinucci, Danelutto and Getov"Integrating Autonomic Grid Components and Process-Driven Business Applications"
In proceedings.

2009
Aldinucci, Danelutto and Kilpatrick"Autonomic management of multiple non-functional concerns in behavioural skeletons"
Technical report.
Aldinucci, Danelutto and Kilpatrick"Autonomic management of non-functional concerns in distributed and parallel application programming"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Co-design of distributed systems using skeletons and autonomic management abstractions"
In proceedings.
Aldinucci, Campa, Dazzi, Tonellotto and Zoppi"D.NFCF.05 -- NFCF tuned prototype and final documentation"
Miscellaneous document.
Aldinucci and Torquati"FastFlow website"
Technical manual.
Aldinucci, Torquati and Meneghin"FastFlow: Efficient Parallel Streaming Applications on Multi-core"
Technical report.
Aldinucci, Bouziane, Danelutto and Pérez"STKM on SCA: a Unified Framework with Components, Workflows and Algorithmic Skeletons"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Semi-formal models to support program development: autonomic management within component based parallel and distributed programming"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Towards hierarchical management of autonomic components: a case study"
In proceedings.
Aman, Dezani-Ciancaglini and Troina"Type Disciplines for Analysing Biologically Relevant Properties"
In proceedings.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection"
Article.
Berardi and de' Liguoro"Toward the interpretation of non-constructive reasoning as non-monotonic learning"
Article.
Berardi, Damiani and de' Liguoro"Types for Proofs and Programs (International Conference TYPES 2008, Revised Selected Papers)"
Book.
Bernardo, Padovani and Zavattaro"Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures"
Conference proceedings.
Bettini, Capecchi and Damiani"A Mechanisms for Flexible Dynamic Trait Replacement"
In proceedings.
Bettini, Capecchi and Venneri"A safe implementation of dynamic overloading in Java-like languages"
In proceedings.
Bettini, Capecchi and Venneri"Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account"
Article.
Bettini, Capecchi and Venneri"Featherweight Java with Dynamic and StaticOverloading "
Article.
Bettini, Bono and Turin"I-Java: an extension of Java with incomplete objects and object composition"
In proceedings.
Bioglio"Typeed Reductions of CLS"
In proceedings.
Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino"Amalgamating Sessions and Methods in Object Oriented Languages with Generics"
Article.
Cardone and Hindley"History of lambda-calculus and combinators"
In a collection.
Carpineti, Laneve and Padovani"PiDuce - A Project for Experimenting Web Services Technologies"
Article.
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
Article.
Castagna and Padovani"Contracts for Mobile Processes"
In proceedings.
Castagna, Dezani-Ciancaglini, Giachino and Padovani"Foundations of Session Types"
In proceedings.
Coppo, Damiani, Grassi, Guether and Troina"Modelling an Ammonium Transporter with SCLS"
In proceedings.
Coppo and Dezani-Ciancaglini"Structured Communications with Concurrent Constraints"
In proceedings.
Dal Lago, Roversi and Vercelli"Taming Modal Impredicativity: Superlazy Reduction"
In proceedings.
Damiani, Giannini, Ricci and Viroli"Featherweight Agent Language: a core calculus for agents and artifacts"
In proceedings.
Dezani-Ciancaglini, Giannini and Troina"A Type System for Required/Excluded Elements in CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Troina"A Type System for a Stochastic CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Ronchi Della Rocca"Intersection, Universally Quantified, and Reference Types"
In proceedings.
Dezani-Ciancaglini and Hindley"Lambda-Calculus"
Book part.
Dezani-Ciancaglini, Drossopoulou, Mostrous and Yoshida"Objects and Session Types"
Article.
Dezani-Ciancaglini, Giannini and Zucca"The Essence of Static and Dynamic Bindings"
In proceedings.
Faggian and Piccolo"Partial Orders, Event Structures and Linear Strategies"
In proceedings.
Gaboardi, Roversi and Vercelli"A by-level analysis of Multiplicative Exponential Linear Logic"
In proceedings.
Gaboardi and Piccolo"Categorical Models for a Semantically Linear λ-calculus"
In proceedings.
Gaboardi and Ronchi Della Rocca"From Light Logics to Type Assignements: a case study"
Article.
Gaboardi and Péchoux"Global and local space properties of stream programs"
In proceedings.
Gaboardi and Ronchi Della Rocca"Type Inference for a polynomial Lambda-Calculus"
In proceedings.
Gaboardi and Péchoux"Upper Bounds on Stream I/O Using Semantic Interpretations"
In proceedings.
Giachino, Sackman, Drossopoulou and Eisenbach"Softly Safely Spoken: Role Playing for Session Types"
In proceedings.
Guerrini, Piperno and Dezani-Ciancaglini"Bohm's Theorem"
Book part.
Padovani"Contract-based Discovery and Adaptation of Web Services"
Book part.
Padovani"Session Types at the Mirror"
In proceedings.
Paolini and Piccolo"A Process-Model for Linear Programs"
In proceedings.
Paolini"Call-by-value lambda-calculus"
Unpublished.
Paolini, Piccolo and Ronchi Della Rocca"Logical Semantics for Stability"
In proceedings.
Paolini"Parametric Lambda Calculus. A meta-calculus for computation"
Unpublished.
Piccolo"Linearity and Beyond in Denotational Semantics"
PhD thesis.
Roversi and Vercelli"Some Complexity and Expressiveness results on Multimodal and Stratified Proof-nets"
In proceedings.
Sciacca and Spinella"Fuzzy Optimization: Recent Developments and Applications"
Book part.

2008
Aldinucci, Danelutto and Kilpatrick"A framework for prototyping and reasoning about grid systems"
In proceedings.
Aldinucci, Danelutto, Zoppi and Kilpatrick"Advances in Autonomic Components & Services"
In proceedings.
Aldinucci and Benoit"Automatic mapping of ASSIST applications using process algebra"
Article.
Aldinucci, Campa, Danelutto, Dazzi, Kilpatrick, Laforenza and Tonellotto"Behavioural skeletons for component autonomic management on grids"
In a collection.
Aldinucci, Campa, Danelutto, Vanneschi, Dazzi, Laforenza, Tonellotto and Kilpatrick"Behavioural skeletons in GCM: autonomic management of grid components"
In proceedings.
Aldinucci"CoreGRID Institute on Programming Model"
Miscellaneous document.
Aldinucci, Campa, Dazzi, Tonellotto and Zoppi"D.NFCF.03 -- Methodology to derive performance models for component and composite components"
Miscellaneous document.
Aldinucci, Campa, Dazzi, Tonellotto and Zoppi"D.NFCF.04 -- NFCF prototype and early documentation"
Miscellaneous document.
Aldinucci, Antoniu, Danelutto and Jan"Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture"
In a collection.
Aldinucci, Danelutto, Kilpatrick and Dazzi"From Orc Models to Distributed Grid Java code"
In a collection.
Aldinucci, Danelutto, Kilpatrick and Dazzi"From Orc Models to Distributed Grid Java code"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Hierarchical autonomic management: a case study with skeletal systems"
Technical report.
Aldinucci, Campa, Coppola, Danelutto, Zoppi, Basso, Bolotov, Baude, Bouziane, Caromel, Henrio, Pérez, Cunha, Michael, Classen, Lengauer, Cohen, Mc Gough, Currle-Linde, Dazzi, Tonellotto, Dünnweber, Gorlatch, Kilpatrick, Ranaldo and Zimeo"Proceedings of the Programming Model Institute Technical meeting 2008"
Technical report.
Aldinucci and Danelutto"Securing skeletal systems with limited performance penalty: the Muskel experience"
Article.
Aldinucci, Torquati, Vanneschi and Zuccato"The VirtuaLinux Storage Abstraction Layer for Efficient Virtual Clustering"
In proceedings.
Aldinucci and Tuosto"Toward a Formal Semantics for Autonomic Components"
Technical report.
Aldinucci, Danelutto, Bouziane and Pérez"Towards Software Component Assembly Language Enhanced with Workflows and Skeletons"
Technical report.
Aldinucci, Danelutto, Bouziane and Pérez"Towards Software Component Assembly Language Enhanced with Workflows and Skeletons"
In proceedings.
Aldinucci and Tuosto"Towards a Formal Semantics for Autonomic Components"
In proceedings.
Aldinucci, Danelutto, Bouziane and Pérez"Towards a Spatio-Temporal sKeleton Model implementation on top of SCA"
Technical report.
Aldinucci, Danelutto, Torquati, Polzella, Spinatelli, Vanneschi, Gervaso, Cacitti and Zuccato"VirtuaLinux: virtualized high-density clusters with no single point of failure"
In proceedings.
van Bakel and de' Liguoro"Logical equivalence for subtyping and recursive types"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"Bisimulations in Calculi Modelling Membranes"
Article.
Barbuti, Maggiolo-Schettini, Milazzo, Tiberi and Troina"Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways"
Article.
Berardi and de' Liguoro"A Calculus of Realizers for EM1 Arithmetic"
In proceedings.
Berardi and Yamagata"A sequent calculus for limit computable mathematics"
Article.
Bettini, Bono and Naddeo"A Trait Based Re-engineering Technique for Java Hierarchies"
In proceedings.
Bettini, Bono and Venneri"A typed lambda calculus with intersection types"
Article.
Bettini, Capecchi and Giachino"Featherweight Wrap Java: wrapping objects and methods"
Article.
Bettini, Coppo, D'Antoni, De Luca, Dezani-Ciancaglini and Yoshida"Global Progress in Dynamically Interleaved Multiparty Sessions"
In proceedings.
Bettini, De Nicola and Loreti"Implementing Session Centered Calculi"
In proceedings.
Bettini, Bono and Venneri"Object incompleteness and dynamic composition in Java-like languages"
In proceedings.
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri"Session and Union Types for Object Oriented Programming"
In proceedings.
Bettini"Timed Buffers: A Technique For Update Propagation In Nomadic Environments"
Article.
Bettini and Bono"Type Safe Dynamic Object Delegation in Class-based Languages"
In proceedings.
Bono, Damiani and Giachino"On Traits and Types in a Java-like Setting"
In proceedings.
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
In proceedings.
Comini, Damiani and Vrech"On Polymorphic Recursion, Type Systems, and Abstract Interpretation"
In proceedings.
Coppo, Dezani-Ciancaglini and Giovannetti"Types for Ambient and Process Mobility"
Article.
Coppola, Dal Lago and Ronchi Della Rocca"Light Logics and the Call-by-Value Lambda Calculus"
Article.
Damiani, Giachino, Giannini and Drossopoulou"A Type Safe State Abstraction for Coordination in Java-like Languages"
Article.
Damiani, Giachino and Giannini"Alias Types and effects for ``environment-aware'' computations"
Article.
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In a collection.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
In proceedings.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
Article.
Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta"On Isomorphisms of Intersection Types"
In proceedings.
Dezani-Ciancaglini, de' Liguoro and Yoshida"On Progress for Structured Communications"
In proceedings.
Dezani-Ciancaglini, Ghilezan, Pantovic and Varacca"Security Types for Dynamic Web Data"
Article.
Gaboardi, Marion and Ronchi Della Rocca"A Logical Account of PSPACE"
In proceedings.
Gaboardi, Marion and Ronchi Della Rocca"Soft linear Logic and Polynomial Complexity Classes"
In proceedings.
Krivine, Milner and Troina"Stochastic Bigraphs"
In proceedings.
Laneve and Padovani"The Pairing of Contracts and Session Types"
In proceedings.
Lanotte, Maggiolo-Schettini, Milazzo and Troina"Design and Verification of Long-Running Transactions in a Timed Framework"
Article.
Lodwick"Fuzzy surfaces in GIS and geographical analysis: theory, analytical methods, algorithms, and applications"
Book.
Nicosia, Rinaudo and Sciacca"An Evolutionary Algorithm-Based Approach to Robust Analog Circuit Design using Constrained Multi-Objective Optimization"
Article.
Nicosia and Sciacca"Pattern Search Algorithms for Circuit Design Optimization"
In proceedings.
Nicosia and Sciacca"Robust Parameter Identification for Biological Circuit Calibration"
In proceedings.
Oprescu, Kielmann, Danelutto and Aldinucci"Autonomic Behavior of Grid Applications using Component Platforms"
Technical report.
Padovani"Contract-Directed Synthesis of Simple Orchestrators"
In proceedings.
Paolini and Piccolo"Linear Programming Languages"
Unpublished.
Paolini"Parametric λ-Theories"
Article.
Paolini and Piccolo"Semantically Linear Programming Languages"
In proceedings.
Piccolo"Strong Normalization in the π-calculus with Intersection and Union Types"
Unpublished.
Pimentel, Ronchi Della Rocca and Roversi"Intersection Types from a proof-theoretic perspective"
Unpublished.
Roversi"Weak Affine Light Typing is complete with respect to Safe Recursion on Notation"
Technical report.
Sciacca, Ayyadurai and Dewey"A Web Based Application for the Integration of Quantitative Molecular Pathway Simulations"
In proceedings.
Sciacca, Ayyadurai and Dewey"A Web Based Tool for Integration of Molecular Pathway Models"
In proceedings.
Spinella, Ostoich and Anile"River water quality assessment with fuzzy interpolation"
Article.

2007
Aldinucci, Danelutto and Kilpatrick"Adding metadata to Orc to support reasoning about grid programming"
In proceedings.
Aldinucci, Campa, Coppola, Danelutto, Zoccolo, André and Buisson"An abstract schema modeling adaptivity management"
In a collection.
Aldinucci, Campa, Danelutto, Kilpatrick, Dazzi, Laforenza and Tonellotto"Behavioural skeletons for component autonomic management on grids"
Technical report.
Aldinucci, Campa, Danelutto, Dazzi, Kilpatrick, Laforenza and Tonellotto"Behavioural skeletons for component autonomic management on grids"
In proceedings.
Aldinucci, Campa, Dazzi and Tonellotto"D.NFCF.01 -- Non functional component subsystem architectural design"
Miscellaneous document.
Aldinucci, Campa, Dazzi and Tonellotto"D.NFCF.02 -- Non functional component subsystem architectural design (code)"
Miscellaneous document.
Aldinucci, Danelutto and Dazzi"MUSKEL: an expandable skeleton environment"
Article.
Aldinucci, Danelutto and Kilpatrick"Management in distributed systems: a semi-formal approach"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Management in distributed systems: a semi-formal approach"
Technical report.
Aldinucci, Danelutto and Kilpatrick"Orc + metadata supporting grid programming"
Technical report.
Aldinucci and Danelutto"Skeleton based parallel programming: functional and parallel semantic in a single shot"
Article.
Aldinucci and Danelutto"The cost of security in skeletal systems"
In proceedings.
Aldinucci and Benoit"Towards the Automatic Mapping of ASSIST Applications for the Grid"
In a collection.
Aldinucci, Torquati, Vanneschi, Cacitti, Gervaso and Zuccato"VirtuaLinux Design Principles"
Technical report.
Aldinucci and Zuccato"Virtual clusters with no single point of failure"
In proceedings.
Aldinucci, Torquati and Zuccato"Virtualinux website"
Technical manual.
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A provenly correct translation of Fickle into Java"
Article.
Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone"Space-Aware Ambients and Processes"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"The Calculus of Looping Sequences for Modeling Biological Membranes"
In proceedings.
Berardi and de' Liguoro"Limit of learning sequences with retractable guesses"
Technical report.
Berardi and Tatsuta"Positive Arithmetic Without Exchange Is a Subclassical Logic"
In proceedings.
Berardi"Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves"
In proceedings.
Bernardo and Padovani"Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders"
In proceedings.
Bettini, Capecchi and Venneri"Featherweight Java with Multi-Methods"
In proceedings.
Bettini, Capecchi and Giachino"Featherweight Wrap Java"
In proceedings.
Bono and Kusmierek"FJMIP: A Calculus for a Modular Object Initialization"
In proceedings.
Bono and Kusmierek"Modularizing constructors"
In proceedings.
Bono, Damiani and Giachino"Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse"
In proceedings.
Boudol and Kolundzija"Access Control and Declassification"
In proceedings.
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
In proceedings.
Coppo, Dezani-Ciancaglini and Yoshida"Asynchronous Session Types and Progress for Object-Oriented Languages"
In proceedings.
Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto"Adaptable Parallel Components for Grid Programming"
In a collection.
Damiani"Rank 2 Intersection for Recursive Definitions"
Article.
Danelutto, Aldinucci and Kilpatrick"Prototyping and reasoning about distributed systems: an Orc based framework"
Technical report.
Dezani-Ciancaglini and Tatsuta"A Behavioural Model for Klop's Calculus"
In proceedings.
Dezani-Ciancaglini, Drossopoulou, Giachino and Yoshida"Bounded Session Types for Object-Oriented Languages"
In proceedings.
Dezani-Ciancaglini and Ronchi Della Rocca"Intersection and Reference Types"
In proceedings.
Dezani-Ciancaglini, Ghilezan and Pantovic"Security Types for Dynamic Web Data"
In proceedings.
Drossopoulou, Dezani-Ciancaglini and Coppo"Amalgamating the Session Types and the Object Oriented Programming Paradigms"
In proceedings.
Faggian and Piccolo"A Graph Abstract Machine Describing Event Structure Composition"
Article.
Faggian and Piccolo"Ludics is a Model for the Finitary Linear Pi-Calculus"
In proceedings.
Gaboardi and Ronchi Della Rocca"A Soft Type Assignment System for λ-Calculus"
In proceedings.
Gaboardi"Linearity: an Analytic Tool in the study of Complexity and Semantics of Programming Languages"
PhD thesis.
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Garralda, Bonelli, Compagnoni and Dezani-Ciancaglini"Boxed Ambients with Communication Interfaces"
Article.
Goubault-Larrecq, Palamidessi and Troina"A Probabilistic Applied Pi-Calculus"
In proceedings.
Kilpatrick, Danelutto and Aldinucci"Deriving Grid Applications from Abstract Models"
Technical report.
Kusmierek and Bono"Hygienic methods - Introducing HygJava"
In proceedings.
Laneve and Padovani"The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Parametric Probabilistic Transition Systems for System Design and Analysis"
Article.
Liquori and Ronchi Della Rocca"Intersection Types a la Church"
Article.
Nicosia, Sciacca and Zammataro"Detecting Constituent Sequences by Means of HP Pattern-Based Grammars to Synthesize Proteins: Inferring Sequence-Structure-Function Relationship"
In proceedings.
Nicosia, Sciacca and Zammataro"Detecting Constituent Sequences by means of HP Pattern-Based Grammars to Synthesize Proteins"
In proceedings.
Paolini"Denotational Paradigms"
Unpublished.
Pasin, Kuonen, Danelutto and Aldinucci"Skeleton Parallel Programming and Parallel Objects"
In a collection.
Ronchi Della Rocca"Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings"
Conference proceedings.
Roversi"Weak Affine Light Typing: Intensional expressivity, Polytime soundness and completeness"
Technical report.
Sciacca, Spinella and Anile"Theoretical Advances and Applications of Fuzzy Logic and Soft Computing"
Book part.
Spinella, Enea, Kroell, Messina and Ronsisvalle"Optimal Design of Monolithic ESBT Device carried out by Multiobjective Optimization"
Article.

2006
Aldinucci, Coppola, Danelutto, Vanneschi and Zoccolo"ASSIST as a research framework for high-performance Grid programming environments"
In a collection.
Aldinucci and Danelutto"Algorithmic skeletons meeting grids"
Article.
Aldinucci, Danelutto and Vanneschi"Autonomic QoS in ASSIST Grid-aware components"
In proceedings.
Aldinucci, Danelutto, Paternesi, Ravazzolo and Vanneschi"Building interoperable grid-aware ASSIST applications via WebServices"
In proceedings.
Aldinucci, Antoniu, Danelutto and Jan"Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture"
In proceedings.
Aldinucci, Antoniu, Danelutto and Jan"Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture"
Technical report.
Aldinucci, Coppola, Danelutto, Tonellotto, Vanneschi and Zoccolo"High level grid programming with ASSIST"
Article.
Aldinucci, André, Buisson, Campa, Coppola, Danelutto and Zoccolo"Parallel program/component adaptivity management"
In proceedings.
Aldinucci, Bertolli, Campa, Coppola, Vanneschi, Veraldi and Zoccolo"Self-Configuring and Self-Optimising Grid Components in the GCM model and their ASSIST Implementation"
Technical report.
Aldinucci, Bertolli, Campa, Coppola, Vanneschi, Veraldi and Zoccolo"Self-configuring and self-optimizing grid components in the GCM model and their ASSIST implementation"
In proceedings.
Aldinucci, Coppola, Campa, Danelutto, Vanneschi and Zoccolo"Structured implementation of component based grid programming environments"
In a collection.
Aldinucci and Danelutto"The cost of security in skeletal systems"
Technical report.
Aldinucci, Danelutto, Giaccherini, Torquati and Vanneschi"Towards a distributed scalable data service for the grid"
In proceedings.
Alessi, Barbanera and Dezani-Ciancaglini"Intersection Types and Lambda Models"
Article.
Anile, Salvatore and Ostoich"Best locations for river water quality monitoring sensors through fuzzy interpolation"
In proceedings.
Anile, Rinaudo, Ciccazzo, Martino, Milazzo and Spinella"Comparison of Different Methodologies for Parameter Extraction in Circuit Design"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"Bisimulation Congruences in the Calculus of Looping Sequences"
In proceedings.
Berardi"Some intuitionistic equivalents of classical principles for degree 2 formulas "
Article.
Bettini, Capecchi and Venneri"Double Dispatch in C++"
Article.
Bettini, De Nicola and Loreti"Implementing Mobile and Distributed Applications in X-Klaim"
Article.
Bettini, Nicola, Falassi and Loreti"Implementing a distributed mobile calculus using the IMC framework"
In proceedings.
Biondi, Ciccazzo, Cutello, D'Antona, Nicosia and Spinella"Multi-objective evolutionary algorithms and pattern search methods for circuit design problems"
Article.
Carpineti, Castagna, Laneve and Padovani"A Formal Account of Contracts for Web Services"
In proceedings.
Castagna, Dezani-Ciancaglini and Varacca"Encoding CDuce in the Cpi-calculus"
In proceedings.
Cutello, Nicosia, Rascuna and Spinella"Optimising an inductor circuit and a two-stage operational transconductance amplifier using evolutionary and classical algorithms"
Article.
Damiani, Giachino, Giannini, Cameron and Drossopoulou"A State Abstraction for Coordination in Java-like Languages"
In proceedings.
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In proceedings.
Dezani-Ciancaglini, Mostrous, Yoshida and Drossopoulou"Session Types for Object-Oriented Languages"
In proceedings.
Fossati"Handshake Games"
In proceedings.
Gaboardi and Ronchi Della Rocca"Soft Linear Logic and λ-Calculus"
In proceedings.
Garralda, Compagnoni and Dezani-Ciancaglini"BASS: Boxed Ambients with Safe Sessions"
In proceedings.
Giannini, Sangiorgi and Valente"Safe Ambients: Abstract Machine and Distributed Implementation"
Article.
Laneve and Padovani"Smooth Orchestrators"
In proceedings.
Lanotte, Maggiolo-Schettini, Milazzo and Troina"Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata"
In proceedings.
Likavec and Lescanne"On untyped Curien-Herbelin calculus"
In proceedings.
Meyer, Motohama and Bono"Truth Translations of Relevant Logics"
In a collection.
Padovani and Zacchiroli"From Notation to Semantics: There and Back Again"
In proceedings.
Paolini"A Stable Programming Language"
Article.
Paolini, Pimentel and Ronchi Della Rocca"An Operational Characterization of Strong Normalization"
In proceedings.
Paolini"Semantics of PCF and the full abstraction problem"
Unpublished.
Piccolo"Strutture ad Eventi e Strategie: un Ponte fra Teoria della Concorrenza e Semantica dei Giochi"
Master's thesis.
Sciacca, Spinella and Drago"Multiobjective optimization of circuit performances through solution ranking and evolutionary strategies"
In proceedings.
Tatsuta and Dezani-Ciancaglini"Normalisation is Insensible to Lambda-term Identity or Difference"
In proceedings.
Troina"Probabilistic Timed Automata for Security Analysis and Design"
PhD thesis.

2005
Aldinucci and Benoit"Automatic mapping of ASSIST applications using process algebra"
Technical report.
Aldinucci and Benoit"Automatic mapping of ASSIST applications using process algebra"
In proceedings.
Aldinucci, Danelutto, Paternesi, Ravazzolo and Vanneschi"Building Interoperable Grid-aware ASSIST Applications via Web Services"
Technical report.
Aldinucci, Campa, Coppola, Danelutto, Laforenza, Puppin, Scarponi, Vanneschi and Zoccolo"Components for high performance Grid programming in Grid.it"
In proceedings.
Aldinucci, Petrocelli, Pistoletti, Torquati, Vanneschi, Veraldi and Zoccolo"Dynamic reconfiguration of Grid-aware applications in ASSIST"
Technical report.
Aldinucci, Petrocelli, Pistoletti, Torquati, Vanneschi, Veraldi and Zoccolo"Dynamic reconfiguration of grid-aware applications in ASSIST"
In proceedings.
Aldinucci, Vanneschi and Villa"Grid technologies and c-business for SMEs"
In proceedings.
Aldinucci, Danelutto, Dünnweber and Gorlatch"Optimization Techniques for Implementing Parallel Skeletons in Distributed Environments"
Technical report.
Aldinucci, Danelutto, Dünnweber and Gorlatch"Optimization techniques for skeletons on grids"
In a collection.
Aldinucci, André, Buisson, Campa, Coppola, Danelutto and Zoccolo"Parallel program/component adaptivity management"
Technical report.
Aldinucci, André, Buisson, Campa, Coppola, Danelutto and Zoccolo"Parallel program/component adaptivity management"
In proceedings.
Aldinucci, Gusmeroli, Vanneschi and Villa"SFIDA: interoperability in innovative c-business models for SMEs through an enabling Grid platform"
In proceedings.
Aldinucci, Danelutto, Giaccherini, Torquati and Vanneschi"Towards a distributed scalable data service for the Grid"
Technical report.
Aldinucci and Benoit"Towards the Automatic Mapping of ASSIST Applications for the Grid"
In proceedings.
Alessi and Dezani-Ciancaglini"Type Preorders and Recursive Terms"
In proceedings.
Ancona, Damiani, Drossopoulou and Zucca"Polymorphic Bytecode: Compositional Compilation for Java-like Languages"
In proceedings.
Anderson, Giannini and Drossopoulou"Towards Type Inference for JavaScript"
In proceedings.
Anderson and Giannini"Type Checking for JavaScript"
In proceedings.
Anile, Cutello, Nicosia, Rascuna and Spinella"Comparison among evolutionary algorithms and classical optimization methods for circuit design problems"
In proceedings.
Anile and Spinella"Fuzzy modeling of sparse data"
Article.
van Bakel and de' Liguoro"Subtyping object and recursive types logically"
In proceedings.
Baldoni, Baroglio, De Marchis, Demo, Martelli, Perroteau and Roversi"Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino"
In proceedings.
Baldoni, Baroglio, Grandi and Roversi"Live! I-Learn @ Home"
In proceedings.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Calculus of Looping Sequences for Modelling Microbiological Systems"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Calculus of Looping Sequences for Modelling Microbiological Systems"
In proceedings.
Barbuti, Cataudella, Maggiolo-Schettini, Milazzo and Troina"A Probabilistic Model for Molecular Systems"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions"
In proceedings.
Berardi"Classical Logic as Limit Completion"
Article.
Bettini, De Nicola, Falassi, Lacoste and Loreti"A Flexible and Modular Framework for Implementing Infrastructures for Global Computing"
In proceedings.
Bettini, Bono and Venneri"MoMi - A Calculus for Mobile Mixins"
Article.
Bettini and De Nicola"Mobile Distributed Programming in X-Klaim"
In proceedings.
Bettini, Bono and Likavec"Safe and Flexible Objects"
In proceedings.
Bettini, Bono and Likavec"Safe and Flexible Objects with Subtyping"
Article.
Bettini, Bono and Likavec"Safe object composition in the presence of subtyping"
In proceedings.
Bettini, Capecchi and Venneri"Translating Double-Dispatch into Single-Dispatch"
In proceedings.
Bono, Bugliesi and Drossopoulou"Workshop on Object-Oriented Developments (WOOD 2004)"
Conference proceedings.
Busi and Padovani"A Distributed Implementation of Mobile Nets as Mobile Agents"
In proceedings.
Coppo, Cozzi, Dezani-Ciancaglini, Giovannetti and Pugliese"A Mobility Calculus with Local and Dependent Types"
In proceedings.
Coppo and Damiani"International Workshop on Intersection Types and Related Systems (ITRS 2004)"
Conference proceedings.
Coppola, Dal Lago and Ronchi Della Rocca"Elementary Affine Logic and the Call by Value Lambda Calculus "
In proceedings.
Coppola and Ronchi Della Rocca"Principal Typing for Lambda Calculus in Elementary Affine Logic"
Article.
Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto"Behavior Customization of Parallel Components Application Programming"
Technical report.
Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto"Using Code Parameters for Component Adaptations"
In proceedings.
Damiani"Rank-2 Intersection and Polymorphic Recursion"
In proceedings.
Dezani-Ciancaglini, Yoshida, Ahern and Drossopoulou"Ldoos: a Distributed Object-Oriented language with Session types"
In proceedings.
Dezani-Ciancaglini, Honsell and Motohama"Compositional Characterization of λ-terms using Intersection Types"
Article.
Dougherty, Ghilezan, Lescanne and Likavec"Strong Normalization of the Dual Classical Sequent Calculus"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"A Classification of Time and/or Probability Dependent Security Properties"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Timed Automata with Data Structures for Distributed Systems Design and Analysis"
In proceedings.
Likavec"Types for object-oriented and functional programming languages"
PhD thesis.
Liquori and Ronchi Della Rocca"Towards an Intersection Typed System a la Church "
In proceedings.
Padovani"Compilation of Generic Regular Path Expressions Using C++ Class Templates"
In proceedings.
Paolini, Pimentel and Ronchi Della Rocca"Lazy strong normalization"
In proceedings.
Pasin, Kuonen, Danelutto and Aldinucci"Skeleton Parallel Programming and Parallel Objects"
In proceedings.
Pimentel, Ronchi Della Rocca and Roversi"Intersection Types: a proof-theoretical approach"
In proceedings.
Spinella and Anile"A Posteriori Multiobjective Optimization for Parameter Extraction of Microelectronic Devices"
Article.
Troina, Aldini and Gorrieri"Towards a Formal Treatment of Secrecy against Computational Adversaries"
In proceedings.

2004
Aldinucci, Campa, Ciullo, Coppola, Danelutto, Pesciullesi, Ravazzolo, Torquati, Vanneschi and Zoccolo"A framework for experimenting with structure parallel programming environment design"
In proceedings.
Aldinucci, Coppola, Danelutto, Vanneschi and Zoccolo"ASSIST as a Research Framework for High-performance Grid Programming Environments"
Technical report.
Aldinucci and Torquati"Accelerating Apache farms through ad-HOC distributed scalable objects repository"
Technical report.
Aldinucci and Torquati"Accelerating apache farms through ad-HOC distributed scalable object repository"
In proceedings.
Aldinucci and Danelutto"An operational semantics for skeletons"
In proceedings.
Aldinucci, Danelutto and Dünnweber"Optimization Techniques for Implementing Parallel Skeletons in Grid Environments"
In proceedings.
Aldinucci, Campa, Coppola, Magini, Pesciullesi, Potiti, Ravazzolo, Torquati and Zoccolo"Targeting heterogeneous architectures in ASSIST: Experimental results"
In proceedings.
Alessi, Dezani-Ciancaglini and Lusin"Intersection Types and Domain Operators"
Article.
Alessi, Dezani-Ciancaglini and Honsell"Inverse Limit Models as Filter Models"
In proceedings.
Alessi, Barbanera and Dezani-Ciancaglini"Tailoring Filter Models"
In proceedings.
Ancona, Damiani, Drossopoulou and Zucca"Even More Principal Typings for Java-like Languages"
In proceedings.
Anile and Spinella"Modeling Uncertain Sparse Data with Fuzzy B-splines"
Article.
Barbanera and de' Liguoro"Type Assignement for Mobile Objects"
In proceedings.
Barbuti, Cataudella, Maggiolo-Schettini, Milazzo and Troina"A Probabilistic Calculus for Molecular Systems"
In proceedings.
Berardi"A generalization of conservativity theorem for classical versus intuitionistic arithmetic"
Article.
Berardi and Berline"Building continuous webbed models for System F"
Article.
Berardi and Valentini"Krivine's intuitionistic proof of Classical Completeness"
Article.
Berardi, Coppo and Damiani"Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers)"
Book.
Bettini, Bono and Likavec"A Core Calculus of Higher-Order Mixins and Classes"
In proceedings.
Bettini, Bono and Likavec"A Core Calculus of Higher-Order Mixins and Classes [Poster Abstract]"
In proceedings.
Bettini, Bono and Likavec"A Core Calculus of Mixin-Based Incomplete Objects"
In proceedings.
Bettini, Bono and Likavec"A Core Calculus of Mixins and Incomplete Objects"
In proceedings.
Bettini"A Java Package for Transparent Code Mobility"
In proceedings.
Bettini, De Nicola, Falassi, Lacoste, Lopes, Oliveira, Paulino and Vasconcelos"A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi"
In proceedings.
Bettini, Cecchi, Crescenzi, Innocenti and Loreti"An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses"
In proceedings.
Bettini"Data Privacy in Tuple Space Based Mobile Agent Systems"
In proceedings.
Bettini, De Nicola and Loreti"Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming"
Article.
Bettini, Bono and Venneri"O'Klaim: a coordination language with mobile mixins"
In proceedings.
Bettini, Bono and Venneri"Subtyping-Inheritance Conflicts: The Mobile Mixin Case"
In proceedings.
Bonelli, Compagnoni, Dezani-Ciancaglini and Garralda"Boxed Ambients with Communication Interfaces"
In proceedings.
Bono, Tiuryn and Urzyczyn"Type Inference for Nested Self Types (Extended Abstract)"
In proceedings.
Coppo, Dezani-Ciancaglini, Giovannetti and Pugliese"Dynamic and Local Typing for Mobile Ambients"
In proceedings.
Dal Lago, Martini and Roversi"Higer-Order Linear Ramified Recurrence"
In proceedings.
Damiani, Dezani-Ciancaglini and Giannini"On Re-classification and Multithreading"
Article.
Damiani, Dezani-Ciancaglini and Giannini"Re-classification and Multithreading: FickleMT"
In proceedings.
Dezani-Ciancaglini, Ghilezan and Likavec"Behavioural Inverse Limit Models"
Article.
Ghilezan and Likavec"Extensions of the reducibility method"
In proceedings.
Giovannetti"Type Inference for Mobile Ambients in Prolog"
In proceedings.
Lanotte, Maggiolo-Schettini, Tini, Troina and Tronci"Automatic Covert Channel Analysis of a Multilevel Secure Component"
In proceedings.
Lanotte, Maggiolo-Schettini, Tini and Troina"Verification of Hybrid Automata by Synthesis and Refinement"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata and Applications to Security"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata and Applications to Security"
In proceedings.
Lengrand, Lescanne, Dougherty, Dezani-Ciancaglini and van Bakel"Intersection Types for Explicit Substitutions"
Article.
Lescanne and Likavec"Understanding untyped λμμ̃-calculus"
Technical report.
Padovani, Coen and Zacchiroli"A Generative Approach to the Implementation of Language Bindings for the Document Object Model"
In proceedings.
Padovani"A Math Canvas for the GNOME Desktop"
In proceedings.
Padovani and Solmi"An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics"
In proceedings.
Padovani"Interactive Editing of MathML Markup Using TeX Syntax"
In proceedings.
Paolini and Ronchi Della Rocca"A fully abstract model for the lazy lambda-calculus"
In proceedings.
Paolini"Lambda-theories: some investigations"
PhD thesis.
Paolini and Ronchi Della Rocca"Lazy Logical Semantics"
In proceedings.
Paolini and Ronchi Della Rocca"Parametric parameter passing lambda-calculus"
Article.
Ronchi Della Rocca and Paolini"The Parametric λ-Calculus: a Metamodel for Computation"
Book.

2003
Aldinucci, Campa, Ciullo, Coppola, Danelutto, Pesciullesi, Ravazzolo, Torquati, Vanneschi and Zoccolo"ASSIST demo: a high level, high performance, portable, structured parallel programming environment at work"
In proceedings.
Aldinucci, Danelutto and Teti"An advanced environment supporting structured parallel programming in Java"
Article.
Aldinucci"Dynamic shared data in structured parallel programming frameworks"
PhD thesis.
Aldinucci, Campa, Ciullo, Coppola, Magini, Pesciullesi, Potiti, Ravazzolo, Torquati, Vanneschi and Zoccolo"The Implementation of ASSIST, an Environment for Parallel and Distributed Programming"
In proceedings.
Aldinucci"eskimo: experimenting skeletons on the shared address model"
In proceedings.
Aldinucci"eskimo: experimenting with Skeletons in the Shared Address Model"
Article.
Alessi, Barbanera and Dezani-Ciancaglini"Types and Computational Rules"
In proceedings.
Anderson, Barbanera and Dezani-Ciancaglini"Alias and Union Types for Delegation"
Article.
Anderson, Barbanera, Dezani-Ciancaglini and Drossopoulou"Can Addresses be Types? (a case study: Objects with Delegation)"
In proceedings.
Anile, Spinella and Rinaudo"Stochastic response surface method and tolerance analysis in microelectronics"
Article.
Asperti, Padovani, Coen, Guidi and Schena"Mathematical Knowledge Management in HELM"
Article.
van Bakel and de' Liguoro"Logical Semantics for the First Order Sigma-Calculus"
In proceedings.
Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone"A Calculus of Bounded Capacities"
In proceedings.
Barbanera and Berardi"A full continuous model of polymorphism"
Article.
Bettini and De Nicola"A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces"
In proceedings.
Bettini"A Java package for class and mixin mobility in a distributed setting"
In proceedings.
Bettini, Capecchi and Venneri"Extending Java to dynamic object behaviors"
In proceedings.
Bettini"Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations"
PhD thesis.
Bettini, Loreti and Venneri"On Multiple Inheritance in Java"
In proceedings.
Bettini, Bono and Venneri"Subtyping Mobile Classes and Mixins"
In proceedings.
Bettini, Bono, Nicola, Ferrari, Gorla, Loreti, Moggi, Pugliese, Tuosto and Venneri"The Klaim Project: Theory and Practice"
In proceedings.
Bono"Extensible Objects: a Tutorial"
In proceedings.
Bono and Bugliesi"Workshop on Object-Oriented Developments (WOOD 2003)"
Conference proceedings.
Coppo, Dezani-Ciancaglini, Giovannetti and Salvo"M3: Mobility Types for Mobile Processes in Mobile Ambients"
In proceedings.
Coppola and Ronchi Della Rocca"Principal Typing for Elementary Affine Logic"
In proceedings.
Damiani"A conjunctive type system for useless-code elimination"
Article.
Damiani and Giannini"Alias types for ``environment-aware'' computations"
In proceedings.
Damiani"Rank 2 intersection types for local definitions and conditional expressions"
Article.
Damiani"Rank 2 intersection types for modules"
In proceedings.
Damiani, Drossopoulou and Giannini"Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)"
In proceedings.
Dezani-Ciancaglini, Honsell and Alessi"A Complete Characterization of Complete Intersection-Type Preorders"
Article.
Dezani-Ciancaglini, Severi and de Vries"Infinitary Lambda Calculus and Discrimination of Berarducci Trees"
Article.
Dezani-Ciancaglini and Ghilezan"Lambda Models Characterizing Computational Behaviours of Terms"
Article.
Dezani-Ciancaglini and Ghilezan"Two Behavioural Lambda Models"
In proceedings.
Ghilezan and Likavec"Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types"
In proceedings.
Giovannetti"Ambient Calculi with Types: a Tutorial"
In proceedings.
Lanotte, Maggiolo-Schettini, Tini, Troina and Tronci"Automatic Analysis of the NRL Pum"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security"
In proceedings.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata and Applications to Security"
In proceedings.
Margaria and Zacchi"A Filter Model for Safe Ambients"
In proceedings.
Padovani"MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality"
Article.
Padovani"On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions"
In proceedings.
Troina, Aldini and Gorrieri"A Probabilistic Formulation of Imperfect Cryptography"
In proceedings.
Troina, Aldini and Gorrieri"Approximating Imperfect Cryptography in a Formal Model"
In proceedings.

2002
Aldinucci and Danelutto"An operational semantic for skeletons"
Technical report.
Aldinucci"Automatic Program Transformation: The Meta Tool for Skeleton-based Languages"
In a collection.
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A type preserving translation of Fickle into Java "
In proceedings.
Asperti and Roversi"Intuitionistic Light Affine Logic"
Article.
van Bakel and Dezani-Ciancaglini"Characterising Strong Normalisation for Explicit Substitutions"
In proceedings.
van Bakel, Barbanera, Dezani-Ciancaglini and de Vries"Intersection Types for Lambda-Trees"
Article.
Barbanera, Dezani-Ciancaglini, Salvo and Sassone"A Type Inference Algorithm for Secure Ambients"
In proceedings.
Berardi and Berline"Beta-eta complete models for system F"
Article.
Bettini, Loreti and Pugliese"An Infrastructure Language for Open Nets"
In proceedings.
Bettini, Bono and Venneri"Coordinating Mobile Object-Oriented Code"
In proceedings.
Bettini, De Nicola and Loreti"Formalizing Properties of Mobile Agent Systems"
In proceedings.
Bettini, De Nicola and Pugliese"Klava: a Java Package for Distributed and Mobile Applications"
Article.
Bettini, De Nicola and Loreti"Software Update via Mobile Agent Based Programming"
In proceedings.
Bettini, Bono and Venneri"Towards Object-Oriented Klaim"
In proceedings.
Bono, Damiani and Giannini"A calculus for ``environment-aware'' computation"
In proceedings.
Bono and Kerber"Crash in Program and Logic"
In proceedings.
Bono and Tiuryn"Products and Polymorphic Subtypes"
Article.
Bono, Bugliesi and Crafa"Typed Interpretations of Extensible Objects"
Article.
Casarini and Padovani"The GNOME DOM Engine"
Article.
Coppo and Dezani-Ciancaglini"A Fully Abstract Model for Higher-Order Mobile Ambients"
In proceedings.
Coppo and Dezani-Ciancaglini"A Fully Abstract Model for Mobile Ambients"
In proceedings.
Coppo, Damiani and Giannini"Strictness, totality, and non-standard type inference"
Article.
Dezani-Ciancaglini and Lusin"Intersection Types and Lambda Theories"
In proceedings.
Dezani-Ciancaglini, Frisch, Giovannetti and Motohama"The Relevance of Semantic Subtyping"
In proceedings.
Dezani-Ciancaglini, Meyer and Motohama"The Semantics of Entailment Omega"
Article.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"More Dynamic Object Re-classification: FickleII"
Article.
de' Liguoro"Subtyping in logical form"
In proceedings.
Padovani"A Standalone Rendering Engine for MathML"
In proceedings.
Paolini"Call-by-Value Separability and Computability"
In proceedings.
Ronchi Della Rocca"Typed Intersection Lambda Calculus"
In proceedings.
Troina"Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici"
Master's thesis.
Xie, Watt and Padovani"A Lisp Subset Based on MathML"
In proceedings.

2001
Aldinucci, Gorlatch, Lengauer and Pelagatti"Towards Parallel Programming by Transformation: The FAN Skeleton Framework"
Article.
Alessi, Dezani-Ciancaglini and Honsell"Filter Models and Easy Terms"
In proceedings.
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"An effective translation of Fickle into Java (extended abstract)"
In proceedings.
Asperti, Padovani, Coen and Schena"Formal Mathematics on the Web"
In proceedings.
Asperti, Padovani, Coen and Schena"HELM and the Semantic Math-Web"
In proceedings.
Asperti, Padovani, Coen and Schena"XML, Stylesheets and the Re-mathematization of Formal Content"
In proceedings.
Bettini, Loreti and Pugliese"Modelling Node Connectivity in Dynamically Evolving Networks"
In proceedings.
Bettini and De Nicola"Translating Strong Mobility into Weak Mobility"
In proceedings.
Bettini, De Nicola and Pugliese"X-Klaim and Klava: Programming Mobile Code"
In proceedings.
Bono and Salvo"A CuCh Interpretation of an Object-Oriented Language"
In proceedings.
Bono and Tiuryn"Products and Polymorphic Subtypes"
In proceedings.
Casarini and Padovani"The GNOME DOM Engine"
In proceedings.
Coppo and Hirschoff"Incremental Inference of Partial Types"
In proceedings.
Coppo"Type Inference with Recursive Type Equations"
In proceedings.
Dezani-Ciancaglini and Ghilezan"A Lambda Model Characterizing Computational Behaviours of Terms"
In proceedings.
Dezani-Ciancaglini, Honsell and Motohama"Approximation Theorems for Intersection Type Systems"
Article.
Dezani-Ciancaglini and Giovannetti"From Böhm's Theorem to Observational Equivalences: an Informal Account"
In proceedings.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings.
Ghilezan, Kunčak and Likavec"Reducibility method for termination properties of typed lambda terms"
In proceedings.
de' Liguoro"Characterizing convergent terms in object calculi via intersection types"
In proceedings.
Meyer, Motohama and Bono"Truth translations of basic relevant logics"
In proceedings.
Restivo, Ronchi Della Rocca and Roversi"Theoretical Computer Science - 7th Italian Conference (ICTCS 2001)"
Book.
Ronchi Della Rocca and Roversi"Intersection Logic"
In proceedings.

2000
Aldinucci"The Meta Transformation Tool for Skeleton-Based Languages"
In proceedings.
van Bakel, Dezani-Ciancaglini, de' Liguoro and Motohama"The Minimal Relevant Logic and the Call-by-Value Lambda Calculus"
Technical report.
Berardi, Coppo, Damiani and Giannini"Type-Based Useless-Code Elimination for Functional Programs"
In proceedings.
Bettini, De Nicola, Ferrari and Pugliese"Mobile Applications in X-KLAIM"
In proceedings.
Bettini, Loreti and Pugliese"Structured Nets in Klaim"
In proceedings.
Damiani and Giannini"Automatic useless-code detection and elimination for HOT functional programs"
Article.
Damiani"Conjunctive Types and Useless-code Elimination (Extended Abstract)"
In proceedings.
Damiani"Typing local definitions and conditional expressions with rank 2 intersection"
In proceedings.
Dezani-Ciancaglini, Honsell and Alessi"A Complete Characterization of Complete Intersection-Type Theories"
In proceedings.
Dezani-Ciancaglini, Severi and de Vries"Böhm's Theorem for Berarducci Trees"
In proceedings.
Dezani-Ciancaglini, Honsell and Motohama"Compositional Characterization of Lambda-terms using Intersection Types (Extended abstract)"
In proceedings.
Dezani-Ciancaglini and Salvo"Security Types for Safe Mobile Ambients"
In proceedings.
Margaria and Zacchi"Generalized filter models"
Article.
Paolini"Élements de Ludique"
Master's thesis.
Ronchi Della Rocca"Operational Semantics and Extensionality"
In proceedings.
Roversi"Light Affine Logic as a Programming Language: a First Contribution "
Article.

1999
Aldinucci and Danelutto"Stream parallel skeleton optimization"
In proceedings.
Berardi"Intuitionistic Completness for First Order Classical Logic"
Article.
Berardi and de' Liguoro"Total Functionals and Well-Founded Strategies"
In proceedings.
Berarducci and Dezani-Ciancaglini"Infinite Lambda-calculus and Types"
Article.
Bono, Patel and Shmatikov"A Core Calculus of Classes and Mixins"
In proceedings.
Bono, Patel, Shmatikov and Mitchell"A Core Calculus of Classes and Objects"
In proceedings.
Bono, Bugliesi, Dezani-Ciancaglini and Liquori"A Subtyping for Extensible, Incomplete Objects"
Article.
Bono and Bugliesi"Interpretations of Extensible Objects and Types"
In proceedings.
Bono and Bugliesi"Matching for the Lambda Calculus of Objects"
Article.
Bono"Type Systems for the Object-Oriented Paradigm"
PhD thesis.
Damiani, Dezani-Ciancaglini and Giannini"A Filter Model for Mobile Processes"
Article.
Damiani"Useless-code detection and elimination for PCF with algebraic Datatypes"
In proceedings.
Dezani-Ciancaglini, Tiuryn and Urzyczyn"Discrimination by Parallel Observers: the Algorithm"
Article.
Kfoury, Ronchi Della Rocca, Tiuryn and Urzyczyn"Alpha-conversion and Typability"
Article.
Paolini and Ronchi Della Rocca"Call-by-value Solvability"
Article.
Pravato, Ronchi Della Rocca and Roversi"The call by value λ-calculus: a semantic investigation"
Article.
Roversi"A P-Time Completeness Proof for Light Logics"
In proceedings.

1998
Aldinucci, Coppola and Danelutto"Rewriting skeleton programs: How to evaluate the data-parallel stream-parallel tradeoff"
In proceedings.
Baratella and Berardi"Approximating Classical Theorems"
Article.
Baratella and Berardi"Constructivization via Approximations and Examples"
In proceedings.
Barbanera, Dezani-Ciancaglini and de Vries"Types for Trees"
In proceedings.
Bastonero, Pravato and Ronchi Della Rocca"Structures for lazy semantics"
In proceedings.
Berardi, Bezem and Coquand"On the Computational Content of the Axiom of Choice"
Article.
Bettini, De Nicola, Ferrari and Pugliese"Interactive Mobile Agents in X-Klaim"
In proceedings.
Bono and Fisher"An Imperative First-Order Calculus with Object Extension"
In proceedings.
Coppo, Damiani and Giannini"Inference based analysis of functional programs: dead-code and strictness"
In a collection.
Coppo"Recursive types: the syntactic and semantic approaches"
In a collection.
Damiani and Prost"Detecting and Removing Dead-Code using Rank 2 Intersection"
In a collection.
Damiani"Non-standard type inference for functional programs"
PhD thesis.
Dezani-Ciancaglini, de' Liguoro and Piperno"A Filter Model for Concurrent Lambda-Calculus"
Article.
Dezani-Ciancaglini, Intrigila and Venturini-Zilli"Böhm's Theorem for Böhm Trees"
In proceedings.
Dezani-Ciancaglini, Giovannetti and de' Liguoro"Intersection Types, Lambda-models and Böhm Trees"
In a collection.
Honsell, Pravato and Ronchi Della Rocca"Structured Operational Semantics of a fragment of the language SCHEME"
Article.
Paolini"La chiamata per Valore e La valutazione pigra nel λ-calcolo"
Master's thesis.
Roversi"A Polymorphic Language which is Typable and Poly-step"
In proceedings.
Roversi"Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment"
In proceedings.

1997
Alessi, Dezani-Ciancaglini and de' Liguoro"A Convex Powerdomain over Lattices: its Logic and λ-Calculus"
Article.
Aoun, Barbanera, Dezani-Ciancaglini and Mirasyedioglu"Principal Typing for Parallel and non-Deterministic Lambda Calculus"
Article.
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn"Comparing Cubes of Typed and Type Assignment Systems"
Article.
Baratella and Berardi"A Parallel Game Semantic for Linear Logic"
Article.
Baratella and Berardi"Yet Another Constructivization of Classical logic"
In proceedings.
Barbanera and Berardi"The Simply-Typed Theory of beta-conversion has no Maximum Extension"
Article.
Barbanera, Berardi and Schivalocchi"``Classical'' programming-with-proofs in λSymPA:an analysis of non-confluence"
In proceedings.
Berardi and Boerio"Minimum Information Code in a Pure Functional Language with Data Types"
In proceedings.
Bono and Bugliesi"Matching Constraints for the Lambda Calculus of Objects"
In proceedings.
Bono, Bugliesi, Dezani-Ciancaglini and Liquori"Subtyping Constraints for Incomplete Objects"
In proceedings.
Coppo, Damiani and Giannini"On Strictness and Totality"
In proceedings.
Damiani and Giannini"An Inference Algorithm for Strictness"
In proceedings.
Dezani-Ciancaglini, Tiuryn and Urzyczyn"Discrimination by Parallel Observers"
In proceedings.
Pravato, Bastonero and Ronchi Della Rocca"Structures for Lazy Semantics"
Miscellaneous document.
Ronchi Della Rocca and Roversi"Lambda calculus and Intuitionistic Linear Logic"
Article.

1996
Barbanera and Berardi"A Constructive Valuation Semantics for Classical Logic"
Article.
Barbanera and Berardi"A Symmetric Lambda-Calculus for Classical Program Extraction"
Article.
Barbanera and Berardi"Proof-irrelevance out of Excluded-middle and Choice in the Calculus of Constructions"
Article.
Berardi"Pruning Simply Typed Lambda Terms"
Article.
Berardi and Coppo"Types for Proofs and Programs 95'"
Book.
Bono, Bugliesi and Liquori"A Lambda Calculus of Incomplete Objects"
In proceedings.
Coppo, Damiani and Giannini"Refinement Types for Program Analysis"
In proceedings.
Dezani-Ciancaglini, de' Liguoro and Piperno"Filter Models for Conjunctive-Disjunctive Lambda-Calculi"
Article.
Dezani-Ciancaglini"Logical Semantics for Concurrent Lambda-Calculus"
PhD thesis.
Giannini and Ricaldone"Multiple Inheritance and Class Composition"
Technical report.
de' Liguoro"PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke)"
Technical report.
Roversi"a Type-Free Resource-Aware λ-Calculus"
In proceedings.

1995
Barbanera and Berardi"A Strong Normalization Result for Classical Logic"
Article.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Intersection and Union Types: Syntax and Semantics"
Article.
Berardi, Bezem and Coquand"A realization of the negative interpretation of the Axiom of Choice"
In proceedings.
Berardi and Coppo"Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers)"
Book.
Berardi and Boerio"Using Subtyping in Program Optimization"
In proceedings.
Bono and Liquori"A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects"
In proceedings.
Coppo and Giannini"Principal Types and Unification For a Simple Intersection Type System "
Article.
de' Liguoro and Piperno"Nondeterministic Extensions of Untyped λ-Calculus"
Article.
Margaria and Zacchi"Infinite Intersection Type Theory"
Technical report.
Margaria and Zacchi"Principal Typing in a ∀ ∧ Discipline"
Article.
Pravato and Roversi"Λ! considered both as a paradigmatic language and as a meta-language"
In proceedings.
Pravato, Ronchi Della Rocca and Luca"Categorical Semantics of the call-by-value lambda calculus"
In proceedings.
Roversi"Semantics of lambda-calculi designed from Intuitionistic linear logic"
PhD thesis.

1994
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn"Comparing Cubes"
In proceedings.
Barbanera and Berardi"A Symmetric Lambda-Calculus for Classical Program Extraction"
In proceedings.
Cardone, Dezani-Ciancaglini and de' Liguoro"Combining Type Disciplines"
Article.
Damiani and Giannini"A Decidable Intersection Type System based on Relevance"
In proceedings.
Dezani-Ciancaglini, de' Liguoro and Piperno"Fully Abstract Semantics for Concurrent Lambda-calculus"
In proceedings.
Giannini and Ronchi Della Rocca"A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline"
Article.
Piperno and Ronchi Della Rocca"Type Inference and Extensionality"
In proceedings.

1993
Barbanera and Berardi"Extracting Constructive Content from Classical Logic via Control-like Reductions"
In proceedings.
Barbanera and Berardi"Witness Extraction in Classical Logic through Normalization"
In a collection.
Berardi"An application of PER model to Program Extraction"
Article.
Berardi"Encoding of Data Types in Pure Construction Calculus: a semantic justification"
In proceedings.
Giannini, Honsell and Ronchi Della Rocca"Type Inference: some results, some problems"
Article.

1992
Barbanera and Berardi"A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction"
In proceedings.
Barbanera and Berardi"Continuations and Simple Types: A strong Normalization Result"
In proceedings.
Coppo and Giannini"A Complete Type Inference Algorithm for Simple Intersection Types"
In proceedings.
Egidi, Honsell and Ronchi Della Rocca"Operational, denotational and logical descriptions: a case study"
Article.
Honsell and Ronchi Della Rocca"An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus"
Article.
Jacobs, Margaria and Zacchi"Filter models with polymorphic types"
Article.
de' Liguoro, Piperno and Statman"Retracts in simply typed λ-βη calculus"
In proceedings.
Roversi"A compiler from Curry-typed λ-terms to linear-λ-terms"
In proceedings.

1991
Berardi"Retraction on dI-domains as a Model of Type:Type"
Article.
Giannini and Ronchi Della Rocca"Type Inference in Polymorphic Type Discipline"
In proceedings.
de' Liguoro"Non-deterministic untyped λ-calculus. A study about explicit non determinism in higher-order functional calculi"
PhD thesis.

1990
Honsell and Ronchi Della Rocca"Reasoning about interpretations in qualitative lambda models"
In proceedings.
Nestor, Newcomer, Giannini and Stone"IDL, The Language and its Implementation"
Book.

1988
Berardi"Equalization of Finite Flowers"
Article.
Berardi"Equalization of Finite Flowers"
Article.
Giannini and Ronchi Della Rocca"Characterization of Typings in Polymorphic Type Discipline"
In proceedings.
Ronchi Della Rocca"Principal Type scheme and unification for intersection type discipline"
Article.

1987
Ronchi Della Rocca"A Unification Semi-Algorithm for Intersection Type Schemes"
In proceedings.

1984
Coppo, Dezani-Ciancaglini, Honsell and Longo"Extended Type Structures and Filter Lambda Models"
In proceedings.
Giannini and Longo"Effectively Given Domains and Lamba-Calculus Models"
Article.
Ronchi Della Rocca and Venneri"Principal Type Scheme for an extended type theory"
Article.

1983
Barendregt, Coppo and Dezani-Ciancaglini"A Filter Lambda Model and the Completeness of Type Assignment"
Article.

1982
Ronchi Della Rocca"Characterization Theorems for a filter lambda model"
Article.

1978
Coppo, Dezani-Ciancaglini and Ronchi Della Rocca"Semi-Separability of Finite Sets of Terms in Scott's D-models of λ-calculus"
In proceedings.

Not dated
Giannini, Servetto and Zucca"Runtime Checks as Nominal Types"
In proceedings.
Giannini, Servetto and Zucca"Types for Immutability and Aliasing Control"
In proceedings.

 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!