| Formal concept analysis–overview and applications F Škopljanac-Mačina, B Blašković Procedia Engineering 69, 1258-1267, 2014 | 79 | 2014 |
| Object by value transfer mechanisms for obligation policy enforcement object loading M Randic, M Kunstic, B Blaskovic Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE …, 2004 | 39 | 2004 |
| Automated simulation and verification of process models discovered by process mining I Zakarija, F Škopljanac-Mačina, B Blašković Automatika: časopis za automatiku, mjerenje, elektroniku, računarstvo i …, 2020 | 10 | 2020 |
| Petri net modeling for signaling protocol synthesis B Blaskovic MELECON'98. 9th Mediterranean Electrotechnical Conference. Proceedings (Cat …, 1998 | 9 | 1998 |
| Towards automated assessment generation in e-learning systems using combinatorial testing and formal concept analysis F Škopljanac-Mačina, I Zakarija, B Blašković IEEE access 9, 52957-52976, 2021 | 7 | 2021 |
| Discovering process model from incomplete log using process mining I Zakarija, F Škopljanac-Mačina, B Blašković 2015 57th international symposium ELMAR (ELMAR), 117-120, 2015 | 7 | 2015 |
| An approach to build stable spanning tree topology K SegariC, P Knezevic, B Blaskovic EUROCON'2001. International Conference on Trends in Communications …, 2001 | 7 | 2001 |
| Discovering e-learning process models from counterexamples B Blašković, F Škopljanac-Mačina, I Zakarija 2018 41st International Convention on Information and Communication …, 2018 | 6 | 2018 |
| Modeling service dependencies in ad hoc collaborative systems M Randic, B Blaskovic, P Knezevic EUROCON 2005-The International Conference on" Computer as a Tool" 2, 1842-1845, 2005 | 6 | 2005 |
| Using formal concept analysis for student assessment F Škopljanac-Mačina, B Blašković, Z Skočir Proceedings ELMAR-2014, 1-4, 2014 | 5 | 2014 |
| Petri net modeling for reactive system verification B BlaSkoviC Proceedings of the 7th International Conference on Telecommunications, 2003 …, 2003 | 5 | 2003 |
| AUTOMATED GENERATION OF QUESTIONS FOR BASIC ELECTRICAL ENGINEERING EDUCATION. F Skopljanac-Macina, B Blaskovic, D Pintar Annals of DAAAM & Proceedings 27, 2016 | 4 | 2016 |
| Signalling protocol synthesis: Intelligent network experiment B Blašković SoftCom'97, 123-132, 1997 | 4 | 1997 |
| DYNAMIC THREAD ASSIGMENT IN A TANDEM OF THREADPOOLS INSPIRED BY THE ADAPTATION MECHANISM IN HONEYBEE FORAGING. M Randic, H Jednakovic, B Blaskovic Annals of DAAAM & Proceedings, 2010 | 3 | 2010 |
| Verification of Signal Protocols for Telecommunication Services in Intelligent Network B Blašković, I Lovrek COST 247 International Workshop on Applied Formal Methods in System Design …, 1996 | 3 | 1996 |
| A Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language G Gledec, M Horvat, M Mikuc, B Blašković Data 8 (5), 89, 2023 | 2 | 2023 |
| Exam questions consistency checking F Škopljanac-Mačina, I Zakarija, B Blašković 2015 38th International Convention on Information and Communication …, 2015 | 2 | 2015 |
| Model checking executable specification for reactive components B Blaškovic | 2 | 2012 |
| Architecture of Hascheck–An Intelligent Spellchecker for Croatian Language Š Dembitz, G Gledec, B Blašković International Conference on Knowledge-Based and Intelligent Information and …, 2010 | 2 | 2010 |
| Model checking approach for communication procedures validation B Blaskovic, P Knezevic, M Randic EUROCON'2001. International Conference on Trends in Communications …, 2001 | 2 | 2001 |
Frano Škopljanac-Mačinalaboratory manager, University of Zagreb, Faculty of Electrical Engineering and ComputingVerified email at fer.hr
