CINECA IRIS Institutional Research Information System

GHELLI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.343
AS - Asia 3.245
EU - Europa 2.774
SA - Sud America 406
AF - Africa 42
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 13.820
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.147
CN - Cina 1.262
SG - Singapore 910
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.820
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.035
Ann Arbor 794
Ashburn 618
Houston 566
Fairfield 552
Singapore 535
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 Jose 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
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.440
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
Scalable query dissemination in XPeer 187
Manipulating trees with hidden labels 186
Bounded Existentials and Minimal Typing 185
Objects for a database programming language 180
Adjunct Elimination Through Games in Static Ambient Logic 180
Modelling features of object-oriented languages in second order functional languages with subtypes 179
Reflections on object-oriented database programming languages features 176
Foundations for extensible objects with roles 176
TQL: A Query Language for Semistructured Data Based on the Ambient Logic 175
Fibonacci: A Programming Language for Object Databases 174
Design of an integrated query and manipulation notation for database languages 171
A calculus for overloaded functions with subtyping, extended abstract 170
Efficient inclusion for a class of XML types with interleaving and counting 170
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 164
Complexity of kernel Fun subtype checking 163
Complexity of kernel Fun subtype checking 163
Object-oriented data base programming languages 162
A relationship mechanism for object-oriented database programming language 162
Manipulating Trees with Hidden Labels 162
On confluence for weakly normalizing systems 161
View Operations on Objects with Roles for a Statically Typed Database Language 161
Object-Oriented Galileo 158
Run-time support for hierarchic records in persistent languages 157
A semantics for lambda-early: a calculus with overloading and early binding 157
A typed text retrieval query language for XML documents 157
Commutativity analysis in XML update languages 155
Parametric schema inference for massive JSON datasets 155
Secrecy and group creation 154
A framework for comparing type systems for database programming languages 152
A Spatial Logic for Querying Graphs 152
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
Types for path correctness of XML queries 146
Secrecy and Group Creation 145
Ambient Groups and Mobility Types 142
Mobility types for mobile ambients 142
Subtyping, recursion and parametric polymorphism in Kernel Fun 141
Linear inclusion for XML regular expression 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
Schema Inference for Massive JSON Datasets, extended abstract 140
Decidability of freshness, undecidability of revelation (extended abstract) 139
XML query optimization in the presence of side effects 139
Typing mobility in the Seal Calculus 138
Subtyping Recursive Types in Kernel Fun 138
XQuery Scripting Extension 1.0 Requirements 135
Efficient asymmetric inclusion between regular expression types 135
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub 134
A Query Language Based on the Ambient Logic 132
Linear time membership for a class of XML types with interleaving and counting 130
The Query Language TQL 128
Almost-Linear Inclusion for XML Regular Expression Types 128
Types for databases: the Galileo experience 126
Divergence of Fsub type checking 126
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 116
Extensible Objects for Database Evolution: Language Features and Implementation Issues' 115
Proc. of the 8th Intl. Workshop on Data Base Programming Languages (DBPL) 113
Schemas for safe and efficient XML processing 112
Schema Inference for Massive JSON Datasets 110
The graphical system of Fibonacci 109
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) 101
A Better Semantics for XQuery with Side-Effects 100
Schemas and types for JSON data 99
Counting types for massive JSON datasets 98
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas 95
Witness Generation for JSON Schema 93
Negation-closure for JSON Schema 93
Foundations for extensible objects with roles, extended abstract 90
null 87
Schemas and types for JSON data: From theory to practice 78
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 53
Totale 13.906
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.564
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.564
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021486 0 0 0 0 0 0 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.770 223 478 321 202 238 276 32 0 0 0 0 0
Totale 13.919