Ivano Salvo - Concepedia

Author

Ivano Salvo

Sapienza University of Rome ORCID

Also Known As

Alimguzhin, V, I. SALVO, I. Salvo, IVANO SALVO, Ivano Salvo, Salvo, Ivano

Publications

434

Citations

H-Index

Concepts

All Affiliations

Sapienza University of Rome IMDEA Energy Institute SEAS-NVE (Denmark)University of Turin

About

Ivano Salvo is an author at Sapienza University of Rome specializing in engineering, systems engineering, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	187
2	Business	2	2	31
3	Medicine	1	1	19
4	Public Health	1	1	19
5	Biostatistics	1	1	19

Ivano Salvo

Publications

234

Citations

H-Index

Page 1

	Year	Citations
M3 Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Electronic Notes in Theoretical Computer Science	2003	35
Demand-aware price policy synthesis and verification services for Smart Grids Toni Mancini, Federico Mari, Igor Melatti, EngineeringEnergy DistributionOperations ResearchVerification ServicesPower Market	2014	26
Model-based synthesis of control software from system-level formal specifications Federico Mari, Igor Melatti, Ivano Salvo, ACM Transactions on Software Engineering and Methodology Real-time ControlEngineeringTool QksAd BitsSystem-level Design	2014	24
Automatic control software synthesis for quantized discrete time hybrid systems Vadim Alimguzhin, Federico Mari, Igor Melatti, Real-time ControlEngineeringSystem SynthesisEmbedded SystemsControl Systems	2012	19
Patient-specific models from inter-patient biological models and clinical records Enrico Tronci, Toni Mancini, Ivano Salvo, Gyncycle ModelEngineeringPatient-specific ModelsModel IndividualisationTime Evolution	2014	19
Linearizing Discrete-Time Hybrid Systems Vadim Alimguzhin, Federico Mari, Igor Melatti, IEEE Transactions on Automatic Control Stochastic Hybrid SystemEngineeringDiscrete-time Hybrid SystemsAerospace EngineeringLipschitz Continuous Functions	2017	18
On minimising the maximum expected verification time Toni Mancini, Federico Mari, Annalisa Massini, Information Processing Letters Mathematical ProgrammingEngineeringVerification TimeProbabilistic VerificationVerification	2017	16
User Flexibility Aware Price Policy Synthesis for Smart Grids Toni Mancini, Federico Mari, Igor Melatti, Smart GridsDemand PeaksPower MarketEngineeringSmart Grid	2015	15
Parallel Statistical Model Checking for Safety Verification in Smart Grids Toni Mancini, Federico Mari, Igor Melatti, EngineeringPower Grid OperationVerificationFormal VerificationOperations Research	2018	15
Some computational properties of intersection types A. Bucciarelli, S. De Lorenzis, Adolfo Piperno, Mathematical ProgrammingIntersection TypesCurry Typeable TermsCurry TypesEngineering	2003	13

Page 1