Browsing eNauka
Browsing by Author Pantović, Jovanka
Showing results 1 to 20 of 82
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2018 | A Calculus for Modeling Floating Authorizations | Pantović, Jovanka   ; Prokić, Ivan ; Vieira, Hugo Torres | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | A calculus for modeling floating authorizations | Prokić, Ivan ; Pantović, Jovanka ; Vieira, Hugo Torres | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Algebarska i kombinatorna svojstva grafova pridruzenih stepeno-asocijativnim grupoidima | Zahirović, Samir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2017 | Algebarski aspekti reverzibilnog logičkog dizajna | Kolesar, Andreja; Pantović, Jovanka | Naučni članak | 53M53 - Nacionalni časopis kategorije M53 |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2022 | Characteristic Vectors of Reversible Boolean Functions with Threshold Components | Karalic, Andrea ; Pantovic, Jovanka ; Suknjaja, Hristina | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Characterization of Generalized S-Threshold Functions by Nomura Parameters | Prokić, Ivan S. ; PANTOVIĆ, JOVANKA B. | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2012 | Clones of Incompletely Specified Operations | Pantović, Jovanka ; Čolić, Jelena ; Hajime Machida | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Clones of Nondeterministic Operations | Čolić Oravec, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Closed Sets of Monomials in Two Variables Generated by Singletons | Machida, Hajime; Pantović, Jovanka B. | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 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 | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2006 | Commuting Hyperoperations | Pantovic, Jovanka ; Vojvodic, Gradimir | 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 |
| 2017 | Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic method | Jakšić-Krüger, Tatjana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Efficient compensation handling via subjective updates | Dedeić, Jovana ; Pantović, Jovanka ; Pérez, Jorge A. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Encoding of multilevel S-threshold functions | Pantović, Jovanka ; Gilezan, Silvia K. ; Žunić, Joviša | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |