| A brief history of Strahler numbers J Esparza, M Luttenberger, M Schlund Language and Automata Theory and Applications: 8th International Conference …, 2014 | 29 | 2014 |
| 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 | 26 | 2015 |
| Learning workflow petri nets J Esparza, M Leucker, M Schlund International Conference on Applications and Theory of Petri Nets, 206-225, 2010 | 26 | 2010 |
| 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 | 23 | 2015 |
| Learning workflow petri nets J Esparza, M Leucker, M Schlund Fundamenta Informaticae 113 (3-4), 205-228, 2011 | 15 | 2011 |
| Analyze this! sound static analysis for integration verification of large-scale automotive software D Kaestner, B Schmidt, M Schlund, L Mauborgne, S Wilhelm, C Ferdinand SAE Technical Paper, 2019 | 12 | 2019 |
| Convergence of newton's method over commutative semirings M Luttenberger, M Schlund Information and Computation 246, 43-61, 2016 | 8 | 2016 |
| Convergence of Newton’s method over commutative semirings M Luttenberger, M Schlund Language and Automata Theory and Applications: 7th International Conference …, 2013 | 8 | 2013 |
| Graph decompositions, Latin squares, and games M Schlund Diploma thesis, Technische Universität München, 2011 | 7 | 2011 |
| 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 | 6 | 2013 |
| An Extension of Parikh's Theorem beyond Idempotence M Luttenberger, M Schlund arXiv preprint arXiv:1112.2864, 2011 | 6 | 2011 |
| Regular expressions for provenance M Luttenberger, M Schlund 6th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2014), 2014 | 5 | 2014 |
| Algebraic systems of fixpoint equations over semirings: theory and applications M Schlund Technische Universität München, 2016 | 4 | 2016 |
| A brief history of Strahler numbers—with a preface J Esparza, M Luttenberger, M Schlund Technical report, Technical University of Munich, 2016 | 1 | 2016 |
| Fast and accurate unlexicalized parsing via structural annotations M Schlund, M Luttenberger, J Esparza Proceedings of the 14th Conference of the European Chapter of the …, 2014 | 1 | 2014 |
| Compositional verification of embedded software systems A Flexeder, B Schmidt, J Quante, M Schlund US Patent 11,977,478, 2024 | | 2024 |
| Newton’s Method–There and Back Again M Luttenberger, M Schlund Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024 | | 2024 |
| There and Back M Luttenberger, M Schlund Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024 | | 2024 |
| Formal Runtime Error Detection During Development in the Automotive Industry J Hecking-Harbusch, J Quante, M Schlund International Conference on Verification, Model Checking, and Abstract …, 2023 | | 2023 |
