Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine.

Ivano Salvo Davide Belluomo Tiziana Calamoneri Giacomo Paesani Ivano Salvo Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine. 96-110 2024 CIBB https://doi.org/10.1007/978-3-031-89704-7_8 conf/cibb/2024 db/conf/cibb/cibb2024.html#BelluomoCPS24 streams/conf/cibb

Davide Belluomo Tiziana Calamoneri Giacomo Paesani Ivano Salvo Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine. 2024 abs/2410.14739 CoRR https://doi.org/10.48550/arXiv.2410.14739 db/journals/corr/corr2410.html#abs-2410-14739 streams/journals/corr

Dario Fiorenza Daniele Gorla Ivano Salvo Polynomial recognition of vulnerable multi-commodities. 106282 2023 179 Inf. Process. Lett. https://doi.org/10.1016/j.ipl.2022.106282 db/journals/ipl/ipl179.html#FiorenzaGS23

Paolo Baldan Daniele Gorla Tommaso Padoan Ivano Salvo Characterising spectra of equivalences for event structures, logically. 104887 2022 285 Inf. Comput. Part https://doi.org/10.1016/j.ic.2022.104887 db/journals/iandc/iandc285.html#BaldanGPS22

Paolo Baldan Daniele Gorla Tommaso Padoan Ivano Salvo Behavioural logics for configuration structures. 94-112 2022 913 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2022.02.018 db/journals/tcs/tcs913.html#BaldanGPS22

Lorenzo Petricone Ivano Salvo Monad Transformations as Parametric Distributive Laws (text not included). 2022 ICTCS conf/ictcs/2022 db/conf/ictcs/ictcs2022.html#PetriconeS22 Claudio Sacerdoti Coen Ivano Salvo Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. ICTCS CEUR-WS.org CEUR Workshop Proceedings 3072 2022 https://ceur-ws.org/Vol-3072 https://nbn-resolving.org/urn:nbn:de:0074-3072-7 db/conf/ictcs/ictcs2021.html

Igor Melatti Federico Mari Ivano Salvo Enrico Tronci Visualisation of Control Software for Cyber-Physical Systems. 178 2021 12 Inf. 5 https://doi.org/10.3390/info12050178 db/journals/information/information12.html#MelattiMST21

Daniele Gorla Ivano Salvo Conflict vs causality in event structures. 100631 2021 119 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2020.100631 db/journals/jlap/jlap119.html#GorlaS21

Toni Mancini Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Jorn Klaas Gruber Barry P. Hayes Milan Prodanovic Lars Elmegaard Parallel Statistical Model Checking for Safety Verification in Smart Grids. 2021 abs/2106.10692 CoRR https://arxiv.org/abs/2106.10692 db/journals/corr/corr2106.html#abs-2106-10692

Pietro Cenciarelli Daniele Gorla Ivano Salvo Depletable channels: dynamics, behaviour, and efficiency in network design. 405-431 2019 56 Acta Informatica 5 https://doi.org/10.1007/s00236-018-0329-6 https://www.wikidata.org/entity/Q128971875 db/journals/acta/acta56.html#CenciarelliGS19

Pietro Cenciarelli Daniele Gorla Ivano Salvo A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. 1535-1560 2019 81 Algorithmica 4 https://doi.org/10.1007/s00453-018-0486-6 https://www.wikidata.org/entity/Q129488699 db/journals/algorithmica/algorithmica81.html#CenciarelliGS19

Daniele Gorla Ivano Salvo Adolfo Piperno Conflict vs Causality in Event Structures. EXPRESS/SOS 2019 86-101 journals/corr/abs-1908-08213 https://doi.org/10.4204/EPTCS.300.6 http://arxiv.org/abs/1908.08636 https://www.wikidata.org/entity/Q127370650 db/series/eptcs/eptcs300.html#abs-1908-08636

Pietro Cenciarelli Daniele Gorla Ivano Salvo Inefficiencies in network models: A graph-theoretic perspective. 44-50 2018 131 Inf. Process. Lett. https://doi.org/10.1016/j.ipl.2017.10.008 db/journals/ipl/ipl131.html#CenciarelliGS18

