This page shows all presentations of this author published in EasyChair Smart Slide.
Confluence by Critical Pair Analysis Revisited
Nao Hirokawa, Julian Nagele, Vincent Van Oostrom and Michio Oyamaguchi
Cops and CoCoWeb: Infrastructure for Confluence Tools
Nao Hirokawa, Julian Nagele and Aart Middeldorp
Confluence Competition 2018
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani and Harald Zankl