IRIS
HONSELL, Furio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.565
EU - Europa 1.229
AS - Asia 336
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
AF - Africa 2
Totale 6.138
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.532
UA - Ucraina 372
IT - Italia 293
CN - Cina 206
DE - Germania 170
SE - Svezia 124
FI - Finlandia 110
IE - Irlanda 66
TR - Turchia 57
CA - Canada 33
VN - Vietnam 31
GB - Regno Unito 27
IN - India 22
BE - Belgio 18
IR - Iran 11
RU - Federazione Russa 11
FR - Francia 10
RO - Romania 8
NL - Olanda 7
PL - Polonia 6
PH - Filippine 5
EU - Europa 3
CZ - Repubblica Ceca 2
JP - Giappone 2
BR - Brasile 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
EE - Estonia 1
ES - Italia 1
HR - Croazia 1
HU - Ungheria 1
MY - Malesia 1
SI - Slovenia 1
TG - Togo 1
TW - Taiwan 1
Totale 6.138
Salva come PNG Salva come JPEG
Città #
Woodbridge 672
Ann Arbor 572
Fairfield 458
Houston 427
Chandler 364
Wilmington 256
Jacksonville 252
Ashburn 246
Dearborn 200
Seattle 180
Cambridge 154
Udine 135
Beijing 70
Princeton 69
Dublin 66
Izmir 57
Trieste 39
Dong Ket 31
Nanjing 28
San Diego 28
Ogden 23
Ottawa 23
Des Moines 18
Brussels 17
Monmouth Junction 17
Norwalk 15
Boardman 12
Jinan 12
Hefei 11
Kunming 11
Leawood 10
Nanchang 10
New York 10
Nove 10
Reggio Nell'emilia 10
Falls Church 9
Augusta 8
San Mateo 8
Ardabil 7
Milan 7
Toronto 7
Warsaw 6
Columbus 5
Fuzhou 5
Guangzhou 5
Indiana 5
Los Angeles 5
Naaldwijk 5
Andover 4
Frankfurt am Main 4
Helsinki 4
Horia 4
Mumbai 4
Ningbo 4
Pune 4
Redwood City 4
Shanghai 4
Zhengzhou 4
Menlo Park 3
Padova 3
Paranaque City 3
Rome 3
Sorrento 3
Venezia 3
Vicenza 3
Amsterdam 2
Bari 2
Bosco Chiesanuova 2
Changsha 2
Chicago 2
Chongqing 2
Hangzhou 2
Harbin 2
Karlsruhe 2
Lanzo 2
Mestre 2
Montreal 2
New Delhi 2
Nuremberg 2
Phoenix 2
Prague 2
Quzhou 2
San Michele Al Tagliamento 2
Shenyang 2
Tokyo 2
Treviso 2
Verona 2
Vigonza 2
Washington 2
Wuhan 2
Acerra 1
Acquaviva Delle Fonti 1
Baotou 1
Bologna 1
Brescia 1
Budapest 1
Buffalo 1
Caserta 1
Charlotte 1
Costa Mesa 1
Totale 4.716
Salva come PNG Salva come JPEG
Nome #
A Lambda Calculus of Objects and Method Specialization 145
LaxF: Side Conditions and External Evidence as Monads 144
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 142
Conway Games, coalgebraically 140
RPO, second-order contexts, and λ-calculus 140
A complete characterization of complete intersection-type preorders 139
A category of compositional domain-models for separable Stone spaces 137
A natural deduction approach to dynamic logic 133
A Conditional Logical Framework 132
Plugging-in proof development environments using Locks in LF 131
A Variable Typed Logic of Effects 130
Approximation Theorems for intersection type systems 126
Categories of Coalgebraic Games with Selective Sum 126
Strict Geometry of Interaction Graph Models 123
Consistency of the Theory of Contexts 123
Coinductive Characterizations of Applicative Structures 122
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 121
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 121
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 116
Categories of Coalgebraic Games 116
You need to show that you are not a robot 115
A Framework for Defining Logics 113
A Framework for Defining Logical Frameworks 112
Social robots as cultural objects. The sixth dimension of dynamicity? 111
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 107
A type assignment system for game semantics 105
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 104
A lambda calculus of objects with self-inflicted extension 102
RPO, Second-Order Contexts, and λ-Calculus 100
Coalgebraic Description of Generalized Binary Methods 98
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 98
Intersection Types λS∩ 98
Towards a logical framework with intersection and union types 97
Conway's Games, algebraically and coalgebraically 96
Some Properties and Some Problems on Set Functors 90
Functors Determined by Values on Objects 87
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 87
Prelogical relations 86
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 83
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 77
An Open Logical Framework 75
LLF – A Logical-Logical Framework 73
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 72
Equivalences and Congruences on Infinite Conway's Games 72
The Theory of Contexts for First Order and Higher Order Abstract Syntax 71
Mobility Types in Coq 70
Properties of Set Functors 69
Encoding Modal Logics in Logical Frameworks 68
Implementing cantor’s paradise 67
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 67
Theoretical Computer Science: Preface 62
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 61
LFP - A Logical Framework with External Predicates 61
Generalized Coiteration Schemata 60
Λ!-calculus, intersection types, and involutions 59
Final Semantics for untyped lambda-calculus 58
Compositional characterisations of lambda-terms using intersection types 58
Final Semantics for the pi-calculus 56
Unfixing the Fixpoint: the theories of the lambdaY-calculus 56
Logical Predicates as First-Class Citizens in LF 56
LF+ in Coq for fast-and-loose reasoning 56
The ∆-framework 52
On the Completeness of order-Theoretic Models of the lambda-calculus 45
Special Issue of Theoretical Computer Science on FOSSACS 2001 45
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 40
Interpretare con azioni di collaborazione il raccordo scuola / università 35
The involutions-as-principal types/ application-as-unification analogy 31
Modeling fresh names in the π-calculus using abstractions 29
Λ-symsym: An interactive tool for playing with involutions and types 28
On Quantitative Algebraic Higher-Order Theories 12
Totale 6.237
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.309
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 17.309
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019420 0 0 0 0 0 0 0 0 0 78 219 123
2019/20201.574 80 48 54 212 111 276 226 172 101 166 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/2024173 26 11 3 8 21 30 8 15 31 20 0 0
Totale 6.237