Florian Starke

According to our database, Florian Starke authored at least 9 papers between 2018 and 2024.

Collaborative distances:

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

2024

Digraphs modulo primitive positive constructability

Florian Starke

PhD thesis, 2024

Symmetric Linear Arc Monadic Datalog and Gadget Reductions.

Manuel Bodirsky, Florian Starke

CoRR, 2024

2023

The smallest hard trees.

Manuel Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler

Constraints An Int. J., 2023

2022

Maximal Digraphs with Respect to Primitive Positive Constructability.

Manuel Bodirsky, Florian Starke

Comb., December, 2022

2021

Exploring the topological entropy of formal languages.

Florian Starke

Theor. Comput. Sci., 2021

Uniform parsing for hyperedge replacement grammars.

Henrik Björklund, Frank Drewes, Petter Ericson, Florian Starke

J. Comput. Syst. Sci., 2021

Smooth digraphs modulo primitive positive constructability and cyclic loop conditions.

Manuel Bodirsky, Florian Starke, Albert Vucaj

Int. J. Algebra Comput., 2021

2020

ASNP: A Tame Fragment of Existential Second-Order Logic.

Manuel Bodirsky, Simon Knäuer, Florian Starke

Proceedings of the Beyond the Horizon of Computability, 2020

2018

Topological Entropy of Formal Languages.

Florian Starke

CoRR, 2018