Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 636
AS - Asia 375
EU - Europa 190
SA - Sud America 65
AF - Africa 10
OC - Oceania 2
Totale 1.278
Nazione #
US - Stati Uniti d'America 621
SG - Singapore 154
VN - Vietnam 87
CN - Cina 61
BR - Brasile 53
RU - Federazione Russa 42
IT - Italia 33
FR - Francia 21
DE - Germania 20
KR - Corea 19
FI - Finlandia 17
LV - Lettonia 12
GB - Regno Unito 11
IN - India 10
SE - Svezia 10
HK - Hong Kong 8
CA - Canada 7
JO - Giordania 7
NL - Olanda 7
MX - Messico 6
AR - Argentina 5
BG - Bulgaria 5
TR - Turchia 5
UZ - Uzbekistan 5
ID - Indonesia 4
ZA - Sudafrica 4
CL - Cile 3
LT - Lituania 3
UA - Ucraina 3
AT - Austria 2
AU - Australia 2
EC - Ecuador 2
EG - Egitto 2
IE - Irlanda 2
JP - Giappone 2
KE - Kenya 2
KZ - Kazakistan 2
PK - Pakistan 2
SA - Arabia Saudita 2
BE - Belgio 1
CO - Colombia 1
CR - Costa Rica 1
IQ - Iraq 1
KG - Kirghizistan 1
LB - Libano 1
MA - Marocco 1
MY - Malesia 1
PA - Panama 1
PH - Filippine 1
PL - Polonia 1
PS - Palestinian Territory 1
PY - Paraguay 1
TH - Thailandia 1
TN - Tunisia 1
Totale 1.278
Città #
Chandler 102
Singapore 83
Ashburn 74
San Jose 42
Dallas 35
Santa Clara 31
Columbus 24
Fairfield 24
Hanoi 23
Princeton 22
Ho Chi Minh City 21
Los Angeles 20
Seoul 19
Helsinki 16
Woodbridge 16
Beijing 14
Moscow 13
New York 13
Lauterbourg 12
Riga 12
Houston 11
San Mateo 10
Wilmington 9
Hong Kong 8
Cambridge 7
Munich 7
Como 6
Council Bluffs 6
Haiphong 6
The Dalles 6
Chicago 5
Phoenix 5
Sofia 5
Toronto 5
Washington 5
Cagliari 4
Da Nang 4
Frankfurt am Main 4
London 4
Norwalk 4
Rio de Janeiro 4
Rome 4
San Diego 4
Tashkent 4
Trento 4
Amsterdam 3
Boardman 3
Buffalo 3
Chengdu 3
Falkenstein 3
Jingmen 3
Johannesburg 3
Massy 3
Redondo Beach 3
Seattle 3
Shanghai 3
Stockholm 3
São Paulo 3
Thái Bình 3
Ankara 2
Brooklyn 2
Charlotte 2
Chennai 2
Denver 2
Dublin 2
Go Vap 2
Hải Dương 2
Istanbul 2
Lahore 2
Lấp Vò 2
Milan 2
Nairobi 2
New Delhi 2
Nha Trang 2
Palhoça 2
Phủ Từ Sơn 2
Saarbrücken 2
San Paolo di Civitate 2
Severn 2
Thái Nguyên 2
Tianjin 2
Tokyo 2
Acton 1
Agadir 1
Almaty 1
Americana 1
Amman 1
Ann Arbor 1
Arapongas 1
Arraial do Cabo 1
Asunción 1
Aurangabad 1
Baie-D'Urfé 1
Bangkok 1
Basra 1
Bengaluru 1
Berlin 1
Bilqās 1
Bishkek 1
Biên Hòa 1
Totale 863
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 183
Formal Verification of Infinite-State BIP Models 149
Safety Assessment of AltaRica Models via Symbolic Model Checking 114
HYCOMP - an SMT-based model checker for hybrid systems 113
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 110
IC3 Modulo Theories via Implicit Predicate Abstraction 96
Model Checking and Safety Assessment of Altarica models 93
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 83
Infinite-state invariant checking with IC3 and predicate abstraction 80
Verifying LTL Properties of Hybrid Systems with K-Liveness 73
Parameter Synthesis with IC3 70
Verification of Hybrid Systems using Satisfiability Modulo Theories 69
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 63
Totale 1.296
Categoria #
all - tutte 6.802
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.802


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202116 0 0 0 0 0 0 0 0 0 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/2026591 31 15 89 98 74 37 128 12 46 61 0 0
Totale 1.296