Publications:  Mr Julian Nagele

NAGELE J, Middeldorp A, Shintani K (2019). Confluence Competition 2019. Lecture Notes in Computer Science. Conference: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Prague) from: 11/04/2019 to: 06/04/2019, vol. 11429, 25-40.

NAGELE J, Bartocci E, Beyer D, Black PE, Fedyukovich G, Garavel H, Hartmanns A, Huisman M et al. (2019). TOOLympics 2019: An Overview of Competitions in Formal Methods. Lecture Notes in Computer Science. Conference: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Prague) from: 06/04/2019 to: 11/04/2019, vol. 11429, 3-24.

NAGELE J, Aoto T, Hamana M, Hirokawa N, Middeldorp A, Nishida N, Shintani K, Zankl H (2018). Confluence Competition 2018. LIPIcs : Leibniz International Proceedings in Informatics. Editors: Kirchner, H, Conference: 3rd International Conference on Formal Structures for Computation and Deduction vol. 108, 32:1-32:5.

NAGELE J, Hirokawa N, Middeldorp A (2018). Cops and CoCoWeb: Infrastructure for Confluence Tools. Lecture Notes in Computer Science. Editors: Galmiche, D, Schulz, S, Sebastiani, R, Conference: 9th International Joint Conference on Automated Reasoning vol. 10900, 346-353.

Nagele J, Middeldorp A (2017). CoCoWeb - A Convenient Web Interface for Confluence Tools. Proceedings of the 6th International Workshop on Confluence, pages 39 - 43, 2017. Conference: 6th International Workshop on Confluence

Hirokawa N, Nagele J, Oostrom VV, Oyamaguchi M (2017). Critical Peaks Redefined - Φ⊔Ψ=⊤. In Proceedings of the 6th International Workshop on Confluence, pages 33 - 37, 2017. Conference: 6th International Workshop on Confluence

Nagele J, Felgenhauer B, Middeldorp A (2017). CSI: New evidence – a progress report. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Conference: 26th International Conference on Automated Deduction vol. 10395 LNAI, 385-397.

Nagele J, Felgenhauer B, Zankl H(2017). Certifying confluence proofs via relative termination and rule labeling. Logical Methods in Computer Science (LMCS) vol. 13, (2) Article 4, 1-1.

Nagele J, Middeldorp A (2016). Certification of classical confluence results for left-linear term rewrite systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Conference: 7th International Conference on Interactive Theorem Proving vol. 9807 LNCS, 290-309.

Nagele J, Oostrom VV, Sternagel C (2016). 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, pages 55 - 59, 2016. Conference: 5th International Workshop on Confluence

NAGELE J, Felgenhauer B, van Oostrom V, Sternagel C (2016). The Z Property. Abstract: java.sql.Clob org.hibernate.engine.jdbc.WrappedClob java.io.Serializable ,

Aoto T, Hirokawa N, Nagele J, Nishida N, Zankl H (2015). Confluence competition 2015. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Conference: 25th International Conference on Automated Deduction vol. 9195, 101-104.

Nagele J, Zankl H (2015). Certified rule labeling. Leibniz International Proceedings in Informatics, LIPIcs. Conference: 26th International Conference on Rewriting Techniques and Applications vol. 36, 269-284.

Nagele J, Felgenhauer B, Middeldorp A (2015). Improving automatic confluence analysis of rewrite systems by redundant rules. Leibniz International Proceedings in Informatics, LIPIcs. Conference: 26th International Conference on Rewriting Techniques and Applications vol. 36, 257-268.

Nagele J, Thiemann R, Winkler S (2014). Certification of nontermination proofs using strategies and nonlooping derivations. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Conference: 6th Working Conference on Verified Software: Theories, Tools, and Experiments vol. 8471, 216-232.

Nagele J, Thiemann R (2014). Certification of Confluence Proofs using CeTA. In Proceedings of the 3rd International Workshop on Confluence, pages 19 - 23, 2014. Conference: 3rd International Workshop on Confluence

Thiemann R, Allais G, Nagele J (2012). On the formalization of termination techniques based on multiset orderings. Leibniz International Proceedings in Informatics, LIPIcs. Conference: 23rd International Conference on Rewriting Techniques and Applications vol. 15, 339-354.