A web application for monitoring the success of students in the Fundamentals of Electrical Engineering course
A Sentiment Analysis Model Based on User Experiences of Dubrovnik on the Tripadvisor Platform
Analysis of e-Learning System Usage Before and After the COVID-19 Pandemic
Formal concept analysis and combinatorial testing for automated assessment in e-learning systems
Organizing online exams during the COVID-19 pandemic
Towards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis
Automated simulation and verification of process models discovered by process mining
Automated analysis of e-learning web applications
Improved Visualization of Frequent Itemset Relationships Using the Minimal Spanning Tree Algorithm
Automatic extraction of learning concepts from exam query repositories
Annotating Exam Questions Through Automatic Learning Concept Classification
Discovering e-Learning Process Models from Counterexamples
Modeling constraint satisfaction problem with model checker
Assessment Process Synthesis for Adaptive E- learning Systems
Fundamentals of Electrical Engineering - lab manual
Automated Generation of Questions for Basic Electrical Engineering Education
Adjusting the electric power systems to new modern working conditions
University Social Network Benefits Analysis and Proposed Framework
Exam questions consistency checking
Thorium Reactor Nuclear Power Plants
Discovering Process Model from Incomplete Log using Process Mining
Using Formal Concept Analysis for student assessment
Formal Concept Analysis – Overview and Applications
Computer in Testing the Fundamentals of Electrical Engineering at the University of Zagreb Faculty of Electrical Engineering and Computing
Describing Web services with OWL-S language
Teaching
University undergraduate
- Fundamentals of Electrical Engineering (Lecturers, Laboratory exercises)
- Fundamentals of Electrical Engineering (Lecturers, Laboratory exercises)
- Electromagnetic Fields (Laboratory exercises)
University graduate
- Formal Methods for Verification and Synthesis of Software Systems (Lecturer in charge)
- Formal Methods for Verification and Synthesis of Software Systems (Lecturer in charge)
- Formal Software Verification (Lecturers, Laboratory exercises)
- Laboratory of Telecommunication and Informatics 2 (Laboratory exercises)
Postgraduate doctoral study programme
- Analysis and Synthesis of Real-Time Systems (Lecturer in charge)
Competences
-
Computers and information processing
Computer aided engineering Computer aided instruction Learning management systems Data processing Database machines -
Education
Educational technology Computer aided instruction Learning management systems Courseware Electronic learning Engineering education -
Systems engineering and theory
System verification System testing Model checking -
Communications technology
Semantic Web Web 2.0 Telecommunications -
Computational and artificial intelligence
Knowledge based systems Knowledge engineering Learning automata Machine learning -
Mathematics
Formal concept analysis