Истраживачи



Филтрирано по:
Тип:  Научни чланак

ГодинаНасловАутор(и)Тип резултатаМп-кат.
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  Научни чланак
21aM21a - Рад у међ. часопису изузетних вредности
2022Federating digital contact tracing using structured overlay networksGhilezan, Silvia  ; Kašterović, Simona  ; Liquori, Luigi; Marinković, Bojan  ; Ognjanović, Zoran  ; Stefanović, Tamara  Научни чланак
23M23 - Рад у међ. часопису
2022Semantics for Combinatory Logic With Intersection TypesGhilezan, Silvia ; Kašterović, Simona  Научни чланак
Мп категорија ће бити приказана накнадно.
2021Kripke-style semantics and completeness for full simply typed Lambda calculusKašterović, Simona  ; Ghilezan, Silvia Научни чланак
21M21 - Рад у врхунском међ. часопису