MASCI, PAOLO MANUEL
 Distribuzione geografica
Continente #
NA - Nord America 837
EU - Europa 579
AS - Asia 106
AF - Africa 43
SA - Sud America 1
Totale 1.566
Nazione #
US - Stati Uniti d'America 821
IT - Italia 341
SE - Svezia 73
CN - Cina 67
DE - Germania 62
BG - Bulgaria 32
CI - Costa d'Avorio 27
TR - Turchia 22
UA - Ucraina 17
CA - Canada 16
GB - Regno Unito 13
NG - Nigeria 12
FI - Finlandia 11
BE - Belgio 9
RU - Federazione Russa 8
VN - Vietnam 8
CH - Svizzera 4
IN - India 4
SN - Senegal 4
FR - Francia 3
SG - Singapore 3
CZ - Repubblica Ceca 2
EE - Estonia 2
HK - Hong Kong 2
BR - Brasile 1
DK - Danimarca 1
NL - Olanda 1
Totale 1.566
Città #
Serra 280
Ann Arbor 177
Woodbridge 169
Fairfield 84
Chandler 71
Ashburn 34
Beijing 33
Houston 33
Sofia 32
Cambridge 31
Abidjan 27
Seattle 27
Wilmington 25
Jacksonville 22
Milan 22
New York 22
Izmir 21
Ottawa 16
Florence 14
Frankfurt am Main 14
Lagos 12
Lawrence 12
Princeton 12
Brussels 9
Medford 8
Nanjing 8
Nanchang 6
Des Moines 5
Shenyang 5
Bern 4
Bremen 4
Dakar 4
Redwood City 4
San Diego 4
Boardman 3
Dearborn 3
Dong Ket 3
Hangzhou 3
Jiaxing 3
Jüchen 3
Nürnberg 3
Shanghai 3
Auburn Hills 2
Düsseldorf 2
Hong Kong 2
Keila 2
Kunming 2
Monte Porzio Catone 2
Norwalk 2
Ogden 2
Phoenix 2
Prague 2
Amsterdam 1
Copenhagen 1
Costa Mesa 1
Enfield 1
Fuzhou 1
Guangzhou 1
Haikou 1
Hebei 1
Indiana 1
Istanbul 1
Lavagna 1
London 1
Los Angeles 1
Montalbano Jonico 1
Orange 1
Pune 1
Redmond 1
Rio de Janeiro 1
Rome 1
San Francisco 1
Southwark 1
Tappahannock 1
Viareggio 1
Yellow Springs 1
Totale 1.319
Nome #
Modeling and analysis of human memory load in multitasking scenarios 299
Early prototyping of wireless sensor network algorithms in PVS 186
Analysis of wireless sensor network protocols in dynamic scenarios 163
A Space-Aware Bytecode Verifier for Java Cards 131
Using Control Dependencies for Space-Aware Bytecode Verification 111
Java Bytecode Verification with Dynamic Structures 108
Using postdomination to reduce space requirements of data flow analysis 108
Decomposing Bytecode Verification by Abstract Interpretation 101
Debugging PVS specifications of control logics via event-driven simulation 97
Simulation and Test-Case Generation for PVS Specifications of Control Logics 82
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 70
null 55
A Tool for Signal Probability Analysis of FPGA-Based Systems 33
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity 16
The mysterious case of an intracardiac mass 16
Totale 1.576
Categoria #
all - tutte 3.424
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.424


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201965 0 0 0 0 0 0 0 0 0 0 38 27
2019/2020486 27 80 217 10 20 17 29 19 20 15 28 4
2020/2021110 7 7 11 9 12 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/202496 14 15 11 5 17 24 2 3 2 3 0 0
Totale 1.576