Autori: Jaksic Svetlana
| 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Exception handling for copyless messaging (Article) |
| Autori | Jaksic Svetlana Padovani Luca |
| Info | SCIENCE OF COMPUTER PROGRAMMING, (2014), vol. 84 br. , str. 22-51 |
| Projekat | Cost Action IC0901, the Serbian Ministry of Education and Science [ON174026, III44006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus (Proceedings Paper) |
| Autori | Di Gianantonio Pietro Jaksic Svetlana Lenisa Marina |
| Info | CONCUR 2010 - CONCURRENCY THEORY, (2010), vol. 6269 br. , str. 358-+ |
| Projekat | PRIN Project SISTER [20088HXMYN]; FIRB [RBIN04M8S8]; MIURMinistero dell' Istruzione, dell' Universita e della Ricerca (MIUR) |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
