Julian Nagele | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