Julian Nagele | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Nao Hirokawa
6 publications
Maria A. Schett
3 publications
Vincent van Oostrom
2 publications
Michio Oyamaguchi
1 publication

research

∙ 05/12/2020

Blockchain Superoptimizer

In the blockchain-based, distributed computing platform Ethereum, progra...

0 Julian Nagele, et al. ∙

research

∙ 05/28/2019

Confluence by Critical Pair Analysis Revisited (Extended Version)

We present two methods for proving confluence of left-linear term rewrit...

0 Nao Hirokawa, et al. ∙