Ivano Salvo Daniele Gorla Pietro Cenciarelli Graph Theoretic Detection of Inefficiencies in Network Models. 87-91 2018 ICTCS https://ceur-ws.org/Vol-2243/paper8.pdf conf/ictcs/2018 db/conf/ictcs/ictcs2018.html#SalvoGC18 Toni Mancini Federico Mari Igor Melatti Ivano Salvo Enrico Tronci An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. 302-312 2018 ISMIS https://doi.org/10.1007/978-3-030-01851-1_29 conf/ismis/2018 db/conf/ismis/ismis2018.html#ManciniMMST18 Toni Mancini Federico Mari Annalisa Massini Igor Melatti Ivano Salvo Stefano Sinisi Enrico Tronci Rainald Ehrig Susanna Röblitz Brigitte Leeners Computing Personalised Treatments through In Silico Clinical Trials. 2018 RCRA@FLoC https://ceur-ws.org/Vol-2271/paper2.pdf conf/rcra/2018 db/conf/rcra/rcra2018.html#ManciniMMMSSTER18 Toni Mancini Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Jorn Klaas Gruber Barry P. Hayes Milan Prodanovic Lars Elmegaard Parallel Statistical Model Checking for Safety Verification in Smart Grids. 1-6 2018 SmartGridComm https://doi.org/10.1109/SmartGridComm.2018.8587416 conf/smartgridcomm/2018 db/conf/smartgridcomm/smartgridcomm2018.html#ManciniMMSTGHPE18

Ivano Salvo Agnese Pacifico Computing Integer Sequences: Filtering vs Generation (Functional Pearl). 2018 abs/1807.11792 CoRR http://arxiv.org/abs/1807.11792 db/journals/corr/corr1807.html#abs-1807-11792

Ivano Salvo Agnese Pacifico Three Euler's Sieves and a Fast Prime Generator (Functional Pearl). 2018 abs/1811.09840 CoRR http://arxiv.org/abs/1811.09840 db/journals/corr/corr1811.html#abs-1811-09840

Toni Mancini Federico Mari Annalisa Massini Igor Melatti Ivano Salvo Enrico Tronci On minimising the maximum expected verification time. 8-16 2017 122 Inf. Process. Lett. https://doi.org/10.1016/j.ipl.2017.02.001 db/journals/ipl/ipl122.html#ManciniMMMST17

Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Linearizing Discrete-Time Hybrid Systems. 5357-5364 2017 62 IEEE Trans. Autom. Control. 10 https://doi.org/10.1109/TAC.2017.2694559 db/journals/tac/tac62.html#AlimguzhinMMST17

Pietro Cenciarelli Daniele Gorla Ivano Salvo Graph Theoretic Investigations on Inefficiencies in Network Models. 2016 abs/1603.01983 CoRR http://arxiv.org/abs/1603.01983 db/journals/corr/corr1603.html#CenciarelliGS16

Pietro Cenciarelli Daniele Gorla Ivano Salvo A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. 2016 abs/1610.09320 CoRR http://arxiv.org/abs/1610.09320 db/journals/corr/corr1610.html#CenciarelliGS16a

