Julian Nagele

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 21

Top Topics

Rewrite Systems

Redundant Rules

Top Venues

Publications

Aart Middeldorp, Julian Nagele, Kiraku Shintani
CoCo 2019: report on the eighth confluence competition. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Maria Anna Schett, Julian Nagele
Populating the Peephole Optimizer of a Smart Contract Compiler. FMBC@CAV (2020)
Julian Nagele, Maria Anna Schett
Blockchain Superoptimizer. CoRR (2020)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Confluence by Critical Pair Analysis Revisited. CADE (2019)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Confluence by Critical Pair Analysis Revisited (Extended Version). CoRR (2019)
Aart Middeldorp, Julian Nagele, Kiraku Shintani
Confluence Competition 2019. TACAS (3) (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Nao Hirokawa, Julian Nagele, Aart Middeldorp
Cops and CoCoWeb: Infrastructure for Confluence Tools. IJCAR (2018)
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl
Confluence Competition 2018. FSCD (2018)
Julian Nagele, Bertram Felgenhauer, Harald Zankl
Certifying Confluence Proofs via Relative Termination and Rule Labeling. Log. Methods Comput. Sci. 13 (2) (2017)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$. CoRR (2017)
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
CSI: New Evidence - A Progress Report. CADE (2017)
Julian Nagele, Aart Middeldorp
CoCoWeb - A Convenient Web Interface for Confluence Tools. CoRR (2017)
Julian Nagele, Aart Middeldorp
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems. ITP (2016)
Julian Nagele, Bertram Felgenhauer, Harald Zankl
Certifying Confluence Proofs via Relative Termination and Rule Labeling. CoRR (2016)
Julian Nagele, Vincent van Oostrom, Christian Sternagel
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle. CoRR (2016)
Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian Sternagel
The Z Property. Arch. Formal Proofs 2016 (2016)
Julian Nagele, René Thiemann
Certification of Confluence Proofs using CeTA. CoRR (2015)
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl
Confluence Competition 2015. CADE (2015)
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. RTA (2015)
Julian Nagele, Harald Zankl
Certified Rule Labeling. RTA (2015)
Julian Nagele, René Thiemann, Sarah Winkler
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations. VSTTE (2014)
René Thiemann, Guillaume Allais, Julian Nagele
On the Formalization of Termination Techniques based on Multiset Orderings. RTA (2012)