Catalogo dei prodotti della ricerca

MELATTI, IGOR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.939
AS - Asia 2.810
EU - Europa 1.252
SA - Sud America 299
Continente sconosciuto - Info sul continente non disponibili 139
AF - Africa 52
OC - Oceania 2
Totale 9.493
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.843
SG - Singapore 934
CN - Cina 672
IT - Italia 390
HK - Hong Kong 372
VN - Vietnam 274
BR - Brasile 218
IN - India 209
DE - Germania 142
KR - Corea 131
UA - Ucraina 117
FI - Finlandia 113
FR - Francia 88
SE - Svezia 84
RU - Federazione Russa 81
GB - Regno Unito 78
CA - Canada 56
BG - Bulgaria 43
AR - Argentina 36
IQ - Iraq 31
BD - Bangladesh 30
JP - Giappone 28
RO - Romania 21
ID - Indonesia 20
IE - Irlanda 20
MX - Messico 18
NL - Olanda 16
AT - Austria 13
PK - Pakistan 13
ES - Italia 12
PH - Filippine 12
ZA - Sudafrica 12
EC - Ecuador 11
TR - Turchia 11
BE - Belgio 10
CO - Colombia 10
SA - Arabia Saudita 10
JO - Giordania 9
PL - Polonia 8
VE - Venezuela 8
EG - Egitto 7
JM - Giamaica 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
MA - Marocco 6
KE - Kenya 5
MY - Malesia 5
CL - Cile 4
IR - Iran 4
LB - Libano 4
LT - Lituania 4
NP - Nepal 4
TN - Tunisia 4
UY - Uruguay 4
BO - Bolivia 3
CH - Svizzera 3
CR - Costa Rica 3
PY - Paraguay 3
SC - Seychelles 3
SN - Senegal 3
TW - Taiwan 3
AU - Australia 2
BH - Bahrain 2
BN - Brunei Darussalam 2
CG - Congo 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
GR - Grecia 2
HN - Honduras 2
IL - Israele 2
KG - Kirghizistan 2
KW - Kuwait 2
KZ - Kazakistan 2
MU - Mauritius 2
NO - Norvegia 2
PE - Perù 2
TH - Thailandia 2
AZ - Azerbaigian 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
DM - Dominica 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
KH - Cambogia 1
ME - Montenegro 1
MF - Saint Martin 1
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
NG - Nigeria 1
NI - Nicaragua 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PT - Portogallo 1
SI - Slovenia 1
SZ - Regno dello Swaziland 1
TG - Togo 1
Totale 9.351
Salva come PNG Salva come JPEG
Città #
Fairfield 477
Singapore 464
Hong Kong 359
Ashburn 341
San Jose 338
Santa Clara 313
Chandler 303
Beijing 287
Woodbridge 249
Seattle 243
Houston 221
Wilmington 181
Cambridge 145
Rome 137
Ann Arbor 121
Seoul 120
Los Angeles 113
Dallas 96
Princeton 79
Hanoi 77
Ho Chi Minh City 73
The Dalles 73
Plano 68
New York 61
Milan 49
Lauterbourg 48
Buffalo 46
Frankfurt am Main 45
Lawrence 43
Millbury 43
San Paolo di Civitate 42
Sofia 42
Munich 39
San Diego 39
Jacksonville 38
Boston 36
Helsinki 32
Council Bluffs 30
Southend 27
Andover 24
Boardman 24
São Paulo 24
Tokyo 23
Toronto 23
Moscow 22
Hillsboro 20
Cosenza 19
Dublin 19
Falkenstein 19
Redondo Beach 17
Des Moines 15
Da Nang 14
Haiphong 14
Dearborn 13
Ottawa 13
Phoenix 13
Turku 13
Columbus 12
Brooklyn 11
London 11
Brussels 10
Falls Church 10
Jakarta 10
Norwalk 10
Shanghai 10
Viterbo 10
Amman 9
Atlanta 9
Changsha 9
Corbetta 9
Federal 9
Stockholm 9
Biên Hòa 8
Bühl 8
Chicago 8
Dhaka 8
Redwood City 8
Baghdad 7
Chennai 7
Montreal 7
Nuremberg 7
Salt Lake City 7
Vienna 7
Cagliari 6
Guangzhou 6
Kingston 6
Leipzig 6
Mexico City 6
Orem 6
Riyadh 6
San Mateo 6
Shenzhen 6
Tashkent 6
Amsterdam 5
Cairo 5
Denver 5
Erbil 5
Fort Worth 5
Henderson 5
Indiana 5
Totale 6.192
Salva come PNG Salva come JPEG
Nome #
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. 211
A model checking technique for the verification of fuzzy control systems 200
On minimising the maximum expected verification time 198
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 191
SyLVaaS: System level formal verification as a service 188
Residential demand management using individualised demand aware price policies 188
Simulator semantics for system level formal verification 185
Automatic synthesis of robust numerical controllers 178
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 177
Linearising discrete time hybrid systems 176
User flexibility aware price policy synthesis for smart grids 173
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 164
Parallel statistical model checking for safety verification in smart grids 163
Automatic control software synthesis for quantized discrete time hybrid systems 163
An efficient algorithm for network vulnerability analysis under malicious attacks 162
Automated Generation of Optimal Controllers through Model Checking Techniques 161
On model based synthesis of embedded control software 160
Computing biological model parameters by parallel statistical model checking 159
System level formal verification via model checking driven simulation 156
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 155
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management 151
Model checking driven simulation of sat procedures 150
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 146
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems 144
Model Checking Nash Equilibria in MAD Distributed Systems 142
Disk Based Software Verification via Bounded Model Checking 141
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 141
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 139
SyLVaaS: system level formal verification as a service 138
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 137
Parallel and distributed model checking in Eddy 136
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 135
A glimpse of SmartHG project test-bed and communication infrastructure 134
Model Based Synthesis of Control Software from System Level Formal Specifications 133
System level formal verification via distributed multi-core hardware in the loop simulation 128
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 127
On-the-Fly Control Software Synthesis 127
Xere: Towards a Natural Interoperability between XML and ER Diagrams 126
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 124
Visualisation of Control Software for Cyber-Physical Systems 121
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 118
Exploiting Transition Locality in Automatic Verification of Finite-State Concurrent Systems 117
Parallel and distributed model checking in Eddy 116
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 116
Interoperability mapping from XML schemas to ER diagrams 115
Computational models of myocardial endomysial collagen arrangement 115
Exploiting hub states in automatic verification 112
Bounded Probabilistic Model Checking with the Murphi Verifier 112
A Case Study on Automated Generation of Integration Tests 111
On checking equivalence of simulation scripts 110
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 108
Automatic Verification of a Turbogas Control System with the Murphi Verifier 108
Formal verification at system level 107
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 107
Undecidability of quantized state feedback control for discrete time linear hybrid systems 106
From Boolean Relations to Control Software 102
Control Software Visualization 99
FHP-Murphi 95
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 95
Automatic Analysis of Hybrid Systems with the Murphi Verifier 92
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 92
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 92
Integrating Ram and Disk Based Verification within the Murphi Verifier 92
Post Doctoral Research Associate 88
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 85
Model Checking Satellite Operational Procedures 83
Explicit Algorithms for Probabilistic Model Checking 83
SyLVaaS 78
Synthesizing Control Software from Boolean Relations 77
Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen 76
CMurphi 74
Collaboration on iss experiment data and knowledge representation 71
QKS 58
NashMV 55
Totale 9.493
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.350
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 27.350
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022967 0 57 74 22 98 24 33 65 42 59 331 162
2022/2023783 145 144 38 123 91 89 9 34 74 3 18 15
2023/2024350 20 57 14 20 34 91 3 11 1 46 18 35
2024/20251.719 34 101 37 11 192 132 73 120 172 124 87 636
2025/20263.204 218 253 275 320 419 177 511 97 314 321 161 138
2026/2027180 119 61 0 0 0 0 0 0 0 0 0 0
Totale 9.493