Wouter Swierstra | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Remco C. Veltkamp
6 publications
Anne Baanen
4 publications
Gabriele Keller
3 publications
Iris Ren
2 publications
Manuel M. T. Chakravarty
2 publications
Anja Volk
2 publications
Jacco O. G. Krijnen
1 publication

research

∙ 01/13/2022

Translation Certification for Smart Contracts

Compiler correctness is an old problem, but with the emergence of smart ...

0 Jacco O. G. Krijnen, et al. ∙

research

∙ 10/23/2020

A Computational Evaluation of Musical Pattern Discovery Algorithms

Pattern discovery algorithms in the music domain aim to find meaningful ...

0 Iris Ren, et al. ∙

research

∙ 05/01/2020

Combining predicate transformer semantics for effects: a case study in parsing regular languages

This paper describes how to verify a parser for regular expressions in a...

0 Anne Baanen, et al. ∙