MASCI, PAOLO MANUEL
 Distribuzione geografica
Continente #
NA - Nord America 889
EU - Europa 580
AS - Asia 166
AF - Africa 43
SA - Sud America 4
Totale 1.682
Nazione #
US - Stati Uniti d'America 873
IT - Italia 342
CN - Cina 83
SE - Svezia 73
DE - Germania 62
SG - Singapore 40
BG - Bulgaria 32
TR - Turchia 28
CI - Costa d'Avorio 27
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
BR - Brasile 4
CH - Svizzera 4
IN - India 4
SN - Senegal 4
FR - Francia 3
CZ - Repubblica Ceca 2
EE - Estonia 2
HK - Hong Kong 2
DK - Danimarca 1
NL - Olanda 1
PK - Pakistan 1
Totale 1.682
Città #
Serra 280
Ann Arbor 177
Woodbridge 169
Fairfield 84
Chandler 71
Ashburn 38
Beijing 33
Houston 33
Sofia 32
Cambridge 31
Abidjan 27
Seattle 27
Wilmington 25
Jacksonville 22
Milan 22
New York 22
Izmir 21
Boardman 17
Santa Clara 17
Ottawa 16
Florence 14
Frankfurt am Main 14
Singapore 14
Lagos 12
Lawrence 12
Ogden 12
Princeton 12
Brussels 9
Medford 8
Nanjing 8
Istanbul 7
Nanchang 6
Des Moines 5
Shanghai 5
Shenyang 5
Bern 4
Bremen 4
Dakar 4
Fuzhou 4
Redwood City 4
San Diego 4
Dearborn 3
Dong Ket 3
Hangzhou 3
Jiaxing 3
Jüchen 3
Nürnberg 3
Auburn Hills 2
Düsseldorf 2
Hong Kong 2
Keila 2
Kunming 2
Monte Porzio Catone 2
Norwalk 2
Phoenix 2
Prague 2
Quanzhou 2
Amsterdam 1
Belo Horizonte 1
Copenhagen 1
Costa Mesa 1
Enfield 1
Guangzhou 1
Haikou 1
Hebei 1
Hefei 1
Indiana 1
Lavagna 1
London 1
Los Angeles 1
Montalbano Jonico 1
Orange 1
Pune 1
Redmond 1
Rio de Janeiro 1
Rome 1
Rondonópolis 1
San Francisco 1
Southwark 1
Tappahannock 1
Viareggio 1
Vitória da Conquista 1
Xiamen 1
Yellow Springs 1
Totale 1.396
Nome #
Modeling and analysis of human memory load in multitasking scenarios 305
Early prototyping of wireless sensor network algorithms in PVS 192
Analysis of wireless sensor network protocols in dynamic scenarios 169
A Space-Aware Bytecode Verifier for Java Cards 138
Using postdomination to reduce space requirements of data flow analysis 129
Java Bytecode Verification with Dynamic Structures 116
Using Control Dependencies for Space-Aware Bytecode Verification 116
Decomposing Bytecode Verification by Abstract Interpretation 109
Debugging PVS specifications of control logics via event-driven simulation 106
Simulation and Test-Case Generation for PVS Specifications of Control Logics 91
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 78
null 55
A Tool for Signal Probability Analysis of FPGA-Based Systems 44
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity 22
The mysterious case of an intracardiac mass 22
Totale 1.692
Categoria #
all - tutte 4.165
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 4.165


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020152 0 0 0 0 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/2024125 14 15 11 5 17 24 2 3 2 3 15 14
2024/202587 4 20 3 32 28 0 0 0 0 0 0 0
Totale 1.692