Maximilian Schlund

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 5

Top Venues

CoRR

LATA

EACL

VMCAI (1)

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
Formal Runtime Error Detection During Development in the Automotive Industry. VMCAI (1) (2024)
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
Formal Runtime Error Detection During Development in the Automotive Industry. CoRR (2023)
Michael Luttenberger, Maximilian Schlund
Convergence of Newton's Method over Commutative Semirings. Inf. Comput. 246 (2016)
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. LATA (2015)
Javier Esparza, Michael Luttenberger, Maximilian Schlund
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings. Int. J. Found. Comput. Sci. 26 (7) (2015)
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. CoRR (2014)
Michael Luttenberger, Maximilian Schlund
Regular Expressions for Provenance. TAPP (2014)
Javier Esparza, Michael Luttenberger, Maximilian Schlund
A Brief History of Strahler Numbers. LATA (2014)
Maximilian Schlund, Michael Luttenberger, Javier Esparza
Fast and Accurate Unlexicalized Parsing via Structural Annotations. EACL (2014)
Javier Esparza, Michael Luttenberger, Maximilian Schlund
FPsolve: A Generic Solver for Fixpoint Equations over Semirings. CIAA (2014)
Maximilian Schlund, Michal Terepeta, Michael Luttenberger
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. LPAR (2013)
Michael Luttenberger, Maximilian Schlund
Convergence of Newton's Method over Commutative Semirings. LATA (2013)
Javier Esparza, Martin Leucker, Maximilian Schlund
Learning Workflow Petri Nets. Fundam. Informaticae 113 (3-4) (2011)
Javier Esparza, Martin Leucker, Maximilian Schlund
Learning Workflow Petri Nets. Petri Nets (2010)

Maximilian Schlund.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maximilian Schlund