Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 372
EU - Europa 72
AS - Asia 62
Totale 506
Nazione #
US - Stati Uniti d'America 371
SG - Singapore 43
IT - Italia 21
FI - Finlandia 13
CN - Cina 11
SE - Svezia 9
DE - Germania 8
FR - Francia 8
GB - Regno Unito 6
JO - Giordania 6
BG - Bulgaria 5
CA - Canada 1
KR - Corea 1
LT - Lituania 1
RU - Federazione Russa 1
TH - Thailandia 1
Totale 506
Città #
Chandler 102
Ashburn 35
Singapore 31
Columbus 24
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
Los Angeles 3
Massy 3
Rome 3
Santa Clara 3
Seattle 3
Boardman 2
Munich 2
Saarbrücken 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
Moscow 1
Mountain View 1
New Bedfont 1
Palaiseau 1
Seoul 1
Toronto 1
Wuhan 1
Totale 392
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 78
Safety Assessment of AltaRica Models via Symbolic Model Checking 64
Formal Verification of Infinite-State BIP Models 62
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 61
Model Checking and Safety Assessment of Altarica models 41
HYCOMP - an SMT-based model checker for hybrid systems 39
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 32
Verifying LTL Properties of Hybrid Systems with K-Liveness 31
IC3 Modulo Theories via Implicit Predicate Abstraction 30
Infinite-state invariant checking with IC3 and predicate abstraction 29
Verification of Hybrid Systems using Satisfiability Modulo Theories 27
Parameter Synthesis with IC3 26
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 4
Totale 524
Categoria #
all - tutte 4.504
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.504


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/202582 4 2 14 53 9 0 0 0 0 0 0 0
Totale 524