Journal Articles

• Julian Nagele, Bertram Felgenhauer, and Harald Zankl
  Certifying Confluence Proofs via Relative Termination and Rule Labeling
  Logical Methods in Computer Science 13(2:4), pp. 1 – 27, 2017.
  doi:10.23638/LMCS-13(2:4)2017

Papers in Proceedings

• Julian Nagele, Bertram Felgenhauer, and Aart Middeldorp
  CSI: New Evidence – A Progress Report
  In Proceedings of the 26th International Conference on Automated Deduction (CADE-26),
  Lecture Notes in Artificial Intelligence 10395, pp. 385 – 397, 2017. © Springer-Verlag
  doi:10.1007/978-3-319-63046-5_24
• Julian Nagele and Aart Middeldorp
  Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
  In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP '16),
  Lecture Notes in Computer Science 9807, pp. 290 – 306, 2016. © Springer-Verlag
  doi:10.1007/978-3-319-43144-4_18
• Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and Harald Zankl
  Confluence Competition 2015
  In Proceedings of the 25th International Conference on Automated Deduction (CADE-25),
  Lecture Notes in Artificial Intelligence 9195, pp. 101 – 104, 2015. © Springer-Verlag
  doi:10.1007/978-3-319-21401-6_5
• Julian Nagele and Harald Zankl
  Certified Rule Labeling
  In Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA '15),
  Leibniz International Proceedings in Informatics 36, pp. 269 – 284, 2015. Schloss Dagstuhl
  doi:10.4230/LIPIcs.RTA.2015.269
• Julian Nagele, Bertram Felgenhauer, and Aart Middeldorp
  Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules
  In Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA '15),
  Leibniz International Proceedings in Informatics 36, pp. 257 – 268, 2015. Schloss Dagstuhl
  doi:10.4230/LIPIcs.RTA.2015.257
• Julian Nagele, René Thiemann, and Sarah Winkler
  Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations
  In Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE '14),
  Lecture Notes in Computer Science 8471, pp. 216 – 232, 2014. © Springer-Verlag
  doi:10.1007/978-3-319-12154-3_14
• René Thiemann, Guillaume Allais, and Julian Nagele
  On the Formalization of Termination Techniques based on Multiset Orderings
  In Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA '12),
  Leibniz International Proceedings in Informatics 15, pp. 339 – 354, 2012. Schloss Dagstuhl
  doi:10.4230/LIPIcs.RTA.2012.339

Others

• Julian Nagele and Aart Middeldorp
  CoCoWeb — A Convenient Web Interface for Confluence Tools
  In Proceedings of the 6th International Workshop on Confluence (IWC '17),
  pp. 39 – 43, 2017.
  arXiv:1708.07876
• Nao Hirokawa, Julian Nagele, Vincent van Oostrom, and Michio Oyamaguchi
  Critical Peaks Redefined — Φ⊔Ψ=⊤
  In Proceedings of the 6th International Workshop on Confluence (IWC '17),
  pp. 33 – 37, 2017.
  arXiv:1708.07877
• Julian Nagele
  CoCo 2017 Participant: CSIˆho 0.3
  In Proceedings of the 6th International Workshop on Confluence (IWC '17),
  p. 77, 2017.
• Bertram Felgenhauer, Aart Middeldorp, and Julian Nagele
  CoCo 2017 Participant: CSI 1.1
  In Proceedings of the 6th International Workshop on Confluence (IWC '17),
  p. 76, 2017.
• Julian Nagele, Christian Sternagel, and Thomas Sternagel
  CoCo 2017 Participant: CeTA 2.31
  In Proceedings of the 6th International Workshop on Confluence (IWC '17),
  p. 72, 2017.
• Julian Nagele, Vincent van Oostrom, and Christian Sternagel
  A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle
  In Proceedings of the 5th International Workshop on Confluence (IWC '16),
  pp. 55 – 59, 2016.
  arXiv:1609.03139
• Julian Nagele
  CoCo 2016 Participant: CSIˆho 0.2
  In Proceedings of the 5th International Workshop on Confluence (IWC '16),
  p. 85, 2016.
• Bertram Felgenhauer, Aart Middeldorp, and Julian Nagele
  CoCo 2016 Participant: CSI 0.6
  In Proceedings of the 5th International Workshop on Confluence (IWC '16),
  p. 84, 2016.
• Julian Nagele, Christian Sternagel, and Thomas Sternagel
  CoCo 2016 Participant: CeTA 2.28
  In Proceedings of the 5th International Workshop on Confluence (IWC '16),
  p. 78, 2016.
• Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, and Christian Sternagel
  The Z Property
  Archive of Formal Proofs, June 2016, Formal proof development.
  afp:Rewriting_Z
• Julian Nagele
  CoCo 2015 Participant: CSIˆho 0.1
  In Proceedings of the 4th International Workshop on Confluence (IWC '15),
  p. 47, 2015.
• Bertram Felgenhauer, Aart Middeldorp, Julian Nagele and Harald Zankl
  CoCo 2015 Participant: CSI 0.5.1
  In Proceedings of the 4th International Workshop on Confluence (IWC '15),
  p. 46, 2015.
• Julian Nagele, Christian Sternagel, Thomas Sternagel, René Thiemann, Sarah Winkler and Harald Zankl
  CoCo Participant: CeTA 2.21
  In Proceedings of the 4th International Workshop on Confluence (IWC '15),
  p. 41, 2015.
• Julian Nagele and René Thiemann
  Certification of Confluence Proofs using CeTA
  In Proceedings of the 3rd International Workshop on Confluence (IWC '14),
  pp. 19 – 23, 2014.
  arXiv:1505.01337