Simon Wolfsteiner

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Regular Expressions

Intuitionistic Logic

Language Independent

Deterministic Finite Automata

Top Venues

Ann. Pure Appl. Log.

Electron. Colloquium Comput. Complex.

Publications

Hermann Gruber, Markus Holzer, Simon Wolfsteiner
On Minimizing Regular Expressions Without Kleene Star. FCT (2021)
Hermann Gruber, Markus Holzer, Simon Wolfsteiner
On Minimizing Regular Expressions Without Kleene Star. Electron. Colloquium Comput. Complex. 27 (2020)
Stefan Hetzl, Simon Wolfsteiner
On the cover complexity of finite languages. Theor. Comput. Sci. 798 (2019)
Markus Holzer, Simon Wolfsteiner
On the Grammatical Complexity of Finite Languages. DCFS (2018)
Stefan Hetzl, Simon Wolfsteiner
Cover Complexity of Finite Languages. DCFS (2018)
Hermann Gruber, Markus Holzer, Simon Wolfsteiner
On Minimal Grammar Problems for Finite Languages. DLT (2018)
David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
Ceres in intuitionistic logic. Ann. Pure Appl. Log. 168 (10) (2017)
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
System Description: GAPT 2.0. IJCAR (2016)