dr. sc. Reni Banov, v. pred.

stručni rad 12

1. Reni Banov Delaunayova (Deloneova) triangulacija — Poučak : časopis za metodiku i nastavu matematike, 26(103), str. str. 44-52, 2025.
2. Reni Banov Veliki jezični modeli – potraga za umjetnom inteligencijom — Poučak : časopis za metodiku i nastavu matematike, 26(102), str. str. 25-33, 2025.
3. Reni Banov Veliki jezični modeli – potraga za umjetnom inteligencijom (2. dio) — Poučak : časopis za metodiku i nastavu matematike, 26(104), str. str. 48-61, 2025.
4. Mandi Orlić Bachler, Martina Benković, Reni Banov Metoda bisekcije primjenom Maxima računalne aplikacije — Acta mathematica Spalatensia. Series didactica, 6, str. str. 115-128, 2023. doi:10.32817/amssd.6.8
5. Davor Šterc, Reni Banov Diracov zapis u linearnoj algebri – primjer s nastave na stručnim inženjerskim studijima — Poučak : časopis za metodiku i nastavu matematike, 23(89), str. str. 34-43, 2022.
6. Reni Banov, Anđa Valent Neuronske mreže za početnike — Poučak : časopis za metodiku i nastavu matematike, 23(90), str. str. 24-34, 2022.
7. Reni Banov On Minimal Cut Sets representation with Binary Decision Diagrams — Journal of Energy = Energija, 71(4), str. str. 12-15, 2022. doi:10.37798/2022714420
8. Reni Banov Računanje broja pi pomoću čačkalice — Poučak : časopis za metodiku i nastavu matematike, 23(89), str. str. 31-33, 2022.
9. Reni Banov MECODES – A New Collaboration Solution for the ECAD/MCAD Integration — Zbornik IRT 2019, str. str. 155-158, 2019.
10. Davor Šterc, Reni Banov Interpretacija pojma integrala za studente elektrotehnike — Poučak : časopis za metodiku i nastavu matematike, 19(73), str. str. 58-67, 2018.
11. Reni Banov Določitev trajne dinamične trdnosti po Dang Vanovem kriteriju – Fatigue DV — Vir znanja in izkušenj za stroko : IRT 2015, str. str. 167-172, 2015.
12. Reni Banov Analiza nesigurnosti u vjerojatnosnoj analizi sigurnosti nuklearnih elektrana — Zbornik znanstveno-stručnih priopćenja Prvog simpozija Hrvatskog nuklearnog društva, 1993.

izvorni znanstveni rad 20

