The complexity of primal logic with disjunction. - Marco Magirius; Martin Mundhenk; Raphaela Palenta (Inf. Process. Lett., 2015)

Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time. - Adrien Boiret; Raphaela Palenta (DLT, 2016)

A map of update constraints in inductive inference. - Timo Kötzing; Raphaela Palenta (Theor. Comput. Sci., 2016)

Computing the Longest Common Prefix of a Context-free Language in Polynomial Time. - Michael Luttenberger; Raphaela Palenta; Helmut Seidl (STACS, 2018)

Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time. - Helmut Seidl; Raphaela Palenta; Sebastian Maneth (FoSSaCS, 2019)