Maximilian Schlund

16 papers A 1B 2C 4Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Formal Runtime Error Detection During Development in the Automotive Industry.
VMCAI (1)
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
2024 — conf
Newton's Method - There and Back Again.
Taming the Infinities of Concurrency
Michael Luttenberger, Maximilian Schlund
2023 J jnl
Formal Runtime Error Detection During Development in the Automotive Industry.
CoRR
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
2016 — —
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications.
Maximilian Schlund
2016 J jnl
Convergence of Newton's Method over Commutative Semirings.
Inf. Comput.
Michael Luttenberger, Maximilian Schlund
2015 J jnl
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.
Int. J. Found. Comput. Sci.
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2015 C conf
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity.
LATA
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
2014 C conf
A Brief History of Strahler Numbers.
LATA
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2014 C conf
FPsolve: A Generic Solver for Fixpoint Equations over Semirings.
CIAA
Javier Esparza, Michael Luttenberger, Maximilian Schlund
2014 A conf
Fast and Accurate Unlexicalized Parsing via Structural Annotations.
EACL
Maximilian Schlund, Michael Luttenberger, Javier Esparza
2014 J jnl
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity.
CoRR
Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
2014 — conf
Regular Expressions for Provenance.
TAPP
Michael Luttenberger, Maximilian Schlund
2013 C conf
Convergence of Newton's Method over Commutative Semirings.
LATA
Michael Luttenberger, Maximilian Schlund
2013 B conf
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.
LPAR
Maximilian Schlund, Michal Terepeta, Michael Luttenberger
2011 J jnl
Learning Workflow Petri Nets.
Fundam. Informaticae
Javier Esparza, Martin Leucker, Maximilian Schlund
2010 B conf
Learning Workflow Petri Nets.
Petri Nets
Javier Esparza, Martin Leucker, Maximilian Schlund