Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 333
EU - Europa 68
AS - Asia 31
Totale 432
Nazione #
US - Stati Uniti d'America 333
IT - Italia 21
SG - Singapore 14
FI - Finlandia 13
CN - Cina 9
SE - Svezia 9
FR - Francia 8
DE - Germania 6
GB - Regno Unito 6
JO - Giordania 6
BG - Bulgaria 5
KR - Corea 1
TH - Thailandia 1
Totale 432
Città #
Chandler 102
Ashburn 35
Fairfield 24
Princeton 22
Woodbridge 16
Helsinki 12
Houston 11
San Mateo 10
Beijing 9
Wilmington 9
Cambridge 7
Como 6
New York 5
Sofia 5
Washington 5
Cagliari 4
Norwalk 4
San Diego 4
Massy 3
Rome 3
Seattle 3
Singapore 3
Boardman 2
Munich 2
San Paolo di Civitate 2
Severn 2
Stockholm 2
Trento 2
Acton 1
Ann Arbor 1
Bangkok 1
Chiswick 1
Falkenstein 1
Falls Church 1
Fayetteville 1
Fremont 1
Hounslow 1
Lappeenranta 1
London 1
Los Angeles 1
Mountain View 1
New Bedfont 1
Palaiseau 1
Santa Clara 1
Seoul 1
Totale 331
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 71
Safety Assessment of AltaRica Models via Symbolic Model Checking 59
Formal Verification of Infinite-State BIP Models 57
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 52
Model Checking and Safety Assessment of Altarica models 33
HYCOMP - an SMT-based model checker for hybrid systems 33
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 27
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
IC3 Modulo Theories via Implicit Predicate Abstraction 24
Infinite-state invariant checking with IC3 and predicate abstraction 24
Parameter Synthesis with IC3 22
Verification of Hybrid Systems using Satisfiability Modulo Theories 20
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 3
Totale 450
Categoria #
all - tutte 4.200
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 4.200


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202034 0 0 0 0 0 0 0 0 0 21 5 8
2020/202164 1 9 10 12 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/20258 4 2 2 0 0 0 0 0 0 0 0 0
Totale 450