default search action

combined dblp search
author search
venue search
publication search

ask others

Julian Nagele

> Home > Persons

Person information

affiliation: Queen Mary University of London, UK
affiliation (until 2017): University of Innsbruck, Department of Computer Science, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MiddeldorpNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MiddeldorpNS21
Aart Middeldorp, Julian Nagele, Kiraku Shintani:
CoCo 2019: report on the eighth confluence competition. Int. J. Softw. Tools Technol. Transf. 23(6): 905-916 (2021)
2020
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SchettN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SchettN20
Maria Anna Schett, Julian Nagele:
Populating the Peephole Optimizer of a Smart Contract Compiler. FMBC@CAV 2020: 3:1-3:15
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05912
Julian Nagele, Maria Anna Schett:
Blockchain Superoptimizer. CoRR abs/2005.05912 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaNOO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaNOO19
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Confluence by Critical Pair Analysis Revisited. CADE 2019: 319-336
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BartocciBBFGHHK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BartocciBBFGHHK19
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:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MiddeldorpNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MiddeldorpNS19
Aart Middeldorp, Julian Nagele, Kiraku Shintani:
Confluence Competition 2019. TACAS (3) 2019: 25-40
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-11733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-11733
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Confluence by Critical Pair Analysis Revisited (Extended Version). CoRR abs/1905.11733 (2019)
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaNM18
Nao Hirokawa, Julian Nagele, Aart Middeldorp:
Cops and CoCoWeb: Infrastructure for Confluence Tools. IJCAR 2018: 346-353
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/0001HHMN0SZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/0001HHMN0SZ18
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl:
Confluence Competition 2018. FSCD 2018: 32:1-32:5
2017
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/NageleFZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/NageleFZ17
Julian Nagele, Bertram Felgenhauer, Harald Zankl:
Certifying Confluence Proofs via Relative Termination and Rule Labeling. Log. Methods Comput. Sci. 13(2) (2017)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NageleFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NageleFM17
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp:
CSI: New Evidence - A Progress Report. CADE 2017: 385-397
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-07876
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07876
Julian Nagele, Aart Middeldorp:
CoCoWeb - A Convenient Web Interface for Confluence Tools. CoRR abs/1708.07876 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-07877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07877
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$. CoRR abs/1708.07877 (2017)
2016
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/FelgenhauerNOS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FelgenhauerNOS16
Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian Sternagel:
The Z Property. Arch. Formal Proofs 2016 (2016)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/NageleM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/NageleM16
Julian Nagele, Aart Middeldorp:
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems. ITP 2016: 290-306
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NageleOS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NageleOS16
Julian Nagele, Vincent van Oostrom, Christian Sternagel:
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle. CoRR abs/1609.03139 (2016)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NageleFZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NageleFZ16
Julian Nagele, Bertram Felgenhauer, Harald Zankl:
Certifying Confluence Proofs via Relative Termination and Rule Labeling. CoRR abs/1612.07195 (2016)
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/AotoHN0Z15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AotoHN0Z15
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl:
Confluence Competition 2015. CADE 2015: 101-104
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/NageleFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/NageleFM15
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp:
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. RTA 2015: 257-268
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/NageleZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/NageleZ15
Julian Nagele, Harald Zankl:
Certified Rule Labeling. RTA 2015: 269-284
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NageleT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NageleT15
Julian Nagele, René Thiemann:
Certification of Confluence Proofs using CeTA. CoRR abs/1505.01337 (2015)
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NageleTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NageleTW14
Julian Nagele, René Thiemann, Sarah Winkler:
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations. VSTTE 2014: 216-232
2012
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/ThiemannAN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ThiemannAN12
René Thiemann, Guillaume Allais, Julian Nagele:
On the Formalization of Termination Techniques based on Multiset Orderings. RTA 2012: 339-354

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.