Истраживачи

Резултати 21-40 од 68
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2016Precise subtyping for synchronous multiparty sessionsMariangiola Dezani-Ciancaglini; Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Nobuko YoshidaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016Measuring Linearity of Curves in 2D and 3DRosin, Paul; Pantović, Jovanka  ; Žunić, Joviša  Научни чланак
21aM21a - Водећи међународни часопис категорије M21a
2016Dynamic Role Authorisation in Multiparty ConversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, A. Jorge; Torres, Vieira HugoНаучни чланак
22M22 - Међународни часопис категорије M22
2016Encoding of multilevel S-threshold functionsPantović, Jovanka  ; Gilezan, Silvia K.  ; Žunić, Joviša  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2016A typed model for dynamic authorizationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Pérez, Jorge A.; Vieira, Hugo TorresКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, NobukoКонференцијски рад
Мп категорија ће бити приказана накнадно.
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
2015On Compensation Primitives as Adaptable ProcessesDedeić, Jovana  ; Pantović, Jovanka  ; Pérez, Jorge A.Конференцијски рад
Мп категорија ће бити приказана накнадно.
2015Upward Saturated HyperclonesPantović, Jovanka  ; Čolić Oravec, Jelena A.  ; Hajime MachidaНаучни чланак
21aM21a - Водећи међународни часопис категорије M21a
2015Measuring linearity of planar curvesŽunić, Joviša  ; Pantović, Jovanka  ; Rosin, PaulПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2015From clones to hyperclonesPantović, Jovanka  ; Čolić Oravec, Jelena A.  ; Hajime, Machida; Vojvodić, GradimirПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2015Linked data privacyJakšić, Svetlana ; Pantović, Jovanka  ; Gilezan, Silvia  Научни чланак
22M22 - Међународни часопис категорије M22
2014Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D CurvesRosin, Paul L.; Pantović, Jovanka  ; Žunić, Joviša  Научни чланак
21a+M21a+ - Водећи међународни часопис категорије M21a+
2014Session Types IsomorphismsDezani-Cinaciaglini, Mariangiola; Padovani, Luca; Pantović, Jovanka  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Binary relations and algebras on multisetsGhilezan, Silvia  ; Pantović, Jovanka  ; Vojvodic, GradimirНаучни чланак
23M23 - Међународни часопис категорије M23
2014On the number of S-threshold functions on not necessarily binary inputPantović, Jovanka  ; Gilezan, Silvia  ; Žunić, Joviša  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Internationalisation of Doctoral education - a good practiseGilezan, Silvia  ; Ivetić, Jelena  ; Marković, Zoran; Ognjanović, Zoran  ; Pantović, Jovanka  ; Davidović, Tatjana  ; M. Lenisa; Stojaković, Mila  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014One-point extension of the algebra of incompletely specified operationsPantović, Jovanka  ; Čolić, Jelena  ; Hajime MachidaНаучни чланак
21aM21a - Водећи међународни часопис категорије M21a
2014Dynamic role authorization in multiparty conversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, Jorge; Hugo Torres, VieiraКонференцијски рад
Мп категорија ће бити приказана накнадно.
2013On hyper co-clonesPantović, Jovanka  ; Čolić, Jelena  ; Machida, HajimeКонференцијски рад
Мп категорија ће бити приказана накнадно.