Pantović, Jovanka

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 68 Резултати/страница

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