Marko Horvat

Title:	Assistant Professor
Location:	A306
Public phone number:	5897
E-mail:	E-mail
Department:	Division of Mathematical Logic and Computer Science

graduate

Čačić, Vedran; Čelar, Matea; Horvat, Marko; Iljazović, Zvonko
2026.
Logical Methods in Computer Science

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

Ivanković, Goran; Horvat, Marko; Horvat, Marko
2025.

Č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

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

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

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.

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

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

graduate

Show publications in CRORIS