1. Reni Banov Algebraic Decision Diagrams in Multi-State Reliability Analysis of Nuclear Power Plant Systems — Proceedings of the 14th International Conference of the Croatian Nuclear Society, str. 122, 10, 2024.
2. Reni Banov Correlation between events with different safety significance in nuclear power plants — Nuclear Engineering and Technology, 54(7), str. str. 2510-2518, 2022. doi:10.1016/j.net.2022.01.034
3. Reni Banov The Large Minimal Cut Sets Compact Representation with Binary Decision Diagrams — Proceedings of the 13th International Conference of the Croatian Nuclear Society, str. 129, 9, 2022.
4. Reni Banov A new heuristics for the event ordering in binary decision diagram applied in fault tree analysis — Proceedings of the Institution of Mechanical Engineers Part O-Journal of Risk and Reliability, 234(2), str. str. 397-406, 2019. doi:10.1177/1748006X19879305
5. Reni Banov Are Events with Different Significance correlated? : Quantitative Analysis of the Correlation between Events with Different Safety Significance — Proceeding 2019 International Conference on Information and Digital Technologies (IDT), str. str. 455-459, 2019. doi:10.1109/dt.2019.8813474
6. Reni Banov, Davor Šterc BDD Based Fault Tree Analysis in Brief — Proceedings of the 12th International Conference of the Croatian Nuclear Society, str. 105, 7, 2018.
7. Reni Banov A meta-study of nuclear power plants operational experience topical studies examining trends, characteristics and lessons learned — str. str. 132-133, 2017.
8. Reni Banov Development and first application of an operating events ranking tool — Nuclear engineering and design, 282, str. str. 36-43, 2015. doi:10.1016/j.nucengdes.2014.11.035
9. Reni Banov Assessment of NPP Krško accident impact on the population by means of the nonlinear statistical model using the RODOS software package — Proceedings of the 10th International Conference on Nuclear Option in Countries with Small and Medium Electricity Grids, str. str. 1-10, 2014.
10. Reni Banov Development of the Operating Events Groups Ranking Tool — Proceedings of the 10th International Conference on Nuclear Option in Countries with Small and Medium Electricity Grids, str. str. 124-1-124-7, 2014.
11. Reni Banov, Davor Šterc Short overview of PSA quantification methods, pitfalls on the road from approximate to exact results — Proceedings of the 10th International Conference on Nuclear Option in Countries with Small and Medium Electricity Grids, str. str. 157-1-157-6, 2014.
12. Reni Banov Uncertainty Analysis of Method-Based Operating Event Groups Ranking — Science and technology of nuclear installations, str. str. 324710-1-324710-12, 2014. doi:10.1155/2014/324710
13. Reni Banov Binary Decision Tree Development for Probabilistic Safety Assessment Applications — Proceedings of the 7th International Conference on Nuclear Option in Countries with Small and Medium Electricity Grids, str. str. S-051011-S-051018, 2008.
14. Reni Banov One Heuristic to Minimize BDD Representation of the Fault Tree — Proceedings of International conference on probabilistic safety assessment and management (PSAM9), 2008.
15. Reni Banov PSA Model Quantification Comparison between BDD and Conventional Approach — Proceedings of the TOPSAFE 2008, International Topical Meeting on Safety of Nuclear Installations, str. str. A1-1161-A1-1167, 2008.
16. Reni Banov Computing the Top Event Uncertainty with Binary Decision Diagrams — PSAM 7 - ESREL '04 Conference Proceedings, 2004.
17. Reni Banov Benchmark tests of a new fault tree engine BDDCUT — Proceedings of the International Conference on Probabilistic Saftey Assesssment and Management (Vol. 4), 2000.
18. Reni Banov Computing the probabilities of the top event fro the ROBDDs — Proceedings of the Second International Conference on Mathematical Methods in Reliability (Vol. 1), 2000.
19. Reni Banov Reordering build phase in ROBDD construction to reduce memory requirements — Proceedings of the Second International Conference on Mathematical Methods in Reliablity (Vol. 1), 2000.
20. Reni Banov New Faster and Complete Approach to Quantify PRA — Proceedings of the International Topical Meeting on Probabilistic Safety Assessment PSA'99 (Vol.2), 1999.

Digitalno izdanje 1

1. Reni Banov, Martina Benković, Mandi Orlić Bachler Matematika 1. Zbirka zadataka s rješenjima — Tehničko veleučilište u Zagrebu, 2024.

priručnik 1

1. Martina Benković, Mandi Orlić Bachler, Reni Banov Matematika I – zbirka zadataka s rješenjima — 2024.

neobjavljeni prilog sa skupa 4

1. Reni Banov New Upper Bounds on the Number of Bent Functions — 2024.
2. Reni Banov, Mandi Orlić Bachler, Martina Benković Primjena računalne aplikacije Maxima za rješavanje jednadžbi metodom tangente — 2024.
3. Reni Banov Overdrive: Najbrži put do tvornice 4.0 — 2021.
4. Anđa Valent, Reni Banov Johann von Rogner – Teslin profesor matematike u Grazu — 2020.

prošireni sažetak izlaganja sa skupa 2

1. Reni Banov Experimental Enumeration of Bent Functions with Binary Decision Diagrams — CECC 2021 Book of Abstracts, str. str. 24-25, 2021.
2. Reni Banov Computing minimal DNF of Boolean functions for digital implementations — CECC 2020 Book of Abstracts, str. str. 14-15, 2020.

doktorski rad 1

1. Reni Banov Metoda binarnih dijagrama odlučivanja za vrednovanje stabla kvara u nuklearnoj elektrani — 2020.

ostalo 1

1. Reni Banov, Davor Šterc Smanjenje veličine binarnih dijagrama odlučivanja korištenjem graničnih rezultata iz VLSI dizajna — Zbornik radova Elektrotehničkog odjela, 1, str. str. 63-74, 2014.

magistarski rad (znanstveni) 1

1. Reni Banov Analiza modela stabla kvara binarnim dijagramima odluke — 2010.