IRIS Institutional Research Information System

Mover, Sergio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.509
NA - Nord America 1.507
AS - Asia 724
SA - Sud America 166
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 3.928
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.460
RU - Federazione Russa 888
SG - Singapore 250
DE - Germania 142
VN - Vietnam 139
BR - Brasile 134
CN - Cina 133
SE - Svezia 85
UA - Ucraina 81
HK - Hong Kong 75
IT - Italia 59
FI - Finlandia 57
GB - Regno Unito 48
IN - India 47
FR - Francia 42
NL - Olanda 29
IE - Irlanda 27
CA - Canada 24
PL - Polonia 16
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
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 3.928
Salva come PNG Salva come JPEG
Città #
Chandler 213
Jacksonville 157
San Jose 153
Singapore 135
Ashburn 120
Council Bluffs 68
Hong Kong 67
Boardman 63
Moscow 57
The Dalles 46
Ann Arbor 40
Wilmington 40
Ho Chi Minh City 39
Beijing 37
Dallas 37
Los Angeles 34
Helsinki 31
Hanoi 29
Dublin 27
New York 26
Hefei 25
Kronberg 23
Dearborn 22
Dong Ket 22
Trento 19
Lauterbourg 18
Munich 18
Phoenix 15
São Paulo 14
Frankfurt am Main 13
Brooklyn 12
Woodbridge 12
Brussels 11
Warsaw 11
Seattle 10
Tokyo 10
Chicago 9
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
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
Fairfield 2
Fremont 2
Fuzhou 2
Gioia del Colle 2
Greenville 2
Inglewood 2
Totale 1.940
Salva come PNG Salva come JPEG
Nome #
NuSMV 265
Safety Assessment of AltaRica Models via Symbolic Model Checking 221
Model Checking and Safety Assessment of Altarica models 200
Supporting Requirements Validation: The EuRailCheck Tool 196
Model Checking of Hybrid Systems using Shallow Synchronization 185
HYCOMP - an SMT-based model checker for hybrid systems 185
Infinite-state invariant checking with IC3 and predicate abstraction 185
Quantifier-free encoding of invariants for hybrid systems 183
Formal Verification of Infinite-State BIP Models 181
IC3 Modulo Theories via Implicit Predicate Abstraction 175
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 172
Parameter Synthesis with IC3 172
The nuXmv Symbolic Model Checker 171
Efficient Scenario VeriFIcation for Hybrid Automata 170
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 167
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 160
SMT-Based Verification of Hybrid Systems 157
Time-aware Relational Abstractions for Hybrid Systems 155
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 155
Quantifier-free encoding of hybrid systems with non-linear dynamics 149
SMT-based scenario verification for hybrid systems 131
Verifying LTL Properties of Hybrid Systems with K-Liveness 116
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 114
Totale 3.965
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.435
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 16.435
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 0 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.881 60 105 100 181 125 76 246 681 96 116 86 9
Totale 3.965