IRIS
HONSELL, Furio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.752
AS - Asia 2.517
EU - Europa 1.677
SA - Sud America 328
AF - Africa 61
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 10.345
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.660
SG - Singapore 1.214
CN - Cina 592
UA - Ucraina 381
IT - Italia 359
BR - Brasile 250
DE - Germania 216
HK - Hong Kong 216
VN - Vietnam 130
SE - Svezia 129
FI - Finlandia 120
RU - Federazione Russa 116
FR - Francia 108
TR - Turchia 74
IE - Irlanda 69
IN - India 69
GB - Regno Unito 68
CA - Canada 64
KR - Corea 58
AR - Argentina 31
BD - Bangladesh 27
BE - Belgio 21
ZA - Sudafrica 20
IQ - Iraq 19
NL - Olanda 17
JP - Giappone 15
PH - Filippine 13
PK - Pakistan 13
PL - Polonia 13
CZ - Repubblica Ceca 12
IR - Iran 12
MX - Messico 12
SA - Arabia Saudita 12
CO - Colombia 11
ES - Italia 11
KE - Kenya 11
AT - Austria 9
ID - Indonesia 8
RO - Romania 8
TN - Tunisia 8
UY - Uruguay 8
EC - Ecuador 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
LT - Lituania 6
MA - Marocco 6
CL - Cile 5
DZ - Algeria 5
KZ - Kazakistan 5
AZ - Azerbaigian 4
MY - Malesia 4
PT - Portogallo 4
TW - Taiwan 4
AU - Australia 3
BH - Bahrain 3
BO - Bolivia 3
EU - Europa 3
HN - Honduras 3
IL - Israele 3
JM - Giamaica 3
LB - Libano 3
BB - Barbados 2
DO - Repubblica Dominicana 2
EE - Estonia 2
EG - Egitto 2
NP - Nepal 2
PY - Paraguay 2
QA - Qatar 2
SR - Suriname 2
UZ - Uzbekistan 2
XK - ???statistics.table.value.countryCode.XK??? 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CU - Cuba 1
CW - ???statistics.table.value.countryCode.CW??? 1
ET - Etiopia 1
GE - Georgia 1
GF - Guiana Francese 1
GY - Guiana 1
HR - Croazia 1
HT - Haiti 1
HU - Ungheria 1
JO - Giordania 1
KG - Kirghizistan 1
LK - Sri Lanka 1
LY - Libia 1
MT - Malta 1
NG - Nigeria 1
NI - Nicaragua 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PR - Porto Rico 1
Totale 10.340
Salva come PNG Salva come JPEG
Città #
Woodbridge 673
Ann Arbor 572
Singapore 474
Fairfield 458
Houston 435
Ashburn 381
Chandler 364
Wilmington 256
Jacksonville 252
Beijing 227
Hong Kong 215
Dearborn 200
Seattle 183
San Jose 178
Cambridge 154
Udine 146
Dallas 135
Boardman 82
Los Angeles 72
Dublin 69
Princeton 69
Izmir 59
Lauterbourg 59
Seoul 58
The Dalles 54
Hefei 48
Trieste 39
Santa Clara 34
Ho Chi Minh City 33
Dong Ket 31
New York 30
Buffalo 29
Nanjing 28
San Diego 28
Ottawa 26
Frankfurt am Main 24
Council Bluffs 23
Ogden 23
Redondo Beach 23
São Paulo 23
Brussels 19
Hanoi 19
Des Moines 18
Monmouth Junction 17
Mumbai 17
Norwalk 15
Montreal 14
Munich 13
Tokyo 13
Toronto 13
Atlanta 12
Helsinki 12
Jinan 12
Orem 12
Warsaw 12
Kunming 11
London 11
Nairobi 11
Baghdad 10
Brooklyn 10
Leawood 10
Nanchang 10
Nove 10
Reggio Nell'emilia 10
Rome 10
Brno 9
Falls Church 9
Manchester 9
Amsterdam 8
Augusta 8
Denver 8
Jeddah 8
Johannesburg 8
Milan 8
Nuremberg 8
San Mateo 8
Ardabil 7
Chicago 7
Guangzhou 7
Montevideo 7
Paris 7
Phoenix 7
Vienna 7
Washington 7
Belo Horizonte 6
Chennai 6
Columbus 6
Da Nang 6
Juiz de Fora 6
San Francisco 6
Tunis 6
Boston 5
Curitiba 5
Fuzhou 5
Hangzhou 5
Indiana 5
Naaldwijk 5
Ningbo 5
Pune 5
Shanghai 5
Totale 6.822
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 234
A Lambda Calculus of Objects and Method Specialization 222
A natural deduction approach to dynamic logic 219
A category of compositional domain-models for separable Stone spaces 215
Categories of Coalgebraic Games with Selective Sum 206
Conway Games, coalgebraically 200
Categories of Coalgebraic Games 199
A complete characterization of complete intersection-type preorders 194
Plugging-in proof development environments using Locks in LF 194
Approximation Theorems for intersection type systems 191
A Conditional Logical Framework 191
A Variable Typed Logic of Effects 190
RPO, second-order contexts, and λ-calculus 189
A Framework for Defining Logics 185
LaxF: Side Conditions and External Evidence as Monads 181
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 181
An Open Logical Framework 180
A Framework for Defining Logical Frameworks 179
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 179
A type assignment system for game semantics 179
Consistency of the Theory of Contexts 176
Coinductive Characterizations of Applicative Structures 175
Strict Geometry of Interaction Graph Models 174
Coalgebraic Description of Generalized Binary Methods 173
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 173
A lambda calculus of objects with self-inflicted extension 168
You need to show that you are not a robot 167
Conway's Games, algebraically and coalgebraically 166
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 156
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 154
Encoding Modal Logics in Logical Frameworks 152
Prelogical relations 152
Logical Predicates as First-Class Citizens in LF 148
Equivalences and Congruences on Infinite Conway's Games 147
RPO, Second-Order Contexts, and λ-Calculus 147
Social robots as cultural objects. The sixth dimension of dynamicity? 147
Intersection Types λS∩ 146
Some Properties and Some Problems on Set Functors 143
Implementing cantor’s paradise 139
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 136
Functors Determined by Values on Objects 135
Towards a logical framework with intersection and union types 130
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 129
Generalized Coiteration Schemata 129
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 129
LLF – A Logical-Logical Framework 128
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 128
Migration, Urbanism and Health: Moving Toward Systems-Informed Policy and Practice 125
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 123
The Theory of Contexts for First Order and Higher Order Abstract Syntax 122
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 120
Compositional characterisations of lambda-terms using intersection types 117
Mobility Types in Coq 115
Properties of Set Functors 114
LF+ in Coq for fast-and-loose reasoning 112
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 111
Λ!-calculus, intersection types, and involutions 108
Final Semantics for untyped lambda-calculus 106
Final Semantics for the pi-calculus 105
Theoretical Computer Science: Preface 103
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 99
The involutions-as-principal types/ application-as-unification analogy 96
On the Completeness of order-Theoretic Models of the lambda-calculus 93
LFP - A Logical Framework with External Predicates 93
Unfixing the Fixpoint: the theories of the lambdaY-calculus 92
Special Issue of Theoretical Computer Science on FOSSACS 2001 77
The ∆-framework 76
Modeling fresh names in the π-calculus using abstractions 67
Interpretare con azioni di collaborazione il raccordo scuola / università 65
Two Views on Unification: Terms as Strategies 64
Principal types as partial involutions 59
A protoype-based approach to object evolution 49
On Quantitative Algebraic Higher-Order Theories 46
null 36
Λ-symsym: An interactive tool for playing with involutions and types 30
Totale 10.478
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.981
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 34.981
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021188 0 0 0 0 0 0 0 0 0 0 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/20262.619 173 341 235 243 417 216 351 93 213 324 13 0
Totale 10.478