Follow
Julian Nagele
Julian Nagele
Unknown affiliation
Verified email at jnagele.net - Homepage
Title
Cited by
Cited by
Year
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
412019
CSI: New evidence–a progress report
J Nagele, B Felgenhauer, A Middeldorp
International Conference on Automated Deduction, 385-397, 2017
372017
On the formalization of termination techniques based on multiset orderings
R Thiemann, G Allais, J Nagele
282012
Confluence competition 2019
A Middeldorp, J Nagele, K Shintani
International Conference on Tools and Algorithms for the Construction and …, 2019
222019
Cops and CoCoWeb: Infrastructure for confluence tools
N Hirokawa, J Nagele, A Middeldorp
International Joint Conference on Automated Reasoning, 346-353, 2018
222018
Blockchain superoptimizer
J Nagele, MA Schett
arXiv preprint arXiv:2005.05912, 2020
212020
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
212015
Certification of classical confluence results for left-linear term rewrite systems
J Nagele, A Middeldorp
International Conference on Interactive Theorem Proving, 290-306, 2016
202016
Improving automatic confluence analysis of rewrite systems by redundant rules
J Nagele, B Felgenhauer, A Middeldorp
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
202015
Confluence by critical pair analysis revisited
N Hirokawa, J Nagele, V van Oostrom, M Oyamaguchi
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
152019
Certification of confluence proofs using CeTA
J Nagele, R Thiemann
arXiv preprint arXiv:1505.01337, 2015
122015
Certified rule labeling
J Nagele, H Zankl
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
112015
CoCo 2019: report on the eighth confluence competition
A Middeldorp, J Nagele, K Shintani
International Journal on Software Tools for Technology Transfer 23 (6), 905-916, 2021
102021
Mechanizing Confluence
J Nagele
PhD thesis, University of Innsbruck, 2017
82017
CoCo 2016 Participant: CSIˆho 0.2
J Nagele
82016
Certifying Confluence Proofs via Relative Termination and Rule Labeling
J Nagele, B Felgenhauer, H Zankl
Logical Methods in Computer Science 13 (2), 1-27, 2017
72017
The Z property
B Felgenhauer, J Nagele, V van Oostrom, C Sternagel
Arch. Formal Proofs 2016, 2016
62016
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the -calculus in Nominal Isabelle
J Nagele, V van Oostrom, C Sternagel
arXiv preprint arXiv:1609.03139, 2016
52016
Populating the peephole optimizer of a smart contract compiler
MA Schett, J Nagele
2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020
32020
Confluence by critical pair analysis revisited (extended version)
N Hirokawa, J Nagele, V van Oostrom, M Oyamaguchi
arXiv preprint arXiv:1905.11733, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20