PristupačnostNa FER-u postoji više zaposlenika s imenom
Formalna analiza koncepata i kombinatorno testiranje za automatiziranu provjeru znanja u sustavima za e-učenje
Towards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis
Organizing online exams during the COVID-19 pandemic
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
Discovering e-Learning Process Models from Counterexamples
Modeling constraint satisfaction problem with model checker
Automatic extraction of learning concepts from exam query repositories
Annotating Exam Questions Through Automatic Learning Concept Classification
Assessment Process Synthesis for Adaptive E- learning Systems
Osnove elektrotehnike - Upute za laboratorijske vježbe
Prilagodba elektroenergetskih sustava novim suvremenim uvjetima rada
University Social Network Benefits Analysis and Proposed Framework
Automated Generation of Questions for Basic Electrical Engineering Education
Discovering Process Model from Incomplete Log using Process Mining
Exam questions consistency checking
Nuklearne elektrane s torijskim reaktorom
Formal Concept Analysis – Overview and Applications
Using Formal Concept Analysis for student assessment
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)
- Elektromagnetska polja (Laboratorijske vježbe)
- Informacija, logika i jezici (Laboratorijske vježbe)
- Osnove elektrotehnike (Laboratorijske vježbe)
Sveučilišni diplomski
- Formalna verifikacija programske potpore (Predavanja, Laboratorijske vježbe)
- Formalne metode za verifikaciju i sintezu programskih sustava (Predavanja)
- Laboratorij telekomunikacija i informatike 2 (Laboratorijske vježbe)
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