Fabian Birkmann

According to our database, Fabian Birkmann authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Monoidal Extended Stone Duality.

Fabian Birkmann, Henning Urbat, Stefan Milius

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Eilenberg's variety theorem without Boolean operations.

Fabian Birkmann, Stefan Milius, Henning Urbat

Inf. Comput., December, 2023

Nominal Topology for Data Languages.

Fabian Birkmann, Stefan Milius, Henning Urbat

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Software and Benchmarks for Distributed Coalgebraic Partition Refinement.

Fabian Birkmann, Hans-Peter Deifel, Stefan Milius

Dataset, January, 2022

Distributed Coalgebraic Partition Refinement.

Fabian Birkmann, Hans-Peter Deifel, Stefan Milius

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

On Language Varieties Without Boolean Operations.

Fabian Birkmann, Stefan Milius, Henning Urbat

Proceedings of the Language and Automata Theory and Applications, 2021