PIPERNO, Adolfo
 Distribuzione geografica
Continente #
NA - Nord America 1.422
EU - Europa 362
AS - Asia 220
SA - Sud America 18
AF - Africa 3
OC - Oceania 1
Totale 2.026
Nazione #
US - Stati Uniti d'America 1.415
SG - Singapore 117
UA - Ucraina 117
IT - Italia 101
SE - Svezia 58
IN - India 54
CN - Cina 43
FI - Finlandia 34
GB - Regno Unito 20
AR - Argentina 18
DE - Germania 8
BE - Belgio 5
CA - Canada 5
IE - Irlanda 5
CH - Svizzera 4
NL - Olanda 4
JP - Giappone 3
ID - Indonesia 2
MX - Messico 2
PL - Polonia 2
RO - Romania 2
AU - Australia 1
BG - Bulgaria 1
DK - Danimarca 1
TG - Togo 1
UG - Uganda 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 2.026
Città #
Fairfield 171
Chandler 137
Santa Clara 124
Woodbridge 114
Singapore 89
Seattle 85
Ashburn 80
Cambridge 70
Wilmington 60
Ann Arbor 57
Houston 53
Jacksonville 48
Rome 45
Princeton 36
Plano 34
Beijing 31
Millbury 22
San Paolo di Civitate 19
Federal 18
Lawrence 12
San Diego 11
Norwalk 9
Falls Church 8
Andover 7
Boston 7
Corbetta 7
New York 7
Cagliari 6
Des Moines 6
Brussels 5
Dublin 5
Toronto 5
Buffalo 4
Castel Maggiore 4
Civitavecchia 4
Dearborn 4
San Mateo 4
Falkenstein 3
Mannheim 3
Redmond 3
Shanghai 3
Southend 3
Zurich 3
Auburn Hills 2
Boardman 2
Bühl 2
Jakarta 2
Jinan 2
Milan 2
Provo 2
Tsukuba 2
Villa d'Almè 2
Warsaw 2
Bern 1
Chongqing 1
Como 1
Copenhagen 1
Edinburgh 1
Hanoi 1
Hefei 1
Helsinki 1
Hounslow 1
Islington 1
Las Vegas 1
Laurel 1
Lomé 1
Mexico City 1
Muizenberg 1
Nanjing 1
Nashville 1
San Francisco 1
Sofia 1
Volpiano 1
Wuhan 1
Totale 1.467
Nome #
Conflict vs causality in event structures 117
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees 92
A filter model for concurrent lambda-calculus 91
A Syntactical Analysis of Normalization 88
A compositive abstraction algorithm for combinatory logic 83
Linear Area Upward Drawings of AVL Trees 81
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday 81
Solving Equations in lambda-calculus 79
Type Inference and Extensionality 74
Some computational properties of intersection types 74
Expanding Extensional Polymorphism 66
Filter Models for Conjunctive-Disjunctive lambda-calculi 60
Optimal-area upward drawings of AVL trees 60
Non-deterministic extensions of untyped lambda-calculus 59
An Algebraic View of the Böhm-out Technique 59
Abstraction problems in Combinatory Logic: a compositive approach 58
Isomorphism test for digraphs with weighted edges 58
Normalization of Typable terms by Superdevelopments 56
Normalization and Extensionality 56
Surjectivity for finite sets of combinators by weak reduction 55
Filter Models for a Parallel and Non-deterministic lambda-calculus 52
Intersection types and lambda-definability 52
Il gioco del filetto a tre pedine 51
Practical graph isomorphism, II 49
nauty & Traces version 2.5r9 48
Termini invertibili da un lato nel lambda-beta-eta-calcolo con applicazioni nella programmazione funzionale. 45
Semantica Operazionale e Denotazionale dei Linguaggi di Programmazione 42
Lambda-definition of Function(al)s by Normal Forms 37
Regular systems of equations in lambda-calculus (preliminary version) 36
Static analysis of modularity of beta-reduction in the hyperbalanced lambda-calculus 35
Characterizing X-separability and one side invertibility in lambda-calculus 35
Must preorder in non-deterministic untyped lambda-calculus 34
Regular systems of equations in lambda-calculus 32
Böhm's Theorem 32
Retracts in simply typed lambda-beta-eta-calculus 17
Totale 2.044
Categoria #
all - tutte 5.900
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 217
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.117


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020274 0 0 0 0 0 48 43 50 43 47 36 7
2020/2021173 27 24 4 15 2 9 9 19 22 30 9 3
2021/2022340 0 11 41 7 43 3 7 33 30 32 45 88
2022/2023378 64 57 43 24 48 47 16 22 31 12 12 2
2023/202497 4 28 1 6 4 9 0 6 0 13 14 12
2024/2025274 28 101 19 9 78 39 0 0 0 0 0 0
Totale 2.044