GIOVANNETTI, Elio
 Distribuzione geografica
Continente #
NA - Nord America 876
EU - Europa 723
AS - Asia 235
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 1.843
Nazione #
US - Stati Uniti d'America 869
CN - Cina 151
IE - Irlanda 112
SE - Svezia 112
IT - Italia 100
FR - Francia 88
FI - Finlandia 70
KR - Corea 63
UA - Ucraina 56
DE - Germania 49
GB - Regno Unito 37
PL - Polonia 37
SI - Slovenia 30
BE - Belgio 16
VN - Vietnam 12
GR - Grecia 9
CA - Canada 7
IN - India 4
EU - Europa 3
RU - Federazione Russa 3
ZA - Sudafrica 3
MU - Mauritius 2
NL - Olanda 2
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
HK - Hong Kong 1
JP - Giappone 1
SA - Arabia Saudita 1
TH - Thailandia 1
Totale 1.843
Città #
Chandler 218
Dublin 112
Beijing 90
Jacksonville 67
Villeurbanne 65
Princeton 59
Medford 44
Dearborn 36
Warsaw 36
Ann Arbor 33
Torino 26
Nyköping 25
Wilmington 21
Brussels 16
Ashburn 15
Guangzhou 15
Boardman 13
Maribor 13
Milan 12
Dong Ket 11
Houston 10
Boston 7
San Mateo 7
Verona 7
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
Johannesburg 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
Brno 1
Caraglio 1
Charlotte 1
Craponne 1
Delhi 1
Des Moines 1
Dormagen 1
Fairfield 1
Ferrara 1
Hangzhou 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.086
Nome #
Informatica nella scuola primaria 85
Intersection Types, Lambda-models and Böhm Trees. 81
Uso di Moodle nelle relazioni con le scuole: attività di orientamento e Olimpiadi di Informatica 80
IDEAL: An Ideal DEductive Applicative Language 75
A Mobility Calculus with Local Dependent Types 72
Isomorphism checker for intersection-types 72
Notes on the Elimination of Conditions 72
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione 71
A Two-Level Approach to Logic plus Functional Programming Integration 69
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 67
On Isomorphisms of Intersection Types 64
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions 63
Ambient Calculi with Types: a Tutorial. 62
Completeness Results for a Polymorphic Type System 61
Refined Strategies for Semantic Unification 60
Types for Ambient and Process Mobility 59
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 57
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
Some Aspects of the Integration between Logic Programming and Functional Programming 45
null 44
A Prolog-Compiled Higher-Order Functional and Logic Language 43
Comments on "Logic-Programming with Equations" 41
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.929
Categoria #
all - tutte 4.921
article - articoli 0
book - libri 0
conference - conferenze 2.498
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.419


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201970 0 0 0 0 0 0 0 20 2 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/2023515 84 55 24 34 62 115 59 18 39 5 16 4
2023/2024125 38 45 8 14 3 9 7 1 0 0 0 0
Totale 1.929