CINECA IRIS Institutional Research Information System

GHELLI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.027
AS - Asia 3.577
EU - Europa 3.001
SA - Sud America 444
AF - Africa 54
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 15.113
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.810
CN - Cina 1.288
IT - Italia 988
SG - Singapore 988
HK - Hong Kong 476
SE - Svezia 475
BR - Brasile 385
DE - Germania 383
BG - Bulgaria 256
KR - Corea 247
UA - Ucraina 237
VN - Vietnam 232
CA - Canada 182
TR - Turchia 154
FR - Francia 135
GB - Regno Unito 131
RU - Federazione Russa 119
FI - Finlandia 118
CH - Svizzera 89
JP - Giappone 54
IN - India 30
IQ - Iraq 23
BD - Bangladesh 16
AR - Argentina 15
ZA - Sudafrica 14
BE - Belgio 12
BJ - Benin 12
ES - Italia 11
PK - Pakistan 11
UZ - Uzbekistan 11
CO - Colombia 9
MA - Marocco 9
MX - Messico 9
SA - Arabia Saudita 9
VE - Venezuela 9
CZ - Repubblica Ceca 8
TT - Trinidad e Tobago 8
EC - Ecuador 7
NL - Olanda 7
CL - Cile 6
GR - Grecia 6
PS - Palestinian Territory 6
TN - Tunisia 6
ID - Indonesia 5
UY - Uruguay 5
AT - Austria 4
EU - Europa 4
HN - Honduras 4
PH - Filippine 4
PY - Paraguay 4
KZ - Kazakistan 3
LB - Libano 3
MD - Moldavia 3
NZ - Nuova Zelanda 3
PE - Perù 3
PL - Polonia 3
AZ - Azerbaigian 2
BB - Barbados 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
ET - Etiopia 2
HU - Ungheria 2
IE - Irlanda 2
JO - Giordania 2
LY - Libia 2
MY - Malesia 2
NI - Nicaragua 2
NO - Norvegia 2
PR - Porto Rico 2
SN - Senegal 2
TW - Taiwan 2
XK - ???statistics.table.value.countryCode.XK??? 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BY - Bielorussia 1
BZ - Belize 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DM - Dominica 1
GN - Guinea 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
KE - Kenya 1
LV - Lettonia 1
MG - Madagascar 1
MN - Mongolia 1
NG - Nigeria 1
NP - Nepal 1
OM - Oman 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
Totale 15.110
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.035
Ann Arbor 794
Ashburn 696
Singapore 597
Houston 567
Fairfield 552
Santa Clara 512
Hong Kong 470
Milan 437
Chandler 386
San Jose 327
Jacksonville 326
Hefei 320
Beijing 264
Sofia 254
Seoul 244
Seattle 226
Shanghai 214
Dallas 208
Wilmington 207
Cambridge 183
Ottawa 166
New York 142
Boardman 112
Princeton 97
Lawrence 95
Nanjing 95
Izmir 93
Bern 89
Serra 85
Lauterbourg 79
Los Angeles 71
Dearborn 60
Jüchen 60
Des Moines 54
Tokyo 53
Council Bluffs 50
Ho Chi Minh City 49
Buffalo 47
Hanoi 47
The Dalles 45
Istanbul 41
Medford 40
San Diego 37
Columbus 33
Nanchang 32
Dong Ket 30
Rome 29
Ogden 23
Washington 23
Düsseldorf 22
Redwood City 22
São Paulo 22
Kunming 21
Redondo Beach 20
Shenyang 20
Boulder 15
Jiaxing 14
Salt Lake City 14
Baghdad 13
Changsha 13
Helsinki 13
Brussels 12
Cotonou 12
Hebei 12
Munich 12
Belo Horizonte 11
Chicago 11
Florence 11
London 11
San Donà Di Piave 11
Brooklyn 10
Kocaeli 10
Norwalk 10
Baltimore 9
Da Nang 9
Frankfurt am Main 9
Orange 9
Tashkent 9
Fuzhou 8
Orem 8
Quanzhou 8
San Francisco 8
Tianjin 8
Torino 8
Verona 8
Changchun 7
Chennai 7
Hangzhou 7
Indiana 7
Jundiaí 7
Manchester 7
Rio de Janeiro 7
Curitiba 6
Goiânia 6
Guangzhou 6
Nova Iguaçu 6
Pisa 6
Salvador 6
Turin 6
Totale 11.230
Salva come PNG Salva come JPEG
Nome #
A STATIC TYPE SYSTEM FOR MESSAGE PASSING 222
Expressiveness and complexity of graph logic 219
Efficient Inclusion for a Class of XML Types with Interleaving and Counting 216
A Calculus for Overloaded Functions with Subtyping 202
A class abstraction for a hierarchical type system 200
XQuery!: An XML query language with side effects 200
Modelling features of object-oriented languages in second order functional languages with subtypes 198
Bounded Existentials and Minimal Typing 196
Manipulating trees with hidden labels 195
Adjunct Elimination Through Games in Static Ambient Logic 194
Scalable query dissemination in XPeer 194
Objects for a database programming language 191
TQL: A Query Language for Semistructured Data Based on the Ambient Logic 189
Efficient inclusion for a class of XML types with interleaving and counting 187
Reflections on object-oriented database programming languages features 185
A calculus for overloaded functions with subtyping, extended abstract 183
Parametric schema inference for massive JSON datasets 182
A relationship mechanism for object-oriented database programming language 181
Basic theory of F-bounded quantification 181
Foundations for extensible objects with roles 181
Design of an integrated query and manipulation notation for database languages 180
Fibonacci: A Programming Language for Object Databases 180
Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract 179
Termination of system F-bounded: a complete proof 176
Object-oriented data base programming languages 174
Complexity of kernel Fun subtype checking 174
Static analysis for path correctness of XML queries 174
View Operations on Objects with Roles for a Statically Typed Database Language 174
Run-time support for hierarchic records in persistent languages 172
Complexity of kernel Fun subtype checking 172
On confluence for weakly normalizing systems 171
Object-Oriented Galileo 171
A semantics for lambda-early: a calculus with overloading and early binding 169
Manipulating Trees with Hidden Labels 168
A typed text retrieval query language for XML documents 168
A framework for comparing type systems for database programming languages 165
Decidability and Confluence of beta-eta-top reduction in Fsub 165
A Spatial Logic for Querying Graphs 164
Secrecy and group creation 164
Decidability of freshness, undecidability of revelation (extended abstract) 161
Commutativity analysis in XML update languages 161
Recursive types are not conservative over FSub 160
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking 160
XQueryP: An XML application development language 158
Commutativity analysis for XML updates 158
XPeer: A Self-Organizing XML P2P Database System 157
XML updates 157
Schema Inference for Massive JSON Datasets, extended abstract 156
Coherence of subsumption 155
Types for path correctness of XML queries 154
Secrecy and Group Creation 154
A Strongly Typed, Interactive Object-Oriented Database Programming Language 154
XML query optimization in the presence of side effects 153
Typing mobility in the Seal Calculus 152
Subtyping, recursion and parametric polymorphism in Kernel Fun 152
Mobility types for mobile ambients 152
Linear inclusion for XML regular expression types 150
Ambient Groups and Mobility Types 150
Subtyping Recursive Types in Kernel Fun 149
Efficient asymmetric inclusion between regular expression types 148
Ambient calculus-based modal logics for mobile ambients 146
Linear time membership for a class of XML types with interleaving and counting 145
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub 144
XQuery Scripting Extension 1.0 Requirements 142
Divergence of Fsub type checking 140
A Query Language Based on the Ambient Logic 139
The Query Language TQL 138
Almost-Linear Inclusion for XML Regular Expression Types 138
XML Updates 136
TQL Algebra and its Implementation (Extended Abstract) 135
An Object Data Model with Roles 134
Types and subtypes as partial equivalence relations 132
Types for the Ambient Calculus 132
Secrecy and group creation 130
Types for databases: the Galileo experience 129
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation 129
Extensible Objects for Database Evolution: Language Features and Implementation Issues' 127
Proc. of the 8th Intl. Workshop on Data Base Programming Languages (DBPL) 126
Schemas for safe and efficient XML processing 124
Witness Generation for JSON Schema 121
The graphical system of Fibonacci 121
Counting types for massive JSON datasets 121
Schema Inference for Massive JSON Datasets 120
A Better Semantics for XQuery with Side-Effects 120
Negation-closure for JSON Schema 118
Modules and type abstraction in persistent systems 117
Schemas and types for JSON data 117
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas 116
Types for Correctness of Queries over Semistructured Data 115
Spatial Tree Logics to reason about Semistructured Data 115
A type system for querying XML documents (extended abstract) 110
Schemas and types for JSON data: From theory to practice 106
Validation of Modern JSON Schema: Formalization and Complexity 101
Foundations for extensible objects with roles, extended abstract 99
Human-in-the-loop schema inference for massive JSON datasets 92
A tool for JSON schema witness generation 91
A type system for interactive JSON schema inference (extended abstract) 88
null 87
A test suite for JSON schema containment 82
An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents 75
Totale 15.205
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.560
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 40.560
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022930 13 75 25 95 201 134 25 48 38 15 58 203
2022/2023961 124 101 50 100 127 184 12 90 115 5 39 14
2023/20241.195 197 152 192 85 191 180 21 15 17 20 25 100
2024/20252.924 17 112 28 120 342 310 272 238 199 358 407 521
2025/20263.023 223 478 321 202 238 276 410 132 248 234 120 141
2026/202746 46 0 0 0 0 0 0 0 0 0 0 0
Totale 15.218