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:
2010
2009
200720072004
2003
2000
199919972019Wrote 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.