Publications

2021
Reasoning with Ambiguity, Journal of Logic, Language and Information.

2017
Language-theoretic and Finite Relation Models for the (Full) Lambek Calculus. Journal of Logic, Language and Information.

The logic of ambiguity: The propositional case. Proceedings of Formal Grammar

2016
(mit Timm Lichte) The proper treatment of linguistic ambiguity in ordinary algebra. Formal Grammar 2016. Corrected version (there was an important mistake in the published paper!)

Automatic Concepts and Automata-theoretic Semantics for the Full Lambek Calculus. LACL 2016.

2015
Synchronous Subsequentiality and Approximations to Undecidable Problems. GandALF 2015: 58-72.

On some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results. Formal Grammar 2015.

2014

The Cantor-Bendixson Analysis of Finite Trees. Formal Grammar 2014: 185-200.

Kleene Algebras, Regular Languages and Substructural Logics. GandALF 2014: 46-59.

2013
(mit Younes Samih) Synchronous Regular Relations and Morphological Analysis. FSMNLP 2013: 35-38.

2012

Completeness of Syntactic Concept Lattices for the Full Lambek Calculus. To appear in Proceedings of the 17th Conference on Formal Grammar. Syntactic concept lattices are algebraic structures which are defined by the distributional structure of languages. I show that this subclass of residuated lattices forms a complete class of models for the Full Lambek calculus.

The Lattice of Automata Classes: On Mild Extensions of Pushdown Automata. Appeared in: Proceedings of the 4th Workshop on Non-classical Methods in Automata Theory and Applications (NCMA).

Concepts and Types: An Application to Formal Language Theory. Appeared in: Proceedings of the 9th Conference on Concept Lattices and Applications.

Towards a Theory of Self-constructing Automata. Appeared in: Proceedings of the 11th Conference on Unconventional Computation and Natural Computation.

2011
Regular Growth Automata: Properties of a Class of Finitely Induced Infinite Machines. Appeared in: Proceedings of the 12th Conference on the Mathematics of Language.

Modularization of Regular Growth Automata. Appeared in: Proceedings of the 9th Workshop on FSMNLP.

2010
(mit Maik St├╝hrenberg): Refining the Taxonomy of XML Schema Languages. A new Approach for Categorizing XML Schema Languages in Terms of Processing Complexity. Appeared in: Proceedings of Balisage: The Markup Conference, vol. 5.