Linear Fold and Tree Fold in Creation of Binary Decision Diagrams of Standard Benchmarks. - Michal Mrena; Peter Sedlacek; Miroslav Kvassay (IDAACS, 2021)

Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams. - Michal Mrena; Miroslav Kvassay (IDT, 2021)

Generating Monotone Boolean Functions Using Hasse Diagram. - Michal Mrena; Miroslav Kvassay (IDAACS, 2023)

Dynamic Binary Decision Diagram Creation Using an Extended Apply Algorithm. - Michal Mrena; Miroslav Kvassay; Sergey Stankevich (IDAACS, 2023)

Advanced Priority Queues in the OPTICS Clustering Algorithm. - Pavol Galcik; Michal Mrena; Lucia Piatriková; Sergey Stankevich (IDT, 2023)

Efficient Computation of Logic Derivatives Using Multi-valued Decision Diagrams. - Michal Mrena; Miroslav Kvassay (ISMVL, 2024)

TeDDy: Templated decision diagram library. - Michal Mrena; Miroslav Kvassay; Elena Zaitseva (SoftwareX, 2024)