GIOVANNETTI, Elio
 Distribuzione geografica
Continente #
NA - Nord America 876
EU - Europa 706
AS - Asia 235
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 2
OC - Oceania 1
Totale 1.823
Nazione #
US - Stati Uniti d'America 869
CN - Cina 151
SE - Svezia 112
IE - Irlanda 105
IT - Italia 100
FR - Francia 88
FI - Finlandia 71
KR - Corea 63
UA - Ucraina 56
DE - Germania 49
GB - Regno Unito 37
PL - Polonia 37
SI - Slovenia 30
VN - Vietnam 12
GR - Grecia 9
CA - Canada 7
BE - Belgio 6
IN - India 4
EU - Europa 3
RU - Federazione Russa 3
MU - Mauritius 2
NL - Olanda 2
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
HK - Hong Kong 1
JP - Giappone 1
SA - Arabia Saudita 1
TH - Thailandia 1
Totale 1.823
Città #
Chandler 218
Dublin 105
Beijing 90
Jacksonville 67
Villeurbanne 65
Princeton 59
Medford 44
Dearborn 36
Warsaw 36
Ann Arbor 33
Torino 26
Nyköping 25
Wilmington 21
Ashburn 15
Guangzhou 15
Boardman 13
Maribor 13
Milan 12
Dong Ket 11
Houston 10
Boston 7
San Mateo 7
Verona 7
Brussels 6
Hefei 6
Nanjing 6
Toronto 6
Falls Church 5
Trani 5
Düsseldorf 4
Fremont 4
Jinan 4
Kunming 4
Ljubljana 4
Norwalk 4
Sagrado 4
Turin 4
Chengdu 3
Hebei 3
Hyderabad 3
Redwood City 3
Fuzhou 2
Menlo Park 2
Mountain View 2
New York 2
Nürnberg 2
Pradleves 2
Rome 2
Shenyang 2
Shenzhen 2
Woodbridge 2
Wuhan 2
Alzano Lombardo 1
Bangkok 1
Bergamo 1
Caraglio 1
Charlotte 1
Craponne 1
Delhi 1
Des Moines 1
Dormagen 1
Fairfield 1
Ferrara 1
Hangzhou 1
Helsinki 1
Jiaxing 1
L'aquila 1
Lachine 1
Lausanne 1
Nanchang 1
Newcastle upon Tyne 1
Nichelino 1
Piove Di Sacco 1
Providence 1
Rivalta di Torino 1
Saint Petersburg 1
San Mauro Torinese 1
Southend 1
Tianjin 1
Wenzhou 1
Xiamen 1
Yaroslavl 1
Zhengzhou 1
Totale 1.066
Nome #
Intersection Types, Lambda-models and Böhm Trees. 81
Informatica nella scuola primaria 80
Uso di Moodle nelle relazioni con le scuole: attività di orientamento e Olimpiadi di Informatica 80
IDEAL: An Ideal DEductive Applicative Language 76
Notes on the Elimination of Conditions 72
A Mobility Calculus with Local Dependent Types 71
Isomorphism checker for intersection-types 71
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione 70
A Two-Level Approach to Logic plus Functional Programming Integration 67
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 65
On Isomorphisms of Intersection Types 64
Ambient Calculi with Types: a Tutorial. 62
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions 62
Completeness Results for a Polymorphic Type System 61
Refined Strategies for Semantic Unification 60
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications 57
Narrowing and Resolution in Logic-Functional Programming Languages 57
The Role of Contests in Changing Informatics Education: a Local View 56
Types for Ambient and Process Mobility 54
From Böhm's Theorem to Observational Equivalences: an Informal Account 53
Type Inference for Mobile Ambients in Prolog 50
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language 49
Dynamic and Local Typing for Mobile Ambients 47
null 44
Some Aspects of the Integration between Logic Programming and Functional Programming 44
A Prolog-Compiled Higher-Order Functional and Logic Language 43
Comments on "Logic-Programming with Equations" 40
Kernel-LEAF: A Logic plus Functional Language 40
Architectural Choices in a CHILL Machine Design 39
Type Inference for M3 Mobile Ambients 36
The Relevance of Semantic Subtyping. 36
Une caractérisation des termes typés dans un langage applicatif 29
On Isomorphisms of Intersection Types 28
Narrowing vs. SLD-Resolution 25
Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming 23
M3: Mobility Types for Mobile Processes in Mobile Ambients 17
Totale 1.909
Categoria #
all - tutte 5.086
article - articoli 0
book - libri 0
conference - conferenze 2.580
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.666


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201948 0 0 0 0 0 0 0 0 0 11 33 4
2019/2020199 0 2 17 20 14 42 48 7 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/2024116 32 44 8 12 2 9 7 1 0 1 0 0
Totale 1.909