CINECA IRIS Institutional Research Information System

GHELLI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.830
AS - Asia 3.585
EU - Europa 3.086
SA - Sud America 450
Continente sconosciuto - Info sul continente non disponibili 111
AF - Africa 54
OC - Oceania 4
Totale 16.120
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.582
CN - Cina 1.289
IT - Italia 1.073
SG - Singapore 989
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 194
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 18
AR - Argentina 16
CO - Colombia 14
ZA - Sudafrica 14
BE - Belgio 12
BJ - Benin 12
PK - Pakistan 12
ES - Italia 11
UZ - Uzbekistan 11
MX - Messico 10
SA - Arabia Saudita 10
MA - Marocco 9
VE - Venezuela 9
CZ - Repubblica Ceca 8
TT - Trinidad e Tobago 8
EC - Ecuador 7
NL - Olanda 7
CL - Cile 6
CR - Costa Rica 6
GR - Grecia 6
HN - Honduras 6
ID - Indonesia 6
PS - Palestinian Territory 6
TN - Tunisia 6
JM - Giamaica 5
UY - Uruguay 5
AT - Austria 4
EU - Europa 4
NI - Nicaragua 4
PH - Filippine 4
PY - Paraguay 4
BB - Barbados 3
KZ - Kazakistan 3
LB - Libano 3
MD - Moldavia 3
NZ - Nuova Zelanda 3
PE - Perù 3
PL - Polonia 3
AZ - Azerbaigian 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
ET - Etiopia 2
GT - Guatemala 2
HU - Ungheria 2
IE - Irlanda 2
JO - Giordania 2
LY - Libia 2
MY - Malesia 2
NO - Norvegia 2
PR - Porto Rico 2
SN - Senegal 2
TH - Thailandia 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
DM - Dominica 1
GD - Grenada 1
GN - Guinea 1
GP - Guadalupe 1
HR - Croazia 1
IL - Israele 1
IR - Iran 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
Totale 16.009
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.035
Ann Arbor 794
Ashburn 769
Singapore 597
Houston 571
Fairfield 552
Santa Clara 515
Hong Kong 470
Milan 439
San Jose 406
Chandler 386
Jacksonville 327
Hefei 320
Beijing 264
Sofia 254
Seoul 244
Seattle 229
Shanghai 215
Dallas 212
Council Bluffs 210
Wilmington 207
Cambridge 184
Ottawa 166
New York 149
Boardman 112
Princeton 97
Lawrence 95
Nanjing 95
Izmir 93
Bern 89
Serra 85
Lauterbourg 79
Los Angeles 76
Staranzano 76
Dearborn 60
Jüchen 60
Des Moines 54
Tokyo 53
Buffalo 50
Ho Chi Minh City 49
Hanoi 47
The Dalles 45
Istanbul 41
Medford 40
San Diego 39
Columbus 33
Nanchang 32
Rome 32
Dong Ket 30
Ogden 23
Washington 23
Düsseldorf 22
Redwood City 22
São Paulo 22
Kunming 21
Chicago 20
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
Brooklyn 11
Florence 11
London 11
San Donà Di Piave 11
San Francisco 11
Baltimore 10
Kocaeli 10
Norwalk 10
Atlanta 9
Da Nang 9
Frankfurt am Main 9
Orange 9
Tashkent 9
Fuzhou 8
Orem 8
Philadelphia 8
Phoenix 8
Quanzhou 8
Tianjin 8
Torino 8
Verona 8
Changchun 7
Chennai 7
Hangzhou 7
Indiana 7
Jundiaí 7
Manchester 7
Richmond 7
Rio de Janeiro 7
Charlotte 6
Curitiba 6
Totale 11.673
Salva come PNG Salva come JPEG
Nome #
A STATIC TYPE SYSTEM FOR MESSAGE PASSING 232
Expressiveness and complexity of graph logic 230
Efficient Inclusion for a Class of XML Types with Interleaving and Counting 223
Modelling features of object-oriented languages in second order functional languages with subtypes 215
A Calculus for Overloaded Functions with Subtyping 212
A class abstraction for a hierarchical type system 209
XQuery!: An XML query language with side effects 209
Manipulating trees with hidden labels 205
Adjunct Elimination Through Games in Static Ambient Logic 204
Objects for a database programming language 203
Bounded Existentials and Minimal Typing 201
Scalable query dissemination in XPeer 201
Object-oriented data base programming languages 197
TQL: A Query Language for Semistructured Data Based on the Ambient Logic 197
A calculus for overloaded functions with subtyping, extended abstract 195
Parametric schema inference for massive JSON datasets 194
Reflections on object-oriented database programming languages features 193
Efficient inclusion for a class of XML types with interleaving and counting 193
A relationship mechanism for object-oriented database programming language 191
Basic theory of F-bounded quantification 190
Fibonacci: A Programming Language for Object Databases 190
Complexity of kernel Fun subtype checking 189
Design of an integrated query and manipulation notation for database languages 188
Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract 187
View Operations on Objects with Roles for a Statically Typed Database Language 187
Foundations for extensible objects with roles 187
Static analysis for path correctness of XML queries 184
Complexity of kernel Fun subtype checking 183
Termination of system F-bounded: a complete proof 182
On confluence for weakly normalizing systems 179
A semantics for lambda-early: a calculus with overloading and early binding 179
Run-time support for hierarchic records in persistent languages 178
A typed text retrieval query language for XML documents 178
Object-Oriented Galileo 177
Decidability of freshness, undecidability of revelation (extended abstract) 175
Manipulating Trees with Hidden Labels 175
A framework for comparing type systems for database programming languages 174
Decidability and Confluence of beta-eta-top reduction in Fsub 174
A Spatial Logic for Querying Graphs 174
Recursive types are not conservative over FSub 171
Schema Inference for Massive JSON Datasets, extended abstract 170
Secrecy and group creation 169
Commutativity analysis in XML update languages 169
Commutativity analysis for XML updates 169
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking 166
XPeer: A Self-Organizing XML P2P Database System 165
Types for path correctness of XML queries 165
XQueryP: An XML application development language 164
Linear inclusion for XML regular expression types 164
Secrecy and Group Creation 164
XML updates 163
Ambient Groups and Mobility Types 163
A Strongly Typed, Interactive Object-Oriented Database Programming Language 163
Typing mobility in the Seal Calculus 162
Mobility types for mobile ambients 162
Subtyping, recursion and parametric polymorphism in Kernel Fun 160
XML query optimization in the presence of side effects 160
Coherence of subsumption 159
Subtyping Recursive Types in Kernel Fun 159
Linear time membership for a class of XML types with interleaving and counting 155
Efficient asymmetric inclusion between regular expression types 154
Ambient calculus-based modal logics for mobile ambients 154
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub 153
TQL Algebra and its Implementation (Extended Abstract) 152
A Query Language Based on the Ambient Logic 151
XQuery Scripting Extension 1.0 Requirements 149
Almost-Linear Inclusion for XML Regular Expression Types 148
Divergence of Fsub type checking 148
The Query Language TQL 144
An Object Data Model with Roles 142
Types for the Ambient Calculus 140
Types for databases: the Galileo experience 139
Proc. of the 8th Intl. Workshop on Data Base Programming Languages (DBPL) 139
Secrecy and group creation 139
XML Updates 139
Types and subtypes as partial equivalence relations 138
Schemas for safe and efficient XML processing 133
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation 133
Extensible Objects for Database Evolution: Language Features and Implementation Issues' 132
A Better Semantics for XQuery with Side-Effects 132
Schema Inference for Massive JSON Datasets 130
Schemas and types for JSON data 128
Witness Generation for JSON Schema 126
Modules and type abstraction in persistent systems 126
The graphical system of Fibonacci 126
Counting types for massive JSON datasets 126
Negation-closure for JSON Schema 123
Types for Correctness of Queries over Semistructured Data 123
Spatial Tree Logics to reason about Semistructured Data 122
A type system for querying XML documents (extended abstract) 122
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas 121
Validation of Modern JSON Schema: Formalization and Complexity 115
Schemas and types for JSON data: From theory to practice 115
Foundations for extensible objects with roles, extended abstract 110
A tool for JSON schema witness generation 100
A type system for interactive JSON schema inference (extended abstract) 96
Human-in-the-loop schema inference for massive JSON datasets 96
A test suite for JSON schema containment 91
An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents 89
null 87
Totale 16.107
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.361
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 43.361
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022842 0 0 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/2027948 81 182 685 0 0 0 0 0 0 0 0 0
Totale 16.120