Researchers

Rezultati 21-40 od 68
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2016Precise subtyping for synchronous multiparty sessionsMariangiola Dezani-Ciancaglini; Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Nobuko YoshidaKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Encoding of multilevel S-threshold functionsPantović, Jovanka  ; Gilezan, Silvia K.  ; Žunić, Joviša  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2016Monomial Clones: Local Results and Global PropertiesPantović, Jovanka  ; Machida, HajimeKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2016A typed model for dynamic authorizationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Pérez, Jorge A.; Vieira, Hugo TorresKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Dynamic Role Authorisation in Multiparty ConversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, A. Jorge; Torres, Vieira HugoNaučni članak
22M22 - Međunarodni časopis kategorije M22
2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, NobukoKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Measuring linearity of planar curvesŽunić, Joviša  ; Pantović, Jovanka  ; Rosin, PaulPoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2015Upward Saturated HyperclonesPantović, Jovanka  ; Čolić Oravec, Jelena A.  ; Hajime MachidaNaučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
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 TorresNaučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2015On Compensation Primitives as Adaptable ProcessesDedeić, Jovana  ; Pantović, Jovanka  ; Pérez, Jorge A.Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015From clones to hyperclonesPantović, Jovanka  ; Čolić Oravec, Jelena A.  ; Hajime, Machida; Vojvodić, GradimirPoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2015Linked data privacyJakšić, Svetlana ; Pantović, Jovanka  ; Gilezan, Silvia  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2014Internationalisation of Doctoral education - a good practiseGilezan, Silvia  ; Ivetić, Jelena  ; Marković, Zoran; Ognjanović, Zoran  ; Pantović, Jovanka  ; Davidović, Tatjana  ; M. Lenisa; Stojaković, Mila  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Session Types IsomorphismsDezani-Cinaciaglini, Mariangiola; Padovani, Luca; Pantović, Jovanka  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Binary relations and algebras on multisetsGhilezan, Silvia  ; Pantović, Jovanka  ; Vojvodic, GradimirNaučni članak
23M23 - Međunarodni časopis kategorije M23
2014Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D CurvesRosin, Paul L.; Pantović, Jovanka  ; Žunić, Joviša  Naučni članak
21a+M21a+ - Vodeći međunarodni časopis kategorije M21a+
2014On the number of S-threshold functions on not necessarily binary inputPantović, Jovanka  ; Gilezan, Silvia  ; Žunić, Joviša  Conference Paper
Mp. category will be shown later
2014Dynamic role authorization in multiparty conversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, Jorge; Hugo Torres, VieiraConference Paper
Mp. category will be shown later
2014One-point extension of the algebra of incompletely specified operationsPantović, Jovanka  ; Čolić, Jelena  ; Hajime MachidaArticle
21aM21a
2013Measuring linearity of curvesŽunić, Joviša  ; Pantović, Jovanka  ; Rosin, Paul L.Conference Paper
Mp. category will be shown later