MASCI, PAOLO MANUEL
 Distribuzione geografica
Continente #
NA - Nord America 1.099
EU - Europa 646
AS - Asia 450
SA - Sud America 89
AF - Africa 50
Totale 2.334
Nazione #
US - Stati Uniti d'America 1.075
IT - Italia 366
CN - Cina 153
SG - Singapore 131
BR - Brasile 80
DE - Germania 80
HK - Hong Kong 74
SE - Svezia 73
TR - Turchia 35
BG - Bulgaria 32
CI - Costa d'Avorio 27
RU - Federazione Russa 22
VN - Vietnam 22
CA - Canada 18
UA - Ucraina 17
GB - Regno Unito 14
FI - Finlandia 12
NG - Nigeria 12
BE - Belgio 9
IN - India 8
CH - Svizzera 5
KR - Corea 5
PK - Pakistan 5
EE - Estonia 4
FR - Francia 4
SN - Senegal 4
AR - Argentina 3
UZ - Uzbekistan 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
BD - Bangladesh 2
CZ - Repubblica Ceca 2
IE - Irlanda 2
IQ - Iraq 2
JP - Giappone 2
KE - Kenya 2
MX - Messico 2
SA - Arabia Saudita 2
BO - Bolivia 1
BY - Bielorussia 1
CR - Costa Rica 1
DK - Danimarca 1
EC - Ecuador 1
ET - Etiopia 1
GT - Guatemala 1
GY - Guiana 1
ID - Indonesia 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MA - Marocco 1
NL - Olanda 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 2.334
Città #
Serra 280
Ann Arbor 177
Woodbridge 169
Ashburn 102
Singapore 85
Fairfield 84
Hong Kong 74
Santa Clara 73
Chandler 71
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
Ottawa 16
Florence 15
Frankfurt am Main 15
Munich 13
Lagos 12
Lawrence 12
Ogden 12
Princeton 12
Dallas 10
Brussels 9
Los Angeles 9
Istanbul 8
Medford 8
Nanjing 8
The Dalles 8
São Paulo 7
Buffalo 6
Columbus 6
Council Bluffs 6
Nanchang 6
Des Moines 5
Hefei 5
Redondo Beach 5
Rio de Janeiro 5
Seoul 5
Shenyang 5
Belo Horizonte 4
Bern 4
Bremen 4
Dakar 4
Fuzhou 4
Ho Chi Minh City 4
Redwood City 4
Rome 4
San Diego 4
Dearborn 3
Dong Ket 3
Düsseldorf 3
Hangzhou 3
Jiaxing 3
Jüchen 3
Nürnberg 3
Tashkent 3
Auburn Hills 2
Baku 2
Brooklyn 2
Campinas 2
Chicago 2
Dublin 2
Guangzhou 2
Haiphong 2
Johannesburg 2
Keila 2
Kunming 2
London 2
Monte Porzio Catone 2
Norwalk 2
Nuremberg 2
Phoenix 2
Prague 2
Quanzhou 2
Riyadh 2
San Francisco 2
Sorocaba 2
Tallinn 2
Tokyo 2
Vitória da Conquista 2
Afyonkarahisar 1
Agropoli 1
Amsterdam 1
Andrelândia 1
Antakya 1
Anápolis 1
Araguaína 1
Arapiraca 1
Arapongas 1
Arcoverde 1
Balneário Camboriú 1
Totale 1.827
Nome #
Modeling and analysis of human memory load in multitasking scenarios 354
Early prototyping of wireless sensor network algorithms in PVS 234
Analysis of wireless sensor network protocols in dynamic scenarios 217
A Space-Aware Bytecode Verifier for Java Cards 177
Using postdomination to reduce space requirements of data flow analysis 175
Debugging PVS specifications of control logics via event-driven simulation 170
Java Bytecode Verification with Dynamic Structures 163
Decomposing Bytecode Verification by Abstract Interpretation 157
Simulation and Test-Case Generation for PVS Specifications of Control Logics 156
Using Control Dependencies for Space-Aware Bytecode Verification 153
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 115
A Tool for Signal Probability Analysis of FPGA-Based Systems 95
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity 62
The mysterious case of an intracardiac mass 61
null 55
Totale 2.344
Categoria #
all - tutte 5.980
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 5.980


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202164 0 0 0 0 0 8 6 10 13 4 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/2026219 35 37 22 19 90 16 0 0 0 0 0 0
Totale 2.344