Autori: Kasterovic Simona
| Naslov | Federating Digital Contact Tracing using Structured Overlay Networks (Article) |
| Autori | Ghilezan Silvia Kasterovic Simona Liquori Luigi Marinkovic Bojan B Ognjanovic Zoran D Stefanovic Tamara |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2022), vol. 19 br. 3, str. 1261-1282 |
| Projekat | Science Fund Republic of Serbia; [6526707 AI4TrustBC] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Kripke-style semantics and completeness for full simply typed Lambda calculus (Article) |
| Autori | Kasterovic Simona Ghilezan Silvia |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2020), vol. 30 br. 8, str. 1567-1608 |
| Projekat | Ministry of Eduction, Science and Technological Development, Republic of Serbia |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
