CINECA IRIS Institutional Research Information System

GHELLI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.828
EU - Europa 2.541
AS - Asia 616
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 4
OC - Oceania 1
Totale 8.998
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.657
IT - Italia 800
SE - Svezia 474
CN - Cina 395
DE - Germania 355
BG - Bulgaria 253
UA - Ucraina 231
CA - Canada 168
GB - Regno Unito 118
TR - Turchia 107
FI - Finlandia 101
CH - Svizzera 89
VN - Vietnam 73
RU - Federazione Russa 47
FR - Francia 41
HK - Hong Kong 24
BE - Belgio 12
GR - Grecia 5
EU - Europa 4
SG - Singapore 4
BR - Brasile 3
IN - India 3
IQ - Iraq 3
CZ - Repubblica Ceca 2
KR - Corea 2
MX - Messico 2
NL - Olanda 2
NO - Norvegia 2
TN - Tunisia 2
AL - Albania 1
AR - Argentina 1
AT - Austria 1
BN - Brunei Darussalam 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
ES - Italia 1
HR - Croazia 1
HU - Ungheria 1
ID - Indonesia 1
IE - Irlanda 1
MN - Mongolia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
PT - Portogallo 1
UZ - Uzbekistan 1
Totale 8.998
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.035
Ann Arbor 794
Houston 565
Fairfield 552
Chandler 386
Milan 368
Ashburn 334
Jacksonville 325
Sofia 253
Seattle 226
Wilmington 206
Cambridge 183
Ottawa 166
Beijing 137
New York 129
Princeton 96
Lawrence 95
Nanjing 95
Izmir 93
Bern 89
Serra 85
Dearborn 60
Jüchen 60
Des Moines 47
Medford 40
San Diego 37
Nanchang 32
Dong Ket 30
Hong Kong 24
Düsseldorf 22
Redwood City 22
Washington 22
Kunming 21
Shenyang 20
Ogden 16
Boulder 15
Rome 15
Jiaxing 14
Boardman 13
Brussels 12
Hebei 12
Changsha 11
San Donà Di Piave 11
Kocaeli 10
Norwalk 10
London 9
Orange 9
Hefei 8
Torino 8
Changchun 7
Indiana 7
Tianjin 7
Verona 7
Hangzhou 6
Los Angeles 5
Tappahannock 5
Athens 4
Guangzhou 4
Istanbul 4
Jinan 4
San Francisco 4
Brooklyn 3
Costa Mesa 3
Florence 3
Frankfurt am Main 3
Fuzhou 3
Hanoi 3
Leipzig 3
Samara 3
Stuttgart 3
Terni 3
Atlanta 2
Auburn Hills 2
Baghdad 2
Council Bluffs 2
Falls Church 2
Groningen 2
Lanzhou 2
Manchester 2
Marino 2
Mexico City 2
Moulineaux 2
Pescia 2
Pignola 2
Prague 2
Pune 2
Rignano Flaminio 2
San Jose 2
Santa Clara 2
Shanghai 2
Somma Lombardo 2
Trento 2
Yellow Springs 2
Abidjan 1
Aigaleo 1
Ames 1
Andover 1
Auckland 1
Bandar Seri Begawan 1
Bonn 1
Totale 6.967
Salva come PNG Salva come JPEG
Nome #
Efficient Inclusion for a Class of XML Types with Interleaving and Counting 165
Expressiveness and complexity of graph logic 163
XQuery!: An XML query language with side effects 152
Scalable query dissemination in XPeer 148
Adjunct Elimination Through Games in Static Ambient Logic 142
Manipulating trees with hidden labels 140
A class abstraction for a hierarchical type system 132
Objects for a database programming language 132
Efficient inclusion for a class of XML types with interleaving and counting 129
TQL: A Query Language for Semistructured Data Based on the Ambient Logic 128
Static analysis for path correctness of XML queries 128
Bounded Existentials and Minimal Typing 126
Basic theory of F-bounded quantification 125
Foundations for extensible objects with roles 125
A Calculus for Overloaded Functions with Subtyping 123
Manipulating Trees with Hidden Labels 121
Reflections on object-oriented database programming languages features 120
View Operations on Objects with Roles for a Statically Typed Database Language 120
A STATIC TYPE SYSTEM FOR MESSAGE PASSING 119
A calculus for overloaded functions with subtyping, extended abstract 118
Design of an integrated query and manipulation notation for database languages 118
Commutativity analysis in XML update languages 118
Modelling features of object-oriented languages in second order functional languages with subtypes 117
Complexity of kernel Fun subtype checking 116
Complexity of kernel Fun subtype checking 116
Fibonacci: A Programming Language for Object Databases 116
Ambient Groups and Mobility Types 115
XML updates 114
Linear inclusion for XML regular expression types 114
A typed text retrieval query language for XML documents 112
Object-oriented data base programming languages 111
Types for path correctness of XML queries 111
Object-Oriented Galileo 110
XQueryP: An XML application development language 109
XML query optimization in the presence of side effects 109
On confluence for weakly normalizing systems 108
XPeer: A Self-Organizing XML P2P Database System 107
Termination of system F-bounded: a complete proof 106
Subtyping Recursive Types in Kernel Fun 106
A Spatial Logic for Querying Graphs 105
Run-time support for hierarchic records in persistent languages 104
Commutativity analysis for XML updates 104
Subtyping, recursion and parametric polymorphism in Kernel Fun 103
Ambient calculus-based modal logics for mobile ambients 102
A relationship mechanism for object-oriented database programming language 101
Efficient asymmetric inclusion between regular expression types 100
Recursive types are not conservative over FSub 99
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking 99
Secrecy and group creation 98
A Query Language Based on the Ambient Logic 97
Parametric schema inference for massive JSON datasets 96
Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract 95
A semantics for lambda-early: a calculus with overloading and early binding 94
Decidability and Confluence of beta-eta-top reduction in Fsub 94
Secrecy and group creation 94
Secrecy and Group Creation 94
Typing mobility in the Seal Calculus 93
XQuery Scripting Extension 1.0 Requirements 93
The Query Language TQL 93
Mobility types for mobile ambients 89
A framework for comparing type systems for database programming languages 88
Coherence of subsumption 88
A Strongly Typed, Interactive Object-Oriented Database Programming Language 88
Decidability of freshness, undecidability of revelation (extended abstract) 87
null 87
Almost-Linear Inclusion for XML Regular Expression Types 87
Linear time membership for a class of XML types with interleaving and counting 82
Extensible Objects for Database Evolution: Language Features and Implementation Issues' 80
Schema Inference for Massive JSON Datasets, extended abstract 78
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub 77
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation 74
Divergence of Fsub type checking 72
Proc. of the 8th Intl. Workshop on Data Base Programming Languages (DBPL) 68
Schemas for safe and efficient XML processing 68
A type system for querying XML documents (extended abstract) 68
The graphical system of Fibonacci 67
TQL Algebra and its Implementation (Extended Abstract) 67
Spatial Tree Logics to reason about Semistructured Data 67
An Object Data Model with Roles 66
Types for databases: the Galileo experience 63
Types for the Ambient Calculus 63
Types for Correctness of Queries over Semistructured Data 63
Types and subtypes as partial equivalence relations 60
Foundations for extensible objects with roles, extended abstract 58
Schema Inference for Massive JSON Datasets 58
Modules and type abstraction in persistent systems 57
Counting types for massive JSON datasets 54
XML Updates 53
A Better Semantics for XQuery with Side-Effects 52
Schemas and types for JSON data 43
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas 41
Schemas and types for JSON data: From theory to practice 30
A type system for interactive JSON schema inference (extended abstract) 21
A test suite for JSON schema containment 20
Human-in-the-loop schema inference for massive JSON datasets 17
A tool for JSON schema witness generation 16
An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents 12
Witness Generation for JSON Schema 4
The Usage of Negation in Real-World JSON Schema Documents 2
Negation-closure for JSON Schema 1
Totale 9.083
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.766
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 20.766
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019566 0 0 0 0 0 0 0 0 0 197 215 154
2019/20201.753 210 142 119 103 190 186 196 123 184 122 144 34
2020/2021893 108 25 107 43 90 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.053 197 152 192 85 191 180 21 15 17 3 0 0
Totale 9.083