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
Barbanera, Lanese and de' Liguoro"Retractable and Speculative Contracts"
In proceedings: COORDINATION'17.
Castellani, Dezani-Ciancaglini and Giannini"Concurrent Reversible Sessions"
In proceedings.
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: Lecture Notes in Computer Science.
Giannini, Servetto and Zucca"A type and effect system for sharing"
In proceedings.
Paolini, Piccolo and Roversi"A certified study of a reversible programming language"
In proceedings: LIPIcs.
Paolini and Zorzi"qPCF: a language for quantum circuit computations"
In proceedings: Lecture Notes in Computer Science.

2016
Ancona, Giannini and Zucca"Incremental Rebinding with Name Polymorphism "
In proceedings.
Barbanera and de' Liguoro"A Game Interpretation of Retractable Contracts"
In proceedings: COORDINATION'16.
Barbanera, Dezani-Ciancaglini, Lanese and de' Liguoro"Retractable Contracts"
In proceedings: PLACES'15.
Castellani, Dezani-Ciancaglini and de' Liguoro"Secure Multiparty Sessions with Topics"
In proceedings.
Cazzola, Giannini and Shaqiri"Formal Attributes Traceability in Modular Language Development Frameworks "
In proceedings.
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.
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: APLAS 2016.
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.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
In proceedings.

2015
Barbanera, van Bakel and de' Liguoro"Orchestrated Session Compliance"
In proceedings: ICE'15.
ter Beek, Damiani, Gnesi, Mazzanti and Paolini"From Featured Transition Systems to Modal Transition Systems with Variability Constraints"
In proceedings: LNCS.
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: TLCA'15.
Bessai, Düdder, Dudenhefner, Chen and de' Liguoro"Typing Classes and Mixins with Intersection Types"
In proceedings: ITRS'14.
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.
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.
Drocco, Misale, Pezzi, Tordini and Aldinucci"Memory-Optimised Parallel Processing of Hi-C Data"
In proceedings.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization for a Call-by-Value Lambda-Calculus"
In proceedings: LIPIcs.
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.
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, 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, Bracciali, Marschall, Patterson, Pisanti and Torquati"High-Performance Haplotype Assembly"
In proceedings.
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.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Compliance for reversible client/server interactions"
In proceedings: BEAT'14.
Barbanera and de' Liguoro"Loosening the notions of compliance and sub-behaviour in client/server systems"
In proceedings: ICE'14.
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 and Pisano"Reputation by design: using VDML and ServiceML for reputation systems modeling"
In proceedings.
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: PLACES 2014.
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 and Winkelmann"Delta-oriented Multi Software Product Lines"
In proceedings.
Dezani-Ciancaglini and Ghilezan"Preciseness of Subtyping on Intersection and Union Types"
In proceedings.
Dezani-Ciancaglini, Padovani and Pantovic"Session Type Isomorphisms"
In proceedings.
Koscielny, Holthusen, Schaefer, Schulze, Bettini and Damiani"DeltaJ 1.5: Delta-oriented Programming for Java 1.5"
In proceedings.
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.
Tordini, Drocco, Merelli, Milanesi, Liò and Aldinucci"NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data"
In proceedings.

2013
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.
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: ITRS'12.
Berardi and de' Liguoro"Non-monotonic pre-fix points and Learning"
In proceedings: FICS'13.
Bergel and Bettini"Artifact evaluation (summary)"
In proceedings.
Bettini"Implementing Java-like languages in Xtext with Xsemantics"
In proceedings.
Bettini, Caselli and Guidieri"Parsley for your EMF Applications"
In proceedings.
Bettini and Damiani"Pure Trait-based Programming on the Java Platform"
In proceedings.
Bocchi, Chen, Demangeon, Honda and Yoshida"Monitoring Networks through Multiparty Session Types"
In proceedings: FMOOD/FORTE 2013.
Bono, Padovani and Tosatto"Polymorphic Types for Leak Detection in a Session-Oriented Functional Language"
In proceedings.
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.
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.