Toni Mancini Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Jorn Klaas Gruber Barry Patrick Hayes Milan Prodanovic Lars Elmegaard User Flexibility Aware Price Policy Synthesis for Smart Grids. 478-485 2015 DSD https://doi.org/10.1109/DSD.2015.35 https://doi.ieeecomputersociety.org/10.1109/DSD.2015.35 conf/dsd/2015 db/conf/dsd/dsd2015.html#ManciniMMSTGHPE15 Toni Mancini Enrico Tronci Ivano Salvo Federico Mari Annalisa Massini Igor Melatti Computing Biological Model Parameters by Parallel Statistical Model Checking. 542-554 2015 IWBBIO (2) https://doi.org/10.1007/978-3-319-16480-9_52 conf/iwbbio/2015-2 db/conf/iwbbio/iwbbio2015-2.html#ManciniTSMMM15

Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Model-based synthesis of control software from system-level formal specifications. 6:1-6:42 2014 23 ACM Trans. Softw. Eng. Methodol. 1 https://doi.org/10.1145/2559934 db/journals/tosem/tosem23.html#MariMST14

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 Patient-specific models from inter-patient biological models and clinical records. 207-214 2014 FMCAD https://doi.org/10.1109/FMCAD.2014.6987615 https://www.wikidata.org/entity/Q57981915 conf/fmcad/2014 db/conf/fmcad/fmcad2014.html#TronciMSSMMMDDERLKEI14 Toni Mancini Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Jorn Klaas Gruber Barry P. Hayes Milan Prodanovic Lars Elmegaard Demand-aware price policy synthesis and verification services for Smart Grids. 794-799 2014 SmartGridComm https://doi.org/10.1109/SmartGridComm.2014.7007745 conf/smartgridcomm/2014 db/conf/smartgridcomm/smartgridcomm2014.html#ManciniMMSTGHPE14 Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. 43-60 2013 SPIN https://doi.org/10.1007/978-3-642-39176-7_4 conf/spin/2013 db/conf/spin/spin2013.html#AlimguzhinMMST13 Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci On-the-Fly Control Software Synthesis. 61-80 2013 SPIN https://doi.org/10.1007/978-3-642-39176-7_5 conf/spin/2013 db/conf/spin/spin2013.html#AlimguzhinMMST13a Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Automatic control software synthesis for quantized discrete time hybrid systems. 6120-6125 2012 CDC https://doi.org/10.1109/CDC.2012.6426260 conf/cdc/2012 db/conf/cdc/cdc2012.html#AlimguzhinMMST12 Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci On model based synthesis of embedded control software. 227-236 2012 EMSOFT https://doi.org/10.1145/2380356.2380398 https://www.wikidata.org/entity/Q130869377 conf/emsoft/2012 db/conf/emsoft/emsoft2012.html#AlimguzhinMMST12 Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. 243-258 2012 ICTAC https://doi.org/10.1007/978-3-642-32943-2_19 conf/ictac/2012 db/conf/ictac/ictac2012.html#MariMST12

Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems http://arxiv.org/abs/1207.4098 2012 CoRR abs/1207.4098 db/journals/corr/corr1207.html#abs-1207-4098

Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci On Model Based Synthesis of Embedded Control Software http://arxiv.org/abs/1207.4474 2012 CoRR abs/1207.4474 db/journals/corr/corr1207.html#abs-1207-4474

Vadim Alimguzhin Federico Mari Igor Melatti Ivano Salvo Enrico Tronci A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software http://arxiv.org/abs/1210.2276 2012 CoRR abs/1210.2276 db/journals/corr/corr1210.html#abs-1210-2276

Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters http://arxiv.org/abs/1105.5640 2011 CoRR abs/1105.5640 db/journals/corr/corr1105.html#abs-1105-5640

Federico Mari Igor Melatti Ivano Salvo Enrico Tronci From Boolean Functional Equations to Control Software http://arxiv.org/abs/1106.0468 2011 CoRR abs/1106.0468 db/journals/corr/corr1106.html#abs-1106-0468

Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Quantized Feedback Control Software Synthesis from System Level Formal Specifications http://arxiv.org/abs/1107.5638 2011 CoRR abs/1107.5638 db/journals/corr/corr1107.html#abs-1107-5638

Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. 180-195 2010 CAV https://doi.org/10.1007/978-3-642-14295-6_20 conf/cav/2010 db/conf/cav/cav2010.html#MariMST10 Pietro Cenciarelli Daniele Gorla Ivano Salvo Depletable Channels: Dynamics and Behaviour. 50-61 2009 FCT https://doi.org/10.1007/978-3-642-03409-1_6 conf/fct/2009 db/conf/fct/fct2009.html#CenciarelliGS09 Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Lorenzo Alvisi Allen Clement Harry C. Li Model Checking Coalition Nash Equilibria in MAD Distributed Systems. 531-546 2009 SSS https://doi.org/10.1007/978-3-642-05118-0_37 conf/sss/2009 db/conf/sss/sss2009.html#MariMSTACL09 Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Lorenzo Alvisi Allen Clement Harry C. Li Model Checking Nash Equilibria in MAD Distributed Systems. 1-8 2008 FMCAD https://doi.org/10.1109/FMCAD.2008.ECP.16 conf/fmcad/2008 db/conf/fmcad/fmcad2008.html#MariMSTACL08 Ivano Salvo Confluence and expressiveness in reduction systems. Sapienza University of Rome, Italy 2004 https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0006229

