IRIS
HONSELL, Furio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.978
AS - Asia 2.559
EU - Europa 1.707
SA - Sud America 329
AF - Africa 61
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 10.644
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.878
SG - Singapore 1.223
CN - Cina 605
IT - Italia 389
UA - Ucraina 381
BR - Brasile 250
HK - Hong Kong 217
DE - Germania 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
CA - Canada 68
GB - Regno Unito 68
KR - Corea 58
BD - Bangladesh 46
AR - Argentina 32
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
NI - Nicaragua 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
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
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
PA - Panama 1
Totale 10.639
Salva come PNG Salva come JPEG
Città #
Woodbridge 673
Ann Arbor 572
Singapore 478
Fairfield 458
Houston 437
Ashburn 388
Chandler 364
Wilmington 256
Jacksonville 253
Beijing 231
San Jose 227
Hong Kong 215
Dearborn 200
Seattle 185
Cambridge 154
Udine 146
Dallas 135
Council Bluffs 87
Boardman 85
Los Angeles 75
Dublin 69
Princeton 69
Izmir 59
Lauterbourg 59
Seoul 58
The Dalles 54
Hefei 48
Santa Clara 47
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
Redondo Beach 23
São Paulo 23
Brussels 19
Hanoi 19
Des Moines 18
Monmouth Junction 17
Mumbai 17
Norwalk 15
Chicago 14
London 14
Montreal 14
Toronto 14
Atlanta 13
Munich 13
Tokyo 13
Helsinki 12
Jinan 12
Orem 12
Warsaw 12
Kunming 11
Nairobi 11
Rome 11
Baghdad 10
Brooklyn 10
Leawood 10
Milan 10
Nanchang 10
Nove 10
Reggio Nell'emilia 10
Brno 9
Denver 9
Falls Church 9
Manchester 9
Amsterdam 8
Augusta 8
Jeddah 8
Johannesburg 8
Nuremberg 8
San Mateo 8
Ardabil 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
Logan 6
San Francisco 6
Tunis 6
Boston 5
Curitiba 5
Fuzhou 5
Hangzhou 5
Indiana 5
Naaldwijk 5
Ningbo 5
Pune 5
Totale 7.000
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 239
A natural deduction approach to dynamic logic 231
A Lambda Calculus of Objects and Method Specialization 223
A category of compositional domain-models for separable Stone spaces 217
Plugging-in proof development environments using Locks in LF 214
Categories of Coalgebraic Games with Selective Sum 207
Categories of Coalgebraic Games 203
Conway Games, coalgebraically 200
A Framework for Defining Logics 199
A complete characterization of complete intersection-type preorders 198
A Conditional Logical Framework 196
A Variable Typed Logic of Effects 195
Approximation Theorems for intersection type systems 191
RPO, second-order contexts, and λ-calculus 191
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 191
An Open Logical Framework 185
Strict Geometry of Interaction Graph Models 184
LaxF: Side Conditions and External Evidence as Monads 184
A type assignment system for game semantics 183
Coinductive Characterizations of Applicative Structures 179
A Framework for Defining Logical Frameworks 179
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 179
Consistency of the Theory of Contexts 178
Coalgebraic Description of Generalized Binary Methods 175
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 174
A lambda calculus of objects with self-inflicted extension 171
Conway's Games, algebraically and coalgebraically 168
You need to show that you are not a robot 167
Encoding Modal Logics in Logical Frameworks 162
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 155
Logical Predicates as First-Class Citizens in LF 153
Prelogical relations 153
Equivalences and Congruences on Infinite Conway's Games 152
Intersection Types λS∩ 150
RPO, Second-Order Contexts, and λ-Calculus 149
Implementing cantor’s paradise 148
Social robots as cultural objects. The sixth dimension of dynamicity? 147
Some Properties and Some Problems on Set Functors 144
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 141
Functors Determined by Values on Objects 135
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 134
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 133
Towards a logical framework with intersection and union types 132
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 131
Generalized Coiteration Schemata 130
LLF – A Logical-Logical Framework 130
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 129
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 129
Migration, Urbanism and Health: Moving Toward Systems-Informed Policy and Practice 127
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 125
The Theory of Contexts for First Order and Higher Order Abstract Syntax 124
Compositional characterisations of lambda-terms using intersection types 120
Mobility Types in Coq 118
LF+ in Coq for fast-and-loose reasoning 117
Properties of Set Functors 116
Λ!-calculus, intersection types, and involutions 116
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 113
Final Semantics for the pi-calculus 110
Final Semantics for untyped lambda-calculus 107
Theoretical Computer Science: Preface 105
The involutions-as-principal types/ application-as-unification analogy 98
On the Completeness of order-Theoretic Models of the lambda-calculus 96
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 83
The ∆-framework 79
Two Views on Unification: Terms as Strategies 75
Interpretare con azioni di collaborazione il raccordo scuola / università 71
Modeling fresh names in the π-calculus using abstractions 68
Principal types as partial involutions 65
A protoype-based approach to object evolution 50
On Quantitative Algebraic Higher-Order Theories 46
null 36
Λ-symsym: An interactive tool for playing with involutions and types 33
Totale 10.777
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.602
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 36.602
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202167 0 0 0 0 0 0 0 0 0 0 0 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.918 173 341 235 243 417 216 351 93 213 324 212 100
Totale 10.777