Reynald Affeldt

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

◀ ▶ joint publications with David Nowak

> Home > Persons > Reynald Affeldt

Publications

2021
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AffeldtGNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AffeldtGNS21
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa:
A trustful monad for axiomatic reasoning with probability and nondeterminism. J. Funct. Program. 31: e17 (2021)
2020
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/types/AffeldtN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AffeldtN20
Reynald Affeldt, David Nowak:
Extending Equational Monadic Reasoning with Monad Transformers. TYPES 2020: 2:1-2:21
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-09993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-09993
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa:
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. CoRR abs/2003.09993 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-03463
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-03463
Reynald Affeldt, David Nowak:
Extending Equational Monadic Reasoning with Monad Transformers. CoRR abs/2011.03463 (2020)
2019
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AffeldtNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AffeldtNS19
Reynald Affeldt, David Nowak, Takafumi Saikawa:
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. MPC 2019: 226-254
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AffeldtNY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AffeldtNY12
Reynald Affeldt, David Nowak, Kiyoshi Yamada:
Certifying assembly with formal security proofs: The case of BBS. Sci. Comput. Program. 77(10-11): 1058-1074 (2012)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/AffeldtNO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/AffeldtNO12
Reynald Affeldt, David Nowak, Yutaka Oiwa:
Formal network packet processing with minimal fuss: invertible syntax descriptions at work. PLPV 2012: 27-36
2009
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AffeldtNY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AffeldtNY09
Reynald Affeldt, David Nowak, Kiyoshi Yamada:
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AffeldtNY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AffeldtNY09
Reynald Affeldt, David Nowak, Kiyoshi Yamada:
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. IACR Cryptol. ePrint Arch. 2009: 322 (2009)

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.