dr. sc. Sebastijan Horvat

Teaching

undergraduate

• Computer architecture (37952) - Exercises
• Computer networks (36907) - Exercises
• Computing lab 1 (24207) - Exercises
• Data structures and algorithms (24206) - Exercises
• Data structures and algorithms (36955) - Exercises
• Object-oriented programming (C++) (36932) - Exercises

graduate

• Computer architecture (92978) - Exercises
• Computer architecture (93017) - Exercises
• Computer architecture (93020) - Exercises
• Computer networks (45760) - Exercises
• Computer networks (61586) - Exercises
• Computer networks (92949) - Exercises
• Data structures and algorithms (61587) - Exercises
• Object-oriented programming (C++) (45694) - Exercises
• Object-oriented programming (C++) (61588) - Exercises
• Object-oriented programming (C++) (61608) - Exercises

integrated undergraduate and graduate

• Computer Structure (40716) - Exercises

Published papers recorded in the Croatian Scientific Bibliography Database (CROSBI)

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.

List of select projects

• Computable structures, decidability and complexity (IP-2018-01-7459 ); source of funding: Croatian Science Foundation - HRZZ; project start date: 1 October 2018; project completion date: 30 September 2022

• Formal reasoning and semantics (UIP-05-2017-9219); source of funding: Croatian Science Foundation - HRZZ; project start date: 1 December 2017; project completion date: 1 December 2022