Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 891
EU - Europa 414
AS - Asia 170
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 1
OC - Oceania 1
Totale 1.494
Nazione #
US - Stati Uniti d'America 882
DE - Germania 105
UA - Ucraina 76
SE - Svezia 58
FI - Finlandia 50
HK - Hong Kong 46
CN - Cina 37
IT - Italia 37
IN - India 29
GB - Regno Unito 27
IE - Irlanda 27
VN - Vietnam 24
SG - Singapore 22
BE - Belgio 11
RU - Federazione Russa 10
BR - Brasile 9
CA - Canada 8
FR - Francia 8
EU - Europa 6
JP - Giappone 3
MY - Malesia 3
BD - Bangladesh 2
KR - Corea 2
NL - Olanda 2
AL - Albania 1
AU - Australia 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
ID - Indonesia 1
IR - Iran 1
MK - Macedonia 1
PY - Paraguay 1
TN - Tunisia 1
VE - Venezuela 1
Totale 1.494
Città #
Chandler 213
Jacksonville 157
Boardman 61
Ashburn 50
Hong Kong 46
Ann Arbor 40
Wilmington 40
Helsinki 28
Dublin 27
Kronberg 23
Dearborn 22
Dong Ket 22
Beijing 15
Singapore 15
Trento 13
Woodbridge 12
Brussels 11
Phoenix 11
New York 9
Houston 8
Seattle 8
Brooklyn 7
Milan 7
Ottawa 7
Los Angeles 6
Pune 6
Redwood City 6
Munich 5
Guangzhou 4
Guanzate 4
Miami 4
Hanover 3
Pittsburgh 3
Shanghai 3
Tokyo 3
Verona 3
Bolzano 2
Cambridge 2
Council Bluffs 2
Fairfield 2
Frankfurt am Main 2
Fremont 2
Hefei 2
Inglewood 2
Norwalk 2
Portland 2
Rochester 2
Saint Petersburg 2
Aliso Viejo 1
Auburndale 1
Augusta 1
Bangalore 1
Catania 1
Cheyenne 1
Costa Mesa 1
Curitiba 1
Elmwood Park 1
Fuzhou 1
Genova 1
Goiânia 1
Ho Chi Minh City 1
Kolomyia 1
Kuala Lumpur 1
Laurel 1
Luft 1
Manteca 1
Mountain View 1
Myrtle Beach 1
Nanjing 1
Orizona 1
Paglieta 1
Palotina 1
Paraibuna 1
Prague 1
Primavera do Leste 1
Prineville 1
Redmond 1
Riverside 1
Roseville 1
Salto del Guairá 1
San Francisco 1
San Mateo 1
Santa Clara 1
Santo Domingo Este 1
Secaucus 1
Sousse 1
Spinea 1
São João da Boa Vista 1
Tangshan 1
Tianjin 1
Toronto 1
Union City 1
Viamão 1
Vicência 1
Wuhan 1
Xiamen 1
Xian 1
Yuncheng 1
Totale 976
Nome #
NuSMV 129
Supporting Requirements Validation: The EuRailCheck Tool 96
Safety Assessment of AltaRica Models via Symbolic Model Checking 86
Model Checking and Safety Assessment of Altarica models 79
Infinite-state invariant checking with IC3 and predicate abstraction 75
Model Checking of Hybrid Systems using Shallow Synchronization 74
Formal Verification of Infinite-State BIP Models 74
Quantifier-free encoding of invariants for hybrid systems 69
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 69
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 68
Efficient Scenario VeriFIcation for Hybrid Automata 67
IC3 Modulo Theories via Implicit Predicate Abstraction 65
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 63
The nuXmv Symbolic Model Checker 63
SMT-Based Verification of Hybrid Systems 62
Quantifier-free encoding of hybrid systems with non-linear dynamics 61
HYCOMP - an SMT-based model checker for hybrid systems 60
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 57
Time-aware Relational Abstractions for Hybrid Systems 55
Parameter Synthesis with IC3 54
SMT-based scenario verification for hybrid systems 44
Verifying LTL Properties of Hybrid Systems with K-Liveness 39
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 22
Totale 1.531
Categoria #
all - tutte 10.150
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 10.150


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020115 0 0 0 0 0 0 0 0 28 37 27 23
2020/2021220 31 1 24 10 25 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/2025150 11 6 56 14 16 19 20 8 0 0 0 0
Totale 1.531