2012
Accattoli and Paolini"Call-by-Value Solvability, Revisited"
In proceedings: LNCS.
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, 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.
Berardi and de' Liguoro"Knowledge Spaces and the Completeness of Learning Strategies"
In proceedings: CSL'12.
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.
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.
Buscemi, Coppo, Dezani-Ciancaglini and Montanari"Constraints for Service Contracts"
In proceedings.
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: CONCUR 2012.
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.
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.
Dominici, Ronchi Della Rocca and Tranquilli"Standardization in resource lambda calculus"
In proceedings.
Giannini, Mantovani and Shaqiri"Leveraging dynamic typing through static typing"
In proceedings.
Jakšic and Padovani"Exception Handling for Copyless Messaging"
In proceedings.
Ramón and Troina"Modelling Ecological Systems with the Calculus of Wrapped Compartments"
In proceedings.
Tordini, Aldinucci and Torquati"High-level lock-less programming for multicore"
In proceedings.

2011
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, Bracciali, Liò, Sorathiya and Torquati"StochKit-FF: Efficient Systems Biology on Multicore Architectures"
In proceedings.
Ancona, Corradi, Lagorio and Damiani"Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?"
In proceedings.
van Bakel, Barbanera and de' Liguoro"A Filter Model for λμ"
In proceedings: TLCA'12.
Bergel and Bettini"Reverse Generics - Parametrization after the Fact"
In proceedings.
Bettini"A DSL for Writing Type Systems for Xtext Languages"
In proceedings.
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.
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.
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: TGC 2011.
Damiani and Schaefer"Dynamic delta-oriented programming"
In proceedings: Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2). ACM, 2011.
Damiani, Dovland, Johnsen and Schaefer"Verifying traits: a proof system for fine-grained reuse"
In proceedings.
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: ICFP 2011.
Honda, Mukhamedov, Brown, Chen and Yoshida"Scribbling Interactions with a Formal Foundation"
In proceedings: ICDCIT 2011.
Padovani"Fair Subtyping for Multi-Party Session Types"
In proceedings.
Padovani"Session Types = Intersection Types + Union Types"
In proceedings.
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, 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, Ruggieri and Torquati"Porting Decision Tree Algorithms to Multicore using FastFlow"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Skeletons for multi/many-core systems"
In proceedings.
Baillot, Gaboardi and Mogbil"A polytime functional language from Light linear logic"
In 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: PPDP'10.
Barbanera, Capecchi and de' Liguoro"Typing Asymmetric Client-Server Interaction"
In proceedings: FSEN'09.
Bettini, Damiani, De Luca, Geilmann and Schaefer"A Calculus for Boxes and Traits in a Java-like Setting"
In proceedings: Coordination'10, LNCS 6160, pages 41-50, Springer.
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: OOPS track at SAC'10, pages 2096-2112, ACM.
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: Workshop QAPL (affiliated with ETAPS 2010).
Dezani-Ciancaglini and de' Liguoro"Sessions and Session Types: an Overview"
In proceedings: WS-FM'09.
Pagani and Ronchi Della Rocca"Solvability in Resource Lambda Calculus"
In proceedings.
Roversi and Vercelli"A structural and local criterion for polynomial time computations"
In proceedings.
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: Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, ACM, 2010.
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.
Weigold, Aldinucci, Danelutto and Getov"Integrating Autonomic Grid Components and Process-Driven Business Applications"
In proceedings.

