Florian Starke

12 papers A 1C 1Journal 9
YearRankTypeTitle / Venue / Authors
2025 A conf
Symmetric Linear Arc Monadic Datalog and Gadget Reductions.
ICDT
Manuel Bodirsky, Florian Starke
2024 — —
Digraphs modulo primitive positive constructability
Florian Starke
2024 J jnl
Symmetric Linear Arc Monadic Datalog and Gadget Reductions.
CoRR
Manuel Bodirsky, Florian Starke
2023 J jnl
The smallest hard trees.
Constraints An Int. J.
Manuel Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler
2022 J jnl
Maximal Digraphs with Respect to Primitive Positive Constructability.
Comb.
Manuel Bodirsky, Florian Starke
2022 J jnl
The Smallest Hard Trees.
CoRR
Manuel Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler
2021 J jnl
Exploring the topological entropy of formal languages.
Theor. Comput. Sci.
Florian Starke
2021 J jnl
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions.
Int. J. Algebra Comput.
Manuel Bodirsky, Florian Starke, Albert Vucaj
2021 J jnl
Uniform parsing for hyperedge replacement grammars.
J. Comput. Syst. Sci.
Henrik Björklund, Frank Drewes, Petter Ericson, Florian Starke
2020 C conf
ASNP: A Tame Fragment of Existential Second-Order Logic.
CiE
Manuel Bodirsky, Simon Knäuer, Florian Starke
2020 J jnl
ASNP: a tame fragment of existential second-order logic.
CoRR
Manuel Bodirsky, Simon Knäuer, Florian Starke
2018 J jnl
Topological Entropy of Formal Languages.
CoRR
Florian Starke