SCAGNETTO, Ivan
 Distribuzione geografica
Continente #
NA - Nord America 407
AS - Asia 235
EU - Europa 196
OC - Oceania 4
SA - Sud America 4
AF - Africa 3
Totale 849
Nazione #
US - Stati Uniti d'America 403
CN - Cina 118
IT - Italia 95
FR - Francia 28
ID - Indonesia 20
DE - Germania 18
VN - Vietnam 18
MM - Myanmar 17
SE - Svezia 14
IN - India 12
NL - Olanda 8
KH - Cambogia 7
KR - Corea 7
GB - Regno Unito 5
JP - Giappone 5
CZ - Repubblica Ceca 4
IR - Iran 4
PH - Filippine 4
PL - Polonia 4
PT - Portogallo 4
SG - Singapore 4
CA - Canada 3
HK - Hong Kong 3
IE - Irlanda 3
IL - Israele 3
PK - Pakistan 3
RU - Federazione Russa 3
TW - Taiwan 3
UA - Ucraina 3
ZA - Sudafrica 3
AU - Australia 2
BE - Belgio 2
BR - Brasile 2
CH - Svizzera 2
FI - Finlandia 2
GE - Georgia 2
LK - Sri Lanka 2
NZ - Nuova Zelanda 2
BO - Bolivia 1
CL - Cile 1
IQ - Iraq 1
MT - Malta 1
MX - Messico 1
TH - Thailandia 1
TR - Turchia 1
Totale 849
Città #
Ashburn 45
Udine 45
Fairfield 33
Santa Cruz 26
Shenyang 21
Buffalo 19
Guangzhou 18
Dong Ket 17
Trieste 16
Woodbridge 16
Houston 15
Stockholm 14
Seattle 13
Wilmington 11
Boardman 10
Cambridge 10
Des Moines 10
Chongqing 9
Frankfurt am Main 9
Ann Arbor 8
Beijing 8
Changsha 8
Guilford 8
Harbin 8
Paris 7
San Diego 7
Los Angeles 6
Shanghai 5
Southbury 5
Brookfield 4
Frisco 4
Jinan 4
Las Vegas 4
Rome 4
Tokyo 4
Warsaw 4
Bayside 3
Bengaluru 3
Chapel Hill 3
Chicago 3
Codroipo 3
Dublin 3
Haikou 3
Hangzhou 3
Nanchang 3
New York 3
Pittsburgh 3
Reggio Nell'emilia 3
Taipei 3
Toronto 3
Wuhan 3
Arak 2
Auckland 2
Bhopal 2
Brasília 2
Brookline 2
Cedar Knolls 2
Chengdu 2
Dallas 2
Helsinki 2
Henderson 2
Hyderabad 2
Morrisville 2
Nanjing 2
Nasugbu 2
Phoenix 2
Provo 2
Riva 2
Rotterdam 2
San Francisco 2
Seoul 2
Tbilisi 2
Toulouse 2
Uzzano 2
Warrington 2
Wuppertal 2
Xian 2
Ürümqi 2
Aci Catena 1
Agugliano 1
Amsterdam 1
Auburn 1
Baotou 1
Bareggio 1
Bellevue 1
Bern 1
Birkirkara 1
Boulder 1
Brescia 1
Bristol 1
Brooklyn 1
Brussels 1
Castelfranco Veneto 1
Central 1
Champaign 1
Changchun 1
Charlotte 1
Chennai 1
Clearwater 1
Council Bluffs 1
Totale 576
Nome #
Λ!-calculus, intersection types, and involutions, file e27ce0c6-287f-055e-e053-6605fe0a7873 141
Mobile Information Retrieval, file e27ce0c9-5ffb-055e-e053-6605fe0a7873 123
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks., file e27ce0c2-7781-055e-e053-6605fe0a7873 110
A weak HOAS approach to the POPLmark Challenge, file e27ce0c1-e16a-055e-e053-6605fe0a7873 106
An integrated low-cost system for object detection in underwater environments, file e27ce0ca-0edb-055e-e053-6605fe0a7873 98
Plugging-in proof development environments using Locks in LF, file e27ce0c9-77e4-055e-e053-6605fe0a7873 51
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
Exploiting news to categorize tweets: Quantifying the impact of different news collections, file e27ce0c3-09a7-055e-e053-6605fe0a7873 32
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
Revisiting the bookkeeping technique in HOAS-based encodings, file e27ce0c1-e6d0-055e-e053-6605fe0a7873 13
An Open Logical Framework, file e27ce0c9-a450-055e-e053-6605fe0a7873 12
LLF – A Logical-Logical Framework, file e27ce0c1-f9de-055e-e053-6605fe0a7873 11
Mechanizing type environments in weak HOAS, file e27ce0c9-770a-055e-e053-6605fe0a7873 11
Mechanizing type environments in weak HOAS, file e27ce0c2-7782-055e-e053-6605fe0a7873 10
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads, file e27ce0c9-902c-055e-e053-6605fe0a7873 8
Acquisition and integration of differential pressure measurements on sails for boat performances improvement, file ebdad520-9796-4dbd-96f0-e29b882fd39d 6
Implementing cantor’s paradise, file e27ce0c3-0331-055e-e053-6605fe0a7873 4
An Open Logical Framework, file e27ce0c9-6b35-055e-e053-6605fe0a7873 4
Mining movement data to extract personal points of interest: A feature based approach, file e27ce0c3-944e-055e-e053-6605fe0a7873 2
Towards a logical framework with intersection and union types, file e27ce0c5-0ea7-055e-e053-6605fe0a7873 2
An Open Logical Framework, file e27ce0c9-6b36-055e-e053-6605fe0a7873 2
Mechanizing type environments in weak HOAS, file e27ce0c9-7708-055e-e053-6605fe0a7873 2
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax, file e27ce0c1-c95e-055e-e053-6605fe0a7873 1
AI on the move: exploiting AI techniques for context inference on mobile devices, file e27ce0c1-cfac-055e-e053-6605fe0a7873 1
A Conditional Logical Framework, file e27ce0c1-e9bc-055e-e053-6605fe0a7873 1
The Context-Aware Browser, file e27ce0c1-eb0b-055e-e053-6605fe0a7873 1
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts, file e27ce0c1-f547-055e-e053-6605fe0a7873 1
Internal Adequacy of Bookkeeping in Coq, file e27ce0c1-f734-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
Totale 867
Categoria #
all - tutte 1.807
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 1.807


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201940 0 0 0 0 0 0 0 0 0 13 15 12
2019/202075 10 10 5 9 7 2 7 6 6 6 2 5
2020/2021146 1 4 0 5 1 16 9 10 37 22 15 26
2021/2022192 18 28 13 17 8 12 18 2 9 10 40 17
2022/2023218 4 11 48 19 12 38 10 9 16 15 25 11
2023/2024154 26 25 42 24 3 8 13 9 0 4 0 0
Totale 867