Istraživači
Kašterović, Simona
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2024 | A framework for designing software engineering project-based learning experiences based on the 4 C/ID model![]() | Luburic, Nikola | Naučni članak | 21aM21a - Rad u međ. časopisu izuzetnih vrednosti |
| 2022 | Federating digital contact tracing using structured overlay networks![]() | Ghilezan, Silvia | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2022 | Semantics for Combinatory Logic With Intersection Types![]() | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus![]() | Kašterović, Simona | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
