BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nagele:Julian

Contributed to:

CADE 20152015
RTA 20152015
RTA 20122012
CADE 20172017
IJCAR 20182018
CADE 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.