Jovanka Pantovic

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 22

Top Topics

Threshold Functions

Top Venues

J. Multiple Valued Log. Soft Comput.

J. Log. Algebraic Methods Program.

Publications

Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24 (2) (2023)
Andrea Karalic, Jovanka Pantovic, Hristina Suknjaja
Characteristic Vectors of Reversible Boolean Functions with Threshold Components. ISMVL (2022)
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
On primitives for compensation handling as adaptable processes. J. Log. Algebraic Methods Program. 121 (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR (2020)
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
A calculus for modeling floating authorizations. J. Log. Algebraic Methods Program. 107 (2019)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104 (2019)
Ivan Prokic, Jovanka Pantovic
Characterization of Generalized S-Threshold Functions by Nomura Parameters. J. Multiple Valued Log. Soft Comput. 33 (3) (2019)
Hajime Machida, Jovanka Pantovic
Closed Sets of Monomials in Two Variables Generated by Singletons. J. Multiple Valued Log. Soft Comput. 33 (3) (2019)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
A Calculus for Modeling Floating Authorizations. CoRR (2018)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
A Calculus for Modeling Floating Authorizations. FORTE (2018)
Hajime Machida, Jovanka Pantovic
Monomial Clones Over Small Finite Fields. J. Multiple Valued Log. Soft Comput. 31 (3) (2018)
Hajime Machida, Jovanka Pantovic
One Class of Maximal Binary Monomials. ISMVL (2018)
Hajime Machida, Jovanka Pantovic
Three Classes of Closed Sets of Monomials. ISMVL (2017)
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
Efficient compensation handling via subjective updates. SAC (2017)
Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan
Linked data privacy. Math. Struct. Comput. Sci. 27 (1) (2017)
Ivan Prokic, Jovanka Pantovic
Nomura Parameters for S-Threshold Functions. ISMVL (2017)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28 (4) (2016)
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
-Threshold Functions. J. Multiple Valued Log. Soft Comput. 26 (1-2) (2016)
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic
Measuring linearity of curves in 2D and 3D. Pattern Recognit. 49 (2016)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods (2016)
Hajime Machida, Jovanka Pantovic
Monomial Clones: Local Results and Global Properties. ISMVL (2016)
Jelena Colic, Hajime Machida, Jovanka Pantovic
Upward Saturated Hyperclones. J. Multiple Valued Log. Soft Comput. 24 (1-4) (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. CoRR (2015)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. PLACES (2015)
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic
Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves. J. Math. Imaging Vis. 53 (1) (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
A Typed Model for Dynamic Authorizations. PLACES (2015)
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS (2015)
Jelena Colic, Hajime Machida, Jovanka Pantovic
One-point Extension of the Algebra of Incompletely Specified Operations. J. Multiple Valued Log. Soft Comput. 22 (1-2) (2014)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic Role Authorization in Multiparty Conversations. BEAT (2014)
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL (2014)
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
Session Type Isomorphisms. PLACES (2014)
Jovisa D. Zunic, Jovanka Pantovic, Paul L. Rosin
Measuring Linearity of Planar Curves. ICPRAM (Selected Papers) (2013)
Jelena Colic, Hajime Machida, Jovanka Pantovic
On Hyper Co-Clones. ISMVL (2013)
Jovisa D. Zunic, Jovanka Pantovic, Paul L. Rosin
Measuring Linearity of Curves. ICPRAM (2013)
Jelena Colic, Hajime Machida, Jovanka Pantovic
Clones of Incompletely Specified Operations. ISMVL (2012)
Hajime Machida, Jovanka Pantovic
Three Classes of Maximal Hyperclones. J. Multiple Valued Log. Soft Comput. 18 (2) (2012)
Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg
Regular Sets of Operations. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic
Measuring Linearity of Closed Curves and Connected Compound Curves. ACCV (3) (2012)
Jelena Colic, Hajime Machida, Jovanka Pantovic
Maximal Hyperclones Determined by Monotone Operations. ISMVL (2011)
Hajime Machida, Lucien Haddad, Jovanka Pantovic
Invitation to Clone Theory with Partial Clones and Hyperclones. ISMVL (2011)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
Types for Role-Based Access Control of Dynamic Web Data. WFLP (2010)
Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg
Galois Connection for Hyperclones. ISMVL (2010)
Hajime Machida, Jovanka Pantovic
Hyperclones Determined by Total-Parts of Hyper-relations. ISMVL (2009)
Hajime Machida, Jovanka Pantovic
as Hypercores. J. Multiple Valued Log. Soft Comput. 15 (4) (2009)
Hajime Machida, Jovanka Pantovic
On Maximal Hyperclones on {0, 1} - A New Approach. ISMVL (2008)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
Security types for dynamic web data. Theor. Comput. Sci. 402 (2-3) (2008)
Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic
Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Trans. Neural Networks 18 (5) (2007)
Jovanka Pantovic, Gradimir Vojvodic
Commuting Hyperoperations. ISMVL (2006)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic
Security Types for Dynamic Web Data. TGC (2006)
Jovanka Pantovic, Biljana Rodic, Gradimir Vojvodic
Unary Minimal Partial Hyperclones. J. Multiple Valued Log. Soft Comput. 12 (5-6) (2006)
Jovanka Pantovic, Gradimir Vojvodic
On the Partial Hyperclone Lattice. ISMVL (2005)
Jovanka Pantovic, Gradimir Vojvodic
Minimal Partial Hyperclones on a Two-Element Set. ISMVL (2004)
Jovanka Pantovic, Ratko Tosic, Gradimir Vojvodic
Relative completeness with respect to two unary functions. Discret. Appl. Math. 113 (2-3) (2001)
Jovanka Pantovic, Dusan Vojvodic
Note on the Cardinality of some Sets of Clones. Acta Cybern. 14 (3) (2000)