Julian Nagele

24 papers A 4B 2Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
First-Order Rewriting.
Arch. Formal Proofs
René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler, Akihisa Yamada
2021 J jnl
CoCo 2019: report on the eighth confluence competition.
Int. J. Softw. Tools Technol. Transf.
Aart Middeldorp, Julian Nagele, Kiraku Shintani
2020 J jnl
Blockchain Superoptimizer.
CoRR
Julian Nagele, Maria Anna Schett
2020 — conf
Populating the Peephole Optimizer of a Smart Contract Compiler.
FMBC@CAV
Maria Anna Schett, Julian Nagele
2019 — conf
Confluence Competition 2019.
TACAS (3)
Aart Middeldorp, Julian Nagele, Kiraku Shintani
2019 J jnl
Confluence by Critical Pair Analysis Revisited (Extended Version).
CoRR
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
2019 A conf
Confluence by Critical Pair Analysis Revisited.
CADE
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
2019 — conf
TOOLympics 2019: An Overview of Competitions in Formal Methods.
TACAS (3)
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
2018 B conf
Confluence Competition 2018.
FSCD
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl
2018 A conf
Cops and CoCoWeb: Infrastructure for Confluence Tools.
IJCAR
Nao Hirokawa, Julian Nagele, Aart Middeldorp
2017 A conf
CSI: New Evidence - A Progress Report.
CADE
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
2017 J jnl
Certifying Confluence Proofs via Relative Termination and Rule Labeling.
Log. Methods Comput. Sci.
Julian Nagele, Bertram Felgenhauer, Harald Zankl
2017 J jnl
CoCoWeb - A Convenient Web Interface for Confluence Tools.
CoRR
Julian Nagele, Aart Middeldorp
2017 J jnl
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$.
CoRR
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
2016 J jnl
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle.
CoRR
Julian Nagele, Vincent van Oostrom, Christian Sternagel
2016 B conf
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems.
ITP
Julian Nagele, Aart Middeldorp
2016 J jnl
Certifying Confluence Proofs via Relative Termination and Rule Labeling.
CoRR
Julian Nagele, Bertram Felgenhauer, Harald Zankl
2016 J jnl
The Z Property.
Arch. Formal Proofs
Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian Sternagel
2015 J jnl
Certification of Confluence Proofs using CeTA.
CoRR
Julian Nagele, René Thiemann
2015 — conf
Certified Rule Labeling.
RTA
Julian Nagele, Harald Zankl
2015 A conf
Confluence Competition 2015.
CADE
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl
2015 — conf
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.
RTA
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
2014 — conf
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations.
VSTTE
Julian Nagele, René Thiemann, Sarah Winkler
2012 — conf
On the Formalization of Termination Techniques based on Multiset Orderings.
RTA
René Thiemann, Guillaume Allais, Julian Nagele