
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 
2018  
Baillot, Benedetti and Rocca  "Characterizing polynomial and exponential complexity classes in elementary lambdacalculus" Article. 
van Bakel, Barbanera and de' Liguoro  "Intersection Types for the lambdamu Calculus" Article: Logical Methods in Computer Science. 
Barbanera, Lanese and de' Liguoro  "A theory of retractable and speculative contracts" Article: Science of Computer Programming. 
Bessai, Chen, Dudenhefner, Dï¿œdder, de' Liguoro and Rehof  "Mixin Composition Synthesis based on Intersection Types" Article: Logical Methods in Computer Science. 
Bettini, Bono, DezaniCiancaglini, Giannini and Venneri  "Java $\&$ Lambda: a Featherweight Story" Article. 
Paolini, Piccolo and Roversi  "On a Class of Reversible Primitive Recursive Functions and Its TuringComplete Extensions" Article. 
2017  
Ancona, Giannini and Zucca  "Type safe incremental rebinding" Article. 
Barbanera, van Bakel and de' Liguoro  "Orchestrated Session Compliance" Article: Journal of Logical and Algebraic Methods in Programming. 
Berardi and de' Liguoro  "Nonmonotonic prefix points and Learning" Article: Fundamenta Informaticae. 
Bono, Coppo, DezaniCiancaglini and Venneri  "Datadriven Adaptation for Smart Sessions" Article. 
Chen, DezaniCiancaglini, Scalas and Yoshida  "On the Preciseness of Subtyping in Session Types" Article. 
Coppo, DezaniCiancaglini, Margaria and Zacchi  "Isomorphism of Intersection and Union Types" Article. 
DezaniCiancaglini and Venneri  "Lambda Calcolo" Article. 
Giannini and Shaqiri  "A Provably Correct Compilation of Functional Languages into Scripting Languages" Article. 
Guerrieri, Paolini and Ronchi Della Rocca  "Standardization and Conservativity of a Refined CallbyValue lambdaCalculus" Article: Logical Methods in Computer Science. 
de' Liguoro  "The Approximation Theorem for the $\Lambda \mu $Calculus" Article: Mathematical Structures in Computer Science. 
Paolini, Piccolo and Ronchi Della Rocca  "Essential and relational models" Article: Mathematical Structures in Computer Science. 
Severi, Padovani, Tuosto and DezaniCiancaglini  "On Sessions and Infinite Data" Article. 
2013  
Bettini, Capecchi, DezaniCiancaglini, 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 Javalike setting" Article. 
Bettini, Damiani and Schaefer  "Compositional type checking of deltaoriented software product lines" Article. 
Bettini, Capecchi and Damiani  "On flexible dynamic trait replacement for Javalike languages" Article. 
Bettini, Damiani, Schaefer and Strocco  "TraitRecordJ: A programming language with traits and records " Article. 
Bioglio, DezaniCiancaglini, Giannini and Troina  "Type Directed Semantics for the Calculus of Looping Sequences" Article. 
Giannini and de Vink  "The Third International Workshop on Interactions between Computer Science and Biology, CS2Bio 2012" Article. 
Sciacca, Spinella, Calcagno, Damiani and Coppo  "Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations" Article. 
2011  
Bettini, Bono and Venneri  "Delegation by object composition" Article. 
Bioglio  "Enumerated Type Semantics for the Calculus of Looping Sequences" Article. 
Damiani, Giannini, Ricci and Viroli  "A Calculus of Agents and Artifacts" Article. 
DezaniCiancaglini, Giannini and Zucca  "Extending the lambdacalculus with unbind and rebind" Article. 
Giannini and Krivine  "The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio 2011" Article. 
Paolini, Pimentel and Ronchi Della Rocca  "Strong Normalization from an unusual point of view" Article: Theoretical Computer Science. 
2010  
Aldinucci, Bracciali and Liò  "Formal Synthetic Immunology" Article. 
Barbuti, DezaniCiancaglini, MaggioloSchettini, Milazzo and Troina  "A Formalism for the Description of Protein Interaction" Article. 
DezaniCiancaglini, Di Cosmo, Giovannetti and Tatsuta  "On Isomorphisms of Intersection Types" Article. 
Kusmierek and Bono  "Bigstep Operational Semantics Revisited" Article. 
Lanotte, MaggioloSchettini and Troina  "Reachability results for timed automata with unbounded data structures" Article. 
Lanotte, MaggioloSchettini and Troina  "Time and Probability based Information Flow Analysis" Article. 
Lanotte, MaggioloSchettini and Troina  "Weak Bisimulation for Probabilistic Timed Automata" Article. 
Padovani  "ContractBased Discovery of Web Services Modulo Simple Orchestrators" Article. 
Pagani and Ronchi Della Rocca  "Linearity, Nondeterminism and Solvability" Article. 
Piccolo  "Strong Normalization in the $\pi $calculus with Intersection and Union Types" Article. 
2007  
Aldinucci, Danelutto and Dazzi  "MUSKEL: an expandable skeleton environment" Article. 
Aldinucci and Danelutto  "Skeleton based parallel programming: functional and parallel semantic in a single shot" Article. 
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca  "A provenly correct translation of Fickle into Java" Article: ACM Transactions On Programming Languages and Systems, 29(2), Article No. 13 (67 pages). 
Barbanera, Bugliesi, DezaniCiancaglini and Sassone  "SpaceAware Ambients and Processes" Article. 
Damiani  "Rank 2 Intersection for Recursive Definitions" Article: Fundamenta Informaticae, IOS Press, 77(4), 451488. 
Faggian and Piccolo  "A Graph Abstract Machine Describing Event Structure Composition" Article. 
Garralda, Bonelli, Compagnoni and DezaniCiancaglini  "Boxed Ambients with Communication Interfaces" Article. 
Lanotte, MaggioloSchettini and Troina  "Parametric Probabilistic Transition Systems for System Design and Analysis" Article. 
Liquori and Ronchi Della Rocca  "Intersection Types a la Church" Article: Information and Computation. 
Spinella, Enea, Kroell, Messina and Ronsisvalle  "Optimal Design of Monolithic ESBT Device carried out by Multiobjective Optimization" Article. 
2005  
Anile and Spinella  "Fuzzy modeling of sparse data" Article. 
Barbuti, MaggioloSchettini, Milazzo and Troina  "A Calculus of Looping Sequences for Modelling Microbiological Systems" Article. 
Barbuti, Cataudella, MaggioloSchettini, Milazzo and Troina  "A Probabilistic Model for Molecular Systems" Article. 
Berardi  "Classical Logic as Limit Completion" Article. 
Bettini, Bono and Venneri  "MoMi  A Calculus for Mobile Mixins" Article. 
Bettini, Bono and Likavec  "Safe and Flexible Objects with Subtyping" Article. 
Coppola and Ronchi Della Rocca  "Principal Typing for Lambda Calculus in Elementary Affine Logic" Article: Fundamenta Informaticae. 
DezaniCiancaglini, Honsell and Motohama  "Compositional Characterization of $\lambda $terms using Intersection Types" Article. 
Spinella and Anile  "A Posteriori Multiobjective Optimization for Parameter Extraction of Microelectronic Devices" Article. 
2002  
Asperti and Roversi  "Intuitionistic Light Affine Logic" Article. 
van Bakel, Barbanera, DezaniCiancaglini and de Vries  "Intersection Types for LambdaTrees" Article. 
Berardi and Berline  "Betaeta complete models for system F" Article. 
Bettini, De Nicola and Pugliese  "Klava: a Java Package for Distributed and Mobile Applications" Article. 
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, Damiani and Giannini  "Strictness, totality, and nonstandard type inference" Article: Theoretical Computer Science, 272(12):69112. 
DezaniCiancaglini, Meyer and Motohama  "The Semantics of Entailment Omega" Article. 
Drossopoulou, Damiani, DezaniCiancaglini and Giannini  "More Dynamic Object Reclassification: Fickle$$_{II}" Article: ACM Transactions On Programming Languages and Systems, 24(2):153191. 
2001  
Aldinucci, Gorlatch, Lengauer and Pelagatti  "Towards Parallel Programming by Transformation: The FAN Skeleton Framework" Article. 
DezaniCiancaglini, Honsell and Motohama  "Approximation Theorems for Intersection Type Systems" Article. 
2000  
Damiani and Giannini  "Automatic uselesscode detection and elimination for HOT functional programs" Article: Journal of Functional Programming, 10(6):509559. 
Margaria and Zacchi  "Generalized filter models" Article. 
Roversi  "Light Affine Logic as a Programming Language: a First Contribution " Article. 
1999  
Berardi  "Intuitionistic Completness for First Order Classical Logic" Article. 
Berarducci and DezaniCiancaglini  "Infinite Lambdacalculus and Types" Article. 
Bono, Bugliesi, DezaniCiancaglini and Liquori  "A Subtyping for Extensible, Incomplete Objects" Article. 
Bono and Bugliesi  "Matching for the Lambda Calculus of Objects" Article. 
Damiani, DezaniCiancaglini and Giannini  "A Filter Model for Mobile Processes" Article: Mathematical Structures in Computer Science, 9(1):63101. 
DezaniCiancaglini, Tiuryn and Urzyczyn  "Discrimination by Parallel Observers: the Algorithm" Article. 
Kfoury, Ronchi Della Rocca, Tiuryn and Urzyczyn  "Alphaconversion and Typability" Article: Information and Computation. 
Paolini and Ronchi Della Rocca  "Callbyvalue Solvability" Article: Theoretical Informatics and Applications, RAIRO Series, EDPSciences. 
Pravato, Ronchi Della Rocca and Roversi  "The call by value $\lambda $calculus: a semantic investigation" Article. 
1998  
Baratella and Berardi  "Approximating Classical Theorems" Article. 
Berardi, Bezem and Coquand  "On the Computational Content of the Axiom of Choice" Article. 
DezaniCiancaglini, de' Liguoro and Piperno  "A Filter Model for Concurrent LambdaCalculus" Article: Siam Journal on Computing. 
Honsell, Pravato and Ronchi Della Rocca  "Structured Operational Semantics of a fragment of the language SCHEME" Article: Journal of Functional Programming. 
1997  
Alessi, DezaniCiancaglini and de' Liguoro  "A Convex Powerdomain over Lattices: its Logic and $\lambda $Calculus" Article: Fundamenta Informaticae. 
Aoun, Barbanera, DezaniCiancaglini and Mirasyedioglu  "Principal Typing for Parallel and nonDeterministic Lambda Calculus" Article. 
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn  "Comparing Cubes of Typed and Type Assignment Systems" Article: Annals of Pure and Applied Logic. 
Baratella and Berardi  "A Parallel Game Semantic for Linear Logic" Article. 
Barbanera and Berardi  "The SimplyTyped Theory of betaconversion has no Maximum Extension" Article. 
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 LambdaCalculus for Classical Program Extraction" Article. 
Barbanera and Berardi  "Proofirrelevance out of Excludedmiddle and Choice in the Calculus of Constructions" Article. 
Berardi  "Pruning Simply Typed Lambda Terms" Article. 
DezaniCiancaglini, de' Liguoro and Piperno  "Filter Models for ConjunctiveDisjunctive LambdaCalculi" Article: Theoretical Computer Science. 
1995  
Barbanera and Berardi  "A Strong Normalization Result for Classical Logic" Article. 
Barbanera, DezaniCiancaglini and de' Liguoro  "Intersection and Union Types: Syntax and Semantics" Article: Information and Computation. 
Coppo and Giannini  "Principal Types and Unification For a Simple Intersection Type System " Article. 
de' Liguoro and Piperno  "Nondeterministic Extensions of Untyped $\lambda $Calculus" Article: Information and Computation. 
Margaria and Zacchi  "Principal Typing in a $\forall \; \wedge $ Discipline" Article. 
1994  
Cardone, DezaniCiancaglini and de' Liguoro  "Combining Type Disciplines" Article: Annals of Pure and Applied Logic. 
Giannini and Ronchi Della Rocca  "A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline" Article. 
1993  
Berardi  "An application of PER model to Program Extraction" Article. 
Giannini, Honsell and Ronchi Della Rocca  "Type Inference: some results, some problems" Article. 
1992  
Egidi, Honsell and Ronchi Della Rocca  "Operational, denotational and logical descriptions: a case study" Article: Fundamenta Informaticæ. 
Honsell and Ronchi Della Rocca  "An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus" Article: Journal of Computer and Systems Science. 
Jacobs, Margaria and Zacchi  "Filter models with polymorphic types" Article. 
1991  
Berardi  "Retraction on dIdomains as a Model of Type:Type" Article. 
1988  
Berardi  "Equalization of Finite Flowers" Article. 
Berardi  "Equalization of Finite Flowers" Article. 
Ronchi Della Rocca  "Principal Type scheme and unification for intersection type discipline" Article: Theoretical Computer Science. 
1984  
Giannini and Longo  "Effectively Given Domains and LambaCalculus Models" Article. 
Ronchi Della Rocca and Venneri  "Principal Type Scheme for an extended type theory" Article: Theoretical Computer Science. 
1983  
Barendregt, Coppo and DezaniCiancaglini  "A Filter Lambda Model and the Completeness of Type Assignment" Article. 
1982  
Ronchi Della Rocca  "Characterization Theorems for a filter lambda model" Article: Information and Control. 

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)