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.