Jonas, Martin
 Distribuzione geografica
Continente #
NA - Nord America 88
EU - Europa 63
AS - Asia 27
Totale 178
Nazione #
US - Stati Uniti d'America 88
IT - Italia 21
DE - Germania 13
HK - Hong Kong 12
CN - Cina 10
UA - Ucraina 8
BE - Belgio 5
FR - Francia 5
IE - Irlanda 4
IL - Israele 4
FI - Finlandia 3
RU - Federazione Russa 3
JP - Giappone 1
SE - Svezia 1
Totale 178
Città #
Chandler 17
Trento 16
Hong Kong 12
Brussels 5
Alpharetta 4
Dublin 4
Kronberg 4
Mountain View 4
Ashburn 3
Beijing 3
Colle Isarco 3
Helsinki 3
New York 3
Shanghai 3
Stanford 3
Aachen 2
Boardman 2
Brooklyn 2
El Segundo 2
Los Angeles 2
Nuremberg 2
Cagliari 1
Cologne 1
Columbus 1
Council Bluffs 1
Duncan 1
Hanover 1
Leipzig 1
Logan 1
Munich 1
New Kensington 1
Nizza Monferrato 1
Oakland 1
Phoenix 1
Redwood City 1
Tappahannock 1
Tokyo 1
Wilmington 1
Totale 116
Nome #
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 83
Efficient SMT-Based Analysis of Failure Propagation 35
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 27
Analysis of Cyclic Fault Propagation via ASP 25
Kratos2: an SMT-Based Model Checker for Imperative Programs 20
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 9
Totale 199
Categoria #
all - tutte 1.304
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.304


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202278 0 6 1 1 1 3 0 42 9 10 2 3
2022/202354 2 6 2 5 2 4 6 2 13 7 1 4
2023/202467 2 7 14 5 3 4 3 5 10 13 1 0
Totale 199