On the Formalization of Termination Techniques based on Multiset Orderings. - René Thiemann; Guillaume Allais; Julian Nagele (RTA, 2012)

Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations. - Julian Nagele; René Thiemann; Sarah Winkler (VSTTE, 2014)

Confluence Competition 2015. - Takahito Aoto 001; Nao Hirokawa; Julian Nagele; Naoki Nishida 001; Harald Zankl (CADE, 2015)

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. - Julian Nagele; Bertram Felgenhauer; Aart Middeldorp (RTA, 2015)

Certified Rule Labeling. - Julian Nagele; Harald Zankl (RTA, 2015)

Certification of Confluence Proofs using CeTA. - Julian Nagele; René Thiemann (CoRR, 2015)

Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems. - Julian Nagele; Aart Middeldorp (ITP, 2016)

The Z Property. - Bertram Felgenhauer; Julian Nagele; Vincent van Oostrom; Christian Sternagel (Arch. Formal Proofs, 2016)

A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle. - Julian Nagele; Vincent van Oostrom; Christian Sternagel (CoRR, 2016)

CSI: New Evidence - A Progress Report. - Julian Nagele; Bertram Felgenhauer; Aart Middeldorp (CADE, 2017)

CoCoWeb - A Convenient Web Interface for Confluence Tools. - Julian Nagele; Aart Middeldorp (CoRR, 2017)

Critical Peaks Redefined - $Φ sqcup Ψ= top$. - Nao Hirokawa; Julian Nagele; Vincent van Oostrom; Michio Oyamaguchi (CoRR, 2017)

Certifying Confluence Proofs via Relative Termination and Rule Labeling. - Julian Nagele; Bertram Felgenhauer; Harald Zankl (Log. Methods Comput. Sci., 2017)

Cops and CoCoWeb: Infrastructure for Confluence Tools. - Nao Hirokawa; Julian Nagele; Aart Middeldorp (IJCAR, 2018)

Confluence Competition 2018. - Takahito Aoto 001; Makoto Hamana; Nao Hirokawa; Aart Middeldorp; Julian Nagele; Naoki Nishida 001; Kiraku Shintani; Harald Zankl (FSCD, 2018)

Confluence by Critical Pair Analysis Revisited. - Nao Hirokawa; Julian Nagele; Vincent van Oostrom; Michio Oyamaguchi (CADE, 2019)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

Confluence Competition 2019. - Aart Middeldorp; Julian Nagele; Kiraku Shintani (TACAS (3), 2019)

Confluence by Critical Pair Analysis Revisited (Extended Version). - Nao Hirokawa; Julian Nagele; Vincent van Oostrom; Michio Oyamaguchi (CoRR, 2019)

Populating the Peephole Optimizer of a Smart Contract Compiler. - Maria Anna Schett; Julian Nagele (FMBC@CAV, 2020)

Blockchain Superoptimizer. - Julian Nagele; Maria Anna Schett (CoRR, 2020)

CoCo 2019: report on the eighth confluence competition. - Aart Middeldorp; Julian Nagele; Kiraku Shintani (Int. J. Softw. Tools Technol. Transf., 2021)

First-Order Rewriting. - René Thiemann; Christian Sternagel; Christina Kirk; Martin Avanzini; Bertram Felgenhauer; Julian Nagele; Thomas Sternagel; Sarah Winkler; Akihisa Yamada 002 (Arch. Formal Proofs, 2025)