Julian Nagele

According to our database, Julian Nagele authored at least 22 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

CoCo 2019: report on the eighth confluence competition.

Aart Middeldorp, Julian Nagele, Kiraku Shintani

Int. J. Softw. Tools Technol. Transf., 2021

2020

Blockchain Superoptimizer.

Julian Nagele, Maria Anna Schett

CoRR, 2020

Populating the Peephole Optimizer of a Smart Contract Compiler.

Maria Anna Schett, Julian Nagele

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

Confluence by Critical Pair Analysis Revisited (Extended Version).

Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi

CoRR, 2019

Confluence Competition 2019.

Aart Middeldorp, Julian Nagele, Kiraku Shintani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Confluence by Critical Pair Analysis Revisited.

Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Confluence Competition 2018.

Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Cops and CoCoWeb: Infrastructure for Confluence Tools.

Nao Hirokawa, Julian Nagele, Aart Middeldorp

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Certifying Confluence Proofs via Relative Termination and Rule Labeling.

Julian Nagele, Bertram Felgenhauer, Harald Zankl

Log. Methods Comput. Sci., 2017

Critical Peaks Redefined - $Φ\sqcup Ψ= \top$.

Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi

CoRR, 2017

CoCoWeb - A Convenient Web Interface for Confluence Tools.

Julian Nagele, Aart Middeldorp

CoRR, 2017

CSI: New Evidence - A Progress Report.

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp

Proceedings of the Automated Deduction - CADE 26, 2017

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

The Z Property.

Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian Sternagel

Arch. Formal Proofs, 2016

Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems.

Julian Nagele, Aart Middeldorp

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Certification of Confluence Proofs using CeTA.

Julian Nagele, René Thiemann

CoRR, 2015

Certified Rule Labeling.

Julian Nagele, Harald Zankl

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Confluence Competition 2015.

Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations.

Julian Nagele, René Thiemann, Sarah Winkler

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2012

On the Formalization of Termination Techniques based on Multiset Orderings.

René Thiemann, Guillaume Allais, Julian Nagele

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012