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 2.978
NA - Nord America 2.492
AS - Asia 684
SA - Sud America 17
OC - Oceania 8
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.189
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.476
GB - Regno Unito 1.332
IT - Italia 815
CN - Cina 399
SE - Svezia 208
DE - Germania 147
FR - Francia 90
IE - Irlanda 90
UA - Ucraina 76
IN - India 73
TR - Turchia 66
DK - Danimarca 60
KR - Corea 60
FI - Finlandia 49
NL - Olanda 47
SG - Singapore 47
EU - Europa 46
RU - Federazione Russa 32
BE - Belgio 13
CA - Canada 13
CO - Colombia 13
ID - Indonesia 12
HK - Hong Kong 10
VN - Vietnam 10
AU - Australia 6
GR - Grecia 6
CH - Svizzera 5
SC - Seychelles 4
ES - Italia 3
JP - Giappone 3
HU - Ungheria 2
NZ - Nuova Zelanda 2
PH - Filippine 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AT - Austria 1
BR - Brasile 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
GL - Groenlandia 1
IQ - Iraq 1
JM - Giamaica 1
MX - Messico 1
PL - Polonia 1
PT - Portogallo 1
SA - Arabia Saudita 1
TN - Tunisia 1
VE - Venezuela 1
Totale 6.233
Salva come PNG Salva come JPEG
Città #
Southend 1.265
Fairfield 306
Seattle 260
Milan 250
Wilmington 200
Chandler 196
Ashburn 163
Woodbridge 157
Princeton 121
Ann Arbor 120
Houston 112
Cambridge 104
Dublin 90
Dearborn 85
Beijing 83
Trana 55
Jacksonville 52
Mountain View 50
Nanjing 47
Des Moines 43
Redmond 41
Medford 39
Boardman 36
Sakarya 35
Bengaluru 33
Hangzhou 30
San Diego 25
Singapore 25
Redwood City 22
Changsha 20
Shenyang 20
Guangzhou 18
Berlin 17
Hebei 17
Jinan 17
Phoenix 17
Nanchang 15
Serra 15
Andover 14
Bogotá 13
Brussels 12
Eitensheim 12
Karlsruhe 11
Zhengzhou 10
Central District 9
London 9
Somerville 8
Bitonto 7
Bühl 7
Falls Church 7
Jiaxing 7
Ningbo 7
Toronto 7
Modena 6
Pittsburgh 6
Shanghai 6
Shenzhen 6
Tianjin 6
Athens 5
Haikou 5
Kunming 5
New York 5
Norwalk 5
Palermo 5
Taizhou 5
Auburn Hills 4
Austin 4
Cavaion Veronese 4
Foggia 4
Fremont 4
Lanzhou 4
Los Angeles 4
Mahé 4
Rome 4
Sesto San Giovanni 4
Turin 4
Amsterdam 3
Bari 3
Calne 3
Carate Brianza 3
Comazzo 3
Cremona 3
Hefei 3
Helsinki 3
Kilburn 3
Nuremberg 3
Olgiate Olona 3
Saint Petersburg 3
Taiyuan 3
Boston 2
Brescia 2
Catania 2
Changchun 2
Chicago 2
Edinburgh 2
Eindhoven 2
Jimo 2
Kiez 2
Leicester 2
Manerbio 2
Totale 4.511
Salva come PNG Salva come JPEG
Nome #
Applying ASP to UML model validation 233
A case study in programming coinductive proofs: Howe's method 185
Constructive specifications for compositional units 175
Automatic Certification of Heap Consumption 173
Snapshot generation in a constructive object-oriented modeling language 172
A constructive object oriented modeling language for information systems 170
Cut elimination for a logic with induction and co-induction 167
Two-level hybrid : a system for reasoning using higher-order abstract syntax 165
Proof-Theoretic and Higher-Order Extensions of Logic Programming 163
Snapshots generation via constructive logic 153
A constraint satisfaction approach to operative management of aircraft routing 152
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines 150
Reasoning with hypothetical judgments and open terms in hybrid 145
A program logic for resources 140
Towards a type discipline for answer set programming 135
An Open Challenge Problem Repository for Systems Supporting Binders 135
Advances in property-based testing for alpha prolog 135
A constructive approach to testing model transformations 130
alphaCheck : A mechanized metatheory model checker 128
Mechanized metatheory model-checking 127
Hybrid - a definitional two-level approach to reasoning with higher-order abstract syntax 119
POPLMark reloaded: Mechanizing proofs by logical relations 119
Optimisation Validation 115
Regular search spaces and constructive negation 115
Towards a Logic for Reasoning About Logic Programs Transformation 114
The Blame Game for Property-based Testing 113
Validating the Meta-Theory of Programming Languages (Short Paper) 112
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 111
Formalizing Program Equivalences in Dependent Type Theory 111
Higher-order pattern complement and the strict lambda-calculus 108
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 107
A definitional approach to primitive recursion over higher order abstract syntax 106
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 103
Property-based testing of the meta-theory of abstract machines: An experience report 103
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method 95
MutantChick: Type-Preserving Mutation Analysis for Coq 95
Mobile resource guarantees (evaluation paper) 93
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity 93
Preface 93
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction 91
Induction and Co-induction in Sequent Calculus 90
Regular search spaces as a foundation of logic programming 89
Property-Based Testing via Proof Reconstruction 88
Preface 87
A program logic for resource verification 85
Why Proof-Theory Matters in Specification-Based Testing 85
LOGI: A didactic tool for a beginners' course in logic (system description) 84
Minimal negation and Hereditary Harrop formulae 82
The next 700 challenge problems for reasoning with higher-order abstract syntax representations : part 2: a survey 80
Constraint-based aircraft routing 79
Elimination of Negation in a Logical Framework 75
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions 72
The relative complement problem for higher-order patterns 71
Focusing on contraction 71
Preface 67
Two Applications of Logic Programming to Coq 56
Multi-level Meta-reasoning with Higher-Order Abstract Syntax 56
Preface 53
Towards Substructural Property-Based Testing 23
More Church-Rosser Proofs in BELUGA 13
More Church-Rosser Proofs in BELUGA 9
Totale 6.664
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.927
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 15.927
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201995 0 0 0 0 0 0 0 0 0 0 0 95
2019/20201.545 155 30 143 161 101 148 186 204 175 132 65 45
2020/2021950 49 53 80 27 146 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/2024294 19 39 14 12 46 40 13 18 7 19 67 0
Totale 6.664