GIOVANNETTI, Elio
 Distribuzione geografica
Continente #
NA - Nord America 1.194
EU - Europa 739
AS - Asia 347
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 2
OC - Oceania 1
Totale 2.290
Nazione #
US - Stati Uniti d'America 1.183
CN - Cina 152
SE - Svezia 112
IT - Italia 110
IE - Irlanda 105
SG - Singapore 102
FR - Francia 88
FI - Finlandia 78
KR - Corea 63
DE - Germania 58
UA - Ucraina 56
GB - Regno Unito 37
PL - Polonia 37
SI - Slovenia 30
VN - Vietnam 12
GR - Grecia 10
CA - Canada 9
HK - Hong Kong 8
BE - Belgio 7
BR - Brasile 4
IN - India 4
NL - Olanda 4
EU - Europa 3
RU - Federazione Russa 3
MU - Mauritius 2
MX - Messico 2
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
JP - Giappone 1
LT - Lituania 1
LV - Lettonia 1
PH - Filippine 1
PK - Pakistan 1
SA - Arabia Saudita 1
TH - Thailandia 1
Totale 2.290
Città #
Chandler 218
Santa Clara 207
Dublin 105
Beijing 90
Jacksonville 67
Singapore 65
Villeurbanne 65
Princeton 59
Medford 44
Dearborn 36
Warsaw 36
Columbus 35
Ann Arbor 33
Torino 26
Nyköping 25
Ashburn 24
Wilmington 21
Guangzhou 16
Boardman 14
Maribor 13
Milan 12
Dong Ket 11
Houston 10
Los Angeles 9
Helsinki 8
Toronto 8
Boston 7
Brussels 7
Hong Kong 7
Rome 7
San Mateo 7
Turin 7
Verona 7
Hefei 6
Nanjing 6
Falkenstein 5
Falls Church 5
Trani 5
Düsseldorf 4
Fremont 4
Jinan 4
Kunming 4
Ljubljana 4
Norwalk 4
Sagrado 4
Chengdu 3
Hebei 3
Hyderabad 3
Redwood City 3
Amsterdam 2
Frankfurt am Main 2
Fuzhou 2
Menlo Park 2
Mexico City 2
Mountain View 2
New York 2
Nuremberg 2
Nürnberg 2
Pradleves 2
Shenyang 2
Shenzhen 2
Woodbridge 2
Wuhan 2
Alzano Lombardo 1
Athens 1
Baguio City 1
Bangkok 1
Bergamo 1
Caraglio 1
Charlotte 1
Craponne 1
Delhi 1
Des Moines 1
Dormagen 1
Fairfield 1
Ferrara 1
Hangzhou 1
Jiaxing 1
Joinville 1
L'aquila 1
Lachine 1
Lausanne 1
Mardan 1
Nanchang 1
Newcastle upon Tyne 1
Nichelino 1
Parauapebas 1
Piove Di Sacco 1
Providence 1
Riga 1
Rio do Sul 1
Rivalta di Torino 1
Saint Petersburg 1
San Mauro Torinese 1
Southend 1
São Paulo 1
Tianjin 1
Wenzhou 1
Xiamen 1
Yaroslavl 1
Totale 1.438
Nome #
Informatica nella scuola primaria 98
Intersection Types, Lambda-models and Böhm Trees. 96
Uso di Moodle nelle relazioni con le scuole: attività di orientamento e Olimpiadi di Informatica 96
Isomorphism checker for intersection-types 89
IDEAL: An Ideal DEductive Applicative Language 88
Notes on the Elimination of Conditions 86
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione 85
A Mobility Calculus with Local Dependent Types 82
On Isomorphisms of Intersection Types 78
A Two-Level Approach to Logic plus Functional Programming Integration 78
Ambient Calculi with Types: a Tutorial. 77
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 76
Refined Strategies for Semantic Unification 76
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions 75
Type Inference for Mobile Ambients in Prolog 70
Completeness Results for a Polymorphic Type System 70
The Role of Contests in Changing Informatics Education: a Local View 70
From Böhm's Theorem to Observational Equivalences: an Informal Account 69
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications 69
Narrowing and Resolution in Logic-Functional Programming Languages 69
Types for Ambient and Process Mobility 66
Dynamic and Local Typing for Mobile Ambients 64
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language 61
Some Aspects of the Integration between Logic Programming and Functional Programming 56
Kernel-LEAF: A Logic plus Functional Language 54
A Prolog-Compiled Higher-Order Functional and Logic Language 54
Comments on "Logic-Programming with Equations" 52
Architectural Choices in a CHILL Machine Design 52
Type Inference for M3 Mobile Ambients 48
The Relevance of Semantic Subtyping. 47
null 44
Une caractérisation des termes typés dans un langage applicatif 38
On Isomorphisms of Intersection Types 38
M3: Mobility Types for Mobile Processes in Mobile Ambients 36
Narrowing vs. SLD-Resolution 35
Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming 34
Totale 2.376
Categoria #
all - tutte 7.422
article - articoli 0
book - libri 0
conference - conferenze 3.772
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 11.194


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202049 0 0 0 0 0 0 0 0 15 19 12 3
2020/2021184 25 1 13 14 20 5 20 1 36 18 15 16
2021/2022302 2 0 5 32 15 6 48 18 5 12 56 103
2022/2023504 84 55 24 34 62 115 51 18 39 3 15 4
2023/2024165 32 44 8 12 2 9 7 1 0 10 12 28
2024/2025418 5 15 7 49 265 13 9 38 17 0 0 0
Totale 2.376