Takip et
Julian Nagele
Julian Nagele
Bilinmeyen bağlantı
jnagele.net üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
502019
CSI: New evidence–a progress report
J Nagele, B Felgenhauer, A Middeldorp
International Conference on Automated Deduction, 385-397, 2017
432017
Blockchain superoptimizer
J Nagele, MA Schett
arXiv preprint arXiv:2005.05912, 2020
312020
On the formalization of termination techniques based on multiset orderings
R Thiemann, G Allais, J Nagele
312012
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
252015
Confluence competition 2019
A Middeldorp, J Nagele, K Shintani
International Conference on Tools and Algorithms for the Construction and …, 2019
232019
Certification of classical confluence results for left-linear term rewrite systems
J Nagele, A Middeldorp
International Conference on Interactive Theorem Proving, 290-306, 2016
232016
Cops and CoCoWeb: Infrastructure for confluence tools
N Hirokawa, J Nagele, A Middeldorp
International Joint Conference on Automated Reasoning, 346-353, 2018
222018
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
212015
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
132015
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
122021
Certified rule labeling
J Nagele, H Zankl
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
122015
Mechanizing Confluence
J Nagele
PhD thesis, University of Innsbruck, 2017
102017
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
82017
CoCo 2016 Participant: CSIˆho 0.2
J Nagele
82016
Populating the peephole optimizer of a smart contract compiler
MA Schett, J Nagele
2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 3: 1-3: 15, 2020
62020
The Z property
B Felgenhauer, J Nagele, V van Oostrom, C Sternagel
Archive of 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
Confluence by critical pair analysis revisited (extended version)
N Hirokawa, J Nagele, V van Oostrom, M Oyamaguchi
arXiv preprint arXiv:1905.11733, 2019
22019
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20