MASCI, PAOLO MANUEL
 Distribuzione geografica
Continente #
NA - Nord America 1.185
EU - Europa 672
AS - Asia 540
SA - Sud America 93
AF - Africa 51
Totale 2.541
Nazione #
US - Stati Uniti d'America 1.158
IT - Italia 372
CN - Cina 166
SG - Singapore 165
DE - Germania 82
BR - Brasile 81
HK - Hong Kong 75
SE - Svezia 73
VN - Vietnam 44
TR - Turchia 37
BG - Bulgaria 32
CI - Costa d'Avorio 27
RU - Federazione Russa 23
CA - Canada 19
UA - Ucraina 17
GB - Regno Unito 15
FR - Francia 14
FI - Finlandia 13
NG - Nigeria 12
JP - Giappone 10
BE - Belgio 9
IN - India 9
ID - Indonesia 6
CH - Svizzera 5
KR - Corea 5
PK - Pakistan 5
EE - Estonia 4
SN - Senegal 4
AR - Argentina 3
IE - Irlanda 3
IQ - Iraq 3
MX - Messico 3
NL - Olanda 3
SA - Arabia Saudita 3
UZ - Uzbekistan 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
BD - Bangladesh 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
KE - Kenya 2
MA - Marocco 2
TH - Thailandia 2
VE - Venezuela 2
BO - Bolivia 1
BY - Bielorussia 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
ES - Italia 1
ET - Etiopia 1
GT - Guatemala 1
GY - Guiana 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MY - Malesia 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
TT - Trinidad e Tobago 1
Totale 2.541
Città #
Serra 280
Ann Arbor 177
Woodbridge 169
Ashburn 110
Singapore 95
Fairfield 84
Hong Kong 75
Santa Clara 73
Chandler 71
San Jose 53
Beijing 43
Houston 34
Sofia 32
Cambridge 31
Shanghai 31
Milan 29
Abidjan 27
Seattle 27
New York 25
Wilmington 25
Jacksonville 22
Izmir 21
Boardman 18
Frankfurt am Main 16
Ottawa 16
Florence 15
Ho Chi Minh City 14
Munich 13
Lagos 12
Lawrence 12
Ogden 12
Princeton 12
Dallas 11
Tokyo 10
Brussels 9
Istanbul 9
Los Angeles 9
Lauterbourg 8
Medford 8
Nanjing 8
The Dalles 8
São Paulo 7
Buffalo 6
Columbus 6
Council Bluffs 6
Nanchang 6
Bandung 5
Belo Horizonte 5
Cascina 5
Des Moines 5
Hanoi 5
Hefei 5
Redondo Beach 5
Rio de Janeiro 5
Seoul 5
Shenyang 5
Bern 4
Bremen 4
Dakar 4
Fuzhou 4
Orem 4
Redwood City 4
Rome 4
San Diego 4
Dearborn 3
Dong Ket 3
Dublin 3
Düsseldorf 3
Haiphong 3
Hangzhou 3
Jiaxing 3
Jüchen 3
Nuremberg 3
Nürnberg 3
Tashkent 3
Auburn Hills 2
Baku 2
Biên Hòa 2
Brooklyn 2
Campinas 2
Chicago 2
Guangzhou 2
Johannesburg 2
Keila 2
Kunming 2
London 2
Monte Porzio Catone 2
Norwalk 2
Phoenix 2
Prague 2
Quanzhou 2
Riyadh 2
San Francisco 2
Sorocaba 2
Tallinn 2
Thái Bình 2
Vitória da Conquista 2
Afyonkarahisar 1
Agadir 1
Agropoli 1
Totale 1.947
Nome #
Modeling and analysis of human memory load in multitasking scenarios 365
Early prototyping of wireless sensor network algorithms in PVS 245
Analysis of wireless sensor network protocols in dynamic scenarios 234
A Space-Aware Bytecode Verifier for Java Cards 193
Using postdomination to reduce space requirements of data flow analysis 187
Debugging PVS specifications of control logics via event-driven simulation 180
Java Bytecode Verification with Dynamic Structures 178
Decomposing Bytecode Verification by Abstract Interpretation 174
Simulation and Test-Case Generation for PVS Specifications of Control Logics 174
Using Control Dependencies for Space-Aware Bytecode Verification 166
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 137
A Tool for Signal Probability Analysis of FPGA-Based Systems 117
The mysterious case of an intracardiac mass 78
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity 68
null 55
Totale 2.551
Categoria #
all - tutte 6.475
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 6.475


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202123 0 0 0 0 0 0 0 0 0 0 10 13
2021/2022137 1 14 5 10 26 21 1 9 4 1 12 33
2022/2023253 16 35 22 16 39 30 1 10 63 1 19 1
2023/2024125 14 15 11 5 17 24 2 3 2 3 15 14
2024/2025520 4 20 3 32 59 82 57 46 49 55 34 79
2025/2026426 35 37 22 19 90 38 86 10 38 40 11 0
Totale 2.551