Stepán Starosta
According to our database1,
Stepán Starosta
authored at least 38 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
The number of primitive words of unbounded exponent in the language of an HD0L-system is finite.
J. Comb. Theory, Ser. A, 2024
2023
Arch. Formal Proofs, 2023
2021
Eur. J. Comb., 2021
Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL.
CoRR, 2021
Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper).
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the Developments in Language Theory - 25th International Conference, 2021
2019
Proceedings of the Combinatorics on Words - 12th International Conference, 2019
2018
Theor. Comput. Sci., 2018
2017
Proceedings of the Combinatorics on Words - 11th International Conference, 2017
2016
Eur. J. Comb., 2016
Discret. Math. Theor. Comput. Sci., 2016
2015
J. Discrete Algorithms, 2015
Proceedings of the Developments in Language Theory - 19th International Conference, 2015
2014
Theor. Comput. Sci., 2014
2013
Languages invariant under more symmetries: Overlapping factors versus palindromic richness.
Discret. Math., 2013
2012
2011
Proceedings of the Developments in Language Theory - 15th International Conference, 2011
2010
RAIRO Theor. Informatics Appl., 2010
2009