Ivano Salvo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
1998–2018
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISMIS | An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2015 | DSD | 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 |
| 2014 | FMCAD | 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 Rblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
| 2012 | EMSOFT | On model based synthesis of embedded control software. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2012 | ICTAC | Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2010 | CAV | Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2009 | FCT | Depletable Channels: Dynamics and Behaviour. | Pietro Cenciarelli, Daniele Gorla, Ivano Salvo |
| 2009 | SSS | Model Checking Coalition Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2008 | FMCAD | Model Checking Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 1999 | LICS | Some Computational Properties of Intersection Types. | Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo |
| 1998 | ICALP | Totality, Definability and Boolean Ciruits. | Antonio Bucciarelli, Ivano Salvo |