IRIS
MELATTI, IGOR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.163
AS - Asia 811
EU - Europa 580
SA - Sud America 95
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.659
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.121
SG - Singapore 352
CN - Cina 191
RU - Federazione Russa 168
IE - Irlanda 118
HK - Hong Kong 91
BR - Brasile 83
TR - Turchia 79
DE - Germania 71
VN - Vietnam 55
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
CO - Colombia 2
ES - Italia 2
PY - Paraguay 2
UZ - Uzbekistan 2
VE - Venezuela 2
AG - Antigua e Barbuda 1
BB - Barbados 1
BH - Bahrain 1
CH - Svizzera 1
CW - ???statistics.table.value.countryCode.CW??? 1
EU - Europa 1
HN - Honduras 1
JM - Giamaica 1
KH - Cambogia 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
SV - El Salvador 1
TN - Tunisia 1
Totale 2.659
Salva come PNG Salva come JPEG
Città #
Singapore 191
San Jose 183
Jacksonville 138
Dublin 118
Chandler 101
Dallas 91
Hong Kong 90
Santa Clara 71
Boardman 61
Ashburn 59
Council Bluffs 50
The Dalles 47
Nanjing 43
Izmir 41
Moscow 36
Lauterbourg 30
San Mateo 26
Wilmington 20
New York 19
Hanoi 18
Ho Chi Minh City 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.802
Salva come PNG Salva come JPEG
Nome #
Xere: Towards a Natural Interoperability between XML and ER Diagrams 124
Automatic Verification of a Turbogas Control System with the Murphi Verifier 121
Automatic generation of optimal controllers through model checking techniques 119
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 113
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 110
Interoperability mapping from XML schemas to ER diagrams 110
Bounded Probabilistic Model Checking with the Murphi Verifier 107
Automatic Synthesis of Robust Numerical Controllers 107
A Case Study on Automated Generation of Integration Tests 103
Computational models of myocardial endomysial collagen arrangement 101
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 100
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 100
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 97
Exploiting Hub States in Automatic Verification 96
Integrating RAM and Disk Based Verification within the Murphi Verifier 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 69
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 66
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 61
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 61
On checking equivalence of simulation scripts 60
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 57
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 56
SyLVaaS: System Level Formal Verification as a Service 56
Residential Demand Management Using Individualized Demand Aware Price Policies 54
Model-based synthesis of control software from system-level formal specifications 52
Linearizing Discrete-Time Hybrid Systems 51
Electricity network constraint management using individualised demand aware price policies 51
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 50
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 48
Visualisation of control software for cyber-physical systems 45
System Level Formal Verification via Model Checking Driven Simulation 40
Optimal fault-tolerant relay node positioning in critical wireless networks via artificial intelligence 36
Totale 2.693
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.154
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 12.154
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.084 57 153 36 116 85 61 191 31 113 148 85 8
2026/202717 17 0 0 0 0 0 0 0 0 0 0 0
Totale 2.693