Martin Raska

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Efficient Similarity Search

Top Venues

Arch. Formal Proofs

Publications

Stepan Holub, Martin Raska, Stepán Starosta
Binary Codes that do not Preserve Primitivity. J. Autom. Reason. 67 (3) (2023)
Stepan Holub, Martin Raska
Binary codes that do not preserve primitivity. Arch. Formal Proofs 2023 (2023)
Stepan Holub, Martin Raska, Stepán Starosta
Binary Codes that Do Not Preserve Primitivity. IJCAR (2022)
Stepan Holub, Martin Raska, Stepán Starosta
Binary codes that do not preserve primitivity. CoRR (2022)
Martin Raska, Stepán Starosta
Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper). CICM Workshops (2021)
Stepan Holub, Martin Raska, Stepán Starosta
Combinatorics on Words Basics. Arch. Formal Proofs 2021 (2021)
Martin Raska, Stepán Starosta
Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL. CoRR (2021)