CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021520 0 0 0 0 0 34 74 99 76 90 48 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/20261.732 223 478 321 202 238 270 0 0 0 0 0 0
Totale 13.881