2009
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, 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.
Bettini, Capecchi and Damiani"A Mechanisms for Flexible Dynamic Trait Replacement"
In proceedings: electronic proceedings of Workshop FTfJP'09 (http://www.cs.ru.nl/ftfjp/), ACM Digital Library (http://portal.acm.org/toc.cfm?id=SERIES12774&idx=SERIES12774&type=series&coll=portal&dl=ACM&part=series&WantType=Proceedings&title=ECOOP).
Bettini, Capecchi and Venneri"A safe implementation of dynamic overloading in Java-like languages"
In proceedings.
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.
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: Workshop CompMod 2009 (affiliated with FM 2009), EPTCS (http://published.eptcs.org/).
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: ICSOFT'09 (http://www.icsoft.org), INSTICC press.
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, 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 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.
Padovani"Session Types at the Mirror"
In proceedings.
Paolini and Piccolo"A Process-Model for Linear Programs"
In proceedings.
Paolini, Piccolo and Ronchi Della Rocca"Logical Semantics for Stability"
In proceedings: MFPS 2009.
Roversi and Vercelli"Some Complexity and Expressiveness results on Multimodal and Stratified Proof-nets"
In proceedings.

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, Campa, Danelutto, Vanneschi, Dazzi, Laforenza, Tonellotto and Kilpatrick"Behavioural skeletons in GCM: autonomic management of grid components"
In proceedings.
Aldinucci, Danelutto, Kilpatrick and Dazzi"From Orc Models to Distributed Grid Java code"
In proceedings.
Aldinucci, Torquati, Vanneschi and Zuccato"The VirtuaLinux Storage Abstraction Layer for Efficient Virtual Clustering"
In proceedings.
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, Torquati, Polzella, Spinatelli, Vanneschi, Gervaso, Cacitti and Zuccato"VirtuaLinux: virtualized high-density clusters with no single point of failure"
In proceedings.
Berardi and de' Liguoro"A Calculus of Realizers for EM1 Arithmetic"
In proceedings: CSL'8.
Bettini, Bono and Naddeo"A Trait Based Re-engineering Technique for Java Hierarchies"
In proceedings.
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 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: TCS 2008, IFIP Volume 273/2008, pages 367-382, Springer (http://dx.doi.org/10.1007/978-0-387-09680-3_25).
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: SAS 2008, LNCS 5079, pages 144-158, Springer.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
In proceedings.
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: TGC'07.
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.
Nicosia and Sciacca"Pattern Search Algorithms for Circuit Design Optimization"
In proceedings.
Nicosia and Sciacca"Robust Parameter Identification for Biological Circuit Calibration"
In proceedings.
Padovani"Contract-Directed Synthesis of Simple Orchestrators"
In proceedings.
Paolini and Piccolo"Semantically Linear Programming Languages"
In proceedings: PPDP 2008.
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.

2007
Aldinucci, Danelutto and Kilpatrick"Adding metadata to Orc to support reasoning about grid programming"
In proceedings.
Aldinucci, Campa, Danelutto, Dazzi, Kilpatrick, Laforenza and Tonellotto"Behavioural skeletons for component autonomic management on grids"
In proceedings.
Aldinucci, Danelutto and Kilpatrick"Management in distributed systems: a semi-formal approach"
In proceedings.
Aldinucci and Danelutto"The cost of security in skeletal systems"
In proceedings.
Aldinucci and Zuccato"Virtual clusters with no single point of failure"
In proceedings.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"The Calculus of Looping Sequences for Modeling Biological Membranes"
In proceedings.
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: electronic proceedings of Workshop FTfJP'07 (http://www.cs.ru.nl/ftfjp/).
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.
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"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 and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Goubault-Larrecq, Palamidessi and Troina"A Probabilistic Applied Pi-Calculus"
In proceedings.
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.
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.

2006
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, 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-optimizing grid components in the GCM model and their ASSIST implementation"
In proceedings.
Aldinucci, Danelutto, Giaccherini, Torquati and Vanneschi"Towards a distributed scalable data service for the grid"
In proceedings.
Anile, Salvatore and Ostoich"Best locations for river water quality monitoring sensors through fuzzy interpolation"
In proceedings.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"Bisimulation Congruences in the Calculus of Looping Sequences"
In proceedings.
Bettini, Nicola, Falassi and Loreti"Implementing a distributed mobile calculus using the IMC framework"
In proceedings.
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.
Damiani, Giachino, Giannini, Cameron and Drossopoulou"A State Abstraction for Coordination in Java-like Languages"
In proceedings: electronic proceedings of Workshop FTfJP'06 (http://www.cs.ru.nl/ftfjp/).
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In proceedings: ICSOFT'06 (http://www.icsoft.org), Volume 1, pages 5-12, INSTICC press.
Dezani-Ciancaglini, Mostrous, Yoshida and Drossopoulou"Session Types for Object-Oriented Languages"
In proceedings.
Fossati"Handshake Games"
In proceedings: DCM '06.
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.
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.
Padovani and Zacchiroli"From Notation to Semantics: There and Back Again"
In proceedings.
Paolini, Pimentel and Ronchi Della Rocca"An Operational Characterization of Strong Normalization"
In proceedings: FOSSACS 2006.
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.

2005
Aldinucci and Benoit"Automatic mapping of ASSIST applications using process algebra"
In proceedings.
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"
In proceedings.
Aldinucci, Vanneschi and Villa"Grid technologies and c-business for SMEs"
In proceedings.
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 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: POPL'05, pages 26-37, 2005, ACM.
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.
van Bakel and de' Liguoro"Subtyping object and recursive types logically"
In proceedings: ICTCS'05.
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"
In proceedings.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions"
In proceedings.
Bettini, De Nicola, Falassi, Lacoste and Loreti"A Flexible and Modular Framework for Implementing Infrastructures for Global Computing"
In proceedings.
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 object composition in the presence of subtyping"
In proceedings.
Bettini, Capecchi and Venneri"Translating Double-Dispatch into Single-Dispatch"
In 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.
Coppola, Dal Lago and Ronchi Della Rocca"Elementary Affine Logic and the Call by Value Lambda Calculus "
In proceedings: TLCA'05.
Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto"Using Code Parameters for Component Adaptations"
In proceedings.
Damiani"Rank-2 Intersection and Polymorphic Recursion"
In proceedings: TLCA'05, LNCS 3461, pages 146-161, Springer.
Dezani-Ciancaglini, Yoshida, Ahern and Drossopoulou"Ldoos: a Distributed Object-Oriented language with Session types"
In proceedings.
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.
Liquori and Ronchi Della Rocca"Towards an Intersection Typed System a la Church "
In proceedings: ITRS'04.
Padovani"Compilation of Generic Regular Path Expressions Using C++ Class Templates"
In proceedings.
Paolini, Pimentel and Ronchi Della Rocca"Lazy strong normalization"
In proceedings: Intersection Types and Related Systems 2004.
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.
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 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 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: electronic proceedings of Workshop FTfJP'04 (http://www.cs.ru.nl/ftfjp/).
Barbanera and de' Liguoro"Type Assignement for Mobile Objects"
In proceedings: COMETA'03.
Barbuti, Cataudella, Maggiolo-Schettini, Milazzo and Troina"A Probabilistic Calculus for Molecular Systems"
In proceedings.
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, 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"Re-classification and Multithreading: FickleMT"
In proceedings: OOPS track at SAC'04, volume 2, pages 1297-1304, ACM.
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.
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: ISDT'04.
Paolini and Ronchi Della Rocca"Lazy Logical Semantics"
In proceedings: Electronic Notes in Theoretical Computer Science.

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, 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.
Alessi, Barbanera and Dezani-Ciancaglini"Types and Computational Rules"
In proceedings.
Anderson, Barbanera, Dezani-Ciancaglini and Drossopoulou"Can Addresses be Types? (a case study: Objects with Delegation)"
In proceedings.
van Bakel and de' Liguoro"Logical Semantics for the First Order Sigma-Calculus"
In proceedings: ICTCS'03.
Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone"A Calculus of Bounded Capacities"
In proceedings.
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, 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.
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: TLCA 2003.
Damiani and Giannini"Alias types for ``environment-aware'' computations"
In proceedings: Workshop WOOD'03, ENTCS, volume 82.8, Elsevier.
Damiani"Rank 2 intersection types for modules"
In proceedings: PPDP'03, pages 67-78, ACM.
Damiani, Drossopoulou and Giannini"Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)"
In proceedings: ICTCS'03, LNCS 2841, pages 97-110, Springer.
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"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
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A type preserving translation of Fickle into Java "
In proceedings: Workshop TOSCA'01, ENTCS, volume 62, Elsevier.
van Bakel and Dezani-Ciancaglini"Characterising Strong Normalisation for Explicit Substitutions"
In proceedings.
Barbanera, Dezani-Ciancaglini, Salvo and Sassone"A Type Inference Algorithm for Secure Ambients"
In proceedings.
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 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: Workshop F-WAN'02, ENTCS, volume 66.3, Elsevier.
Bono and Kerber"Crash in Program and Logic"
In proceedings.
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.
Dezani-Ciancaglini and Lusin"Intersection Types and Lambda Theories"
In proceedings.
Dezani-Ciancaglini, Frisch, Giovannetti and Motohama"The Relevance of Semantic Subtyping"
In proceedings.
de' Liguoro"Subtyping in logical form"
In proceedings: ITRS'02.
Padovani"A Standalone Rendering Engine for MathML"
In proceedings.
Paolini"Call-by-Value Separability and Computability"
In proceedings: 7th Italian Conference in Theoretical Computer Science.
Ronchi Della Rocca"Typed Intersection Lambda Calculus"
In proceedings: LTRS 2002.
Xie, Watt and Padovani"A Lisp Subset Based on MathML"
In proceedings.

2001
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: ICTCS'01, LNCS 2202, pages 215-234, Springer.
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 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: electronic proceedings of Workshop FOOL8 (http://www.cs.williams.edu/ kim/FOOL/).
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: ECOOP'01, LNCS 2072, pages 130-149, Springer.
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: TLCA'01.
Meyer, Motohama and Bono"Truth translations of basic relevant logics"
In proceedings.
Ronchi Della Rocca and Roversi"Intersection Logic"
In proceedings.

2000
Aldinucci"The Meta Transformation Tool for Skeleton-Based Languages"
In proceedings.
Berardi, Coppo, Damiani and Giannini"Type-Based Useless-Code Elimination for Functional Programs"
In proceedings: Workshop SAIG'00, LNCS 1924, pages 172-189, Springer.
Bettini, De Nicola, Ferrari and Pugliese"Mobile Applications in X-KLAIM"
In proceedings.
Bettini, Loreti and Pugliese"Structured Nets in Klaim"
In proceedings.
Damiani"Conjunctive Types and Useless-code Elimination (Extended Abstract)"
In proceedings: ICALP Workshops, Proceedings in Informatics, volume 8, pages 271-285, Carleton-Scientific.
Damiani"Typing local definitions and conditional expressions with rank 2 intersection"
In proceedings: FOSSACS'00 (part of ETAPS'00), LNCS 1784, pages 82-97, Springer.
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.
Ronchi Della Rocca"Operational Semantics and Extensionality"
In proceedings: PPDP'00.

1999
Aldinucci and Danelutto"Stream parallel skeleton optimization"
In proceedings.
Berardi and de' Liguoro"Total Functionals and Well-Founded Strategies"
In proceedings: TLCA'99.
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 and Bugliesi"Interpretations of Extensible Objects and Types"
In proceedings.
Damiani"Useless-code detection and elimination for PCF with algebraic Datatypes"
In proceedings: TLCA'99, LNCS 1581, pages 83-97, Springer.
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"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: PROCOMET'98.
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.
Dezani-Ciancaglini, Intrigila and Venturini-Zilli"Böhm's Theorem for Böhm Trees"
In proceedings.
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
Baratella and Berardi"Yet Another Constructivization of Classical logic"
In proceedings.
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: TACS'97, LNCS 1281, pages 138-164, Springer.
Damiani and Giannini"An Inference Algorithm for Strictness"
In proceedings: TLCA'97, LNCS 1210, pages 129-146, Springer.
Dezani-Ciancaglini, Tiuryn and Urzyczyn"Discrimination by Parallel Observers"
In proceedings.

1996
Bono, Bugliesi and Liquori"A Lambda Calculus of Incomplete Objects"
In proceedings.
Coppo, Damiani and Giannini"Refinement Types for Program Analysis"
In proceedings: SAS'96, LNCS 1145, pages 143-158, Springer.
Roversi"a Type-Free Resource-Aware λ-Calculus"
In proceedings.

1995
Berardi, Bezem and Coquand"A realization of the negative interpretation of the Axiom of Choice"
In proceedings.
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.
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.

1994
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn"Comparing Cubes"
In proceedings: LFCS-94.
Barbanera and Berardi"A Symmetric Lambda-Calculus for Classical Program Extraction"
In proceedings.
Damiani and Giannini"A Decidable Intersection Type System based on Relevance"
In proceedings: TACS'94, LNCS 789, pages 707-725, Springer.
Dezani-Ciancaglini, de' Liguoro and Piperno"Fully Abstract Semantics for Concurrent Lambda-calculus"
In proceedings: TACS '94.
Piperno and Ronchi Della Rocca"Type Inference and Extensionality"
In proceedings: LICS'94.

1993
Barbanera and Berardi"Extracting Constructive Content from Classical Logic via Control-like Reductions"
In proceedings.
Berardi"Encoding of Data Types in Pure Construction Calculus: a semantic justification"
In proceedings.

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.
de' Liguoro, Piperno and Statman"Retracts in simply typed λ-βη calculus"
In proceedings: LICS '92.
Roversi"A compiler from Curry-typed λ-terms to linear-λ-terms"
In proceedings.

1991
Giannini and Ronchi Della Rocca"Type Inference in Polymorphic Type Discipline"
In proceedings.

1990
Honsell and Ronchi Della Rocca"Reasoning about interpretations in qualitative lambda models"
In proceedings: IFIP Working Group 2.2/2.3.

1988
Giannini and Ronchi Della Rocca"Characterization of Typings in Polymorphic Type Discipline"
In proceedings.

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

1984
Coppo, Dezani-Ciancaglini, Honsell and Longo"Extended Type Structures and Filter Lambda Models"
In proceedings.

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!