I agree that this site is using cookies. You can find further informations here.
X
Birkmann, Fabian
9  results:
Search for persons X
?
1

Monoidal Extended Stone Duality:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Birkmann, Fabian ; Urbat, Henning ; Milius, Stefan - p. 144-165 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Eilenberg's variety theorem without Boolean operations:

Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning
Information and Computation.  295 (2023)  - p. 104916 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Distributed Coalgebraic Partition Refinement:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Birkmann, Fabian ; Deifel, Hans-Peter ; Milius, Stefan - p. 159-177 , 2022
Link: https://doi.org/10.1007/..
 
?
4

On Language Varieties Without Boolean Operations:

, In: Language and Automata Theory and Applications; Lecture Notes in Computer Science,
Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning - p. 3-15 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Monoidal Extended Stone Duality:

Birkmann, Fabian ; Urbat, Henning ; Milius, Stefan
http://arxiv.org/abs/2401.08219.  , 2024
Link: http://arxiv.org/abs/240..
 
?
6

Nominal Topology for Data Languages:

Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning
http://arxiv.org/abs/2304.13337.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Distributed Coalgebraic Partition Refinement:

Birkmann, Fabian ; Deifel, Hans-Peter ; Milius, Stefan
http://arxiv.org/abs/2204.06248.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

Software and Benchmarks for Distributed Coalgebraic Partiti..:

Birkmann, Fabian ; Deifel, Hans-Peter ; Milius, Stefan
doi:10.5281/zenodo.5907083.  , 2022
Link: https://zenodo.org/recor..
 
?
9

On Language Varieties Without Boolean Operations:

Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning
http://arxiv.org/abs/2011.06951.  , 2020
Link: http://arxiv.org/abs/201..
 
1-9