Browsing eNauka
Browsing by Author Pantović, Jovanka
Showing results 1 to 20 of 76
next >
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2019 | A calculus for modeling floating authorizations (✓) | Prokić, Ivan ![]() ![]() ![]() ![]() | Article | 21M21 |
2018 | A Calculus for Modeling Floating Authorizations | Pantović, Jovanka ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2016 | A typed model for dynamic authorizations | Gilezan, Silvia ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2020 | Algebarska i kombinatorna svojstva grafova pridruzenih stepeno-asocijativnim grupoidima | Zahirović, Samir ![]() ![]() | Doctoral theses | 70M70 |
2017 | Algebarski aspekti reverzibilnog logičkog dizajna (✓) | Kolesar, Andreja; Pantović, Jovanka ![]() ![]() | Article | 53M53 |
2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ![]() ![]() ![]() ![]() | Article | 23M23 |
2022 | Characteristic Vectors of Reversible Boolean Functions with Threshold Components (✓) | Karalic, Andrea ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2019 | Characterization of Generalized S-Threshold Functions by Nomura Parameters (✓) | Prokić, Ivan S. ![]() ![]() ![]() ![]() | Article | 22M22 |
2012 | Clones of Incompletely Specified Operations | Pantović, Jovanka ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2022 | Clones of Nondeterministic Operations | Čolić, Oravec, Jelena | Doctoral theses | 70M70 |
2019 | Closed Sets of Monomials in Two Variables Generated by Singletons (✓) | Machida, Hajime; Pantović, Jovanka B. ![]() ![]() | Article | 22M22 |
2015 | Combining behavioural types with security analysis (✓) | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ![]() ![]() ![]() ![]() | Article | 21M21 |
2006 | Commuting Hyperoperations | Pantovic, Jovanka B ![]() ![]() | Conference Paper | Mp. category will be shown later |
2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doctoral theses | 70M70 |
2017 | Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic method (✓) | Jakšić-Krüger, Tatjana ![]() ![]() | Doctoral theses | 70M70 |
2016 | Dynamic Role Authorisation in Multiparty Conversations (✓) | Gilezan, Silvia ![]() ![]() ![]() ![]() ![]() | Article | 23M23 |
2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2017 | Efficient compensation handling via subjective updates (✓) | Dedeić, Jovana ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2016 | Encoding of multilevel S-threshold functions (✓) | Pantović, Jovanka ![]() ![]() ![]() ![]() ![]() ![]() | Article | 22M22 |