`Travelled to:`

1 × Belgium

1 × Denmark

1 × Germany

1 × Italy

1 × Portugal

1 × Spain

1 × USA

2 × Poland

`Collaborated with:`

M.Ornaghi C.Fiorentini A.P.Felty J.Cheney S.Ambler ∅ F.Pfenning K.Lau R.Blanco D.M.0001 I.Poernomo M.Ferrari

`Talks about:`

construct (3) reason (3) model (3) logic (3) transform (2) higher (2) order (2) test (2) reconstruct (1) metatheori (1)

## Person: Alberto Momigliano

### DBLP: Momigliano:Alberto

### Contributed to:

### Wrote 10 papers:

- ICMT-2010-FiorentiniMOP #approach #model transformation #testing
- A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
- PPDP-2009-FeltyM #hybrid #reasoning
- Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
- LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
- PPDP-2007-CheneyM #model checking
- Mechanized metatheory model-checking (JC, AM), pp. 75–86.
- LOPSTR-2004-LauMO #composition #specification
- Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
- FoSSaCS-2003-MomiglianoA #higher-order #multi #syntax
- Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.
- CSL-2000-Momigliano #framework #logic
- Elimination of Negation in a Logical Framework (AM), pp. 411–426.
- ICLP-1999-MomiglianoP #higher-order #problem
- The Relative Complement Problem for Higher-Order Patterns (AM, FP), pp. 380–394.
- LOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards
- Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.
- PPDP-2019-Blanco0M #proving #re-engineering #testing
- Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.