Note: this list of papers is located in an maintained by the Ruđer Bošković Institute which
is in charge of the Croatian Scientific Bibliography Database (CROSBI). This link will take you
to the appropriate CROSBI page of this person, containing a list of papers they have themselves entered in the database.
For further information and for instructions on changing the above data, please contact help@bib.irb.hr.
Teaching
University undergraduate
- Electromagnetic Fields (Lecturers)
- Fundamentals of Electrical Engineering (Lecturers)
- Fundamentals of Electrical Engineering (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 (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