( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
User Flexibility Aware Price Policy Synthesis for Smart Grids.

, , , , , , , , и . DSD, стр. 478-485. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pietro Salvo

Ivano Mombelli

Ivano Petrocchi

Ivano Giuntoni

Svetlana Ivanova

 

Другие публикации лиц с тем же именем

Visualisation of Control Software for Cyber-Physical Systems., , , и . Inf., 12 (5): 178 (2021)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . SmartGridComm, стр. 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids., , , , , , , , и . SmartGridComm, стр. 794-799. IEEE, (2014)On model based synthesis of embedded control software., , , , и . EMSOFT, стр. 227-236. ACM, (2012)Security Types for Mobile Safe Ambients., и . ASIAN, том 1961 из Lecture Notes in Computer Science, стр. 215-236. Springer, (2000)Some Computational Properties of Intersection Types., , , и . LICS, стр. 109-118. IEEE Computer Society, (1999)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . CoRR, (2021)Graph Theoretic Detection of Inefficiencies in Network Models., , и . ICTCS, том 2243 из CEUR Workshop Proceedings, стр. 87-91. CEUR-WS.org, (2018)Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems., , , и . ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 243-258. Springer, (2012)Model Checking Nash Equilibria in MAD Distributed Systems., , , , , , и . FMCAD, стр. 1-8. IEEE, (2008)