еНаука - преглед

Преглед према Аутор Pantović, Jovanka

Приказ резултата 1 до 20 од 82  следеће >
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2018A Calculus for Modeling Floating AuthorizationsPantović, Jovanka  ; Prokić, Ivan  ; Vieira, Hugo TorresКонференцијски рад
Мп категорија ће бити приказана накнадно.
2019A calculus for modeling floating authorizationsProkić, Ivan  ; Pantović, Jovanka  ; Vieira, Hugo TorresНаучни чланак
21M21 - Водећи међународни часопис категорије M21
2016A typed model for dynamic authorizationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Pérez, Jorge A.; Vieira, Hugo TorresКонференцијски рад
Мп категорија ће бити приказана накнадно.
2020Algebarska i kombinatorna svojstva grafova pridruzenih stepeno-asocijativnim grupoidimaZahirović, Samir  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2017Algebarski aspekti reverzibilnog logičkog dizajnaKolesar, Andreja; Pantović, Jovanka  Научни чланак
53M53 - Национални часопис категорије M53
2014Binary relations and algebras on multisetsGhilezan, Silvia  ; Pantović, Jovanka  ; Vojvodic, GradimirНаучни чланак
23M23 - Међународни часопис категорије M23
2022Characteristic Vectors of Reversible Boolean Functions with Threshold ComponentsKaralic, Andrea  ; Pantovic, Jovanka  ; Suknjaja, HristinaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2019Characterization of Generalized S-Threshold Functions by Nomura ParametersProkić, Ivan S.  ; PANTOVIĆ, JOVANKA B.  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2012Clones of Incompletely Specified OperationsPantović, Jovanka  ; Čolić, Jelena  ; Hajime MachidaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2022Clones of Nondeterministic OperationsČolić Oravec, JelenaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2019Closed Sets of Monomials in Two Variables Generated by SingletonsMachida, Hajime; Pantović, Jovanka B.  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2015Combining behavioural types with security analysisBartoletti, 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 - Водећи међународни часопис категорије M21
2006Commuting HyperoperationsPantovic, Jovanka  ; Vojvodic, GradimirКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, NobukoКонференцијски рад
Мп категорија ће бити приказана накнадно.
2013Development and verification of probability logics and logical frameworksMaksimović, PetarДокторска дисертација
70M70 - Одбрањена докторска дисертација
2017Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic methodJakšić-Krüger, Tatjana  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2016Dynamic Role Authorisation in Multiparty ConversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, A. Jorge; Torres, Vieira HugoНаучни чланак
22M22 - Међународни часопис категорије M22
2014Dynamic role authorization in multiparty conversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, Jorge; Hugo Torres, VieiraКонференцијски рад
Мп категорија ће бити приказана накнадно.
2017Efficient compensation handling via subjective updatesDedeić, Jovana  ; Pantović, Jovanka  ; Pérez, Jorge A.Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Encoding of multilevel S-threshold functionsPantović, Jovanka  ; Gilezan, Silvia K.  ; Žunić, Joviša  Научни чланак
21M21 - Водећи међународни часопис категорије M21
Приказ резултата 1 до 20 од 82  следеће >