Totality, Definability and Boolean Ciruits. - Antonio Bucciarelli; Ivano Salvo (ICALP, 1998)

Some Computational Properties of Intersection Types. - Antonio Bucciarelli; Silvia De Lorenzis; Adolfo Piperno; Ivano Salvo (LICS, 1999)

Security Types for Mobile Safe Ambients. - Mariangiola Dezani-Ciancaglini; Ivano Salvo (ASIAN, 2000)

A Type Inference Algorithm for Secure Ambients. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivano Salvo; Vladimiro Sassone (TOSCA, 2001)

A CuCh Interpretation of an Object-Oriented Language. - Viviana Bono; Ivano Salvo (BOTH, 2001)

A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. - Benedetto Intrigila; Ivano Salvo; Stefano Sorgi (Inf. Comput., 2001)

Mobility Types for Mobile Processes in Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Ivano Salvo (CATS, 2003)

Intersection Types and lambda-Definability. - Antonio Bucciarelli; Adolfo Piperno; Ivano Salvo (Math. Struct. Comput. Sci., 2003)

Confluence and expressiveness in reduction systems. - Ivano Salvo (2004)

Model Checking Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (FMCAD, 2008)

Depletable Channels: Dynamics and Behaviour. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (FCT, 2009)

Model Checking Coalition Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (SSS, 2009)

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CAV, 2010)

Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

From Boolean Functional Equations to Control Software - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

Quantized Feedback Control Software Synthesis from System Level Formal Specifications - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

Automatic control software synthesis for quantized discrete time hybrid systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CDC, 2012)

On model based synthesis of embedded control software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (EMSOFT, 2012)

Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ICTAC, 2012)

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

On-the-Fly Control Software Synthesis. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

Patient-specific models from inter-patient biological models and clinical records. - Enrico Tronci; Toni Mancini; Ivano Salvo; Stefano Sinisi; Federico Mari; Igor Melatti; Annalisa Massini; Francesco Davì; Thomas Dierkes; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners; et al. (FMCAD, 2014)

Demand-aware price policy synthesis and verification services for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2014)

Model-based synthesis of control software from system-level formal specifications. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ACM Trans. Softw. Eng. Methodol., 2014)

User Flexibility Aware Price Policy Synthesis for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry Patrick Hayes; Milan Prodanovic; Lars Elmegaard (DSD, 2015)

Computing Biological Model Parameters by Parallel Statistical Model Checking. - Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti (IWBBIO (2), 2015)

Graph Theoretic Investigations on Inefficiencies in Network Models. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (CoRR, 2016)

On minimising the maximum expected verification time. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Enrico Tronci (Inf. Process. Lett., 2017)

Linearizing Discrete-Time Hybrid Systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (IEEE Trans. Autom. Control., 2017)

Graph Theoretic Detection of Inefficiencies in Network Models. - Ivano Salvo; Daniele Gorla; Pietro Cenciarelli (ICTCS, 2018)

An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ISMIS, 2018)

Computing Personalised Treatments through In Silico Clinical Trials. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Stefano Sinisi; Enrico Tronci; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners (RCRA@FLoC, 2018)

Parallel Statistical Model Checking for Safety Verification in Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2018)

Computing Integer Sequences: Filtering vs Generation (Functional Pearl). - Ivano Salvo; Agnese Pacifico (CoRR, 2018)

Three Euler's Sieves and a Fast Prime Generator (Functional Pearl). - Ivano Salvo; Agnese Pacifico (CoRR, 2018)

Inefficiencies in network models: A graph-theoretic perspective. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (Inf. Process. Lett., 2018)

Depletable channels: dynamics, behaviour, and efficiency in network design. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (Acta Informatica, 2019)

A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (Algorithmica, 2019)

Conflict vs Causality in Event Structures. - Daniele Gorla; Ivano Salvo; Adolfo Piperno (EXPRESS/SOS, 2019)

Visualisation of Control Software for Cyber-Physical Systems. - Igor Melatti; Federico Mari; Ivano Salvo; Enrico Tronci (Inf., 2021)

Conflict vs causality in event structures. - Daniele Gorla; Ivano Salvo (J. Log. Algebraic Methods Program., 2021)

Monad Transformations as Parametric Distributive Laws (text not included). - Lorenzo Petricone; Ivano Salvo (ICTCS, 2022)

Characterising spectra of equivalences for event structures, logically. - Paolo Baldan; Daniele Gorla; Tommaso Padoan; Ivano Salvo (Inf. Comput., 2022)

Behavioural logics for configuration structures. - Paolo Baldan; Daniele Gorla; Tommaso Padoan; Ivano Salvo (Theor. Comput. Sci., 2022)

Polynomial recognition of vulnerable multi-commodities. - Dario Fiorenza; Daniele Gorla; Ivano Salvo (Inf. Process. Lett., 2023)

Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine. - Davide Belluomo; Tiziana Calamoneri; Giacomo Paesani; Ivano Salvo (CIBB, 2024)