Maximilian Schlund

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Newton's Method - There and Back Again.

[BibT_eX]

[DOI]

Proceedings of the Taming the Infinities of Concurrency, 2024

2016

Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications.

[BibT_eX]

[DOI]

PhD thesis, 2016

Convergence of Newton's Method over Commutative Semirings.

[BibT_eX]

[DOI]

Inf. Comput., 2016

2015

FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2015

Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity.

[BibT_eX]

[DOI]

Georg Bachmeier

Proceedings of the Language and Automata Theory and Applications, 2015

2014

Regular Expressions for Provenance.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on the Theory and Practice of Provenance, 2014

A Brief History of Strahler Numbers.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2014

Fast and Accurate Unlexicalized Parsing via Structural Annotations.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, 2014

2013

Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.

[BibT_eX]

[DOI]

Michal Terepeta

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

Learning Workflow Petri Nets.

[BibT_eX]

[DOI]

Martin Leucker