Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 872
EU - Europa 407
AS - Asia 161
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 1.447
Nazione #
US - Stati Uniti d'America 864
DE - Germania 105
UA - Ucraina 75
SE - Svezia 58
FI - Finlandia 50
HK - Hong Kong 46
IT - Italia 35
CN - Cina 31
IN - India 29
GB - Regno Unito 27
IE - Irlanda 25
VN - Vietnam 24
SG - Singapore 20
BE - Belgio 11
RU - Federazione Russa 10
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
IR - Iran 1
Totale 1.447
Città #
Chandler 213
Jacksonville 157
Boardman 61
Ashburn 49
Hong Kong 46
Ann Arbor 40
Wilmington 40
Helsinki 28
Dublin 25
Kronberg 23
Dearborn 22
Dong Ket 22
Beijing 14
Singapore 13
Trento 12
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
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
Elmwood Park 1
Fuzhou 1
Genova 1
Ho Chi Minh City 1
Kuala Lumpur 1
Laurel 1
Luft 1
Mountain View 1
Myrtle Beach 1
Nanjing 1
Prineville 1
Redmond 1
Riverside 1
Roseville 1
San Francisco 1
San Mateo 1
Santa Clara 1
Secaucus 1
Spinea 1
Toronto 1
Union City 1
Xiamen 1
Xian 1
Yuncheng 1
Totale 948
Nome #
NuSMV 124
Supporting Requirements Validation: The EuRailCheck Tool 95
Safety Assessment of AltaRica Models via Symbolic Model Checking 84
Model Checking and Safety Assessment of Altarica models 78
Model Checking of Hybrid Systems using Shallow Synchronization 72
Infinite-state invariant checking with IC3 and predicate abstraction 72
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 69
Quantifier-free encoding of invariants for hybrid systems 68
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 67
Formal Verification of Infinite-State BIP Models 66
Efficient Scenario VeriFIcation for Hybrid Automata 65
SMT-Based Verification of Hybrid Systems 62
The nuXmv Symbolic Model Checker 62
IC3 Modulo Theories via Implicit Predicate Abstraction 61
Quantifier-free encoding of hybrid systems with non-linear dynamics 60
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 60
HYCOMP - an SMT-based model checker for hybrid systems 59
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 56
Time-aware Relational Abstractions for Hybrid Systems 54
Parameter Synthesis with IC3 52
SMT-based scenario verification for hybrid systems 43
Verifying LTL Properties of Hybrid Systems with K-Liveness 38
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 17
Totale 1.484
Categoria #
all - tutte 9.117
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 9.117


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020195 0 0 0 0 30 18 32 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/2025103 11 6 56 14 16 0 0 0 0 0 0 0
Totale 1.484