IRIS Institutional Research Information System

Mover, Sergio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.222
EU - Europa 779
AS - Asia 505
SA - Sud America 134
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 2.655
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.186
RU - Federazione Russa 238
SG - Singapore 190
DE - Germania 130
BR - Brasile 116
CN - Cina 113
UA - Ucraina 78
HK - Hong Kong 66
SE - Svezia 64
FI - Finlandia 57
VN - Vietnam 50
IT - Italia 48
GB - Regno Unito 47
IN - India 40
NL - Olanda 28
IE - Irlanda 27
CA - Canada 22
FR - Francia 20
PL - Polonia 15
BE - Belgio 11
JP - Giappone 10
AR - Argentina 9
BD - Bangladesh 9
ES - Italia 9
EU - Europa 6
MX - Messico 6
TR - Turchia 6
ZA - Sudafrica 6
LT - Lituania 4
MY - Malesia 4
IQ - Iraq 3
VE - Venezuela 3
DO - Repubblica Dominicana 2
ID - Indonesia 2
IL - Israele 2
KR - Corea 2
PK - Pakistan 2
PY - Paraguay 2
TT - Trinidad e Tobago 2
AL - Albania 1
AU - Australia 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 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
NP - Nepal 1
PA - Panama 1
PE - Perù 1
SA - Arabia Saudita 1
SV - El Salvador 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 2.655
Salva come PNG Salva come JPEG
Città #
Chandler 213
Jacksonville 157
Singapore 112
Ashburn 102
Hong Kong 64
Boardman 63
Moscow 57
Ann Arbor 40
Wilmington 40
The Dalles 37
Beijing 36
Dallas 36
Helsinki 31
Los Angeles 30
Dublin 27
New York 26
Hefei 25
Kronberg 23
Dearborn 22
Dong Ket 22
Munich 18
Trento 18
Phoenix 14
São Paulo 13
Brooklyn 12
Woodbridge 12
Brussels 11
Warsaw 11
Frankfurt am Main 10
Ho Chi Minh City 10
Seattle 10
Tokyo 10
Houston 9
Montreal 9
Chicago 8
Ottawa 8
Milan 7
Tianjin 7
Denver 6
Manchester 6
Poplar 6
Pune 6
Redwood City 6
San Francisco 6
Stockholm 6
Atlanta 5
Guangzhou 5
Orem 5
Amsterdam 4
Boston 4
Chennai 4
Falkenstein 4
Guanzate 4
Hanoi 4
London 4
Miami 4
Pittsburgh 4
Santa Clara 4
Secaucus 4
Turku 4
Wroclaw 4
Charlotte 3
Curitiba 3
Des Moines 3
Dhaka 3
Hanover 3
Johannesburg 3
Palmas 3
Porto Alegre 3
Querétaro 3
Raleigh 3
Rio de Janeiro 3
Salvador 3
Shanghai 3
Toronto 3
Verona 3
Belo Horizonte 2
Bexley 2
Bolzano 2
Cambridge 2
City of London 2
Council Bluffs 2
Fairfield 2
Fremont 2
Greenville 2
Haiphong 2
Inglewood 2
Istanbul 2
Laives 2
Limeira 2
Norwalk 2
Portland 2
Rochester 2
Saint Petersburg 2
San Fernando 2
San Jose 2
St Petersburg 2
São José do Rio Preto 2
Achères 1
Afyonkarahisar 1
Totale 1.560
Salva come PNG Salva come JPEG
Nome #
NuSMV 203
Safety Assessment of AltaRica Models via Symbolic Model Checking 153
Model Checking and Safety Assessment of Altarica models 140
Supporting Requirements Validation: The EuRailCheck Tool 139
Formal Verification of Infinite-State BIP Models 129
Infinite-state invariant checking with IC3 and predicate abstraction 127
Model Checking of Hybrid Systems using Shallow Synchronization 122
Quantifier-free encoding of invariants for hybrid systems 122
Efficient Scenario VeriFIcation for Hybrid Automata 119
HYCOMP - an SMT-based model checker for hybrid systems 119
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 118
The nuXmv Symbolic Model Checker 118
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 117
Time-aware Relational Abstractions for Hybrid Systems 113
IC3 Modulo Theories via Implicit Predicate Abstraction 113
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 108
SMT-Based Verification of Hybrid Systems 104
Parameter Synthesis with IC3 103
Quantifier-free encoding of hybrid systems with non-linear dynamics 100
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 100
SMT-based scenario verification for hybrid systems 82
Verifying LTL Properties of Hybrid Systems with K-Liveness 75
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 68
Totale 2.692
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.013
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 14.013
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021129 0 0 0 0 0 10 28 1 7 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/2026608 60 105 100 181 125 37 0 0 0 0 0 0
Totale 2.692