MASCI, PAOLO MANUEL
 Distribuzione geografica
Continente #
NA - Nord America 950
EU - Europa 607
AS - Asia 223
SA - Sud America 53
AF - Africa 45
Totale 1.878
Nazione #
US - Stati Uniti d'America 934
IT - Italia 353
CN - Cina 115
SE - Svezia 73
DE - Germania 63
SG - Singapore 51
BR - Brasile 50
BG - Bulgaria 32
TR - Turchia 31
CI - Costa d'Avorio 27
RU - Federazione Russa 22
UA - Ucraina 17
CA - Canada 16
GB - Regno Unito 13
NG - Nigeria 12
FI - Finlandia 11
BE - Belgio 9
VN - Vietnam 8
HK - Hong Kong 5
CH - Svizzera 4
IN - India 4
SN - Senegal 4
EE - Estonia 3
FR - Francia 3
CZ - Repubblica Ceca 2
PK - Pakistan 2
AZ - Azerbaigian 1
BD - Bangladesh 1
BO - Bolivia 1
DK - Danimarca 1
ID - Indonesia 1
IQ - Iraq 1
KE - Kenya 1
MA - Marocco 1
NL - Olanda 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
SA - Arabia Saudita 1
UZ - Uzbekistan 1
Totale 1.878
Città #
Serra 280
Ann Arbor 177
Woodbridge 169
Fairfield 84
Santa Clara 72
Chandler 71
Ashburn 38
Beijing 33
Houston 33
Sofia 32
Cambridge 31
Shanghai 31
Abidjan 27
Seattle 27
Milan 26
Singapore 25
Wilmington 25
Jacksonville 22
New York 22
Izmir 21
Boardman 17
Ottawa 16
Florence 14
Frankfurt am Main 14
Lagos 12
Lawrence 12
Ogden 12
Princeton 12
Brussels 9
Istanbul 8
Medford 8
Nanjing 8
Nanchang 6
São Paulo 6
Des Moines 5
Hong Kong 5
Shenyang 5
Bern 4
Bremen 4
Dakar 4
Fuzhou 4
Redwood City 4
San Diego 4
Belo Horizonte 3
Dearborn 3
Dong Ket 3
Hangzhou 3
Jiaxing 3
Jüchen 3
Nürnberg 3
Auburn Hills 2
Campinas 2
Council Bluffs 2
Düsseldorf 2
Keila 2
Kunming 2
Monte Porzio Catone 2
Norwalk 2
Phoenix 2
Prague 2
Quanzhou 2
Rio de Janeiro 2
Sorocaba 2
Amsterdam 1
Andrelândia 1
Anápolis 1
Araguaína 1
Arapiraca 1
Arapongas 1
Arcoverde 1
Baku 1
Balneário Camboriú 1
Brasília 1
Campo Mourão 1
Catanzaro 1
Ciudad del Este 1
Colatina 1
Concórdia 1
Copenhagen 1
Costa Mesa 1
Cotia 1
Cuiabá 1
Denizli 1
Energetik 1
Enfield 1
Eskişehir 1
Falkenstein 1
Franca 1
Guangzhou 1
Haikou 1
Hebei 1
Hefei 1
Indiana 1
Itaboraí 1
Karbala 1
La Paz 1
Lavagna 1
Lima 1
London 1
Los Angeles 1
Totale 1.523
Nome #
Modeling and analysis of human memory load in multitasking scenarios 320
Early prototyping of wireless sensor network algorithms in PVS 204
Analysis of wireless sensor network protocols in dynamic scenarios 182
Using postdomination to reduce space requirements of data flow analysis 150
A Space-Aware Bytecode Verifier for Java Cards 149
Using Control Dependencies for Space-Aware Bytecode Verification 131
Debugging PVS specifications of control logics via event-driven simulation 129
Java Bytecode Verification with Dynamic Structures 126
Decomposing Bytecode Verification by Abstract Interpretation 120
Simulation and Test-Case Generation for PVS Specifications of Control Logics 108
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 87
A Tool for Signal Probability Analysis of FPGA-Based Systems 58
null 55
The mysterious case of an intracardiac mass 37
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity 32
Totale 1.888
Categoria #
all - tutte 4.676
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.676


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202086 0 0 0 0 0 0 0 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/2025283 4 20 3 32 59 82 57 26 0 0 0 0
Totale 1.888