Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Horvat, Sebastijan ; Perkov, Tin; Vuković, Mladen
Bisimulations and bisimulation games between Verbrugge models // Mathematical logic quarterly, 69 (2023), 2; 231-243. doi: 10.1002/malq.202200042
Pasković, Nika
First record of the dinoflagellate Tripos rotundatus in the Adriatic Sea // 7th Faculty of Science PhD Student Symposium - Book of Abstracts / Vuković, Mladen ; Bertoša, Mladen ; Korać, Petra et al. (ur.). Zagreb: Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu, 2023. str. 135-135
Bajan, Antun ; Vranjić, Petar ; Matijašić-Bodalec, Dubravka ; Smokrović, Eva ; Bajan, Nikola ; Mrzljak, Vlatka ; Vuković, Mladen ; Milostić- Srb, Andrea
Alzheimerova demencija kao hitno stanje // Alzheimerova demencija od dijagnostike do zdravstvene skrbi kroz ustanove za zdravstvenu njegu / Milostić-Srb, Andrea ; Brainović, Klara ; Krznarić, Kristina et al. (ur.). Zagreb: Udruga medicinskih sestara/tehničara zdravstvene njege u kući, 2023. str. 127-130
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
Bisimulations and bisimulation games between Verbrugge models // Mathematical logic quarterly, 69 (2023), 2; 231-243. doi: 10.1002/malq.202200042
Bajan, Antun ; Vranjić, Petar ; Matijašić-Bodalec, Dubravka ; Smokrović, Eva ; Bajan, Nikola ; Mrzljak, Vlatka ; Vuković, Mladen ; Milostić- Srb, Andrea
Hitna stanja kod demencije // Unaprjeđenje sestrinske prakse kroz edukaciju, istraživanje i inovacije / Mrzljak, Vlatka ; Krznarić, Kristina ; Novoselec, Mihael et al. (ur.). Alfa, 2023. str. 38-39
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
A good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts. 2022. str. 22-23
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
A new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress. 2022. str. 44-45
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
n-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts. 2021. str. 31-32
Jambriško, Petra ; Vuković, Mladen
Jedan neobičan dokaz // Matematičko fizički list, 71 (2021), 281; 18-22
Krunić, Jakov
Lindströmov teorem za modalnu logiku / Vuković, Mladen ; Perkov, Tin (mentor);
Zagreb, Prirodoslovno-matematički fakultet, Zagreb, . 2020