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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Semantics for Combinatory Logic With Intersection Types (Article) |
| Autori | Ghilezan Silvia Kasterovic Simona
|
| Info | FRONTIERS IN COMPUTER SCIENCE, (2022), vol. 4 br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (Proceedings Paper) |
| Autori | Ghilezan Silvia Ivetic Jelena B Kasterovic Simona Ognjanovic Zoran D Savic Nenad
|
| Info | FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, (2020), vol. 12012 br. , str. 122-139 |
| Projekat | Serbian Ministry of Education and Science [ON174026, III 044006]; Swiss National Science Foundation [200021_165549] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
