Julian Nagele
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | Populating the Peephole Optimizer of a Smart Contract Compiler. | Maria Anna Schett, Julian Nagele |
| 2019 | CADE | Confluence by Critical Pair Analysis Revisited. | Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 2019 | TACAS | Confluence Competition 2019. | Aart Middeldorp, Julian Nagele, Kiraku Shintani |
| 2018 | CADE | Cops and CoCoWeb: Infrastructure for Confluence Tools. | Nao Hirokawa, Julian Nagele, Aart Middeldorp |
| 2017 | CADE | CSI: New Evidence - A Progress Report. | Julian Nagele, Bertram Felgenhauer, Aart Middeldorp |
| 2016 | ITP | Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems. | Julian Nagele, Aart Middeldorp |
| 2015 | CADE | Confluence Competition 2015. | Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl |