Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 859
EU - Europa 404
AS - Asia 148
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 1.418
Nazione #
US - Stati Uniti d'America 851
DE - Germania 104
UA - Ucraina 75
SE - Svezia 58
FI - Finlandia 48
HK - Hong Kong 46
IT - Italia 35
IN - India 29
CN - Cina 28
GB - Regno Unito 27
IE - Irlanda 25
VN - Vietnam 24
SG - Singapore 12
BE - Belgio 11
RU - Federazione Russa 10
CA - Canada 8
FR - Francia 8
EU - Europa 6
JP - Giappone 3
MY - Malesia 3
KR - Corea 2
NL - Olanda 2
AL - Albania 1
AU - Australia 1
IR - Iran 1
Totale 1.418
Città #
Chandler 213
Jacksonville 157
Boardman 61
Ashburn 48
Hong Kong 46
Ann Arbor 40
Wilmington 40
Helsinki 26
Dublin 25
Kronberg 23
Dearborn 22
Dong Ket 22
Beijing 14
Trento 12
Woodbridge 12
Brussels 11
Phoenix 11
New York 9
Singapore 9
Houston 8
Seattle 8
Brooklyn 7
Milan 7
Ottawa 7
Los Angeles 6
Pune 6
Redwood City 6
Guangzhou 4
Guanzate 4
Miami 4
Munich 4
Hanover 3
Pittsburgh 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
Shanghai 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
Secaucus 1
Spinea 1
Toronto 1
Union City 1
Xiamen 1
Xian 1
Totale 937
Nome #
NuSMV 120
Supporting Requirements Validation: The EuRailCheck Tool 95
Safety Assessment of AltaRica Models via Symbolic Model Checking 82
Model Checking and Safety Assessment of Altarica models 77
Infinite-state invariant checking with IC3 and predicate abstraction 71
Model Checking of Hybrid Systems using Shallow Synchronization 69
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 68
Quantifier-free encoding of invariants for hybrid systems 67
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 66
Formal Verification of Infinite-State BIP Models 64
Efficient Scenario VeriFIcation for Hybrid Automata 63
The nuXmv Symbolic Model Checker 61
SMT-Based Verification of Hybrid Systems 60
IC3 Modulo Theories via Implicit Predicate Abstraction 60
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 60
Quantifier-free encoding of hybrid systems with non-linear dynamics 59
HYCOMP - an SMT-based model checker for hybrid systems 59
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 55
Time-aware Relational Abstractions for Hybrid Systems 53
Parameter Synthesis with IC3 50
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 15
Totale 1.455
Categoria #
all - tutte 8.669
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 8.669


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020197 0 0 0 2 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/202574 11 6 56 1 0 0 0 0 0 0 0 0
Totale 1.455