| ACTLW–An action-based computation tree logic with unless operator R Meolic, T Kapus, Z Brezočnik Information Sciences 178 (6), 1542-1557, 2008 | 42 | 2008 |
| Tagged BDDs: Combining reduction rules from different decision diagram types T Van Dijk, R Wille, R Meolic 2017 Formal Methods in Computer Aided Design (FMCAD), 108-115, 2017 | 33 | 2017 |
| Verification of concurrent systems using ACTL R Meolic, T Kapus, Z Brezocnik Applied informatics: proceedings of the IASTED international conference AI …, 2000 | 23 | 2000 |
| Demonstration of sorting algorithms on mobile platforms R Meolic International Conference on Computer Supported Education 2, 136-141, 2013 | 22 | 2013 |
| Witness and counterexample automata for ACTL R Meolic, A Fantechi, S Gnesi International Conference on Formal Techniques for Networked and Distributed …, 2004 | 17 | 2004 |
| Flexible job shop scheduling using zero-suppressed binary decision diagrams R Meolic, Z Brezočnik Advances in Production Engineering & Management 13 (4), 373-388, 2018 | 14 | 2018 |
| Preverjanje pravilnosti obnašanja sistemov s sočasnostjo R Meolic Master’s thesis, Faculty of Electrical Engineering and Computer Science, Maribor, 1999 | 12* | 1999 |
| CTL and ACTL patterns R Meolic, T Kapus, Z Brezočnik EUROCON'2001. International Conference on Trends in Communications …, 2001 | 10 | 2001 |
| A C++ App for Demonstration of Sorting Algorithms on Mobile Platforms. R Meolic, T Dogša International Journal of Interactive Mobile Technologies 8 (1), 2014 | 9 | 2014 |
| Biddy-a Multi-platform Academic BDD Package. R Meolic J. Softw. 7 (6), 1358-1366, 2012 | 9 | 2012 |
| Model checking: A formal method for safety assurance of logistic systems R Meolic, T Kapus, Z Brezocˇnik 2nd Congress Transport-Trafffic-Logistics, 2000 | 7 | 2000 |
| The efficient symbolic tools package R Meolic, T Kapus, Z Brezocnik 8th International Conference Software, Telecommunications and Computer …, 2000 | 7 | 2000 |
| Representation of Boolean Functions with ROBDDs A Casar, R Meolic IEEE Student paper contest : regional contest winners 1990-1997 : prize …, 2000 | 5* | 2000 |
| Exploring properties of a bounded retransmission protocol with VIS R Meolic, T Kapus, Z Brezočnik Journal of computing and information technology 7 (4), 311-321, 1999 | 5 | 1999 |
| Verification of Bakery algorithm variants for two processes D Dedic, R Meolic The IEEE Region 8 EUROCON 2003. Computer as a Tool. 2, 35-39, 2003 | 4 | 2003 |
| The Biddy BDD package R Meolic Journal of Open Source Software 4 (34), 1189, 2019 | 3 | 2019 |
| Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST R Vogrin, R Meolic, T Kapus Elektrotehniski Vestnik 84 (5), 268-276, 2017 | 3 | 2017 |
| Akcijska logika dreves izvajanj z operatorjem unless R Meolic Ph.D thesis, Faculty of Electrical Engineering and Computer Science, Maribor, 2005 | 3 | 2005 |
| Verification of mutual exclusion algorithms with EST R Meolic, T Kapus, E Gungl, Z Brezocnik Electrotechnical and Computer Science Conference ERK’2001, 15-18, 2001 | 3 | 2001 |
| Generating and Employing Witness Automata for ACTLW Formulae R Meolic, T Kapus IEEE Access 10, 9889-9905, 2022 | 2 | 2022 |
Tatjana Kapusprofesorica na Univerzi v MariboruAdresse e-mail validée de um.si