Pristupačnost
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
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
Assessment Process Synthesis for Adaptive E- learning Systems
Fundamentals of Electrical Engineering - lab manual
Adjusting the electric power systems to new modern working conditions
Automated Generation of Questions for Basic Electrical Engineering Education
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
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
Describing Web services with OWL-S language
Teaching
University undergraduate
- Electromagnetic Fields (Lecturers)
- Fundamentals of Electrical Engineering (Lecturers, Lectures)
- Fundamentals of Electrical Engineering (Lecturers)
- Information, Logic, and Languages (Lecturers)
University graduate
- Formal Methods for Verification and Synthesis of Software Systems (Lectures)
- Formal Software Verification (Lecturers, Lectures)
- Laboratory of Telecommunication and Informatics 2 (Lecturers)
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