Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 534
AS - Asia 249
EU - Europa 159
SA - Sud America 54
AF - Africa 5
Totale 1.001
Nazione #
US - Stati Uniti d'America 521
SG - Singapore 143
CN - Cina 54
BR - Brasile 46
RU - Federazione Russa 42
IT - Italia 26
VN - Vietnam 19
DE - Germania 18
FI - Finlandia 17
LV - Lettonia 12
GB - Regno Unito 9
SE - Svezia 9
FR - Francia 8
HK - Hong Kong 8
CA - Canada 7
JO - Giordania 6
BG - Bulgaria 5
MX - Messico 5
AR - Argentina 4
NL - Olanda 4
ID - Indonesia 3
IN - India 3
LT - Lituania 3
AT - Austria 2
EC - Ecuador 2
JP - Giappone 2
TR - Turchia 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
BE - Belgio 1
CL - Cile 1
CO - Colombia 1
EG - Egitto 1
IE - Irlanda 1
KE - Kenya 1
KG - Kirghizistan 1
KR - Corea 1
KZ - Kazakistan 1
LB - Libano 1
PA - Panama 1
PK - Pakistan 1
PL - Polonia 1
SA - Arabia Saudita 1
TH - Thailandia 1
TN - Tunisia 1
UA - Ucraina 1
Totale 1.001
Città #
Chandler 102
Singapore 80
Ashburn 53
Dallas 34
Santa Clara 29
Columbus 24
Fairfield 24
Princeton 22
Helsinki 16
Woodbridge 16
Beijing 14
Los Angeles 13
Moscow 13
New York 12
Riga 12
Houston 11
San Mateo 10
Wilmington 9
Hong Kong 8
Cambridge 7
Ho Chi Minh City 7
Munich 7
Como 6
Sofia 5
Toronto 5
Washington 5
Cagliari 4
Chicago 4
Norwalk 4
Rome 4
San Diego 4
Trento 4
Amsterdam 3
Buffalo 3
Falkenstein 3
Jingmen 3
Massy 3
Phoenix 3
Redondo Beach 3
Rio de Janeiro 3
Seattle 3
Shanghai 3
São Paulo 3
Boardman 2
Brooklyn 2
Charlotte 2
Council Bluffs 2
Denver 2
Frankfurt am Main 2
Hanoi 2
Johannesburg 2
London 2
Lấp Vò 2
Palhoça 2
Saarbrücken 2
San Paolo di Civitate 2
Severn 2
Stockholm 2
Tashkent 2
Tianjin 2
Tokyo 2
Acton 1
Americana 1
Ankara 1
Ann Arbor 1
Arapongas 1
Arraial do Cabo 1
Baie-D'Urfé 1
Bangkok 1
Berlin 1
Bilqās 1
Bishkek 1
Blumenau 1
Boston 1
Brasília 1
Brussels 1
Bắc Giang 1
Campo Bom 1
Campos dos Goytacazes 1
Caraguatatuba 1
Carangola 1
Carapicuíba 1
Carazinho 1
Cariacica 1
Changsha 1
Chiswick 1
Cirebon 1
City of London 1
Colatina 1
Coronel Brandsen 1
Curitiba 1
Derby 1
Divinópolis 1
Dobropol'ye 1
Dublin 1
Elk Grove Village 1
Falls Church 1
Fayetteville 1
Fortaleza 1
Fremont 1
Totale 676
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 133
Formal Verification of Infinite-State BIP Models 129
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 94
Safety Assessment of AltaRica Models via Symbolic Model Checking 93
HYCOMP - an SMT-based model checker for hybrid systems 90
IC3 Modulo Theories via Implicit Predicate Abstraction 84
Model Checking and Safety Assessment of Altarica models 77
Infinite-state invariant checking with IC3 and predicate abstraction 63
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 60
Verifying LTL Properties of Hybrid Systems with K-Liveness 60
Parameter Synthesis with IC3 56
Verification of Hybrid Systems using Satisfiability Modulo Theories 49
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 31
Totale 1.019
Categoria #
all - tutte 6.328
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 6.328


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202132 0 0 0 0 0 2 2 11 1 8 2 6
2021/202265 0 1 0 3 4 3 0 19 4 2 13 16
2022/2023179 15 26 2 29 17 25 0 11 30 4 16 4
2023/2024100 7 7 11 7 17 21 8 4 1 5 3 9
2024/2025263 4 2 14 53 13 47 2 16 17 50 35 10
2025/2026314 31 15 89 98 74 7 0 0 0 0 0 0
Totale 1.019