IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

MOMIGLIANO, ALBERTO DAVIDE ADOLFO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.443
NA - Nord America 3.369
AS - Asia 2.103
SA - Sud America 250
AF - Africa 17
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 4
Totale 9.198
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.326
GB - Regno Unito 1.343
IT - Italia 864
CN - Cina 765
SG - Singapore 658
SE - Svezia 271
HK - Hong Kong 221
RU - Federazione Russa 197
BR - Brasile 175
DE - Germania 171
NL - Olanda 118
FR - Francia 110
IN - India 109
IE - Irlanda 93
UA - Ucraina 83
TR - Turchia 76
ID - Indonesia 74
VN - Vietnam 71
KR - Corea 64
DK - Danimarca 61
FI - Finlandia 61
EU - Europa 46
AR - Argentina 27
CA - Canada 23
BE - Belgio 17
CO - Colombia 16
BD - Bangladesh 13
EC - Ecuador 11
AU - Australia 10
AT - Austria 9
IQ - Iraq 9
JP - Giappone 9
MX - Messico 9
CH - Svizzera 7
PH - Filippine 7
PL - Polonia 7
AZ - Azerbaigian 6
ES - Italia 6
GR - Grecia 6
PT - Portogallo 6
SA - Arabia Saudita 6
CL - Cile 5
PY - Paraguay 5
RO - Romania 5
SC - Seychelles 5
VE - Venezuela 5
ZA - Sudafrica 4
AE - Emirati Arabi Uniti 3
EG - Egitto 3
IL - Israele 3
TT - Trinidad e Tobago 3
BO - Bolivia 2
CR - Costa Rica 2
DZ - Algeria 2
HN - Honduras 2
HU - Ungheria 2
LU - Lussemburgo 2
MA - Marocco 2
NP - Nepal 2
NZ - Nuova Zelanda 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
BZ - Belize 1
EE - Estonia 1
GE - Georgia 1
GL - Groenlandia 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
PA - Panama 1
PE - Perù 1
PK - Pakistan 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
TL - Timor Orientale 1
TN - Tunisia 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 9.242
Salva come PNG Salva come JPEG
Città #
Southend 1.265
Singapore 361
Fairfield 306
Milan 269
Seattle 264
Dallas 227
Ashburn 217
Hong Kong 205
Wilmington 201
Chandler 196
Beijing 173
Santa Clara 166
Woodbridge 157
Princeton 121
Ann Arbor 120
Houston 112
Council Bluffs 106
Cambridge 104
Dublin 93
Dearborn 85
Jakarta 59
Trana 55
Jacksonville 53
Los Angeles 52
Bengaluru 51
Mountain View 50
Nanjing 47
Des Moines 44
Buffalo 41
Redmond 41
Medford 39
Hefei 38
Boardman 36
Sakarya 35
Hangzhou 33
Guangzhou 32
Moscow 28
Ho Chi Minh City 25
San Diego 25
Phoenix 22
Redwood City 22
Changsha 21
Shanghai 21
Shenyang 20
São Paulo 20
Jinan 18
The Dalles 18
Berlin 17
Fuzhou 17
Hebei 17
Columbus 16
Nanchang 15
Serra 15
Andover 14
Bogotá 14
Brussels 14
Cangzhou 14
Hanoi 13
Tianjin 13
Wuhan 13
Eitensheim 12
New York 12
Nuremberg 12
Karlsruhe 11
Zhengzhou 11
London 10
Central District 9
Jiaxing 9
Shenzhen 9
Toronto 9
Frankfurt am Main 8
Helsinki 8
Montreal 8
Quanzhou 8
Rio de Janeiro 8
Rome 8
Somerville 8
Bitonto 7
Bühl 7
Falls Church 7
Ningbo 7
Tokyo 7
Vienna 7
Amsterdam 6
Baku 6
Modena 6
Palermo 6
Pittsburgh 6
Warsaw 6
Athens 5
Buenos Aires 5
Curitiba 5
Fortaleza 5
Haikou 5
Kunming 5
Lappeenranta 5
Norwalk 5
Rho 5
Seoul 5
Taizhou 5
Totale 6.179
Salva come PNG Salva come JPEG
Nome #
Applying ASP to UML model validation 295
A case study in programming coinductive proofs: Howe's method 235
Snapshot generation in a constructive object-oriented modeling language 229
Constructive specifications for compositional units 223
Cut elimination for a logic with induction and co-induction 216
A constructive object oriented modeling language for information systems 215
Snapshots generation via constructive logic 212
Automatic Certification of Heap Consumption 210
Proof-Theoretic and Higher-Order Extensions of Logic Programming 209
POPLMark reloaded: Mechanizing proofs by logical relations 206
Two-level hybrid : a system for reasoning using higher-order abstract syntax 198
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines 193
Reasoning with hypothetical judgments and open terms in hybrid 190
Towards a type discipline for answer set programming 187
A constraint satisfaction approach to operative management of aircraft routing 187
A program logic for resources 183
Validating the Meta-Theory of Programming Languages (Short Paper) 174
alphaCheck : A mechanized metatheory model checker 173
Hybrid - a definitional two-level approach to reasoning with higher-order abstract syntax 171
The Blame Game for Property-based Testing 171
An Open Challenge Problem Repository for Systems Supporting Binders 170
A constructive approach to testing model transformations 169
Advances in property-based testing for alpha prolog 168
Formalizing Program Equivalences in Dependent Type Theory 167
MutantChick: Type-Preserving Mutation Analysis for Coq 162
Mechanized metatheory model-checking 161
Property-based testing of the meta-theory of abstract machines: An experience report 159
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 157
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 155
Regular search spaces and constructive negation 150
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 148
Towards a Logic for Reasoning About Logic Programs Transformation 148
Optimisation Validation 144
Two Applications of Logic Programming to Coq 141
Higher-order pattern complement and the strict lambda-calculus 139
Property-Based Testing via Proof Reconstruction 139
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method 138
A definitional approach to primitive recursion over higher order abstract syntax 138
Why Proof-Theory Matters in Specification-Based Testing 136
LOGI: A didactic tool for a beginners' course in logic (system description) 133
Mobile resource guarantees (evaluation paper) 132
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity 129
Preface 126
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction 121
The next 700 challenge problems for reasoning with higher-order abstract syntax representations : part 2: a survey 119
Induction and Co-induction in Sequent Calculus 119
Preface 117
Regular search spaces as a foundation of logic programming 116
Constraint-based aircraft routing 116
A program logic for resource verification 115
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions 113
Minimal negation and Hereditary Harrop formulae 104
Preface 104
Elimination of Negation in a Logical Framework 102
More Church-Rosser Proofs in BELUGA 100
The relative complement problem for higher-order patterns 94
Focusing on contraction 94
Towards Substructural Property-Based Testing 88
Split Decisions: Explicit Contexts for Substructural Languages 84
Property-Based Testing by Elaborating Proof Outlines 82
Multi-level Meta-reasoning with Higher-Order Abstract Syntax 79
Preface 77
Property-Based Testing by Elaborating Proof Outlines 72
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming 71
The Concurrent Calculi Formalisation Benchmark 66
A Beluga Formalization of the Harmony Lemma in the π-Calculus 59
Totale 9.698
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.726
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 25.726
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021595 0 0 0 0 0 66 65 49 134 84 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/20261.390 250 317 312 171 315 25 0 0 0 0 0 0
Totale 9.698