HONSELL, Furio
 Distribuzione geografica
Continente #
NA - Nord America 4.783
EU - Europa 1.416
AS - Asia 855
SA - Sud America 86
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.152
Nazione #
US - Stati Uniti d'America 4.733
SG - Singapore 420
UA - Ucraina 374
IT - Italia 317
CN - Cina 247
DE - Germania 194
SE - Svezia 126
FI - Finlandia 112
RU - Federazione Russa 111
BR - Brasile 78
IE - Irlanda 68
TR - Turchia 59
CA - Canada 42
GB - Regno Unito 34
KR - Corea 33
VN - Vietnam 31
IN - India 26
BE - Belgio 20
CZ - Repubblica Ceca 12
FR - Francia 11
IR - Iran 11
NL - Olanda 8
RO - Romania 8
PL - Polonia 7
MX - Messico 5
PH - Filippine 5
JP - Giappone 4
LT - Lituania 4
TW - Taiwan 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
BD - Bangladesh 3
EU - Europa 3
PK - Pakistan 3
UY - Uruguay 3
DO - Repubblica Dominicana 2
EE - Estonia 2
MA - Marocco 2
ZA - Sudafrica 2
AR - Argentina 1
BH - Bahrain 1
BY - Bielorussia 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
DZ - Algeria 1
EC - Ecuador 1
ES - Italia 1
GE - Georgia 1
HK - Hong Kong 1
HR - Croazia 1
HU - Ungheria 1
JM - Giamaica 1
LB - Libano 1
MY - Malesia 1
SI - Slovenia 1
SN - Senegal 1
TG - Togo 1
TN - Tunisia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 7.152
Città #
Woodbridge 672
Ann Arbor 572
Fairfield 458
Houston 427
Chandler 364
Singapore 263
Wilmington 256
Ashburn 254
Jacksonville 252
Dearborn 200
Seattle 181
Cambridge 154
Udine 144
Boardman 82
Beijing 72
Princeton 69
Dublin 68
Izmir 57
Trieste 39
Seoul 33
Dong Ket 31
Nanjing 28
San Diego 28
Ottawa 26
Ogden 23
Santa Clara 20
Brussels 19
Des Moines 18
Monmouth Junction 17
Norwalk 15
Los Angeles 13
New York 13
Hefei 12
Jinan 12
Frankfurt am Main 11
Kunming 11
Leawood 10
Nanchang 10
Nove 10
Reggio Nell'emilia 10
Brno 9
Falls Church 9
Munich 9
São Paulo 9
Toronto 9
Augusta 8
San Mateo 8
Ardabil 7
Milan 7
Warsaw 7
Guangzhou 6
Helsinki 6
Columbus 5
Dallas 5
Fuzhou 5
Indiana 5
Naaldwijk 5
Nuremberg 5
Andover 4
Horia 4
London 4
Montreal 4
Mumbai 4
Ningbo 4
Phoenix 4
Pune 4
Redwood City 4
Rome 4
Shanghai 4
Tokyo 4
Washington 4
Zhengzhou 4
Atlanta 3
Belo Horizonte 3
Curitiba 3
Menlo Park 3
Montevideo 3
Padova 3
Paranaque City 3
Sorrento 3
Stockholm 3
Taipei 3
Venezia 3
Vicenza 3
Amsterdam 2
Bari 2
Bosco Chiesanuova 2
Boston 2
Cabo Frio 2
Cerquilho 2
Changsha 2
Chennai 2
Chicago 2
Chongqing 2
Colombo 2
Concórdia 2
Dhaka 2
Fulham 2
Goiânia 2
Hangzhou 2
Totale 5.202
Nome #
A Lambda Calculus of Objects and Method Specialization 163
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 161
A category of compositional domain-models for separable Stone spaces 159
A natural deduction approach to dynamic logic 157
Conway Games, coalgebraically 157
A complete characterization of complete intersection-type preorders 157
LaxF: Side Conditions and External Evidence as Monads 152
RPO, second-order contexts, and λ-calculus 151
A Variable Typed Logic of Effects 148
A Conditional Logical Framework 148
Plugging-in proof development environments using Locks in LF 143
Approximation Theorems for intersection type systems 142
Categories of Coalgebraic Games with Selective Sum 142
Coinductive Characterizations of Applicative Structures 139
Categories of Coalgebraic Games 138
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 136
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 136
Strict Geometry of Interaction Graph Models 135
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 134
Consistency of the Theory of Contexts 133
A Framework for Defining Logical Frameworks 132
A Framework for Defining Logics 129
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 127
A type assignment system for game semantics 125
A lambda calculus of objects with self-inflicted extension 123
You need to show that you are not a robot 123
Social robots as cultural objects. The sixth dimension of dynamicity? 122
Coalgebraic Description of Generalized Binary Methods 116
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 115
Intersection Types λS∩ 111
Conway's Games, algebraically and coalgebraically 111
Some Properties and Some Problems on Set Functors 109
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 107
RPO, Second-Order Contexts, and λ-Calculus 107
Prelogical relations 107
Towards a logical framework with intersection and union types 106
An Open Logical Framework 101
Functors Determined by Values on Objects 99
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 98
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 93
The Theory of Contexts for First Order and Higher Order Abstract Syntax 89
LLF – A Logical-Logical Framework 89
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 88
Equivalences and Congruences on Infinite Conway's Games 87
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 86
Encoding Modal Logics in Logical Frameworks 83
Properties of Set Functors 83
Mobility Types in Coq 82
Generalized Coiteration Schemata 81
Implementing cantor’s paradise 80
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 78
Final Semantics for untyped lambda-calculus 77
Λ!-calculus, intersection types, and involutions 76
LF+ in Coq for fast-and-loose reasoning 74
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 72
Compositional characterisations of lambda-terms using intersection types 71
LFP - A Logical Framework with External Predicates 71
Final Semantics for the pi-calculus 70
Theoretical Computer Science: Preface 70
On the Completeness of order-Theoretic Models of the lambda-calculus 66
Logical Predicates as First-Class Citizens in LF 66
Unfixing the Fixpoint: the theories of the lambdaY-calculus 63
The ∆-framework 58
Special Issue of Theoretical Computer Science on FOSSACS 2001 56
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 52
The involutions-as-principal types/ application-as-unification analogy 49
Interpretare con azioni di collaborazione il raccordo scuola / università 47
Modeling fresh names in the π-calculus using abstractions 39
null 36
On Quantitative Algebraic Higher-Order Theories 21
Two Views on Unification: Terms as Strategies 10
A protoype-based approach to object evolution 9
Λ-symsym: An interactive tool for playing with involutions and types 8
Totale 7.279
Categoria #
all - tutte 25.697
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 25.697


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020128 0 0 0 0 0 0 0 0 0 0 22 106
2020/2021924 22 109 16 120 14 102 48 91 128 86 121 67
2021/2022674 62 64 25 73 14 30 31 23 14 97 149 92
2022/2023763 85 80 17 102 73 188 1 55 101 9 25 27
2023/2024213 26 11 3 8 21 30 8 15 31 22 11 27
2024/20251.002 35 82 143 58 33 64 126 39 131 63 228 0
Totale 7.279