PristupačnostNa FER-u postoji više zaposlenika s imenom
Analysis of e-Learning System Usage Before and After the COVID-19 Pandemic
Aplikacija za praćenje statistike uspjeha studenata na predmetu Osnove Elektrotehnike
A Sentiment Analysis Model Based on User Experiences of Dubrovnik on the Tripadvisor Platform
Formalna analiza koncepata i kombinatorno testiranje za automatiziranu provjeru znanja u sustavima za e-učenje
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
Improved Visualization of Frequent Itemset Relationships Using the Minimal Spanning Tree Algorithm
Automated analysis of e-learning web applications
Modeling constraint satisfaction problem with model checker
Discovering e-Learning Process Models from Counterexamples
Annotating Exam Questions Through Automatic Learning Concept Classification
Automatic extraction of learning concepts from exam query repositories
Osnove elektrotehnike - Upute za laboratorijske vježbe
Assessment Process Synthesis for Adaptive E- learning Systems
Prilagodba elektroenergetskih sustava novim suvremenim uvjetima rada
University Social Network Benefits Analysis and Proposed Framework
Automated Generation of Questions for Basic Electrical Engineering Education
Nuklearne elektrane s torijskim reaktorom
Exam questions consistency checking
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
Korištenje jezika OWL-S za opisivanje Web usluga
Nastava
Sveučilišni preddiplomski
- Osnove elektrotehnike (Predavanja, Laboratorijske vježbe)
- Osnove elektrotehnike (Predavanja, Laboratorijske vježbe)
- Projekt R (Predavanja)
- Elektromagnetska polja (Laboratorijske vježbe)
Sveučilišni diplomski
- Formalne metode za verifikaciju i sintezu programskih sustava (Nositelj)
- Formalne metode za verifikaciju i sintezu programskih sustava (Nositelj)
- Formalna verifikacija programske potpore (Predavanja, Laboratorijske vježbe)
- Seminar 1 (Predavanja)
- Laboratorij telekomunikacija i informatike 2 (Laboratorijske vježbe)
Poslijediplomski doktorski
- Analiza i sinteza sustava u stvarnom vremenu (Nositelj)
Kompetencije
-
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