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
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.

2015
Paolini, Piccolo and Roversi"Big and Small-step Operational Semantics of the Reversible Programming Language Janus"
Technical report.

2014
Giannini and Shaqiri"A Provenly Correct Compilation of Functional Languages into Scripting Languages"
Technical report.

2012
Aldinucci, Danelutto and Torquati"FastFlow tutorial"
Technical report.

2011
Aldinucci, Drocco, Giordano, Spampinato and Torquati"A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising"
Technical report.
Aldinucci, Ruggieri and Torquati"Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow"
Technical report.
Aldinucci, Anardu, Danelutto, Kilpatrick and Torquati"Targeting multi cores by structured programming and data flow"
Technical report.

2010
Aldinucci, Danelutto, Kilpatrick, Meneghin and Torquati"Accelerating sequential programs using FastFlow and self-offloading"
Technical report.
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"
Technical report.
Aldinucci, Bracciali, Liò, Sorathiya and Torquati"StochKit-FF: Efficient Systems Biology on Multicore Architectures"
Technical report.

2009
Aldinucci, Danelutto and Kilpatrick"Autonomic management of multiple non-functional concerns in behavioural skeletons"
Technical report.
Aldinucci, Torquati and Meneghin"FastFlow: Efficient Parallel Streaming Applications on Multi-core"
Technical report.

2008
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 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 a Spatio-Temporal sKeleton Model implementation on top of SCA"
Technical report.
Oprescu, Kielmann, Danelutto and Aldinucci"Autonomic Behavior of Grid Applications using Component Platforms"
Technical report.
Roversi"Weak Affine Light Typing is complete with respect to Safe Recursion on Notation"
Technical report.

2007
Aldinucci, Campa, Danelutto, Kilpatrick, Dazzi, Laforenza and Tonellotto"Behavioural skeletons for component autonomic management on grids"
Technical report.
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, Torquati, Vanneschi, Cacitti, Gervaso and Zuccato"VirtuaLinux Design Principles"
Technical report.
Berardi and de' Liguoro"Limit of learning sequences with retractable guesses"
Technical report.
Danelutto, Aldinucci and Kilpatrick"Prototyping and reasoning about distributed systems: an Orc based framework"
Technical report.
Kilpatrick, Danelutto and Aldinucci"Deriving Grid Applications from Abstract Models"
Technical report.
Roversi"Weak Affine Light Typing: Intensional expressivity, Polytime soundness and completeness"
Technical report.

2006
Aldinucci, Antoniu, Danelutto and Jan"Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture"
Technical report.
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 and Danelutto"The cost of security in skeletal systems"
Technical report.

2005
Aldinucci and Benoit"Automatic mapping of ASSIST applications using process algebra"
Technical report.
Aldinucci, Danelutto, Paternesi, Ravazzolo and Vanneschi"Building Interoperable Grid-aware ASSIST Applications via Web Services"
Technical report.
Aldinucci, Petrocelli, Pistoletti, Torquati, Vanneschi, Veraldi and Zoccolo"Dynamic reconfiguration of Grid-aware applications in ASSIST"
Technical report.
Aldinucci, Danelutto, Dünnweber and Gorlatch"Optimization Techniques for Implementing Parallel Skeletons in Distributed Environments"
Technical report.
Aldinucci, André, Buisson, Campa, Coppola, Danelutto and Zoccolo"Parallel program/component adaptivity management"
Technical report.
Aldinucci, Danelutto, Giaccherini, Torquati and Vanneschi"Towards a distributed scalable data service for the Grid"
Technical report.
Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto"Behavior Customization of Parallel Components Application Programming"
Technical report.

2004
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.
Lescanne and Likavec"Understanding untyped λμμ̃-calculus"
Technical report.

2002
Aldinucci and Danelutto"An operational semantic for skeletons"
Technical report.

2000
van Bakel, Dezani-Ciancaglini, de' Liguoro and Motohama"The Minimal Relevant Logic and the Call-by-Value Lambda Calculus"
Technical report.

1996
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.

1995
Margaria and Zacchi"Infinite Intersection Type Theory"
Technical report.

 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!