×

Momigliano, Alberto

Compute Distance To:
Author ID: momigliano.alberto Recent zbMATH articles by "Momigliano, Alberto"
Published as: Momigliano, Alberto; Momigliano, A.
External Links: MGP · ORCID

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 104 times in 62 Documents Cited by Year
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax. Zbl 1252.68252
Felty, Amy; Momigliano, Alberto
17
2012
Induction and co-induction in sequent calculus. Zbl 1100.03516
Momigliano, Alberto; Tiu, Alwen
12
2004
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey. Zbl 1357.68198
Felty, Amy P.; Momigliano, Alberto; Pientka, Brigitte
11
2015
Automatic certification of heap consumption. Zbl 1108.68374
Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha
9
2005
A program logic for resources. Zbl 1133.68010
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
8
2007
Combining higher order abstract syntax with tactical theorem proving and (co)induction. Zbl 1013.68545
Ambler, Simon J.; Crole, Roy L.; Momigliano, Alberto
7
2002
Cut elimination for a logic with induction and co-induction. Zbl 1278.03086
Tiu, Alwen; Momigliano, Alberto
7
2012
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194
Felty, Amy; Momigliano, Alberto; Pientka, Brigitte
4
2018
Elimination of negation in a logical framework. Zbl 0973.68039
Momigliano, Alberto
4
2000
POPLMark reloaded: mechanizing proofs by logical relations. Zbl 1442.68257
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin
4
2019
Multi-level meta-reasoning with higher-order abstract syntax. Zbl 1029.68043
Momigliano, Alberto; Ambler, Simon J.
4
2003
\(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236
Cheney, James; Momigliano, Alberto
4
2017
A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418
Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David
3
2019
A hybrid encoding of Howe’s method for establishing congruence of bisimilarity. Zbl 1270.68072
Momigliano, Alberto; Ambler, Simon J.; Crole, Roy L.
3
2002
Higher-order pattern complement and the strict \(\lambda\)-calculus. Zbl 1365.68155
Momigliano, Alberto; Pfenning, Frank
2
2003
A program logic for resource verification. Zbl 1099.68584
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
2
2004
Minimal negation and hereditary Harrop formulae. Zbl 0977.68513
Momigliano, Alberto
1
1992
Two-level hybrid: a system for reasoning using higher-order abstract syntax. Zbl 1278.03062
Momigliano, Alberto; Martin, Alan J.; Felty, Amy P.
1
2008
Snapshot generation in a constructive object-oriented modeling language. Zbl 1179.68029
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario
1
2008
POPLMark reloaded: mechanizing proofs by logical relations. Zbl 1442.68257
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin
4
2019
A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418
Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David
3
2019
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194
Felty, Amy; Momigliano, Alberto; Pientka, Brigitte
4
2018
\(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236
Cheney, James; Momigliano, Alberto
4
2017
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey. Zbl 1357.68198
Felty, Amy P.; Momigliano, Alberto; Pientka, Brigitte
11
2015
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax. Zbl 1252.68252
Felty, Amy; Momigliano, Alberto
17
2012
Cut elimination for a logic with induction and co-induction. Zbl 1278.03086
Tiu, Alwen; Momigliano, Alberto
7
2012
Two-level hybrid: a system for reasoning using higher-order abstract syntax. Zbl 1278.03062
Momigliano, Alberto; Martin, Alan J.; Felty, Amy P.
1
2008
Snapshot generation in a constructive object-oriented modeling language. Zbl 1179.68029
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario
1
2008
A program logic for resources. Zbl 1133.68010
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
8
2007
Automatic certification of heap consumption. Zbl 1108.68374
Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha
9
2005
Induction and co-induction in sequent calculus. Zbl 1100.03516
Momigliano, Alberto; Tiu, Alwen
12
2004
A program logic for resource verification. Zbl 1099.68584
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
2
2004
Multi-level meta-reasoning with higher-order abstract syntax. Zbl 1029.68043
Momigliano, Alberto; Ambler, Simon J.
4
2003
Higher-order pattern complement and the strict \(\lambda\)-calculus. Zbl 1365.68155
Momigliano, Alberto; Pfenning, Frank
2
2003
Combining higher order abstract syntax with tactical theorem proving and (co)induction. Zbl 1013.68545
Ambler, Simon J.; Crole, Roy L.; Momigliano, Alberto
7
2002
A hybrid encoding of Howe’s method for establishing congruence of bisimilarity. Zbl 1270.68072
Momigliano, Alberto; Ambler, Simon J.; Crole, Roy L.
3
2002
Elimination of negation in a logical framework. Zbl 0973.68039
Momigliano, Alberto
4
2000
Minimal negation and hereditary Harrop formulae. Zbl 0977.68513
Momigliano, Alberto
1
1992
all top 5

Cited by 106 Authors

9 Pientka, Brigitte
8 Momigliano, Alberto
6 Felty, Amy P.
6 Miller, Dale Allen
5 Beringer, Lennart
2 Allais, Guillaume
2 Aspinall, David
2 Gacek, Andrew
2 Heath, Quentin
2 Hofmann, Martin
2 Mahmoud, Mohamed Yousri
2 Montenegro, Manuel
2 Nadathur, Gopalan
2 Olarte, Carlos
2 Peña, Ricardo
2 Saabas, Ando
2 Segura, Clara
2 Szasz, Nora
2 Tasistro, Alvaro
2 Tiu, Alwen Fernanto
2 Uustalu, Tarmo
2 Xavier, Bruno
1 Abel, Andreas M.
1 Ahn, Ki Yung
1 Ambal, Guillaume
1 Aranda-López, Gabriel
1 Atkey, Robert
1 Ayala-Rincón, Mauricio
1 Baelde, David
1 Besson, Frédéric
1 Brünnler, Kai
1 Cachera, David
1 Cave, Andrew
1 Chapman, James T. E.
1 Charguéraud, Arthur
1 Cheney, James
1 Ciaffaglione, Alberto
1 Cirstea, Horatiu
1 Cohen, Liron
1 Copello, Ernesto
1 Cristiá, Maximiliano
1 Crole, Roy L.
1 Dagnino, Francesco
1 Dockins, Robert
1 Dunfield, Joshua
1 Errington, Jacob
1 Fernández, Maribel
1 Ferrari, Mauro
1 Ferreira, Francisco H. G.
1 Fiorentini, Camillo
1 Fiorino, Guido
1 Furniss, Amy
1 Gheri, Lorenzo
1 Hähnle, Reiner
1 Hainry, Emmanuel
1 Hameer, Aliya
1 Hobor, Aquinas
1 Horne, Ross
1 Jang, Junyoung
1 Jobin, Arnaud
1 Kaiser, Jonas Pilgaard
1 Kimura, Daisuke
1 Kirchner, Claude
1 Kopetz, Radu
1 Kutz, Yunus D. K.
1 Lenglet, Sergueï
1 Liquori, Luigi
1 Loidl, Hans-Wolfgang
1 Maier, Patrick
1 McBride, Conor Thomas
1 McKinna, James
1 Miculan, Marino
1 Moreau, Pierre-Etienne
1 Nieva, Susana
1 Nigam, Vivek
1 Norrish, Michael
1 Pan, Jing
1 Pavlova, Mariela
1 Péchoux, Romain
1 Pichardie, David
1 Popescu, Andrei
1 Pottier, François
1 Reis, Giselle
1 Rossi, Gianfranco
1 Roşu, Grigore
1 Rümmer, Philipp
1 Sáenz-Pérez, Fernando
1 Sánchez-Hernández, Jaime
1 Sarnat, Jeffrey
1 Schäfer, Steven
1 Schmidt-Schauß, Manfred
1 Schmitt, Alan
1 Schürmann, Carsten
1 Smolka, Gert
1 Snow, Zachary
1 Sobrinho, Daniele Nantes
1 Sotin, Pascal
1 Stark, Ian
1 Stark, Kathrin
1 Studer, Thomas
...and 6 more Authors

Citations by Year