еНаука - преглед
Преглед према Аутор Pantović, Jovanka
Приказ резултата 1 до 20 од 78
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2019 | A calculus for modeling floating authorizations (✓) | Prokić, Ivan ; Pantović, Jovanka ; Vieira, Hugo Torres | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2018 | A Calculus for Modeling Floating Authorizations | Pantović, Jovanka ; Prokić, Ivan ; Vieira, Hugo Torres | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Pérez; Hugo Torres Vieira | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | Algebarska i kombinatorna svojstva grafova pridruzenih stepeno-asocijativnim grupoidima | Zahirović, Samir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2017 | Algebarski aspekti reverzibilnog logičkog dizajna (✓) | Kolesar, Andreja; Pantović, Jovanka | Научни чланак | 53M53 - Рад у нац. часопису |
2014 | Binary relations and algebras on multisets (✓) | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Научни чланак | 23M23 - Рад у међ. часопису |
2022 | Characteristic Vectors of Reversible Boolean Functions with Threshold Components (✓) | Karalic, Andrea ; Pantovic, Jovanka ; Suknjaja, Hristina | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Characterization of Generalized S-Threshold Functions by Nomura Parameters (✓) | Prokić, Ivan S. ; PANTOVIĆ, JOVANKA B. | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2012 | Clones of Incompletely Specified Operations | Pantović, Jovanka ; Čolić, Jelena ; Hajime Machida | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2022 | Clones of Nondeterministic Operations | Čolić, Oravec, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2019 | Closed Sets of Monomials in Two Variables Generated by Singletons (✓) | Machida, Hajime; Pantović, Jovanka B. | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | Combining behavioural types with security analysis (✓) | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2006 | Commuting Hyperoperations | Pantovic, Jovanka B ; Vojvodic, Gradimir D | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2017 | Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic method (✓) | Jakšić-Krüger, Tatjana | Докторска дисертација | 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Efficient compensation handling via subjective updates (✓) | Dedeić, Jovana ; Pantović, Jovanka ; Pérez, Jorge A. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Encoding of multilevel S-threshold functions (✓) | Pantović, Jovanka ; Gilezan, Silvia K. ; Žunić, Joviša | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |