IRIS
HONSELL, Furio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.135
AS - Asia 2.570
EU - Europa 1.756
SA - Sud America 332
Continente sconosciuto - Info sul continente non disponibili 143
AF - Africa 61
OC - Oceania 4
Totale 11.001
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.022
SG - Singapore 1.227
CN - Cina 607
IT - Italia 435
UA - Ucraina 381
BR - Brasile 253
HK - Hong Kong 218
DE - Germania 216
VN - Vietnam 130
SE - Svezia 129
FI - Finlandia 120
RU - Federazione Russa 116
FR - Francia 108
CA - Canada 75
TR - Turchia 74
GB - Regno Unito 69
IE - Irlanda 69
IN - India 69
KR - Corea 58
BD - Bangladesh 50
AR - Argentina 32
BE - Belgio 21
ZA - Sudafrica 20
IQ - Iraq 19
NL - Olanda 18
JP - Giappone 15
MX - Messico 13
PH - Filippine 13
PK - Pakistan 13
PL - Polonia 13
CZ - Repubblica Ceca 12
IR - Iran 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
JM - Giamaica 5
KZ - Kazakistan 5
NI - Nicaragua 5
AZ - Azerbaigian 4
HN - Honduras 4
MY - Malesia 4
PT - Portogallo 4
TW - Taiwan 4
AU - Australia 3
BB - Barbados 3
BH - Bahrain 3
BO - Bolivia 3
EU - Europa 3
IL - Israele 3
LB - Libano 3
DO - Repubblica Dominicana 2
EE - Estonia 2
EG - Egitto 2
NP - Nepal 2
PY - Paraguay 2
QA - Qatar 2
SR - Suriname 2
TT - Trinidad e Tobago 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
GR - Grecia 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
NO - Norvegia 1
NZ - Nuova Zelanda 1
Totale 10.858
Salva come PNG Salva come JPEG
Città #
Woodbridge 673
Ann Arbor 572
Singapore 479
Fairfield 458
Ashburn 438
Houston 437
Chandler 364
Wilmington 256
Jacksonville 254
Beijing 232
San Jose 229
Hong Kong 216
Dearborn 200
Seattle 185
Cambridge 154
Udine 146
Dallas 137
Council Bluffs 89
Boardman 85
Los Angeles 80
Dublin 69
Princeton 69
Santa Clara 60
Izmir 59
Lauterbourg 59
Seoul 58
The Dalles 54
Hefei 48
Trieste 39
New York 35
Ho Chi Minh City 33
Buffalo 32
Dong Ket 31
Nanjing 28
San Diego 28
Ottawa 26
Frankfurt am Main 24
Ogden 24
São Paulo 24
Redondo Beach 23
Milan 21
Brussels 19
Chicago 19
Hanoi 19
Des Moines 18
Monmouth Junction 17
Mumbai 17
Atlanta 15
London 15
Norwalk 15
Montreal 14
Toronto 14
Brooklyn 13
Munich 13
Tokyo 13
Helsinki 12
Jinan 12
Logan 12
Orem 12
Warsaw 12
Kunming 11
Miano 11
Nairobi 11
Rome 11
Baghdad 10
Denver 10
Leawood 10
Nanchang 10
Nove 10
Reggio Nell'emilia 10
Brno 9
Falls Church 9
Manchester 9
Amsterdam 8
Augusta 8
Jeddah 8
Johannesburg 8
Nuremberg 8
Phoenix 8
San Mateo 8
Ardabil 7
Guangzhou 7
Montevideo 7
Paris 7
Vienna 7
Washington 7
Belo Horizonte 6
Chennai 6
Columbus 6
Da Nang 6
Juiz de Fora 6
San Francisco 6
Springfield 6
Tunis 6
Boston 5
Curitiba 5
Fuzhou 5
Hangzhou 5
Indiana 5
Managua 5
Totale 7.116
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 242
A natural deduction approach to dynamic logic 238
A Lambda Calculus of Objects and Method Specialization 224
A category of compositional domain-models for separable Stone spaces 219
Plugging-in proof development environments using Locks in LF 219
A Framework for Defining Logics 212
Categories of Coalgebraic Games with Selective Sum 208
Categories of Coalgebraic Games 206
Conway Games, coalgebraically 203
A complete characterization of complete intersection-type preorders 200
A Conditional Logical Framework 198
A Variable Typed Logic of Effects 197
Approximation Theorems for intersection type systems 195
An Open Logical Framework 194
RPO, second-order contexts, and λ-calculus 193
LaxF: Side Conditions and External Evidence as Monads 192
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 192
Strict Geometry of Interaction Graph Models 186
Consistency of the Theory of Contexts 185
A type assignment system for game semantics 185
Coinductive Characterizations of Applicative Structures 182
A Framework for Defining Logical Frameworks 181
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 181
Coalgebraic Description of Generalized Binary Methods 177
A lambda calculus of objects with self-inflicted extension 177
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 177
Encoding Modal Logics in Logical Frameworks 175
Conway's Games, algebraically and coalgebraically 170
You need to show that you are not a robot 167
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 160
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 159
Implementing cantor’s paradise 155
Equivalences and Congruences on Infinite Conway's Games 154
Logical Predicates as First-Class Citizens in LF 154
RPO, Second-Order Contexts, and λ-Calculus 154
Prelogical relations 153
Intersection Types λS∩ 152
Some Properties and Some Problems on Set Functors 148
Social robots as cultural objects. The sixth dimension of dynamicity? 147
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 146
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 136
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 135
Functors Determined by Values on Objects 135
Generalized Coiteration Schemata 133
Towards a logical framework with intersection and union types 133
LLF – A Logical-Logical Framework 132
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 132
Migration, Urbanism and Health: Moving Toward Systems-Informed Policy and Practice 131
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 131
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 131
The Theory of Contexts for First Order and Higher Order Abstract Syntax 128
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 128
Compositional characterisations of lambda-terms using intersection types 122
Mobility Types in Coq 120
Λ!-calculus, intersection types, and involutions 120
LF+ in Coq for fast-and-loose reasoning 120
Properties of Set Functors 118
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 115
Final Semantics for the pi-calculus 112
Final Semantics for untyped lambda-calculus 109
Theoretical Computer Science: Preface 108
On the Completeness of order-Theoretic Models of the lambda-calculus 98
The involutions-as-principal types/ application-as-unification analogy 98
LFP - A Logical Framework with External Predicates 96
Unfixing the Fixpoint: the theories of the lambdaY-calculus 93
Special Issue of Theoretical Computer Science on FOSSACS 2001 84
Two Views on Unification: Terms as Strategies 80
The ∆-framework 79
Interpretare con azioni di collaborazione il raccordo scuola / università 72
Modeling fresh names in the π-calculus using abstractions 70
Principal types as partial involutions 67
A protoype-based approach to object evolution 51
On Quantitative Algebraic Higher-Order Theories 50
Λ-symsym: An interactive tool for playing with involutions and types 36
null 36
Lambda Galore 5
Totale 11.001
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.762
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 37.762
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022612 0 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.941 173 341 235 243 417 216 351 93 213 324 212 123
2026/2027201 100 101 0 0 0 0 0 0 0 0 0 0
Totale 11.001