IRIS Institutional Research Information System

Mover, Sergio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.626
EU - Europa 1.520
AS - Asia 726
SA - Sud America 168
Continente sconosciuto - Info sul continente non disponibili 43
AF - Africa 15
OC - Oceania 1
Totale 4.099
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.577
RU - Federazione Russa 888
SG - Singapore 251
DE - Germania 142
VN - Vietnam 139
BR - Brasile 136
CN - Cina 134
SE - Svezia 91
UA - Ucraina 81
HK - Hong Kong 75
IT - Italia 64
FI - Finlandia 57
GB - Regno Unito 48
IN - India 47
FR - Francia 42
NL - Olanda 29
IE - Irlanda 27
CA - Canada 25
PL - Polonia 16
AR - Argentina 14
BD - Bangladesh 14
BE - Belgio 11
ES - Italia 11
JP - Giappone 10
MX - Messico 9
TR - Turchia 9
IQ - Iraq 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
CR - Costa Rica 3
IL - Israele 3
TT - Trinidad e Tobago 3
BG - Bulgaria 2
CI - Costa d'Avorio 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 4.062
Salva come PNG Salva come JPEG
Città #
Chandler 213
Jacksonville 157
San Jose 153
Council Bluffs 152
Singapore 135
Ashburn 120
Hong Kong 67
Boardman 63
Moscow 57
The Dalles 46
Ann Arbor 40
Wilmington 40
Ho Chi Minh City 39
Beijing 38
Dallas 37
Los Angeles 34
Helsinki 31
Hanoi 29
Dublin 27
New York 26
Hefei 25
Phoenix 24
Kronberg 23
Dearborn 22
Dong Ket 22
Trento 19
Lauterbourg 18
Munich 18
São Paulo 14
Frankfurt am Main 13
Brooklyn 12
Woodbridge 12
Brussels 11
Warsaw 11
Chicago 10
Seattle 10
Tokyo 10
Haiphong 9
Houston 9
Montreal 9
Milan 8
Ottawa 8
Manchester 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
Toronto 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
Perugia 3
Porto Alegre 3
Querétaro 3
Raleigh 3
Salvador 3
Verona 3
Asunción 2
Belo Horizonte 2
Bexley 2
Bolzano 2
Brasília 2
Cambridge 2
City of London 2
Fairfield 2
Fremont 2
Fuzhou 2
Gioia del Colle 2
Greenville 2
Totale 2.037
Salva come PNG Salva come JPEG
Nome #
NuSMV 272
Safety Assessment of AltaRica Models via Symbolic Model Checking 228
Model Checking and Safety Assessment of Altarica models 206
Supporting Requirements Validation: The EuRailCheck Tool 200
Model Checking of Hybrid Systems using Shallow Synchronization 191
HYCOMP - an SMT-based model checker for hybrid systems 191
Infinite-state invariant checking with IC3 and predicate abstraction 189
Quantifier-free encoding of invariants for hybrid systems 188
Formal Verification of Infinite-State BIP Models 185
IC3 Modulo Theories via Implicit Predicate Abstraction 181
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 180
The nuXmv Symbolic Model Checker 178
Efficient Scenario VeriFIcation for Hybrid Automata 177
Parameter Synthesis with IC3 177
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 173
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 167
SMT-Based Verification of Hybrid Systems 164
Time-aware Relational Abstractions for Hybrid Systems 160
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 160
Quantifier-free encoding of hybrid systems with non-linear dynamics 157
SMT-based scenario verification for hybrid systems 135
Verifying LTL Properties of Hybrid Systems with K-Liveness 121
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 119
Totale 4.099
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.092
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 17.092
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022101 0 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.884 60 105 100 181 125 76 246 681 96 116 86 12
2026/2027131 70 61 0 0 0 0 0 0 0 0 0 0
Totale 4.099