HONSELL, Furio
 Distribuzione geografica
Continente #
NA - Nord America 511
EU - Europa 208
AS - Asia 193
SA - Sud America 6
AF - Africa 3
Totale 921
Nazione #
US - Stati Uniti d'America 508
CN - Cina 120
IT - Italia 96
FR - Francia 25
VN - Vietnam 20
DE - Germania 17
ID - Indonesia 16
SE - Svezia 11
PL - Polonia 10
PT - Portogallo 8
KH - Cambogia 7
RU - Federazione Russa 7
KR - Corea 6
AT - Austria 5
CZ - Repubblica Ceca 5
GB - Regno Unito 5
IN - India 5
FI - Finlandia 4
HK - Hong Kong 4
NL - Olanda 4
BR - Brasile 3
IE - Irlanda 3
JP - Giappone 3
PK - Pakistan 3
RO - Romania 3
SG - Singapore 3
TW - Taiwan 3
ZA - Sudafrica 3
GE - Georgia 2
UA - Ucraina 2
AE - Emirati Arabi Uniti 1
BE - Belgio 1
BO - Bolivia 1
BY - Bielorussia 1
CA - Canada 1
CH - Svizzera 1
CL - Cile 1
MX - Messico 1
PA - Panama 1
PE - Perù 1
Totale 921
Città #
Ashburn 149
Fairfield 49
Houston 32
Udine 30
Shenyang 22
Buffalo 21
Seattle 21
Dong Ket 20
Santa Cruz 20
Trieste 19
Woodbridge 17
Ann Arbor 16
Beijing 16
Guangzhou 16
Wilmington 15
Cambridge 9
Changsha 9
Des Moines 9
Harbin 8
Stockholm 8
Boardman 7
Chongqing 7
Chicago 6
Paris 6
Warsaw 6
Hangzhou 5
Jinan 5
Aveiro 4
Bengaluru 4
Helsinki 4
Las Vegas 4
San Diego 4
Shanghai 4
Bayside 3
Dublin 3
Haikou 3
Milan 3
Nanchang 3
Phoenix 3
Pirri 3
Reggio Nell'emilia 3
Rome 3
San Francisco 3
Taipei 3
Wuhan 3
Amsterdam 2
Barcelos 2
Basking Ridge 2
Brookline 2
Bucharest 2
Chengdu 2
Clearwater 2
Dallas 2
Easton 2
Henderson 2
Los Angeles 2
Massa 2
Muizenberg 2
New York 2
Polska 2
Prague 2
Riva 2
Scranton 2
Seoul 2
Solna 2
Tbilisi 2
Xian 2
Ürümqi 2
Aci Catena 1
Albany 1
Annecy 1
Baotou 1
Bareggio 1
Belmont 1
Bern 1
Boulder 1
Boulogne-Billancourt 1
Brescia 1
Brest 1
Bristol 1
Brooklyn 1
Cedar Knolls 1
Cento 1
Changchun 1
Cheyenne 1
Dubai 1
Espinho 1
Fazal 1
Freiburg 1
Fuzhou 1
Herndon 1
Herne 1
Hufingen 1
Kirkland 1
La Paz 1
Lambeth 1
Lima 1
Lincolnshire 1
Lisbon 1
McHenry 1
Totale 686
Nome #
A natural deduction approach to dynamic logic, file e27ce0c3-30b2-055e-e053-6605fe0a7873 226
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning, file e27ce0c7-1cb0-055e-e053-6605fe0a7873 206
Λ!-calculus, intersection types, and involutions, file e27ce0c6-287f-055e-e053-6605fe0a7873 141
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks., file e27ce0c2-7781-055e-e053-6605fe0a7873 110
Plugging-in proof development environments using Locks in LF, file e27ce0c9-77e4-055e-e053-6605fe0a7873 51
Encoding Modal Logics in Logical Frameworks, file e27ce0c3-38f2-055e-e053-6605fe0a7873 48
Implementing cantor’s paradise, file e27ce0c9-934d-055e-e053-6605fe0a7873 41
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 35
The involutions-as-principal types/ application-as-unification analogy, file e27ce0c9-33f4-055e-e053-6605fe0a7873 21
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads, file e27ce0c9-b42d-055e-e053-6605fe0a7873 14
An Open Logical Framework, file e27ce0c9-a450-055e-e053-6605fe0a7873 12
LLF – A Logical-Logical Framework, file e27ce0c1-f9de-055e-e053-6605fe0a7873 11
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads, file e27ce0c9-902c-055e-e053-6605fe0a7873 8
Implementing cantor’s paradise, file e27ce0c3-0331-055e-e053-6605fe0a7873 4
An Open Logical Framework, file e27ce0c9-6b35-055e-e053-6605fe0a7873 4
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia, file e27ce0c7-6c3d-055e-e053-6605fe0a7873 3
Towards a logical framework with intersection and union types, file e27ce0c5-0ea7-055e-e053-6605fe0a7873 2
You need to show that you are not a robot, file e27ce0c7-7b5c-055e-e053-6605fe0a7873 2
An Open Logical Framework, file e27ce0c9-6b36-055e-e053-6605fe0a7873 2
A Conditional Logical Framework, file e27ce0c1-e9bc-055e-e053-6605fe0a7873 1
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts, file e27ce0c1-f547-055e-e053-6605fe0a7873 1
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language, file e27ce0c1-f548-055e-e053-6605fe0a7873 1
Theoretical Computer Science: Preface, file e27ce0c5-8b58-055e-e053-6605fe0a7873 1
Plugging-in proof development environments using Locks in LF, file e27ce0c9-77e2-055e-e053-6605fe0a7873 1
Plugging-in proof development environments using Locks in LF, file e27ce0c9-93ad-055e-e053-6605fe0a7873 1
You need to show that you are not a robot, file e27ce0c9-aec1-055e-e053-6605fe0a7873 1
Totale 948
Categoria #
all - tutte 2.011
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 2.011


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201934 0 0 0 0 0 0 0 0 0 8 14 12
2019/2020119 10 5 5 8 13 8 17 10 16 13 6 8
2020/2021203 6 3 10 4 10 15 18 13 39 29 23 33
2021/2022236 22 34 14 32 20 18 22 9 8 11 38 8
2022/2023135 3 10 26 11 10 24 6 4 6 7 19 9
2023/2024169 15 12 14 4 2 8 24 89 0 1 0 0
Totale 948