Autori: Ghilezan Silvia
| 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 |
| Naslov | An Approach to Formal Verification of Python Software Transactional Memory (Proceedings Paper) |
| Autori | Kordic Branislav A Popovic Miroslav V Ghilezan Silvia Basicevic Ilija V |
| Info | PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017), (2017), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [TR32031, ON174026, III044006]; Secretary of Science and Technology Development of the Province of Vojvodina [114-451-1074/2014-03] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | An Approach to Formal Verification of Python Software Transactional Memory (Proceedings Paper) |
| Autori | Kordic Branislav A Popovic Miroslav V Ghilezan Silvia Basicevic Ilija V |
| Info | FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017), (2017), vol. br. , str. - |
| Projekat | Science and Technology Development of the Province of Vojvodina [114-451-1074/2014-03]; Ministry of Education, Science and Technological Development of the Republic of Serbia [TR32031, ON174026, III044006] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | Linked data privacy (Article) |
| Autori | Jaksic Svetlana Pantovic Jovanka B Ghilezan Silvia |
| Info | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, (2017), vol. 27 br. 1, str. 33-53 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [ON174026, III44006]; COST Action [IC1201] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Dynamic role authorization in multiparty conversations (Article) |
| Autori | Ghilezan Silvia Jaksic Svetlana Pantovic Jovanka B Perez Jorge A Vieira Hugo Torres |
| Info | FORMAL ASPECTS OF COMPUTING, (2016), vol. 28 br. 4, str. 643-667 |
| Projekat | COST Action: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) via Short-Term Scientific Mission grants [IC1201]; Ministry of Education and Science, Serbia [ON174026, III44006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Encoding of Multilevel S-Threshold Functions (Article) |
| Autori | Pantovic Jovanka B Ghilezan Silvia Zunic Jovisa |
| Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2016), vol. 26 br. 1-2, str. 89-108 |
| Projekat | Serbian Ministry of Science [ON174008/ON174026] |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Combining behavioural types with security analysis (Article) |
| Autori | Bartoletti Massimo Castellani Ilaria Denielou Pierre-Malo Dezani-Ciancaglini Mariangiola Ghilezan Silvia Pantovic Jovanka B Perez Jorge A Thiemann Peter Toninho Bernardo Vieira Hugo Torres |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2015), vol. 84 br. 6, str. 763-780 |
| Projekat | COST Action [IC1201] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
