Jovanka Pantovic

According to our database1, Jovanka Pantovic authored at least 49 papers between 2000 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Precise subtyping for asynchronous multiparty sessions.
Proc. ACM Program. Lang., 2021

2019
Characterization of Generalized S-Threshold Functions by Nomura Parameters.
J. Multiple Valued Log. Soft Comput., 2019

Closed Sets of Monomials in Two Variables Generated by Singletons.
J. Multiple Valued Log. Soft Comput., 2019

Precise subtyping for synchronous multiparty sessions.
J. Log. Algebraic Methods Program., 2019

A calculus for modeling floating authorizations.
J. Log. Algebraic Methods Program., 2019

2018
Monomial Clones Over Small Finite Fields.
J. Multiple Valued Log. Soft Comput., 2018

One Class of Maximal Binary Monomials.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017
Linked data privacy.
Math. Struct. Comput. Sci., 2017

Efficient compensation handling via subjective updates.
Proceedings of the Symposium on Applied Computing, 2017

Nomura Parameters for S-Threshold Functions.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Three Classes of Closed Sets of Monomials.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016
Measuring linearity of curves in 2D and 3D.
Pattern Recognit., 2016

Encoding of Multi Level <i>S</i>-Threshold Functions.
J. Multiple Valued Log. Soft Comput., 2016

Monomial Clones: Local Results and Global Properties.
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Upward Saturated Hyperclones.
J. Multiple Valued Log. Soft Comput., 2015

Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves.
J. Math. Imaging Vis., 2015

Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program., 2015

A Typed Model for Dynamic Authorizations.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Precise subtyping for synchronous multiparty sessions.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

On Compensation Primitives as Adaptable Processes.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

2014
One-point Extension of the Algebra of Incompletely Specified Operations.
J. Multiple Valued Log. Soft Comput., 2014

Dynamic Role Authorization in Multiparty Conversations.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Session Type Isomorphisms.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

On the Number of S-Threshold Functions on Not Necessarily Binary Input.
Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

2013
On Hyper Co-Clones.
Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Measuring Linearity of Planar Curves.
Proceedings of the Pattern Recognition Applications and Methods - International Conference, 2013

Measuring Linearity of Curves.
Proceedings of the ICPRAM 2013, 2013

2012
Regular Sets of Operations.
J. Multiple Valued Log. Soft Comput., 2012

Three Classes of Maximal Hyperclones.
J. Multiple Valued Log. Soft Comput., 2012

Clones of Incompletely Specified Operations.
Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

Measuring Linearity of Closed Curves and Connected Compound Curves.
Proceedings of the Computer Vision - ACCV 2012, 2012

2011
Invitation to Clone Theory with Partial Clones and Hyperclones.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

Maximal Hyperclones Determined by Monotone Operations.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

2010
Types for Role-Based Access Control of Dynamic Web Data.
Proceedings of the Functional and Constraint Logic Programming, 2010

Galois Connection for Hyperclones.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Maximal Hyperclones on <i>E</i><sub>2</sub> as Hypercores.
J. Multiple Valued Log. Soft Comput., 2009

Hyperclones Determined by Total-Parts of Hyper-relations.
Proceedings of the ISMVL 2009, 2009

2008
Security types for dynamic web data.
Theor. Comput. Sci., 2008

On Maximal Hyperclones on {0, 1} - A New Approach.
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007
Partitioning Finite d-Dimensional Integer Grids with Applications.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Separating Points by Parallel Hyperplanes - Characterization Problem.
IEEE Trans. Neural Networks, 2007

2006
Unary Minimal Partial Hyperclones.
J. Multiple Valued Log. Soft Comput., 2006

Security Types for Dynamic Web Data.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Commuting Hyperoperations.
Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006

2005
On the Partial Hyperclone Lattice.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2004
Minimal Partial Hyperclones on a Two-Element Set.
Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2001
Relative completeness with respect to two unary functions.
Discret. Appl. Math., 2001

2000
Note on the Cardinality of some Sets of Clones.
Acta Cybern., 2000


  Loading...