Alberto Momigliano

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ publications with no particular coauthor community group

> Home > Persons > Alberto Momigliano

Publications

2024
[c44]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-06624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-06624
Gabriele Cecilia, Alberto Momigliano:
A Beluga Formalization of the Harmony Lemma in the π-Calculus. LFMTP@FSCD 2024: 1-17
2023
[c43]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-14921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-14921
Alberto Momigliano, Martina Sassella:
More Church-Rosser Proofs in BELUGA. LSFA/HCVS 2023: 34-42
2021
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MantovaniM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MantovaniM21
Marco Mantovani, Alberto Momigliano:
Towards Substructural Property-Based Testing. LOPSTR 2021: 92-112
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-01610
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-01610
Marco Mantovani, Alberto Momigliano:
Towards Substructural Property-Based Testing. CoRR abs/2108.01610 (2021)
2019
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/MarabelliM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/MarabelliM19
Giorgio Marabelli, Alberto Momigliano:
Formalizing Program Equivalences in Dependent Type Theory. ICTCS 2019: 204-209
2018
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/KomauliM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/KomauliM18
Francesco Komauli, Alberto Momigliano:
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. CILC 2018: 22-39

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.