IRIS
HONSELL, Furio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.315
AS - Asia 2.097
EU - Europa 1.539
SA - Sud America 266
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 9.253
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.240
SG - Singapore 1.049
CN - Cina 500
UA - Ucraina 379
IT - Italia 338
BR - Brasile 220
DE - Germania 206
HK - Hong Kong 196
SE - Svezia 129
FI - Finlandia 114
RU - Federazione Russa 114
VN - Vietnam 94
IE - Irlanda 68
TR - Turchia 63
GB - Regno Unito 59
KR - Corea 58
CA - Canada 57
IN - India 47
FR - Francia 33
AR - Argentina 21
BE - Belgio 20
NL - Olanda 16
BD - Bangladesh 14
ZA - Sudafrica 13
CZ - Repubblica Ceca 12
IR - Iran 12
JP - Giappone 12
PL - Polonia 12
MX - Messico 9
AT - Austria 8
ES - Italia 8
KE - Kenya 8
RO - Romania 8
UY - Uruguay 7
CO - Colombia 6
PH - Filippine 6
AE - Emirati Arabi Uniti 5
EC - Ecuador 5
IQ - Iraq 5
LT - Lituania 5
PK - Pakistan 5
SA - Arabia Saudita 5
TW - Taiwan 4
AZ - Azerbaigian 3
BH - Bahrain 3
EU - Europa 3
KZ - Kazakistan 3
MA - Marocco 3
PT - Portogallo 3
CL - Cile 2
DO - Repubblica Dominicana 2
EE - Estonia 2
ID - Indonesia 2
JM - Giamaica 2
MY - Malesia 2
UZ - Uzbekistan 2
AF - Afghanistan, Repubblica islamica di 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BY - Bielorussia 1
CM - Camerun 1
CU - Cuba 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
GE - Georgia 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
LB - Libano 1
NG - Nigeria 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
SI - Slovenia 1
SN - Senegal 1
SR - Suriname 1
TG - Togo 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 9.253
Salva come PNG Salva come JPEG
Città #
Woodbridge 672
Ann Arbor 572
Fairfield 458
Houston 433
Singapore 395
Chandler 364
Ashburn 348
Wilmington 256
Jacksonville 252
Beijing 218
Dearborn 200
Hong Kong 196
Seattle 182
Cambridge 154
Udine 146
Dallas 132
Boardman 82
Princeton 69
Dublin 68
Los Angeles 62
Seoul 58
Izmir 57
Hefei 48
Trieste 39
Dong Ket 31
Buffalo 28
Nanjing 28
San Diego 28
New York 27
Ottawa 26
Ho Chi Minh City 24
Ogden 23
Redondo Beach 23
Santa Clara 22
São Paulo 22
Brussels 19
Des Moines 18
Frankfurt am Main 18
Monmouth Junction 17
Mumbai 17
The Dalles 16
Norwalk 15
Hanoi 13
Montreal 13
Jinan 12
Munich 12
Tokyo 12
Toronto 12
Kunming 11
Warsaw 11
Leawood 10
London 10
Nanchang 10
Nove 10
Reggio Nell'emilia 10
Brno 9
Falls Church 9
Atlanta 8
Augusta 8
Brooklyn 8
Denver 8
Nairobi 8
San Mateo 8
Amsterdam 7
Ardabil 7
Council Bluffs 7
Guangzhou 7
Manchester 7
Milan 7
Nuremberg 7
Belo Horizonte 6
Columbus 6
Helsinki 6
Johannesburg 6
Montevideo 6
Orem 6
Phoenix 6
San Francisco 6
Vienna 6
Washington 6
Boston 5
Chicago 5
Fuzhou 5
Indiana 5
Juiz de Fora 5
Naaldwijk 5
Rome 5
Stockholm 5
Andover 4
Ankara 4
Chennai 4
Curitiba 4
Da Nang 4
Guayaquil 4
Haiphong 4
Hangzhou 4
Horia 4
Hải Dương 4
Ningbo 4
Palazzolo sull'Oglio 4
Totale 6.272
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 212
A natural deduction approach to dynamic logic 203
A Lambda Calculus of Objects and Method Specialization 196
Categories of Coalgebraic Games with Selective Sum 191
Conway Games, coalgebraically 187
A category of compositional domain-models for separable Stone spaces 185
Categories of Coalgebraic Games 183
A Variable Typed Logic of Effects 178
Approximation Theorems for intersection type systems 177
A complete characterization of complete intersection-type preorders 176
A Conditional Logical Framework 175
Plugging-in proof development environments using Locks in LF 172
RPO, second-order contexts, and λ-calculus 169
LaxF: Side Conditions and External Evidence as Monads 169
Coinductive Characterizations of Applicative Structures 166
A type assignment system for game semantics 166
A Framework for Defining Logics 165
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 164
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 163
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 162
Consistency of the Theory of Contexts 160
A Framework for Defining Logical Frameworks 158
Strict Geometry of Interaction Graph Models 154
A lambda calculus of objects with self-inflicted extension 151
You need to show that you are not a robot 151
Coalgebraic Description of Generalized Binary Methods 145
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 145
Conway's Games, algebraically and coalgebraically 142
Social robots as cultural objects. The sixth dimension of dynamicity? 142
An Open Logical Framework 140
Intersection Types λS∩ 136
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 131
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 131
Some Properties and Some Problems on Set Functors 130
RPO, Second-Order Contexts, and λ-Calculus 129
Prelogical relations 129
Equivalences and Congruences on Infinite Conway's Games 128
Encoding Modal Logics in Logical Frameworks 127
Logical Predicates as First-Class Citizens in LF 127
Functors Determined by Values on Objects 125
Towards a logical framework with intersection and union types 125
Migration, Urbanism and Health: Moving Toward Systems-Informed Policy and Practice 117
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 117
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 115
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 115
LLF – A Logical-Logical Framework 113
The Theory of Contexts for First Order and Higher Order Abstract Syntax 112
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 110
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 110
Implementing cantor’s paradise 107
Mobility Types in Coq 106
Compositional characterisations of lambda-terms using intersection types 104
Properties of Set Functors 103
Generalized Coiteration Schemata 103
LF+ in Coq for fast-and-loose reasoning 99
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 98
Λ!-calculus, intersection types, and involutions 97
Final Semantics for untyped lambda-calculus 96
Final Semantics for the pi-calculus 96
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 90
Theoretical Computer Science: Preface 89
The involutions-as-principal types/ application-as-unification analogy 87
LFP - A Logical Framework with External Predicates 86
On the Completeness of order-Theoretic Models of the lambda-calculus 84
Unfixing the Fixpoint: the theories of the lambdaY-calculus 82
The ∆-framework 70
Special Issue of Theoretical Computer Science on FOSSACS 2001 69
Interpretare con azioni di collaborazione il raccordo scuola / università 58
Modeling fresh names in the π-calculus using abstractions 55
Two Views on Unification: Terms as Strategies 52
A protoype-based approach to object evolution 42
Principal types as partial involutions 41
On Quantitative Algebraic Higher-Order Theories 37
null 36
Λ-symsym: An interactive tool for playing with involutions and types 25
Totale 9.386
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.747
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 32.747
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021643 0 0 0 0 0 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.582 35 82 143 58 33 64 126 39 131 63 297 511
2025/20261.527 173 341 235 243 417 118 0 0 0 0 0 0
Totale 9.386