SALVO, Ivano
SALVO, Ivano
DIPARTIMENTO DI INFORMATICA
A Characterization of Weakly Church-Rosser Abstract Reduction Systems, not Church-Rosser
2002 B., Intrigila; Salvo, Ivano; Sorgi, S.
A CuCh Interpretation of an Object-Oriented Language1
2001 V., Bono; Salvo, Ivano
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs
2019 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
A Type Inference Algorithm for Secure Ambients
2001 F., Barbanera; M., Dezani; Salvo, Ivano; V., Sassone
An efficient algorithm for network vulnerability analysis under malicious attacks
2018 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine
2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Automatic control software synthesis for quantized discrete time hybrid systems
2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Behavioural Logics for Configuration Structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Characterising Spectra of Equivalences for Event Structures, Logically
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Computing biological model parameters by parallel statistical model checking
2015 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction.
2018 Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B.
Conflict vs Causality in Event Structures
2021 Gorla, D.; Salvo, I.
Control Software Visualization
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids
2014 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard
Depletable Channels: Dynamics and Behaviour
2009 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
Depletable channels: dynamics, behaviour, and efficiency in network design
2018 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
From Boolean Relations to Control Software
2011 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Graph theoretic detection of inefficiencies in network models
2018 Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro
Inefficiencies in network models: a graph-theoretic perspective
2018 Cenciarelli, P.; Gorla, D.; Salvo, I.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Characterization of Weakly Church-Rosser Abstract Reduction Systems, not Church-Rosser | 2002 | B., Intrigila; Salvo, Ivano; Sorgi, S. | |
A CuCh Interpretation of an Object-Oriented Language1 | 2001 | V., Bono; Salvo, Ivano | |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software | 2013 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs | 2019 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
A Type Inference Algorithm for Secure Ambients | 2001 | F., Barbanera; M., Dezani; Salvo, Ivano; V., Sassone | |
An efficient algorithm for network vulnerability analysis under malicious attacks | 2018 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine | 2016 | Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B | |
Automatic control software synthesis for quantized discrete time hybrid systems | 2012 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Behavioural Logics for Configuration Structures | 2022 | Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano | |
Characterising Spectra of Equivalences for Event Structures, Logically | 2022 | Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano | |
Computing biological model parameters by parallel statistical model checking | 2015 | Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor | |
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. | 2018 | Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B. | |
Conflict vs Causality in Event Structures | 2021 | Gorla, D.; Salvo, I. | |
Control Software Visualization | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids | 2014 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard | |
Depletable Channels: Dynamics and Behaviour | 2009 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
Depletable channels: dynamics, behaviour, and efficiency in network design | 2018 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
From Boolean Relations to Control Software | 2011 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Graph theoretic detection of inefficiencies in network models | 2018 | Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro | |
Inefficiencies in network models: a graph-theoretic perspective | 2018 | Cenciarelli, P.; Gorla, D.; Salvo, I. |