IRIS Institutional Research Information System

Mover, Sergio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.505
NA - Nord America 1.413
AS - Asia 721
SA - Sud America 166
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 3.827
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.367
RU - Federazione Russa 888
SG - Singapore 250
DE - Germania 142
VN - Vietnam 139
BR - Brasile 134
CN - Cina 132
SE - Svezia 85
UA - Ucraina 81
HK - Hong Kong 73
FI - Finlandia 57
IT - Italia 56
GB - Regno Unito 48
IN - India 47
FR - Francia 42
NL - Olanda 29
IE - Irlanda 27
CA - Canada 24
PL - Polonia 15
AR - Argentina 14
BD - Bangladesh 14
BE - Belgio 11
ES - Italia 11
JP - Giappone 10
TR - Turchia 9
IQ - Iraq 8
MX - Messico 8
ZA - Sudafrica 8
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
EU - Europa 6
ID - Indonesia 6
LT - Lituania 5
CO - Colombia 4
MY - Malesia 4
NP - Nepal 4
PK - Pakistan 4
PY - Paraguay 4
IL - Israele 3
TT - Trinidad e Tobago 3
BG - Bulgaria 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
KR - Corea 2
PA - Panama 2
SA - Arabia Saudita 2
TH - Thailandia 2
TN - Tunisia 2
AL - Albania 1
AU - Australia 1
CD - Congo 1
CG - Congo 1
CH - Svizzera 1
CL - Cile 1
CZ - Repubblica Ceca 1
HN - Honduras 1
IR - Iran 1
JO - Giordania 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
MA - Marocco 1
MK - Macedonia 1
NI - Nicaragua 1
OM - Oman 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
PT - Portogallo 1
RO - Romania 1
SV - El Salvador 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 3.827
Salva come PNG Salva come JPEG
Città #
Chandler 213
Jacksonville 157
San Jose 142
Singapore 135
Ashburn 119
Hong Kong 65
Boardman 63
Moscow 57
The Dalles 46
Ann Arbor 40
Wilmington 40
Ho Chi Minh City 39
Beijing 36
Dallas 36
Los Angeles 32
Helsinki 31
Hanoi 29
Dublin 27
New York 26
Hefei 25
Kronberg 23
Dearborn 22
Dong Ket 22
Lauterbourg 18
Munich 18
Trento 18
Phoenix 15
São Paulo 14
Frankfurt am Main 13
Brooklyn 12
Woodbridge 12
Brussels 11
Warsaw 11
Seattle 10
Tokyo 10
Haiphong 9
Houston 9
Montreal 9
Chicago 8
Ottawa 8
Manchester 7
Milan 7
Pune 7
Tianjin 7
Da Nang 6
Denver 6
Guangzhou 6
Orem 6
Poplar 6
Redwood City 6
San Francisco 6
Stockholm 6
Atlanta 5
Chennai 5
Amsterdam 4
Boston 4
Falkenstein 4
Guanzate 4
London 4
Miami 4
Pittsburgh 4
Rio de Janeiro 4
Santa Clara 4
Secaucus 4
Shanghai 4
Turku 4
Wroclaw 4
Baghdad 3
Bogotá 3
Charlotte 3
Curitiba 3
Des Moines 3
Dhaka 3
Hanover 3
Istanbul 3
Johannesburg 3
Maracaibo 3
Mumbai 3
New Delhi 3
Palmas 3
Porto Alegre 3
Querétaro 3
Raleigh 3
Salvador 3
Toronto 3
Verona 3
Asunción 2
Belo Horizonte 2
Bexley 2
Bolzano 2
Brasília 2
Cambridge 2
City of London 2
Council Bluffs 2
Fairfield 2
Fremont 2
Fuzhou 2
Gioia del Colle 2
Greenville 2
Inglewood 2
Totale 1.853
Salva come PNG Salva come JPEG
Nome #
NuSMV 259
Safety Assessment of AltaRica Models via Symbolic Model Checking 217
Model Checking and Safety Assessment of Altarica models 197
Supporting Requirements Validation: The EuRailCheck Tool 192
Model Checking of Hybrid Systems using Shallow Synchronization 180
Quantifier-free encoding of invariants for hybrid systems 180
HYCOMP - an SMT-based model checker for hybrid systems 180
Formal Verification of Infinite-State BIP Models 178
Infinite-state invariant checking with IC3 and predicate abstraction 178
IC3 Modulo Theories via Implicit Predicate Abstraction 172
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 169
Parameter Synthesis with IC3 168
The nuXmv Symbolic Model Checker 165
Efficient Scenario VeriFIcation for Hybrid Automata 164
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 163
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 156
SMT-Based Verification of Hybrid Systems 151
Time-aware Relational Abstractions for Hybrid Systems 151
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 151
Quantifier-free encoding of hybrid systems with non-linear dynamics 146
SMT-based scenario verification for hybrid systems 127
Verifying LTL Properties of Hybrid Systems with K-Liveness 110
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 110
Totale 3.864
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.694
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 15.694
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202183 0 0 0 0 0 0 0 0 0 38 11 34
2021/2022107 6 0 3 17 4 1 4 18 8 3 30 13
2022/2023374 13 43 4 88 11 60 7 36 75 20 14 3
2023/2024239 18 9 17 16 16 37 12 28 13 26 1 46
2024/2025703 11 6 56 14 16 19 20 57 268 76 113 47
2025/20261.780 60 105 100 181 125 76 246 681 96 110 0 0
Totale 3.864