Jonas, Martin
 Distribuzione geografica
Continente #
EU - Europa 370
NA - Nord America 262
AS - Asia 171
SA - Sud America 37
AF - Africa 4
Totale 844
Nazione #
RU - Federazione Russa 249
US - Stati Uniti d'America 249
SG - Singapore 47
CN - Cina 42
VN - Vietnam 34
BR - Brasile 29
IT - Italia 27
DE - Germania 23
HK - Hong Kong 19
FR - Francia 16
GB - Regno Unito 14
UA - Ucraina 10
CA - Canada 8
NL - Olanda 7
FI - Finlandia 6
AR - Argentina 5
BE - Belgio 5
IE - Irlanda 5
IN - India 5
SE - Svezia 5
IL - Israele 4
JP - Giappone 4
MX - Messico 4
AE - Emirati Arabi Uniti 3
BD - Bangladesh 3
ZA - Sudafrica 3
IQ - Iraq 2
PK - Pakistan 2
PL - Polonia 2
TR - Turchia 2
AZ - Azerbaigian 1
EC - Ecuador 1
ES - Italia 1
MY - Malesia 1
NP - Nepal 1
PE - Perù 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 844
Città #
San Jose 40
Ashburn 26
Singapore 26
Moscow 22
Hong Kong 19
Chandler 17
Trento 17
Boardman 14
Beijing 11
Dallas 11
Ho Chi Minh City 9
The Dalles 8
Hanoi 7
Munich 7
New York 7
Hefei 6
Helsinki 6
Los Angeles 6
Brooklyn 5
Brussels 5
Dublin 5
Lauterbourg 5
Alpharetta 4
Atlanta 4
Kronberg 4
Mountain View 4
Poplar 4
Toronto 4
Colle Isarco 3
Da Nang 3
London 3
Manchester 3
Montreal 3
Phoenix 3
Santa Clara 3
Shanghai 3
Stanford 3
Stockholm 3
Tokyo 3
Aachen 2
Bergamo 2
Boston 2
Brasília 2
Chicago 2
El Segundo 2
Fortaleza 2
Haiphong 2
Mumbai 2
Ninh Bình 2
Nuremberg 2
Rio de Janeiro 2
Roubaix 2
Rouen 2
Thái Bình 2
Amsterdam 1
Ankara 1
Arapiraca 1
Araçatuba 1
Baghdad 1
Baku 1
Baoding 1
Bathgate 1
Birtamod 1
Bismarck 1
Buenos Aires 1
Béja 1
Cagliari 1
Calimaya 1
Can Tho 1
Chaguanas 1
Chapadão do Sul 1
Charleston 1
Chennai 1
Chuí 1
City of London 1
Cologne 1
Columbus 1
Concord 1
Council Bluffs 1
Denver 1
Dhaka 1
Dnipro 1
Duncan 1
Falkenstein 1
Federal 1
Guanambi 1
Hanover 1
Hartford 1
Hurlingham 1
Iguape 1
Itaquaquecetuba 1
Jackson 1
Jenkintown 1
Juazeiro do Norte 1
Kharkiv 1
Laferrere 1
Lahore 1
Leeds 1
Leipzig 1
Logan 1
Totale 412
Nome #
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 183
Efficient SMT-Based Analysis of Failure Propagation 145
Analysis of Cyclic Fault Propagation via ASP 141
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 135
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 132
Kratos2: an SMT-Based Model Checker for Imperative Programs 129
Totale 865
Categoria #
all - tutte 3.856
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 3.856


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/2025155 0 2 6 12 1 6 6 8 70 13 20 11
2025/2026491 15 34 31 56 29 21 62 192 20 31 0 0
Totale 865