Simon Wolfsteiner

dblp:181/3362 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0003-0459-8487ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 since 2021
YearPublicationVenuePosition
2021 On Minimizing Regular Expressions Without Kleene Star
Hermann Gruber, Markus Holzer 0001, Simon Wolfsteiner
FCT3
2019 On the cover complexity of finite languages
Stefan Hetzl, Simon Wolfsteiner
Theor. Comput. Sci.2
2018 On Minimal Grammar Problems for Finite Languages
Hermann Gruber, Markus Holzer 0001, Simon Wolfsteiner
DLT3
2017 Ceres in intuitionistic logic
David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
Ann. Pure Appl. Log.4