Autori: Ghilezan Silvia
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 |
Naslov | On the Number of S-Threshold Functions on not Necessarily Binary Input (Proceedings Paper) |
Autori | Pantovic Jovanka B Ghilezan Silvia Zunic Jovisa |
Info | 2014 IEEE 44TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2014), (2014), vol. br. , str. 13-18 |
Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science |
Naslov | Binary Relations and Algebras on Multisets (Article) |
Autori | Ghilezan Silvia Pantovic Jovanka B Vojvodic Gradimir D |
Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2014), vol. 95 br. 109, str. 111-117 |
Projekat | Serbian Ministry of Education and Science [ON174026, III44006] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Intersection Types and Related Systems (ITRS) Preface (Editorial Material) |
Autori | Ghilezan Silvia Paolini Luca |
Info | FUNDAMENTA INFORMATICAE, (2012), vol. 121 br. 1-4, str. V-VI |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |