IRIS
MELATTI, IGOR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.303
AS - Asia 816
EU - Europa 580
SA - Sud America 117
Continente sconosciuto - Info sul continente non disponibili 36
AF - Africa 8
Totale 2.860
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.250
SG - Singapore 354
CN - Cina 191
RU - Federazione Russa 168
IE - Irlanda 118
BR - Brasile 104
HK - Hong Kong 92
TR - Turchia 79
DE - Germania 71
VN - Vietnam 55
IT - Italia 43
FR - Francia 42
CA - Canada 36
UA - Ucraina 36
GB - Regno Unito 35
SE - Svezia 27
FI - Finlandia 21
BD - Bangladesh 11
IN - India 9
MX - Messico 9
PL - Polonia 9
IQ - Iraq 6
JP - Giappone 6
ZA - Sudafrica 6
NL - Olanda 4
CR - Costa Rica 3
EC - Ecuador 3
VE - Venezuela 3
AR - Argentina 2
AZ - Azerbaigian 2
CO - Colombia 2
ES - Italia 2
PY - Paraguay 2
UZ - Uzbekistan 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.826
Salva come PNG Salva come JPEG
Città #
Singapore 191
San Jose 183
Ashburn 154
Jacksonville 138
Dublin 118
Chandler 101
Dallas 92
Hong Kong 91
Santa Clara 73
Boardman 61
Council Bluffs 50
The Dalles 47
Nanjing 43
Izmir 41
Moscow 36
Lauterbourg 30
São Paulo 28
San Mateo 26
New York 21
Wilmington 20
Hanoi 18
Ho Chi Minh City 18
Lawrence 17
Princeton 17
Bremen 16
Los Angeles 16
Ottawa 16
Hefei 15
Milan 14
Beijing 13
Nanchang 11
Hebei 9
Munich 9
Toronto 9
Jinan 8
Warsaw 8
Shanghai 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
Phoenix 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
Piscataway 2
Plano 2
Rio de Janeiro 2
Salvador 2
Santos 2
Secaucus 2
Taizhou 2
Tashkent 2
Volta Redonda 2
Washington 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
Totale 1.943
Salva come PNG Salva come JPEG
Nome #
Computational models of myocardial endomysial collagen arrangement 211
Xere: Towards a Natural Interoperability between XML and ER Diagrams 126
Automatic Verification of a Turbogas Control System with the Murphi Verifier 122
Automatic generation of optimal controllers through model checking techniques 121
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 116
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 112
Interoperability mapping from XML schemas to ER diagrams 111
Automatic Synthesis of Robust Numerical Controllers 109
Bounded Probabilistic Model Checking with the Murphi Verifier 108
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 104
A Case Study on Automated Generation of Integration Tests 104
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 101
Exploiting Hub States in Automatic Verification 99
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 98
Integrating RAM and Disk Based Verification within the Murphi Verifier 96
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 96
Disk Based Software Verification via Bounded Model Checking 83
On minimising the maximum expected verification time 71
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 68
On checking equivalence of simulation scripts 63
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 63
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 62
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 59
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 59
SyLVaaS: System Level Formal Verification as a Service 57
Model-based synthesis of control software from system-level formal specifications 55
Residential Demand Management Using Individualized Demand Aware Price Policies 54
Linearizing Discrete-Time Hybrid Systems 53
Electricity network constraint management using individualised demand aware price policies 51
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 51
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 49
Visualisation of control software for cyber-physical systems 48
System Level Formal Verification via Model Checking Driven Simulation 42
Optimal fault-tolerant relay node positioning in critical wireless networks via artificial intelligence 38
Totale 2.860
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.821
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.821
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202261 0 0 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/2027184 20 160 4 0 0 0 0 0 0 0 0 0
Totale 2.860