Jovanka Pantovic

58 papers C 2Misc 1Journal 27Unranked 27
YearRankTypeTitle / Venue / Authors
2024 — conf
Relational Characterization of Multilevel Threshold Functions.
ISMVL
Andrea Ðurdevic, Jovanka Pantovic
2023 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
ACM Trans. Comput. Log.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2022 — conf
Characteristic Vectors of Reversible Boolean Functions with Threshold Components.
ISMVL
Andrea Karalic, Jovanka Pantovic, Hristina Suknjaja
2021 J jnl
On primitives for compensation handling as adaptable processes.
J. Log. Algebraic Methods Program.
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
2021 J jnl
Precise subtyping for asynchronous multiparty sessions.
Proc. ACM Program. Lang.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2020 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
CoRR
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2019 J jnl
A calculus for modeling floating authorizations.
J. Log. Algebraic Methods Program.
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
2019 J jnl
Characterization of Generalized S-Threshold Functions by Nomura Parameters.
J. Multiple Valued Log. Soft Comput.
Ivan Prokic, Jovanka Pantovic
2019 J jnl
Closed Sets of Monomials in Two Variables Generated by Singletons.
J. Multiple Valued Log. Soft Comput.
Hajime Machida, Jovanka Pantovic
2019 J jnl
Precise subtyping for synchronous multiparty sessions.
J. Log. Algebraic Methods Program.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
2018 C conf
A Calculus for Modeling Floating Authorizations.
FORTE
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
2018 J jnl
A Calculus for Modeling Floating Authorizations.
CoRR
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
2018 J jnl
Monomial Clones Over Small Finite Fields.
J. Multiple Valued Log. Soft Comput.
Hajime Machida, Jovanka Pantovic
2018 — conf
One Class of Maximal Binary Monomials.
ISMVL
Hajime Machida, Jovanka Pantovic
2017 Misc conf
Efficient compensation handling via subjective updates.
SAC
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
2017 J jnl
Linked data privacy.
Math. Struct. Comput. Sci.
Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan
2017 — conf
Nomura Parameters for S-Threshold Functions.
ISMVL
Ivan Prokic, Jovanka Pantovic
2017 — conf
Three Classes of Closed Sets of Monomials.
ISMVL
Hajime Machida, Jovanka Pantovic
2016 — conf
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
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2016 J jnl
Dynamic role authorization in multiparty conversations.
Formal Aspects Comput.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2016 J jnl
Encoding of Multi Level
J. Multiple Valued Log. Soft Comput.
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
2016 J jnl
Measuring linearity of curves in 2D and 3D.
Pattern Recognit.
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic
2016 — conf
Monomial Clones: Local Results and Global Properties.
ISMVL
Hajime Machida, Jovanka Pantovic
2015 — conf
A Typed Model for Dynamic Authorizations.
PLACES
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2015 J jnl
Combining behavioural types with security analysis.
CoRR
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
2015 J jnl
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program.
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
2015 J jnl
Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves.
J. Math. Imaging Vis.
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic
2015 — conf
On Compensation Primitives as Adaptable Processes.
EXPRESS/SOS
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
2015 — conf
Precise subtyping for synchronous multiparty sessions.
PLACES
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2015 J jnl
Upward Saturated Hyperclones.
J. Multiple Valued Log. Soft Comput.
Jelena Colic, Hajime Machida, Jovanka Pantovic
2014 — conf
Dynamic Role Authorization in Multiparty Conversations.
BEAT
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2014 — conf
On the Number of S-Threshold Functions on Not Necessarily Binary Input.
ISMVL
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
2014 J jnl
One-point Extension of the Algebra of Incompletely Specified Operations.
J. Multiple Valued Log. Soft Comput.
Jelena Colic, Hajime Machida, Jovanka Pantovic
2014 — conf
Session Type Isomorphisms.
PLACES
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
2013 C conf
Measuring Linearity of Curves.
ICPRAM
Jovisa D. Zunic, Jovanka Pantovic, Paul L. Rosin
2013 — conf
Measuring Linearity of Planar Curves.
ICPRAM (Selected Papers)
Jovisa D. Zunic, Jovanka Pantovic, Paul L. Rosin
2013 — conf
On Hyper Co-Clones.
ISMVL
Jelena Colic, Hajime Machida, Jovanka Pantovic
2012 — conf
Clones of Incompletely Specified Operations.
ISMVL
Jelena Colic, Hajime Machida, Jovanka Pantovic
2012 — conf
Measuring Linearity of Closed Curves and Connected Compound Curves.
ACCV (3)
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic
2012 J jnl
Regular Sets of Operations.
J. Multiple Valued Log. Soft Comput.
Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg
2012 J jnl
Three Classes of Maximal Hyperclones.
J. Multiple Valued Log. Soft Comput.
Hajime Machida, Jovanka Pantovic
2011 — conf
Invitation to Clone Theory with Partial Clones and Hyperclones.
ISMVL
Hajime Machida, Lucien Haddad, Jovanka Pantovic
2011 — conf
Maximal Hyperclones Determined by Monotone Operations.
ISMVL
Jelena Colic, Hajime Machida, Jovanka Pantovic
2010 — conf
Galois Connection for Hyperclones.
ISMVL
Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg
2010 — conf
Types for Role-Based Access Control of Dynamic Web Data.
WFLP
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
2009 — conf
Hyperclones Determined by Total-Parts of Hyper-relations.
ISMVL
Hajime Machida, Jovanka Pantovic
2009 J jnl
Maximal Hyperclones on
J. Multiple Valued Log. Soft Comput.
Hajime Machida, Jovanka Pantovic
2008 — conf
On Maximal Hyperclones on {0, 1} - A New Approach.
ISMVL
Hajime Machida, Jovanka Pantovic
2008 J jnl
Security types for dynamic web data.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
2007 — ch.
Partitioning Finite d-Dimensional Integer Grids with Applications.
Handbook of Approximation Algorithms and Metaheuristics
Silvia Ghilezan, Jovisa D. Zunic, Jovanka Pantovic
2007 J jnl
Separating Points by Parallel Hyperplanes - Characterization Problem.
IEEE Trans. Neural Networks
Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic
2006 — conf
Commuting Hyperoperations.
ISMVL
Jovanka Pantovic, Gradimir Vojvodic
2006 — conf
Security Types for Dynamic Web Data.
TGC
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic
2006 J jnl
Unary Minimal Partial Hyperclones.
J. Multiple Valued Log. Soft Comput.
Jovanka Pantovic, Biljana Rodic, Gradimir Vojvodic
2005 — conf
On the Partial Hyperclone Lattice.
ISMVL
Jovanka Pantovic, Gradimir Vojvodic
2004 — conf
Minimal Partial Hyperclones on a Two-Element Set.
ISMVL
Jovanka Pantovic, Gradimir Vojvodic
2001 J jnl
Relative completeness with respect to two unary functions.
Discret. Appl. Math.
Jovanka Pantovic, Ratko Tosic, Gradimir Vojvodic
2000 J jnl
Note on the Cardinality of some Sets of Clones.
Acta Cybern.
Jovanka Pantovic, Dusan Vojvodic