eNauka - pregled
Pregled prema Autor Gilezan, Silvia
Prikaz rezultata 41 do 60 od 182
< prethodno
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | Denotational and Operational Preciseness of Subtyping : Invited talk | Ghilezan, Silvia   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2018 | Doctoral School towards Knowledge Based Society | Gilezan, Silvia K. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Doctoral School towards Knowledge Based Society : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Dynamic formation of the distributed micro clouds | Simić, Miloš | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Научни чланак | 23M23 - Рад у међ. часопису |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Perez; Hugo Torres Vieira | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Encoding of multilevel S-threshold functions | Pantović, Jovanka ; Gilezan, Silvia K. ; Žunić, Joviša | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | Federating digital contact tracing using structured overlay networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Научни чланак | 23M23 - Рад у међ. часопису |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Finite vs Infinite - 'A lesson on scientific rigor and mathematical preciseness | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories | Popović, Marko; Popović, Miroslav ; Gilezan, Silvia K. ; KORDIĆ, BRANISLAV A. | Научни чланак | 23M23 - Рад у међ. часопису |
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model | Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2020 | Formalni sistemi za dokazivanje teorema incidencije | Milićević, Marina | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2021 | Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze | Popović, Marko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |