Ivano Salvo - RankMe

53 papers A* 3B 3C 4Misc 1Journal 25Unranked 15

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine. CIBB Davide Belluomo, Tiziana Calamoneri, Giacomo Paesani, Ivano Salvo
2024	J	`jnl`	Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine. CoRR Davide Belluomo, Tiziana Calamoneri, Giacomo Paesani, Ivano Salvo
2023	J	`jnl`	Polynomial recognition of vulnerable multi-commodities. Inf. Process. Lett. Dario Fiorenza, Daniele Gorla, Ivano Salvo
2022	J	`jnl`	Behavioural logics for configuration structures. Theor. Comput. Sci. Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022	J	`jnl`	Characterising spectra of equivalences for event structures, logically. Inf. Comput. Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022	—	`conf`	Monad Transformations as Parametric Distributive Laws (text not included). ICTCS Lorenzo Petricone, Ivano Salvo
2022	—	`ed.`	Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. ICTCS Claudio Sacerdoti Coen, Ivano Salvo
2021	J	`jnl`	Conflict vs causality in event structures. J. Log. Algebraic Methods Program. Daniele Gorla, Ivano Salvo
2021	J	`jnl`	Parallel Statistical Model Checking for Safety Verification in Smart Grids. CoRR Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2021	J	`jnl`	Visualisation of Control Software for Cyber-Physical Systems. Inf. Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
2019	J	`jnl`	A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. Algorithmica Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2019	—	`conf`	Conflict vs Causality in Event Structures. EXPRESS/SOS Daniele Gorla, Ivano Salvo, Adolfo Piperno
2019	J	`jnl`	Depletable channels: dynamics, behaviour, and efficiency in network design. Acta Informatica Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2018	C	`conf`	An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. ISMIS Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2018	J	`jnl`	Computing Integer Sequences: Filtering vs Generation (Functional Pearl). CoRR Ivano Salvo, Agnese Pacifico
2018	—	`conf`	Computing Personalised Treatments through In Silico Clinical Trials. RCRA@FLoC Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
2018	—	`conf`	Graph Theoretic Detection of Inefficiencies in Network Models. ICTCS Ivano Salvo, Daniele Gorla, Pietro Cenciarelli
2018	J	`jnl`	Inefficiencies in network models: A graph-theoretic perspective. Inf. Process. Lett. Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2018	—	`conf`	Parallel Statistical Model Checking for Safety Verification in Smart Grids. SmartGridComm Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2018	J	`jnl`	Three Euler's Sieves and a Fast Prime Generator (Functional Pearl). CoRR Ivano Salvo, Agnese Pacifico
2017	J	`jnl`	Linearizing Discrete-Time Hybrid Systems. IEEE Trans. Autom. Control. Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2017	J	`jnl`	On minimising the maximum expected verification time. Inf. Process. Lett. Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
2016	J	`jnl`	A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. CoRR Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2016	J	`jnl`	Graph Theoretic Investigations on Inefficiencies in Network Models. CoRR Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2015	—	`conf`	Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
2015	C	`conf`	User Flexibility Aware Price Policy Synthesis for Smart Grids. DSD Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
2014	—	`conf`	Demand-aware price policy synthesis and verification services for Smart Grids. SmartGridComm Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2014	J	`jnl`	Model-based synthesis of control software from system-level formal specifications. ACM Trans. Softw. Eng. Methodol. Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2014	B	`conf`	Patient-specific models from inter-patient biological models and clinical records. FMCAD 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, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille
2013	—	`conf`	A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2013	—	`conf`	On-the-Fly Control Software Synthesis. SPIN Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012	J	`jnl`	A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software CoRR Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012	J	`jnl`	Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems CoRR Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012	—	`conf`	Automatic control software synthesis for quantized discrete time hybrid systems. CDC Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012	J	`jnl`	On Model Based Synthesis of Embedded Control Software CoRR Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012	Misc	`conf`	On model based synthesis of embedded control software. EMSOFT Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012	C	`conf`	Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. ICTAC Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011	J	`jnl`	From Boolean Functional Equations to Control Software CoRR Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011	J	`jnl`	Quantized Feedback Control Software Synthesis from System Level Formal Specifications CoRR Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011	J	`jnl`	Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters CoRR Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2010	A*	`conf`	Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. CAV Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2009	B	`conf`	Depletable Channels: Dynamics and Behaviour. FCT Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2009	C	`conf`	Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2008	B	`conf`	Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2004	—	`—`	Confluence and expressiveness in reduction systems. Ivano Salvo
2003	J	`jnl`	Intersection Types and lambda-Definability. Math. Struct. Comput. Sci. Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
2003	—	`conf`	Mobility Types for Mobile Processes in Mobile Ambients. CATS Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
2001	J	`jnl`	A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. Benedetto Intrigila, Ivano Salvo, Stefano Sorgi
2001	—	`conf`	A CuCh Interpretation of an Object-Oriented Language. BOTH Viviana Bono, Ivano Salvo
2001	—	`conf`	A Type Inference Algorithm for Secure Ambients. TOSCA Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
2000	—	`conf`	Security Types for Mobile Safe Ambients. ASIAN Mariangiola Dezani-Ciancaglini, Ivano Salvo
1999	A*	`conf`	Some Computational Properties of Intersection Types. LICS Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo
1998	A*	`conf`	Totality, Definability and Boolean Ciruits. ICALP Antonio Bucciarelli, Ivano Salvo