Jakob Botsch Nielsen

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 7

Top Topics

Contract Net Protocol

Functional Programs

Automatically Extracting

Top Venues

J. Funct. Program.

FM Workshops (1)

Publications

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Extracting functional programs from Coq, in Coq. J. Funct. Program. 32 (2022)
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Extracting smart contracts tested and verified in Coq. CPP (2021)
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Extracting functional programs from Coq, in Coq. CoRR (2021)
Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters
ConCert: a smart contract certification framework in Coq. CPP (2020)
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Extracting Smart Contracts Tested and Verified in Coq. CoRR (2020)
Jakob Botsch Nielsen, Bas Spitters
Smart Contract Interactions in Coq. FM Workshops (1) (2019)
Jakob Botsch Nielsen, Bas Spitters
Smart Contract Interactions in Coq. CoRR (2019)