FILE', GILBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.987
AS - Asia 184
EU - Europa 148
AF - Africa 2
OC - Oceania 1
Totale 2.322
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.987
SG - Singapore 70
CN - Cina 69
FI - Finlandia 42
VN - Vietnam 42
SE - Svezia 23
FR - Francia 22
DE - Germania 16
UA - Ucraina 15
GB - Regno Unito 12
IT - Italia 11
IE - Irlanda 5
IN - India 3
RE - Reunion 2
DK - Danimarca 1
NZ - Nuova Zelanda 1
SI - Slovenia 1
Totale 2.322
Salva come PNG Salva come JPEG
Città #
Fairfield 289
Woodbridge 233
Ann Arbor 220
Houston 168
Ashburn 159
Santa Clara 124
Seattle 117
Wilmington 108
Chandler 93
Cambridge 84
Singapore 62
Jacksonville 60
Boardman 45
Dong Ket 42
Princeton 37
Roxbury 28
Medford 27
San Diego 25
Des Moines 17
Nanjing 14
Helsinki 13
Shenyang 8
Hebei 7
Nanchang 6
Dublin 5
Tianjin 5
Changsha 4
Milan 4
Ogden 3
Rockville 3
Rome 3
Chiswick 2
Falkenstein 2
Falls Church 2
Jiaxing 2
New York 2
Nuremberg 2
Padova 2
Aarhus 1
Auburn Hills 1
Borås 1
Brenna 1
Chicago 1
Frankfurt am Main 1
Indiana 1
Kharkiv 1
London 1
New Delhi 1
Norwalk 1
Pinehaven 1
Prescot 1
Pune 1
Redmond 1
Zhengzhou 1
Totale 2.043
Salva come PNG Salva come JPEG
Nome #
The Quotient of an Abstract Interpretation 123
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures 123
A unifying view of abstract domain design 122
Computations, abstractions and constraints in logic programs 104
Complementation in abstract interpretation 100
Whac-A-Mole: Smart Node Positioning in Clone Attack in Wireless Sensor Networks 96
Expressive Power of Definite Clauses for Verifying Authenticity 91
The Formal Power of One-Visit Attribute Grammars 90
Optimal Groundness Analysis Using Propositional Logic 89
Simple Multi-Visit Attribute Grammars 85
Machines for Attribute Grammars 82
Abstract Interpretation for Type Checking 80
Interpretation and Reduction of Attribute Grammars 79
Passes, sweeps, and visits in attribute grammars 78
Passes and Paths of Attributive Grammars 78
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis 75
Comparison of Abstract Interpretations 74
The Relation of Two Patterns with Comparable Languages 69
Abstract interpretation for improving WAM code 69
Graph Properties for Normal Logic Programs 67
On the Design of a Correct Freeness Analysis for Logic Programs 61
Passes, Sweeps and Visits 60
Semantic Properties of CHIP (FD) 57
Sharing is Optimal 57
Improving abstract interpretations by systematic lifting to the powerset 55
Formal Properties of One-Visit and Multi-Pass Attribute Grammars 55
Precise Analysis of pi-Calculus in Cubic Time 55
Complementation of abstract domains made easy 54
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis 51
Freeness Analysis for Logic Programs - And Correctness? 50
Totale 2.329
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.673
article - articoli 3.800
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 188
Totale 11.661
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020236 0 0 0 0 0 38 42 50 49 26 13 18
2020/2021250 9 19 5 17 7 13 10 25 38 18 35 54
2021/2022351 2 50 49 15 23 6 11 41 19 1 41 93
2022/2023235 55 0 0 18 56 38 0 22 31 0 14 1
2023/2024129 6 18 8 7 7 48 3 1 4 0 12 15
2024/2025268 0 34 24 32 173 5 0 0 0 0 0 0
Totale 2.329