Personal information

Emails & domains

Verified email domains

Websites & social links

Github
Twitter
Personal page

Other IDs

Scopus Author ID: 57211061049

Countries

Slovakia

Activities

Collapse all

Employment (1)

University of Žilina: Žilina, SK

2024-09-01 to present
Employment
Source: Self-asserted source
Michal Mrena

Education and qualifications (3)

University of Žilina: Žilina, SK

2021-09-01 to 2024-08-21 | PhD. (Faculty of Management Science and Informatics, Department of Informatics)
Education
Source: Self-asserted source
Michal Mrena

University of Žilina: Žilina, SK

2019-09-21 to 2021-06-14 | Ing. (Faculty of Management Science and Informatics, Department of Informatics)
Education
Source: Self-asserted source
Michal Mrena

University of Žilina: Žilina, SK

2016-09-21 to 2019-06-12 | Bc. (Faculty of Management Science and Informatics, Department of Informatics)
Education
Source: Self-asserted source
Michal Mrena

Works (7)

TeDDy: Templated decision diagram library

SoftwareX
2024-05 | Journal article
DOI: 10.1016/j.softx.2024.101715
Contributors: Michal Mrena; Miroslav Kvassay; Elena Zaitseva
Source: check_circle
Crossref

Single and Series of Multi-valued Decision Diagrams in Representation of Structure Function

Lecture Notes in Networks and Systems
2022 | Book
DOI: 10.1007/978-3-031-06746-4_17
EID:

2-s2.0-85131922790

Part of ISSN: 23673389 23673370
Contributors: Mrena, M.; Kvassay, M.; Czapp, S.
Source: Self-asserted source
Michal Mrena via Scopus - Elsevier

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

International Conference on Information and Digital Technologies 2021, IDT 2021
2021 | Conference paper
DOI: 10.1109/IDT52577.2021.9497593
EID:

2-s2.0-85112413303
Contributors: Mrena, M.; Kvassay, M.
Source: Self-asserted source
Michal Mrena via Scopus - Elsevier

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

Proceedings of the 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2021
2021 | Conference paper
DOI: 10.1109/IDAACS53288.2021.9660940
EID:

2-s2.0-85124808200
Contributors: Mrena, M.; Sedlacek, P.; Kvassay, M.
Source: Self-asserted source
Michal Mrena via Scopus - Elsevier

Time Dependent Reliability Analysis of the Data Storage System Based on the Structure Function and Logic Differential Calculus

Studies in Computational Intelligence
2021 | Book
DOI: 10.1007/978-3-030-74556-1_11
EID:

2-s2.0-85113631721

Part of ISSN: 18609503 1860949X
Contributors: Rusnak, P.; Mrena, M.
Source: Self-asserted source
Michal Mrena via Scopus - Elsevier

Software Library for Teaching Applications of Binary Decision Diagrams in Reliability Analysis

ICETA 2020 - 18th IEEE International Conference on Emerging eLearning Technologies and Applications, Proceedings
2020 | Conference paper
DOI: 10.1109/ICETA51985.2020.9379170
EID:

2-s2.0-85103741845
Contributors: Mrena, M.; Kvassay, M.; Stankovic, R.S.
Source: Self-asserted source
Michal Mrena via Scopus - Elsevier

Practical Applicability of Advanced Implementations of Priority Queues in Finding Shortest Paths

Proceedings of the International Conference on Information and Digital Technologies 2019, IDT 2019
2019 | Conference paper
DOI: 10.1109/DT.2019.8813457
EID:

2-s2.0-85072543870
Contributors: Mrena, M.; Sedlacek, P.; Kvassay, M.
Source: Self-asserted source
Michal Mrena via Scopus - Elsevier
How many people are using ORCID?