IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

MOMIGLIANO, ALBERTO DAVIDE ADOLFO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.771
EU - Europa 3.683
AS - Asia 2.962
SA - Sud America 307
AF - Africa 34
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 6
Totale 10.780
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.688
GB - Regno Unito 1.354
CN - Cina 1.063
IT - Italia 925
SG - Singapore 925
SE - Svezia 282
HK - Hong Kong 256
RU - Federazione Russa 253
BR - Brasile 208
VN - Vietnam 185
DE - Germania 180
FR - Francia 169
NL - Olanda 120
IN - India 117
IE - Irlanda 94
KR - Corea 88
UA - Ucraina 83
TR - Turchia 79
BD - Bangladesh 76
FI - Finlandia 76
ID - Indonesia 74
DK - Danimarca 62
CA - Canada 48
EU - Europa 46
AR - Argentina 33
BE - Belgio 19
CO - Colombia 17
EC - Ecuador 16
CL - Cile 13
IQ - Iraq 13
SA - Arabia Saudita 13
ES - Italia 12
JP - Giappone 12
AU - Australia 11
MX - Messico 11
PH - Filippine 11
AT - Austria 9
PY - Paraguay 9
PL - Polonia 8
AE - Emirati Arabi Uniti 7
CH - Svizzera 7
PT - Portogallo 7
AZ - Azerbaigian 6
DZ - Algeria 6
GR - Grecia 6
NZ - Nuova Zelanda 6
CR - Costa Rica 5
EG - Egitto 5
LU - Lussemburgo 5
MY - Malesia 5
NP - Nepal 5
PK - Pakistan 5
RO - Romania 5
SC - Seychelles 5
TT - Trinidad e Tobago 5
VE - Venezuela 5
ZA - Sudafrica 5
JO - Giordania 4
TN - Tunisia 4
HN - Honduras 3
IL - Israele 3
JM - Giamaica 3
MA - Marocco 3
BO - Bolivia 2
GT - Guatemala 2
HU - Ungheria 2
KZ - Kazakistan 2
PA - Panama 2
TH - Thailandia 2
TW - Taiwan 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
BG - Bulgaria 1
BH - Bahrain 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
EE - Estonia 1
GD - Grenada 1
GE - Georgia 1
GL - Groenlandia 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
OM - Oman 1
PE - Perù 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
SX - ???statistics.table.value.countryCode.SX??? 1
TG - Togo 1
TL - Timor Orientale 1
TZ - Tanzania 1
VG - Isole Vergini Britanniche 1
Totale 10.824
Salva come PNG Salva come JPEG
Città #
Southend 1.265
Singapore 534
Fairfield 306
Milan 281
Seattle 265
Ashburn 263
Hong Kong 236
Dallas 229
Wilmington 201
Chandler 196
Beijing 181
Santa Clara 178
Woodbridge 158
Council Bluffs 134
San Jose 122
Princeton 121
Ann Arbor 120
Houston 115
Cambridge 104
Dublin 94
Dearborn 85
Los Angeles 69
Ho Chi Minh City 62
Guangzhou 59
Jakarta 59
Lauterbourg 57
Trana 55
Jacksonville 53
Bengaluru 52
Mountain View 50
Nanjing 47
Des Moines 45
Buffalo 43
Hanoi 43
Moscow 42
Redmond 41
Medford 39
Hefei 38
Boardman 36
New York 36
Hangzhou 35
Sakarya 35
Shanghai 34
Tianjin 32
San Diego 26
Changsha 23
Helsinki 23
Phoenix 23
Redwood City 22
Seoul 21
Shenzhen 21
São Paulo 21
The Dalles 21
Shenyang 20
Rome 19
Jinan 18
Berlin 17
Columbus 17
Fuzhou 17
Hebei 17
Nanchang 15
Serra 15
Andover 14
Bogotá 14
Brussels 14
Cangzhou 14
Wuhan 14
Frankfurt am Main 13
Nuremberg 13
Toronto 13
Eitensheim 12
London 12
Karlsruhe 11
Zhengzhou 11
Montreal 10
Central District 9
Jiaxing 9
Kelowna 9
Rio de Janeiro 9
Amsterdam 8
Haiphong 8
Quanzhou 8
Somerville 8
Tokyo 8
Bitonto 7
Bühl 7
Falls Church 7
Ningbo 7
Palermo 7
Santiago 7
Turin 7
Vienna 7
Warsaw 7
Baku 6
Buenos Aires 6
Chicago 6
Fortaleza 6
Modena 6
Naples 6
Pittsburgh 6
Totale 6.952
Salva come PNG Salva come JPEG
Nome #
Applying ASP to UML model validation 342
A case study in programming coinductive proofs: Howe's method 278
Snapshot generation in a constructive object-oriented modeling language 266
Constructive specifications for compositional units 254
POPLMark reloaded: Mechanizing proofs by logical relations 253
Automatic Certification of Heap Consumption 251
Hybrid - a definitional two-level approach to reasoning with higher-order abstract syntax 250
Snapshots generation via constructive logic 247
Cut elimination for a logic with induction and co-induction 241
Proof-Theoretic and Higher-Order Extensions of Logic Programming 237
A constructive object oriented modeling language for information systems 235
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines 229
Reasoning with hypothetical judgments and open terms in hybrid 221
Two-level hybrid : a system for reasoning using higher-order abstract syntax 212
Towards a type discipline for answer set programming 210
Advances in property-based testing for alpha prolog 203
A constructive approach to testing model transformations 202
A constraint satisfaction approach to operative management of aircraft routing 201
A program logic for resources 198
Validating the Meta-Theory of Programming Languages (Short Paper) 196
An Open Challenge Problem Repository for Systems Supporting Binders 195
MutantChick: Type-Preserving Mutation Analysis for Coq 192
Mechanized metatheory model-checking 190
alphaCheck : A mechanized metatheory model checker 190
Formalizing Program Equivalences in Dependent Type Theory 188
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 184
Property-based testing of the meta-theory of abstract machines: An experience report 183
The Blame Game for Property-based Testing 182
Two Applications of Logic Programming to Coq 182
Why Proof-Theory Matters in Specification-Based Testing 173
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 172
Regular search spaces and constructive negation 169
Towards a Logic for Reasoning About Logic Programs Transformation 167
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 165
Property-Based Testing via Proof Reconstruction 164
Optimisation Validation 163
Higher-order pattern complement and the strict lambda-calculus 161
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method 159
The next 700 challenge problems for reasoning with higher-order abstract syntax representations : part 2: a survey 158
A definitional approach to primitive recursion over higher order abstract syntax 156
Preface 155
Mobile resource guarantees (evaluation paper) 154
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions 152
LOGI: A didactic tool for a beginners' course in logic (system description) 146
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity 140
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction 139
A program logic for resource verification 138
Constraint-based aircraft routing 138
Preface 137
Induction and Co-induction in Sequent Calculus 135
Regular search spaces as a foundation of logic programming 129
Preface 125
More Church-Rosser Proofs in BELUGA 117
Minimal negation and Hereditary Harrop formulae 117
Focusing on contraction 117
Towards Substructural Property-Based Testing 117
Multi-level Meta-reasoning with Higher-Order Abstract Syntax 112
Elimination of Negation in a Logical Framework 110
Split Decisions: Explicit Contexts for Substructural Languages 104
The relative complement problem for higher-order patterns 102
Property-Based Testing by Elaborating Proof Outlines 102
Property-Based Testing by Elaborating Proof Outlines 96
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming 96
The Concurrent Calculi Formalisation Benchmark 91
A Beluga Formalization of the Harmony Lemma in the π-Calculus 88
Preface 87
Totale 11.363
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.992
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 28.992
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021197 0 0 0 0 0 0 0 0 0 0 143 54
2021/2022966 55 52 278 43 59 69 35 64 43 64 38 166
2022/2023657 90 39 59 81 96 143 6 37 78 2 18 8
2023/2024400 19 39 14 12 46 40 13 18 3 17 64 115
2024/20251.538 58 173 30 136 254 55 26 183 77 149 129 268
2025/20263.055 250 317 312 171 315 204 375 241 300 329 241 0
Totale 11.363