System Description: GAPT 2.0. - Gabriel Ebner; Stefan Hetzl; Giselle Reis; Martin Riener; Simon Wolfsteiner; Sebastian Zivota (IJCAR, 2016)

Ceres in intuitionistic logic. - David M. Cerna; Alexander Leitsch; Giselle Reis; Simon Wolfsteiner (Ann. Pure Appl. Log., 2017)

On the Grammatical Complexity of Finite Languages. - Markus Holzer 001; Simon Wolfsteiner (DCFS, 2018)

On Minimal Grammar Problems for Finite Languages. - Hermann Gruber; Markus Holzer 001; Simon Wolfsteiner (DLT, 2018)

On the cover complexity of finite languages. - Stefan Hetzl; Simon Wolfsteiner (Theor. Comput. Sci., 2019)

On Minimizing Regular Expressions Without Kleene Star. - Hermann Gruber; Markus Holzer 001; Simon Wolfsteiner (Electron. Colloquium Comput. Complex., 2020)