Becchi, Anna
 Distribuzione geografica
Continente #
NA - Nord America 55
EU - Europa 27
AS - Asia 18
Totale 100
Nazione #
US - Stati Uniti d'America 55
SG - Singapore 16
IT - Italia 9
FI - Finlandia 7
GB - Regno Unito 6
DE - Germania 3
JO - Giordania 2
NL - Olanda 1
RU - Federazione Russa 1
Totale 100
Città #
Chandler 15
Singapore 11
New York 6
Ashburn 5
Helsinki 5
Columbus 4
Trento 3
Verona 3
Bonndorf 2
Lappeenranta 2
Princeton 2
Bad Bellingen 1
Cambridge 1
London 1
Moscow 1
Santa Clara 1
Washington 1
Totale 64
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 43
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 19
Abstraction Modulo Stability for Reverse Engineering 16
PPLite: Zero-overhead encoding of NNC polyhedra 15
P-stable abstractions of hybrid systems 8
Searching for i-Good Lemmas to Accelerate Safety Model Checking 4
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 4
Totale 109
Categoria #
all - tutte 1.082
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 1.082


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224 0 0 0 0 0 0 0 0 0 0 3 1
2022/202335 1 3 0 3 6 5 0 3 10 1 0 3
2023/202440 5 0 4 0 1 13 4 5 0 3 1 4
2024/202530 0 5 5 19 1 0 0 0 0 0 0 0
Totale 109