Researchers



Filtrirano po:
Tip:  Naučni članak

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2024A framework for designing software engineering project-based learning experiences based on the 4 C/ID modelLuburic, Nikola  ; Slivka, Jelena  ; Doric, Luka  ; Prokic, Simona  ; Kovacevic, Aleksandar  Naučni članak
21aM21a - Rad u međ. časopisu izuzetnih vrednosti
2022Federating digital contact tracing using structured overlay networksGhilezan, Silvia  ; Kašterović, Simona  ; Liquori, Luigi; Marinković, Bojan  ; Ognjanović, Zoran  ; Stefanović, Tamara  Naučni članak
23M23 - Rad u međ. časopisu
2022Semantics for Combinatory Logic With Intersection TypesGhilezan, Silvia ; Kašterović, Simona  Naučni članak
Mp kategorija će biti prikazana naknadno.
2021Kripke-style semantics and completeness for full simply typed Lambda calculusKašterović, Simona  ; Ghilezan, Silvia Naučni članak
21M21 - Rad u vrhunskom međ. časopisu