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 × Japan
1 × Serbia
1 × Spain
1 × The Netherlands
2 × Poland
Collaborated with:
A.Middeldorp J.Nagele H.Zankl R.Thiemann V.v.Oostrom
Talks about:
confluenc (3) diagram (2) decreas (2) analysi (2) system (2) rewrit (2) csi (2) reachabl (1) progress (1) automata (1)

Person: Bertram Felgenhauer

DBLP DBLP: Felgenhauer:Bertram

Contributed to:

RTA 20152015
LATA 20142014
RTA 20132013
RTA 20122012
CADE 20112011
RTA 20112011
CADE 20172017

Wrote 7 papers:

RTA-2015-NageleFM #analysis #automation #confluence #term rewriting
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.
LATA-2014-FelgenhauerT #analysis #automaton #reachability
Reachability Analysis with State-Compatible Automata (BF, RT), pp. 347–359.
RTA-2013-FelgenhauerO #diagrams #order #proving
Proof Orders for Decreasing Diagrams (BF, VvO), pp. 174–189.
RTA-2012-Felgenhauer #confluence #polynomial #term rewriting
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time (BF), pp. 165–175.
CADE-2011-ZanklFM #confluence #named
CSI — A Confluence Tool (HZ, BF, AM), pp. 499–505.
RTA-2011-ZanklFM #diagrams
Labelings for Decreasing Diagrams (HZ, BF, AM), pp. 377–392.
CADE-2017-NageleFM #named
CSI: New Evidence - A Progress Report (JN, BF, AM), pp. 385–397.

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.