SCAGNETTO, Ivan
 Distribuzione geografica
Continente #
NA - Nord America 264
AS - Asia 172
EU - Europa 107
AF - Africa 3
SA - Sud America 2
OC - Oceania 1
Totale 549
Nazione #
US - Stati Uniti d'America 262
CN - Cina 105
IT - Italia 74
ID - Indonesia 19
VN - Vietnam 18
FR - Francia 12
KH - Cambogia 7
KR - Corea 6
GB - Regno Unito 4
IN - India 4
PL - Polonia 4
CZ - Repubblica Ceca 3
IL - Israele 3
PT - Portogallo 3
RU - Federazione Russa 3
TW - Taiwan 3
ZA - Sudafrica 3
CA - Canada 2
DE - Germania 2
LK - Sri Lanka 2
PK - Pakistan 2
AU - Australia 1
BO - Bolivia 1
CH - Svizzera 1
CL - Cile 1
IR - Iran 1
NL - Olanda 1
PH - Filippine 1
SG - Singapore 1
Totale 549
Città #
Udine 44
Fairfield 33
Santa Cruz 26
Shenyang 21
Buffalo 18
Guangzhou 18
Dong Ket 17
Woodbridge 16
Houston 15
Trieste 15
Ashburn 13
Wilmington 11
Cambridge 10
Seattle 9
Ann Arbor 8
Beijing 8
Changsha 8
Harbin 8
Chongqing 7
Guilford 7
San Diego 7
Southbury 5
Jinan 4
Las Vegas 4
Warsaw 4
Bayside 3
Bengaluru 3
Haikou 3
Nanchang 3
Paris 3
Reggio Nell'emilia 3
Taipei 3
Wuhan 3
Brookline 2
Chengdu 2
Henderson 2
Los Angeles 2
Nanjing 2
Phoenix 2
Provo 2
Riva 2
Seoul 2
Toronto 2
Toulouse 2
Warrington 2
Xian 2
Ürümqi 2
Agugliano 1
Amsterdam 1
Auburn 1
Baotou 1
Bellevue 1
Brescia 1
Changchun 1
Chicago 1
Clearwater 1
Easton 1
Fazal 1
Fuzhou 1
Gvat 1
Hangzhou 1
Hanoi 1
Hartford 1
Herndon 1
Hod HaSharon 1
Kirkland 1
La Paz 1
Lincolnshire 1
Modderfontein 1
Monroe 1
Mountain View 1
Muizenberg 1
Mumbai 1
Múggia 1
Nagold 1
Nanning 1
Neve Ilan 1
New York 1
Palembang 1
Peshawar 1
Pittsburgh 1
Rangkasbitung 1
Saint-Just-Chaleyssin 1
Saint-geours-de-maremne 1
San Francisco 1
Santa Clara 1
Scranton 1
Shanghai 1
Silverton 1
Spokane 1
St Louis 1
Sunnyvale 1
Surabaya 1
Varese 1
Yellow Springs 1
Totale 436
Nome #
Λ!-calculus, intersection types, and involutions, file e27ce0c6-287f-055e-e053-6605fe0a7873 130
A weak HOAS approach to the POPLmark Challenge, file e27ce0c1-e16a-055e-e053-6605fe0a7873 95
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks., file e27ce0c2-7781-055e-e053-6605fe0a7873 95
Mobile Information Retrieval, file e27ce0c9-5ffb-055e-e053-6605fe0a7873 48
Plugging-in proof development environments using Locks in LF, file e27ce0c9-77e4-055e-e053-6605fe0a7873 38
An integrated low-cost system for object detection in underwater environments, file e27ce0ca-0edb-055e-e053-6605fe0a7873 27
Exploiting news to categorize tweets: Quantifying the impact of different news collections, file e27ce0c3-09a7-055e-e053-6605fe0a7873 22
Revisiting the bookkeeping technique in HOAS-based encodings, file e27ce0c1-e6d0-055e-e053-6605fe0a7873 13
Implementing cantor’s paradise, file e27ce0c9-934d-055e-e053-6605fe0a7873 13
LLF – A Logical-Logical Framework, file e27ce0c1-f9de-055e-e053-6605fe0a7873 11
Mechanizing type environments in weak HOAS, file e27ce0c2-7782-055e-e053-6605fe0a7873 10
The involutions-as-principal types/ application-as-unification analogy, file e27ce0c9-33f4-055e-e053-6605fe0a7873 9
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 9
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads, file e27ce0c9-b42d-055e-e053-6605fe0a7873 8
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads, file e27ce0c9-902c-055e-e053-6605fe0a7873 7
An Open Logical Framework, file e27ce0c9-a450-055e-e053-6605fe0a7873 6
Mechanizing type environments in weak HOAS, file e27ce0c9-770a-055e-e053-6605fe0a7873 5
Implementing cantor’s paradise, file e27ce0c3-0331-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-6b35-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-93ad-055e-e053-6605fe0a7873 1
Totale 567
Categoria #
all - tutte 709
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 709


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/20187 0000 00 12 3100
2018/201952 0010 01 12 7131512
2019/202075 101059 72 76 6625
2020/2021146 1405 116 910 37221526
2021/2022192 18281317 812 182 9104017
2022/202372 411489 00 00 0000
Totale 567