Learning Workflow Petri Nets. - Javier Esparza; Martin Leucker; Maximilian Schlund (Fundam. Informaticae, 2011)

Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. - Maximilian Schlund; Michal Terepeta; Michael Luttenberger (LPAR, 2013)

Fast and Accurate Unlexicalized Parsing via Structural Annotations. - Maximilian Schlund; Michael Luttenberger; Javier Esparza (EACL, 2014)

A Brief History of Strahler Numbers. - Javier Esparza; Michael Luttenberger; Maximilian Schlund (LATA, 2014)

Regular Expressions for Provenance. - Michael Luttenberger; Maximilian Schlund (TAPP, 2014)

Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. - Georg Bachmeier; Michael Luttenberger; Maximilian Schlund (LATA, 2015)

FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings. - Javier Esparza; Michael Luttenberger; Maximilian Schlund (Int. J. Found. Comput. Sci., 2015)

Convergence of Newton's Method over Commutative Semirings. - Michael Luttenberger; Maximilian Schlund (Inf. Comput., 2016)

Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications. - Maximilian Schlund (2016)

Newton's Method - There and Back Again. - Michael Luttenberger; Maximilian Schlund (Taming the Infinities of Concurrency, 2024)

Formal Runtime Error Detection During Development in the Automotive Industry. - Jesko Hecking-Harbusch; Jochen Quante; Maximilian Schlund (VMCAI (1), 2024)