Concepedia

Alberto Momigliano

AM

18

Publications

439

Citations

14

H-Index

2001

Active since

Affiliations

University of Milan(Current)

University of Edinburgh

University of Ottawa

McGill University

University of Leicester

Alberto Momigliano is an author at University of Milan specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationSemanticsVerificationLogic ProgrammingSyntaxLanguage

Publications per year

2001–2019

18

Publications

18

Hybrid

Amy Felty, Alberto Momigliano · Journal of Automated Reasoning · 2010 · 69 citations · Full text

A program logic for resources

David Aspinall, Lennart Beringer, Martin Hofmann et al. · Theoretical Computer Science · 2007 · 56 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +10

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

Alberto Momigliano, Alan J. Martin, Amy Felty · Electronic Notes in Theoretical Computer Science · 2008 · 33 citations · Full text

Engineering, Verification, Higher-order Logic +24

Mechanized metatheory model-checking

James Cheney, Alberto Momigliano · 2007 · 32 citations · Full text

Engineering, Verification, Automated Proof +16

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations

Amy Felty, Alberto Momigliano, Brigitte Pientka · Journal of Automated Reasoning · 2015 · 30 citations · Full text

Natural Language Processing, Reasoning, Syntax +13

Rows per page

1–5 of 18