Marko Horvat

Title:	Assistant Professor
Location:	A306
Public phone number:	5897
E-mail:	E-mail
Department:	Zavod za matematičku logiku i računarstvo

graduate

Paradžik, Petar; Derek, Ante; Horvat, Marko
2025.
Ieee transactions on dependable and secure computing

Čačić, Vedran ; Horvat, Marko ; Iljazović, Zvonko
2021.
Theoretical computer science

Horvat, Marko ; Iljazović, Zvonko ; Pažek, Bojan
2020.
Annals of pure and applied logic

Čačić, Vedran ; Doko, Marko ; Horvat, Marko
2019.
Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti

Cremers, Cas ; Horvat, Marko ; Hoyland, Jonathan ; Scott, Sam ; van der Merwe, Thyla
2017.

Deshmukh, Jyotirmoy ; Horvat, Marko ; Jin, Xiaoqing ; Majumdar, Rupak ; Prabhu, Vinayak S.
2017.
ACM transactions on embedded computing systems

Cremers, Cas ; Horvat, Marko ; Scott, Sam ; van der Merwe, Thyla
2016.

Cremers, Cas ; Horvat, Marko
2015.
International Journal of Information Security

Cremers, Cas ; Horvat, Marko
2014.
Lecture notes in computer science

Basin, David ; Cremers, Cas ; Horvat, Marko
2014.

Čačić, Vedran ; Doko, Marko ; Horvat, Marko ; Vrgoč, Domagoj
2010.

Show publications in CRORIS