| 2019 |
| Barbanera, de' Liguoro and Hennicker | "Connecting open systems of communicating finite state machines"
Article.
|
| Barbanera and Dezani-Ciancaglini | "Open Multiparty Sessions"
In proceedings.
|
| Barbanera and de' Liguoro | "Session types and subtyping for orchestrated interactions"
Article.
|
| ter Beek, Damiani, Gnesi, Mazzanti and Paolini | "On the expressiveness of modal transition systems with variability constraints"
Article.
|
| ter Beek, Damiani, Lienhardt, Mazzanti and Paolini | "Static Analysis of Featured Transition Systems"
In proceedings.
|
| Castagna, Dezani-Ciancaglini, Giachino and Padovani | "Foundations of Session Types: 10 Years Later"
In proceedings.
|
| Castellani, Dezani-Ciancaglini and Giannini | "Event Structure Semantics for Multiparty Sessions"
In proceedings.
|
| Castellani, Dezani-Ciancaglini and Giannini | "Reversible Sessions with Flexible Choices"
Article.
|
| Damiani, Lienhardt and Paolini | "A formal model for Multi Software Product Lines"
Article.
|
| Damiani, Lienhardt and Paolini | "Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form"
Article.
|
| Giannini, Servetto and Zucca | "A Syntactic Model of Mutation and Aliasing"
In proceedings.
|
| Giannini, Servetto, Zucca and Cone | "Flexible recovery of uniqueness and immutability"
Article.
|
| Giannini, Richter, Servetto and Zucca | "Tracing sharing in an imperative pure calculus"
Article.
|
| de' Liguoro and Treglia | "Intersection Types for the Computational lambda-Calculus"
Article.
|
| de' Liguoro and Treglia | "Intersection Types for the Computational lambda-Calculus - Extended abstract"
In proceedings.
|
| Paolini, Piccolo and Zorzi | "QPCF: Higher-Order Languages and Quantum Circuits"
Article.
|
| Paolini, Roversi and Zorzi | "Quantum Programming Made Easy"
In proceedings.
|
| Severi and Dezani-Ciancaglini | "Observational Equivalence for Multiparty Sessions"
Article.
|
| 2018 |
| Baillot, Benedetti and 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, Lanese and de' Liguoro | "A theory of retractable and speculative contracts"
Article.
|
| Bessai, Chen, Dudenhefner, Dï¿œdder, de' Liguoro and Rehof | "Mixin Composition Synthesis based on Intersection Types"
Article.
|
| Bettini, Bono, Dezani-Ciancaglini, Giannini and Venneri | "Java Lambda: a Featherweight Story"
Article.
|
| Dezani-Ciancaglini, Giannini and Venneri | "Intersection Types in Java: back to the future"
In proceedings.
|
| Giannini, Servetto and Zucca | "A type and effect system for uniqueness and immutability"
In proceedings.
|
| Giannini, Servetto, Zucca and Cone | "Flexible recovery of uniqueness and immutability (Extended Version)"
Article.
|
| Giannini, Richter, Servetto and Zucca | "Tracing sharing in an imperative pure calculus (Extended Version)"
Article.
|
| Lienhardt, Damiani, Donetti and Paolini | "Multi Software Product Lines in the Wild"
In proceedings.
|
| de' Liguoro and Padovani | "Mailbox Types for Unordered Interactions"
In proceedings.
|
| Paolini, Piccolo and Roversi | "A Certified Study of a Reversible Programming Language"
In proceedings.
|
| Paolini, Piccolo and Roversi | "On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions"
Article.
|
| Paolini, Piccolo and Zorzi | "QPCF: higher order languages and quantum circuits"
Technical report.
|
| Paolini, Roversi and Zorzi | "Quantum programming made easy"
In proceedings.
|
| 2017 |
| Ancona, Giannini and Zucca | " Constrained polymorphic types for a calculus with name variables "
In proceedings.
|
| Ancona, Giannini and Zucca | "Type safe incremental rebinding"
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.
|
| Barbanera and de' Liguoro | "Session Types for Orchestrated Interactions"
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.
|
| Castellani, Dezani-Ciancaglini and Giannini | "Concurrent Reversible Sessions"
In proceedings.
|
| 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.
|
| Damiani, Lienhardt and Paolini | "A Formal Model for Multi SPLs"
In proceedings.
|
| Dezani-Ciancaglini and Venneri | "Lambda Calcolo"
Article.
|
| Giannini and Shaqiri | "A Provably Correct Compilation of Functional Languages into Scripting Languages"
Article.
|
| Giannini, Servetto and Zucca | "A type and effect system for sharing"
In proceedings.
|
| Giannini, Servetto and Zucca | "Tracing sharing in an imperative pure calculus: extended abstract"
In proceedings.
|
| Guerrieri, Paolini and Ronchi Della Rocca | "Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus"
Article.
|
| de' Liguoro | "The Approximation Theorem for the -Calculus"
Article.
|
| Paolini, Piccolo and Luca | "A class of Recursive Permutations which is Primitive Recursive complete"
Technical report.
|
| Paolini, Piccolo and Ronchi Della Rocca | "Essential and relational models"
Article.
|
| Paolini | "Foundational principles of reversible and quantum computing: Quantum Computing"
Unpublished.
|
| 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.
|
| Giannini, Servetto and Zucca | "Runtime Checks as Nominal Types"
In proceedings.
|
| Giannini, Servetto and Zucca | "Types for Immutability and Aliasing Control"
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.
|
| 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.
|
| 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 | "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.
|
| 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 | ": 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: Fickle"
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: Fickle"
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.
|
