Travelled to:1 × Germany
1 × Japan
1 × Poland
Collaborated with:A.Middeldorp N.Hirokawa H.Zankl B.Felgenhauer R.Thiemann G.Allais V.v.Oostrom M.Oyamaguchi T.Aoto N.Nishida
Talks about:confluenc (4) analysi (2) rule (2) infrastructur (1) techniqu (1) progress (1) multiset (1) competit (1) revisit (1) certifi (1)
Person: Julian Nagele
DBLP: Nagele:Julian
Contributed to:
2015
201520122017
20182019Wrote 7 papers:
- CADE-2015-AotoHN0Z #confluence #contest
- Confluence Competition 2015 (TA, NH, JN, NN, HZ), pp. 101–104.
- RTA-2015-NageleFM #analysis #automation #confluence #term rewriting
- Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.
- RTA-2015-NageleZ
- Certified Rule Labeling (JN, HZ), pp. 269–284.
- RTA-2012-ThiemannAN #formal method #multi #on the #order #termination
- On the Formalization of Termination Techniques based on Multiset Orderings (RT, GA, JN), pp. 339–354.
- CADE-2017-NageleFM #named
- CSI: New Evidence - A Progress Report (JN, BF, AM), pp. 385–397.
- IJCAR-2018-HirokawaNM #confluence #framework #tool support
- Cops and CoCoWeb: Infrastructure for Confluence Tools (NH, JN, AM), pp. 346–353.
- CADE-2019-HirokawaNOO #analysis #confluence #revisited
- Confluence by Critical Pair Analysis Revisited (NH, JN, VvO, MO), pp. 319–336.