Fabian Lenke

According to our database, Fabian Lenke authored at least 10 papers between 2021 and 2026.

Collaborative distances:

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

2026

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on.

Fabian Lenke, Stefan Milius, Henning Urbat

CoRR, February, 2026

Demystifying Codensity Monads via Duality.

Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

2025

Extended Stone Duality via Monoidal Adjunctions.

Fabian Lenke, Henning Urbat, Stefan Milius

Log. Methods Comput. Sci., 2025

Algebraic Language Theory with Effects.

Fabian Lenke, Stefan Milius, Henning Urbat, Thorsten Wißmann

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

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