Maximilian Schlund
Title
Cited by
Cited by
Year
Learning workflow petri nets
J Esparza, M Leucker, M Schlund
International Conference on Applications and Theory of Petri Nets, 206-225, 2010
232010
Finite automata for the sub-and superword closure of CFLs: Descriptional and computational complexity
G Bachmeier, M Luttenberger, M Schlund
International Conference on Language and Automata Theory and Applications …, 2015
182015
A brief history of Strahler numbers
J Esparza, M Luttenberger, M Schlund
International Conference on Language and Automata Theory and Applications, 1-13, 2014
162014
FPsolve: A Generic Solver for Fixpoint Equations over Semirings
J Esparza, M Luttenberger, M Schlund
International Conference on Implementation and Application of Automata, 1-15, 2014
92014
Learning workflow petri nets
J Esparza, M Leucker, M Schlund
Fundamenta Informaticae 113 (3-4), 205-228, 2011
92011
Putting Newton into practice: A solver for polynomial equations over semirings
M Schlund, M Terepeta, M Luttenberger
International Conference on Logic for Programming Artificial Intelligence …, 2013
62013
An Extension of Parikh's Theorem beyond Idempotence
M Luttenberger, M Schlund
arXiv preprint arXiv:1112.2864, 2011
62011
Graph Decompositions, Latin Squares, and Games
M Schlund
62011
Convergence of Newton’s Method over Commutative Semirings
M Luttenberger, M Schlund
International Conference on Language and Automata Theory and Applications …, 2013
52013
Convergence of Newton's Method over Commutative Semirings
M Luttenberger, M Schlund
Information and Computation 246, 43-61, 2016
42016
Algebraic systems of fixpoint equations over semirings: Theory and applications
M Schlund
Technische Universität München, 2016
22016
Fpsolve: A generic solver for fixpoint equations over semirings
J Esparza, M Luttenberger, M Schlund
International Journal of Foundations of Computer Science 26 (07), 805-825, 2015
22015
Finite automata for the sub-and superword closure of CFLs: Descriptional and computational complexity
G Bachmeier, M Luttenberger, M Schlund
arXiv preprint arXiv:1410.2737, 2014
22014
A brief history of Strahler numbers—with a preface
J Esparza, M Luttenberger, M Schlund
Technical report, Technical University of Munich, 2016
12016
Fast and Accurate Unlexicalized Parsing via Structural Annotations
M Schlund, M Luttenberger, J Esparza
EACL 2014, 164--168, 2014
2014
Regular Expressions for Provenance
M Luttenberger, M Schlund
6th {USENIX} Workshop on the Theory and Practice of Provenance (TaPP 2014), 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–16