Florian Starke

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Formal Language

Logical Equivalence

Context Free Grammars

Top Venues

J. Comput. Syst. Sci.

Constraints An Int. J.

Publications

Manuel Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler
The smallest hard trees. Constraints An Int. J. 28 (2) (2023)
Manuel Bodirsky, Florian Starke
Maximal Digraphs with Respect to Primitive Positive Constructability. Comb. 42 (6) (2022)
Manuel Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler
The Smallest Hard Trees. CoRR (2022)
Henrik Björklund, Frank Drewes, Petter Ericson, Florian Starke
Uniform parsing for hyperedge replacement grammars. J. Comput. Syst. Sci. 118 (2021)
Florian Starke
Exploring the topological entropy of formal languages. Theor. Comput. Sci. 849 (2021)
Manuel Bodirsky, Florian Starke, Albert Vucaj
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions. Int. J. Algebra Comput. 31 (5) (2021)
Manuel Bodirsky, Simon Knäuer, Florian Starke
ASNP: A Tame Fragment of Existential Second-Order Logic. CiE (2020)
Manuel Bodirsky, Simon Knäuer, Florian Starke
ASNP: a tame fragment of existential second-order logic. CoRR (2020)
Florian Starke
Topological Entropy of Formal Languages. CoRR (2018)