IRIS
MELATTI, IGOR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.143
AS - Asia 804
EU - Europa 580
SA - Sud America 94
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.631
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.103
SG - Singapore 351
CN - Cina 187
RU - Federazione Russa 168
IE - Irlanda 118
HK - Hong Kong 91
BR - Brasile 83
TR - Turchia 79
DE - Germania 71
VN - Vietnam 54
IT - Italia 43
FR - Francia 42
UA - Ucraina 36
GB - Regno Unito 35
SE - Svezia 27
CA - Canada 26
FI - Finlandia 21
BD - Bangladesh 9
IN - India 9
PL - Polonia 9
MX - Messico 8
IQ - Iraq 6
JP - Giappone 6
ZA - Sudafrica 6
NL - Olanda 4
CR - Costa Rica 3
EC - Ecuador 3
AR - Argentina 2
AZ - Azerbaigian 2
ES - Italia 2
PY - Paraguay 2
UZ - Uzbekistan 2
VE - Venezuela 2
BB - Barbados 1
BH - Bahrain 1
CH - Svizzera 1
CO - Colombia 1
CW - ???statistics.table.value.countryCode.CW??? 1
EU - Europa 1
HN - Honduras 1
JM - Giamaica 1
KZ - Kazakistan 1
LT - Lituania 1
LU - Lussemburgo 1
MG - Madagascar 1
MN - Mongolia 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
QA - Qatar 1
SA - Arabia Saudita 1
TN - Tunisia 1
Totale 2.631
Salva come PNG Salva come JPEG
Città #
Singapore 191
San Jose 183
Jacksonville 136
Dublin 118
Chandler 101
Dallas 91
Hong Kong 90
Santa Clara 67
Boardman 61
Ashburn 56
Council Bluffs 50
The Dalles 47
Nanjing 43
Izmir 41
Moscow 36
Lauterbourg 30
San Mateo 26
Wilmington 20
Hanoi 18
Ho Chi Minh City 18
New York 18
Lawrence 17
Princeton 17
Bremen 16
Ottawa 16
Hefei 15
Milan 14
Beijing 13
Nanchang 11
Los Angeles 10
Hebei 9
Munich 9
Jinan 8
Warsaw 8
Shanghai 7
São Paulo 7
Kunming 6
Montreal 6
Tokyo 6
Changsha 5
Denver 5
Orem 5
Rome 5
Seattle 5
Tianjin 5
Verona 5
Baghdad 4
Frankfurt am Main 4
L’Aquila 4
Mountain View 4
San Francisco 4
Shenyang 4
Venezia 4
Amsterdam 3
Atlanta 3
Belo Horizonte 3
Boston 3
Chennai 3
Des Moines 3
Düsseldorf 3
Guayaquil 3
Helsinki 3
Johannesburg 3
L'aquila 3
Mexico City 3
San José 3
Asunción 2
Baku 2
Campinas 2
Cape Town 2
Duque de Caxias 2
Guarulhos 2
Hangzhou 2
Hải Dương 2
London 2
Manchester 2
Ningbo 2
Phoenix 2
Rio de Janeiro 2
Salvador 2
Santos 2
Secaucus 2
Taizhou 2
Tashkent 2
Volta Redonda 2
Woodbridge 2
Abreu e Lima 1
Albuquerque 1
Algonquin 1
Alhandra 1
Andover 1
Ankara 1
Antananarivo 1
Apodaca 1
Aracaju 1
Araraquara 1
Atyrau 1
Barretos 1
Baton Rouge 1
Betim 1
Totale 1.792
Salva come PNG Salva come JPEG
Nome #
Automatic Verification of a Turbogas Control System with the Murphi Verifier 121
Xere: Towards a Natural Interoperability between XML and ER Diagrams 120
Automatic generation of optimal controllers through model checking techniques 119
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 113
Interoperability mapping from XML schemas to ER diagrams 110
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 108
Automatic Synthesis of Robust Numerical Controllers 107
Bounded Probabilistic Model Checking with the Murphi Verifier 106
A Case Study on Automated Generation of Integration Tests 103
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 100
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 99
Computational models of myocardial endomysial collagen arrangement 98
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 97
Integrating RAM and Disk Based Verification within the Murphi Verifier 95
Exploiting Hub States in Automatic Verification 95
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 95
Disk Based Software Verification via Bounded Model Checking 82
On minimising the maximum expected verification time 67
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 65
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 61
On checking equivalence of simulation scripts 59
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 59
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 56
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 56
SyLVaaS: System Level Formal Verification as a Service 56
Residential Demand Management Using Individualized Demand Aware Price Policies 53
Model-based synthesis of control software from system-level formal specifications 52
Linearizing Discrete-Time Hybrid Systems 50
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 49
Electricity network constraint management using individualised demand aware price policies 48
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 47
Visualisation of control software for cyber-physical systems 45
System Level Formal Verification via Model Checking Driven Simulation 39
Optimal fault-tolerant relay node positioning in critical wireless networks via artificial intelligence 35
Totale 2.665
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.687
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 11.687
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202134 0 0 0 0 0 0 0 0 0 0 32 2
2021/202274 2 11 8 6 4 0 0 7 4 3 7 22
2022/2023336 19 16 1 33 50 24 0 27 151 1 13 1
2023/202490 9 2 7 12 14 28 2 1 0 0 6 9
2024/2025563 50 5 37 16 53 35 114 36 124 22 52 19
2025/20261.073 57 153 36 116 85 61 191 31 113 148 82 0
Totale 2.665