CINECA IRIS Institutional Research Information System

GHELLI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.957
AS - Asia 3.576
EU - Europa 2.919
SA - Sud America 436
AF - Africa 54
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 14.952
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.744
CN - Cina 1.288
SG - Singapore 987
IT - Italia 907
HK - Hong Kong 476
SE - Svezia 475
DE - Germania 382
BR - Brasile 380
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
MA - Marocco 9
SA - Arabia Saudita 9
VE - Venezuela 9
CZ - Repubblica Ceca 8
MX - Messico 8
TT - Trinidad e Tobago 8
CO - Colombia 7
EC - Ecuador 7
NL - Olanda 7
GR - Grecia 6
PS - Palestinian Territory 6
TN - Tunisia 6
CL - Cile 5
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
DZ - Algeria 2
ET - Etiopia 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
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
DO - Repubblica Dominicana 1
GN - Guinea 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
NI - Nicaragua 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
SY - Repubblica araba siriana 1
Totale 14.950
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.035
Ann Arbor 794
Ashburn 678
Singapore 597
Houston 567
Fairfield 552
Santa Clara 512
Hong Kong 470
Milan 415
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
Ho Chi Minh City 49
Hanoi 47
The Dalles 45
Buffalo 43
Istanbul 41
Medford 40
San Diego 37
Columbus 33
Council Bluffs 33
Nanchang 32
Dong Ket 30
Rome 26
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
London 11
San Donà Di Piave 11
Chicago 10
Kocaeli 10
Norwalk 10
Baltimore 9
Brooklyn 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
Florence 6
Goiânia 6
Guangzhou 6
Nova Iguaçu 6
Salvador 6
Athens 5
Atlanta 5
Totale 11.157
Salva come PNG Salva come JPEG
Nome #
A STATIC TYPE SYSTEM FOR MESSAGE PASSING 221
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 201
XQuery!: An XML query language with side effects 199
A class abstraction for a hierarchical type system 198
Modelling features of object-oriented languages in second order functional languages with subtypes 197
Manipulating trees with hidden labels 195
Bounded Existentials and Minimal Typing 194
Scalable query dissemination in XPeer 194
Adjunct Elimination Through Games in Static Ambient Logic 193
Objects for a database programming language 191
Efficient inclusion for a class of XML types with interleaving and counting 187
TQL: A Query Language for Semistructured Data Based on the Ambient Logic 186
Reflections on object-oriented database programming languages features 185
A calculus for overloaded functions with subtyping, extended abstract 181
Basic theory of F-bounded quantification 181
Foundations for extensible objects with roles 181
A relationship mechanism for object-oriented database programming language 180
Design of an integrated query and manipulation notation for database languages 180
Fibonacci: A Programming Language for Object Databases 179
Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract 178
Termination of system F-bounded: a complete proof 176
Object-oriented data base programming languages 174
View Operations on Objects with Roles for a Statically Typed Database Language 174
Parametric schema inference for massive JSON datasets 174
Complexity of kernel Fun subtype checking 173
Static analysis for path correctness of XML queries 173
Run-time support for hierarchic records in persistent languages 172
On confluence for weakly normalizing systems 171
Complexity of kernel Fun subtype checking 171
Object-Oriented Galileo 171
A semantics for lambda-early: a calculus with overloading and early binding 169
A typed text retrieval query language for XML documents 168
Manipulating Trees with Hidden Labels 167
A framework for comparing type systems for database programming languages 165
Decidability and Confluence of beta-eta-top reduction in Fsub 164
Secrecy and group creation 164
Commutativity analysis in XML update languages 161
A Spatial Logic for Querying Graphs 160
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking 159
XQueryP: An XML application development language 158
Recursive types are not conservative over FSub 157
XPeer: A Self-Organizing XML P2P Database System 157
XML updates 157
Decidability of freshness, undecidability of revelation (extended abstract) 156
Commutativity analysis for XML updates 156
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
XML query optimization in the presence of side effects 153
A Strongly Typed, Interactive Object-Oriented Database Programming Language 153
Typing mobility in the Seal Calculus 152
Subtyping, recursion and parametric polymorphism in Kernel Fun 152
Mobility types for mobile ambients 152
Ambient Groups and Mobility Types 150
Linear inclusion for XML regular expression types 148
Subtyping Recursive Types in Kernel Fun 148
Ambient calculus-based modal logics for mobile ambients 146
Efficient asymmetric inclusion between regular expression types 145
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub 142
XQuery Scripting Extension 1.0 Requirements 142
Linear time membership for a class of XML types with interleaving and counting 142
Divergence of Fsub type checking 139
The Query Language TQL 138
A Query Language Based on the Ambient Logic 138
Almost-Linear Inclusion for XML Regular Expression Types 137
TQL Algebra and its Implementation (Extended Abstract) 135
Types and subtypes as partial equivalence relations 132
Types for the Ambient Calculus 131
An Object Data Model with Roles 131
Secrecy and group creation 130
XML Updates 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) 125
Schemas for safe and efficient XML processing 124
Schema Inference for Massive JSON Datasets 119
The graphical system of Fibonacci 118
Negation-closure for JSON Schema 117
Modules and type abstraction in persistent systems 117
A Better Semantics for XQuery with Side-Effects 117
Types for Correctness of Queries over Semistructured Data 115
Spatial Tree Logics to reason about Semistructured Data 115
Witness Generation for JSON Schema 113
Counting types for massive JSON datasets 113
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas 112
Schemas and types for JSON data 111
A type system for querying XML documents (extended abstract) 109
Foundations for extensible objects with roles, extended abstract 98
Schemas and types for JSON data: From theory to practice 98
Validation of Modern JSON Schema: Formalization and Complexity 95
null 87
A type system for interactive JSON schema inference (extended abstract) 82
Human-in-the-loop schema inference for massive JSON datasets 79
A tool for JSON schema witness generation 77
A test suite for JSON schema containment 77
An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents 73
Totale 15.044
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.597
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 39.597
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202199 0 0 0 0 0 0 0 0 0 0 0 99
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/20262.908 223 478 321 202 238 276 410 132 248 234 120 26
Totale 15.057