Autori: Ghilezan Silvia
| Naslov | Precise Subtyping for Asynchronous Multiparty Sessions (Article) |
| Autori | Ghilezan Silvia Pantovic Jovanka B Prokic Ivan Scalas Alceste Yoshida Nobuko |
| Info | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, (2023), vol. 24 br. 2, str. - |
| Projekat | EU [830929]; EU COST Actions [CA15123, IC1201]; EPSRC [EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T014709/1, EP/V000462/1, EP/X015955/1]; NCSS/EPSRC VeTSS; MPNTR; SFRS [6526707, 6458932]; Danmark Industriens Fond Cyberprogram [2020-0489] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| 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 | 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 | ISI/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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model (Proceedings Paper) |
| Autori | Popovic Miroslav V Popovic Marko M Ghilezan Silvia Kordic Branislav A |
| Info | PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), (2020), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009-2, III-44006, ON174026] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Local and Distributed Python Software Transactional Memories (Article) |
| Autori | Popovic Marko M Popovic Miroslav V Ghilezan Silvia Kordic Branislav A |
| Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2019), vol. 64 br. 4, str. 423-428 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | The Duality of Classical Intersection and Union Types (Article) |
| Autori | Downen Paul Ariola Zena M Ghilezan Silvia |
| Info | FUNDAMENTA INFORMATICAE, (2019), vol. 170 br. 1-3, str. 39-92 |
| Projekat | National Science Foundation (NSF) [CCF-1423617, CCF-1719158] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Python Software Transactional Memory Based on Timed Automata (Article) |
| Autori | Kordic Branislav A Popovic Miroslav V Ghilezan Silvia |
| Info | ACTA POLYTECHNICA HUNGARICA, (2019), vol. 16 br. 7, str. 197-216 |
| Projekat | Ministry of Education, Science, and Technology Development of Republic of Serbia [III-44009, ON174026, III044006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Precise subtyping for synchronous multiparty sessions (Article) |
| Autori | Ghilezan Silvia Jaksic Svetlana Pantovic Jovanka B Scalas Alceste Yoshida Nobuko |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2019), vol. 104 br. , str. 127-173 |
| Projekat | EPSRC [EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1]; MPNTR [ON174026, III044006]; COST Action EUTYPES [CA15123]; ICT COST Action BETTY [IC1201]; COST Action ARVI [IC1402]; European Horizon 2020 project COEMS [732016] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Characterization of strong normalizability for a sequent lambda calculus with co-control (Proceedings Paper) |
| Autori | Santo Jose Espirito Ghilezan Silvia |
| Info | PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), (2017), vol. br. , str. 163-174 |
| Projekat | FCT-Fundacao para a Ciencia e a TecnologiaPortuguese Foundation for Science and Technology [UID-MAT-00013/2013]; COST Action - The European research network on types for programming and verification (EUTypes) via STSM [CA15123]; Ministry of Education, Sci |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
