Becchi, Anna
 Distribuzione geografica
Continente #
NA - Nord America 46
EU - Europa 14
AS - Asia 7
Totale 67
Nazione #
US - Stati Uniti d'America 46
FI - Finlandia 6
SG - Singapore 5
IT - Italia 4
DE - Germania 3
JO - Giordania 2
GB - Regno Unito 1
Totale 67
Città #
Chandler 15
New York 6
Ashburn 5
Helsinki 5
Verona 3
Bonndorf 2
Princeton 2
Bad Bellingen 1
Cambridge 1
Lappeenranta 1
London 1
Trento 1
Washington 1
Totale 44
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 33
PPLite: Zero-overhead encoding of NNC polyhedra 13
Abstraction Modulo Stability for Reverse Engineering 12
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 12
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 2
P-stable abstractions of hybrid systems 2
Searching for i-Good Lemmas to Accelerate Safety Model Checking 1
Totale 75
Categoria #
all - tutte 700
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 700


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/202436 5 0 4 0 1 13 4 5 0 3 1 0
Totale 75