Jonas, Martin
 Distribuzione geografica
Continente #
EU - Europa 149
NA - Nord America 118
AS - Asia 58
SA - Sud America 9
Totale 334
Nazione #
US - Stati Uniti d'America 115
RU - Federazione Russa 68
IT - Italia 24
SG - Singapore 20
DE - Germania 14
HK - Hong Kong 14
CN - Cina 13
BR - Brasile 8
UA - Ucraina 8
FR - Francia 7
NL - Olanda 7
FI - Finlandia 6
BE - Belgio 5
IE - Irlanda 5
GB - Regno Unito 4
IL - Israele 4
JP - Giappone 4
CA - Canada 3
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
SE - Svezia 1
UZ - Uzbekistan 1
Totale 334
Città #
Moscow 21
Chandler 17
Trento 16
Boardman 14
Hong Kong 14
Singapore 13
Helsinki 6
Brussels 5
Dublin 5
Alpharetta 4
Ashburn 4
Beijing 4
Kronberg 4
Mountain View 4
The Dalles 4
Brooklyn 3
Colle Isarco 3
London 3
Los Angeles 3
New York 3
Shanghai 3
Stanford 3
Tokyo 3
Toronto 3
Aachen 2
El Segundo 2
Nuremberg 2
Rouen 2
Amsterdam 1
Araçatuba 1
Baku 1
Baoding 1
Boston 1
Brasília 1
Buenos Aires 1
Cagliari 1
Chicago 1
Cologne 1
Columbus 1
Council Bluffs 1
Duncan 1
Falkenstein 1
Fortaleza 1
Hanover 1
Leipzig 1
Logan 1
Manchester 1
Munich 1
New Kensington 1
Nizza Monferrato 1
Oakland 1
Phoenix 1
Pozzolengo 1
Redwood City 1
Rio de Janeiro 1
Salvador 1
Tappahannock 1
Tashkent 1
Ubá 1
Vicentinópolis 1
Wilmington 1
Água Boa 1
Totale 204
Nome #
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 107
Efficient SMT-Based Analysis of Failure Propagation 57
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 51
Analysis of Cyclic Fault Propagation via ASP 48
Kratos2: an SMT-Based Model Checker for Imperative Programs 47
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 45
Totale 355
Categoria #
all - tutte 2.604
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 2.604


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/202487 2 7 14 5 3 4 3 5 10 13 1 20
2024/2025136 0 2 6 12 1 6 6 8 70 13 12 0
Totale 355