Antonio Bucciarelli Adolfo Piperno Ivano Salvo Intersection Types and lambda-Definability. 15-53 2003 13 Math. Struct. Comput. Sci. 1 db/journals/mscs/mscs13.html#BucciarelliPS03 https://doi.org/10.1017/S0960129502003833

Mario Coppo Mariangiola Dezani-Ciancaglini Elio Giovannetti Ivano Salvo Mobility Types for Mobile Processes in Mobile Ambients. 2003 conf/cats/2003 CATS https://doi.org/10.1016/S1571-0661(04)81011-9 db/journals/entcs/entcs78.html#CoppoDGS03 144-177

Benedetto Intrigila Ivano Salvo Stefano Sorgi A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. 137-155 2001 171 Inf. Comput. 2 https://doi.org/10.1006/inco.2001.2945 db/journals/iandc/iandc171.html#IntrigilaSS01

Franco Barbanera Mariangiola Dezani-Ciancaglini Ivano Salvo Vladimiro Sassone A Type Inference Algorithm for Secure Ambients. 2001 conf/tosca2/2001 TOSCA https://doi.org/10.1016/S1571-0661(04)00321-4 db/journals/entcs/entcs62.html#BarbaneraDSS01 83-101 Viviana Bono Ivano Salvo A CuCh Interpretation of an Object-Oriented Language. 2001 conf/icalp/2001both BOTH https://doi.org/10.1016/S1571-0661(04)00171-9 db/conf/icalp/both2001.html#BonoS01 159-177 Mariangiola Dezani-Ciancaglini Ivano Salvo Security Types for Mobile Safe Ambients. 215-236 https://doi.org/10.1007/3-540-44464-5_16 2000 conf/asian/2000 ASIAN db/conf/asian/asian2000.html#Dezani-CiancagliniS00 Antonio Bucciarelli Silvia De Lorenzis Adolfo Piperno Ivano Salvo Some Computational Properties of Intersection Types. 109-118 1999 conf/lics/1999 LICS https://doi.org/10.1109/LICS.1999.782598 https://doi.ieeecomputersociety.org/10.1109/LICS.1999.782598 db/conf/lics/lics99.html#BucciarelliLPS99 Antonio Bucciarelli Ivano Salvo Totality, Definability and Boolean Ciruits. 808-819 https://doi.org/10.1007/BFb0055104 1998 conf/icalp/1998 ICALP db/conf/icalp/icalp98.html#BucciarelliS98 Vadim Alimguzhin Lorenzo Alvisi Paolo Baldan Franco Barbanera Davide Belluomo Viviana Bono Antonio Bucciarelli Tiziana Calamoneri Pietro Cenciarelli Allen Clement Claudio Sacerdoti Coen Mario Coppo Francesco Davì Mariangiola Dezani-Ciancaglini Thomas Dierkes Marcel Egli Rainald Ehrig Lars Elmegaard Dario Fiorenza Elio Giovannetti Daniele Gorla Jorn Klaas Gruber Barry P. HayesBarry Patrick Hayes Fabian Ille Benedetto Intrigila Tillmann H. C. Kruger Brigitte Leeners Harry C. Li Silvia De Lorenzis Toni Mancini Federico Mari Annalisa Massini Igor Melatti Agnese Pacifico Tommaso Padoan Giacomo Paesani Lorenzo Petricone Adolfo Piperno Milan Prodanovic Susanna Röblitz Vladimiro Sassone Stefano Sinisi Stefano Sorgi Enrico Tronci