Stepn Starosta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2011–2022
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CADE | Binary Codes that Do Not Preserve Primitivity. | Stepan Holub, Martin Raska, Stepn Starosta |
| 2021 | DLT | Lyndon Words Formalized in Isabelle/HOL. | Stepan Holub, Stepn Starosta |
| 2021 | ITP | Formalization of Basic Combinatorics on Words. | Stepan Holub, Stepn Starosta |
| 2015 | DLT | Interval Exchange Words and the Question of Hof, Knill, and Simon. | Zuzana Maskov, Edita Pelantov, Stepn Starosta |
| 2011 | DLT | Infinite Words Rich and Almost Rich in Generalized Palindromes. | Edita Pelantov, Stepn Starosta |