Michal Mrena

According to our database, Michal Mrena authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2024

TeDDy: Templated decision diagram library.

Michal Mrena, Miroslav Kvassay, Elena Zaitseva

SoftwareX, 2024

Efficient Computation of Logic Derivatives Using Multi-valued Decision Diagrams.

Michal Mrena, Miroslav Kvassay

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

2023

Advanced Priority Queues in the OPTICS Clustering Algorithm.

Pavol Galcik, Michal Mrena, Lucia Piatriková, Sergey Stankevich

Proceedings of the International Conference on Information and Digital Technologies, 2023

Dynamic Binary Decision Diagram Creation Using an Extended Apply Algorithm.

Michal Mrena, Miroslav Kvassay, Sergey Stankevich

Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Generating Monotone Boolean Functions Using Hasse Diagram.

Michal Mrena, Miroslav Kvassay

Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

2021

Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams.

Michal Mrena, Miroslav Kvassay

Proceedings of the International Conference on Information and Digital Technologies, 2021

Linear Fold and Tree Fold in Creation of Binary Decision Diagrams of Standard Benchmarks.

Michal Mrena, Peter Sedlacek, Miroslav Kvassay

Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021