% csauthors.net - beta - BibTeX bibliography of Jovanka Pantovic
@article{journals/actaC/PantovicV00,
title = {Note on the Cardinality of some Sets of Clones.},
year = {2000},
journal = {Acta Cybern.},
author = {{Jovanka Pantovic} and {Dusan Vojvodic}}
}
@article{journals/dam/PantovicTV01,
title = {Relative completeness with respect to two unary functions.},
year = {2001},
journal = {Discret. Appl. Math.},
author = {{Jovanka Pantovic} and {Ratko Tosic} and {Gradimir Vojvodic}}
}
@inproceedings{conf/ismvl/PantovicV04,
title = {Minimal Partial Hyperclones on a Two-Element Set.},
year = {2004},
booktitle = {ISMVL},
author = {{Jovanka Pantovic} and {Gradimir Vojvodic}},
publisher = {IEEE Computer Society},
booktitle = {34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada}
}
@inproceedings{conf/ismvl/PantovicV05,
title = {On the Partial Hyperclone Lattice.},
year = {2005},
booktitle = {ISMVL},
author = {{Jovanka Pantovic} and {Gradimir Vojvodic}},
publisher = {IEEE Computer Society},
booktitle = {35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada}
}
@inproceedings{conf/ismvl/PantovicV06,
title = {Commuting Hyperoperations.},
year = {2006},
booktitle = {ISMVL},
author = {{Jovanka Pantovic} and {Gradimir Vojvodic}},
publisher = {IEEE Computer Society},
booktitle = {36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore}
}
@inproceedings{conf/tgc/Dezani-CiancagliniGP06,
title = {Security Types for Dynamic Web Data.},
year = {2006},
booktitle = {TGC},
author = {{Mariangiola Dezani-Ciancaglini} and {Silvia Ghilezan} and {Jovanka Pantovic}},
publisher = {Springer},
booktitle = {Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers}
}
@article{journals/mvl/PantovicRV06,
title = {Unary Minimal Partial Hyperclones.},
year = {2006},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Jovanka Pantovic} and {Biljana Rodic} and {Gradimir Vojvodic}}
}
@article{journals/tnn/GhilezanPZ07,
title = {Separating Points by Parallel Hyperplanes - Characterization Problem.},
year = {2007},
journal = {IEEE Trans. Neural Networks},
author = {{Silvia Ghilezan} and {Jovanka Pantovic} and {Jovisa D. Zunic}}
}
@incollection{reference/crc/GhilezanZP07,
title = {Partitioning Finite d-Dimensional Integer Grids with Applications.},
year = {2007},
booktitle = {Handbook of Approximation Algorithms and Metaheuristics},
author = {{Silvia Ghilezan} and {Jovisa D. Zunic} and {Jovanka Pantovic}},
publisher = {Chapman and Hall/CRC},
booktitle = {Handbook of Approximation Algorithms and Metaheuristics.}
}
@inproceedings{conf/ismvl/MachidaP08,
title = {On Maximal Hyperclones on \{0, 1\} - A New Approach.},
year = {2008},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA}
}
@article{journals/tcs/Dezani-CiancagliniGPV08,
title = {Security types for dynamic web data.},
year = {2008},
journal = {Theor. Comput. Sci.},
author = {{Mariangiola Dezani-Ciancaglini} and {Silvia Ghilezan} and {Jovanka Pantovic} and {Daniele Varacca}}
}
@inproceedings{conf/ismvl/MachidaP09,
title = {Hyperclones Determined by Total-Parts of Hyper-relations.},
year = {2009},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan}
}
@article{journals/mvl/MachidaP09,
title = {Maximal Hyperclones on E2 as Hypercores.},
year = {2009},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Hajime Machida} and {Jovanka Pantovic}}
}
@inproceedings{conf/ismvl/MachidaPR10,
title = {Galois Connection for Hyperclones.},
year = {2010},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Jovanka Pantovic} and {Ivo G. Rosenberg}},
publisher = {IEEE Computer Society},
booktitle = {40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010}
}
@inproceedings{conf/wflp/Dezani-CiancagliniGJP10,
title = {Types for Role-Based Access Control of Dynamic Web Data.},
year = {2010},
booktitle = {WFLP},
author = {{Mariangiola Dezani-Ciancaglini} and {Silvia Ghilezan} and {Svetlana Jaksic} and {Jovanka Pantovic}},
publisher = {Springer},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers}
}
@inproceedings{conf/ismvl/ColicMP11,
title = {Maximal Hyperclones Determined by Monotone Operations.},
year = {2011},
booktitle = {ISMVL},
author = {{Jelena Colic} and {Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011}
}
@inproceedings{conf/ismvl/MachidaHP11,
title = {Invitation to Clone Theory with Partial Clones and Hyperclones.},
year = {2011},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Lucien Haddad} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011}
}
@inproceedings{conf/accv/RosinPZ12,
title = {Measuring Linearity of Closed Curves and Connected Compound Curves.},
year = {2012},
booktitle = {ACCV (3)},
author = {{Paul L. Rosin} and {Jovanka Pantovic} and {Jovisa D. Zunic}},
publisher = {Springer},
booktitle = {Computer Vision - ACCV 2012 - 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III}
}
@inproceedings{conf/ismvl/ColicMP12,
title = {Clones of Incompletely Specified Operations.},
year = {2012},
booktitle = {ISMVL},
author = {{Jelena Colic} and {Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012}
}
@article{journals/mvl/MachidaP12,
title = {Three Classes of Maximal Hyperclones.},
year = {2012},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Hajime Machida} and {Jovanka Pantovic}}
}
@article{journals/mvl/MachidaPR12,
title = {Regular Sets of Operations.},
year = {2012},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Hajime Machida} and {Jovanka Pantovic} and {Ivo G. Rosenberg}}
}
@inproceedings{conf/icpram/ZunicPR13,
title = {Measuring Linearity of Curves.},
year = {2013},
booktitle = {ICPRAM},
author = {{Jovisa D. Zunic} and {Jovanka Pantovic} and {Paul L. Rosin}},
publisher = {SciTePress},
booktitle = {ICPRAM 2013 - Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods, Barcelona, Spain, 15-18 February, 2013.}
}
@inproceedings{conf/icpram/ZunicPR13a,
title = {Measuring Linearity of Planar Curves.},
year = {2013},
booktitle = {ICPRAM (Selected Papers)},
author = {{Jovisa D. Zunic} and {Jovanka Pantovic} and {Paul L. Rosin}},
publisher = {Springer},
booktitle = {Pattern Recognition Applications and Methods - International Conference, ICPRAM 2013 Barcelona, Spain, February 15-18, 2013 Revised Selected Papers}
}
@inproceedings{conf/ismvl/ColicMP13,
title = {On Hyper Co-Clones.},
year = {2013},
booktitle = {ISMVL},
author = {{Jelena Colic} and {Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013}
}
@inproceedings{conf/ismvl/PantovicGu14,
title = {On the Number of S-Threshold Functions on Not Necessarily Binary Input.},
year = {2014},
booktitle = {ISMVL},
author = {{Jovanka Pantovic} and {Silvia Ghilezan} and {Jovisa D. Zunic}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014}
}
@inproceedings{journals/corr/Dezani-CiancagliniPP14,
title = {Session Type Isomorphisms.},
year = {2014},
booktitle = {PLACES},
author = {{Mariangiola Dezani-Ciancaglini} and {Luca Padovani} and {Jovanka Pantovic}},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014.}
}
@inproceedings{journals/corr/GhilezanJPPV14,
title = {Dynamic Role Authorization in Multiparty Conversations.},
year = {2014},
booktitle = {BEAT},
author = {{Silvia Ghilezan} and {Svetlana Jaksic} and {Jovanka Pantovic} and {Jorge A. Pérez 001} and {Hugo Torres Vieira}},
booktitle = {Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014.}
}
@article{journals/mvl/ColicMP14,
title = {One-point Extension of the Algebra of Incompletely Specified Operations.},
year = {2014},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Jelena Colic} and {Hajime Machida} and {Jovanka Pantovic}}
}
@inproceedings{journals/corr/DedeicPP15,
title = {On Compensation Primitives as Adaptable Processes.},
year = {2015},
booktitle = {EXPRESS/SOS},
author = {{Jovana Dedeic} and {Jovanka Pantovic} and {Jorge A. Pérez 001}},
booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015.}
}
@inproceedings{journals/corr/Dezani-Ciancaglini16,
title = {Precise subtyping for synchronous multiparty sessions.},
year = {2015},
booktitle = {PLACES},
author = {{Mariangiola Dezani-Ciancaglini} and {Silvia Ghilezan} and {Svetlana Jaksic} and {Jovanka Pantovic} and {Nobuko Yoshida}},
booktitle = {Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015.}
}
@inproceedings{journals/corr/GhilezanJPPV16,
title = {A Typed Model for Dynamic Authorizations.},
year = {2015},
booktitle = {PLACES},
author = {{Silvia Ghilezan} and {Svetlana Jaksic} and {Jovanka Pantovic} and {Jorge A. Pérez 001} and {Hugo Torres Vieira}},
booktitle = {Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015.}
}
@article{journals/jlp/BartolettiCDDGP15,
title = {Combining behavioural types with security analysis.},
year = {2015},
journal = {J. Log. Algebraic Methods Program.},
author = {{Massimo Bartoletti} and {Ilaria Castellani} and {Pierre-Malo Deniélou} and {Mariangiola Dezani-Ciancaglini} and {Silvia Ghilezan} and {Jovanka Pantovic} and {Jorge A. Pérez 001} and {Peter Thiemann 001} and {Bernardo Toninho} and {Hugo Torres Vieira}}
}
@article{journals/jmiv/RosinPZ15,
title = {Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves.},
year = {2015},
journal = {J. Math. Imaging Vis.},
author = {{Paul L. Rosin} and {Jovanka Pantovic} and {Jovisa D. Zunic}}
}
@article{journals/mvl/ColicMP15,
title = {Upward Saturated Hyperclones.},
year = {2015},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Jelena Colic} and {Hajime Machida} and {Jovanka Pantovic}}
}
@inproceedings{conf/birthday/Dezani-Ciancaglini16,
title = {Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.},
year = {2016},
booktitle = {Theory and Practice of Formal Methods},
author = {{Mariangiola Dezani-Ciancaglini} and {Silvia Ghilezan} and {Svetlana Jaksic} and {Jovanka Pantovic} and {Nobuko Yoshida}},
publisher = {Springer},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}
}
@inproceedings{conf/ismvl/MachidaP16,
title = {Monomial Clones: Local Results and Global Properties.},
year = {2016},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016}
}
@article{journals/mvl/PantovicGZ16,
title = {Encoding of Multi Level S-Threshold Functions.},
year = {2016},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Jovanka Pantovic} and {Silvia Ghilezan} and {Jovisa D. Zunic}}
}
@article{journals/pr/RosinPZ16,
title = {Measuring linearity of curves in 2D and 3D.},
year = {2016},
journal = {Pattern Recognit.},
author = {{Paul L. Rosin} and {Jovanka Pantovic} and {Jovisa D. Zunic}}
}
@inproceedings{conf/ismvl/MachidaP17,
title = {Three Classes of Closed Sets of Monomials.},
year = {2017},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017}
}
@inproceedings{conf/ismvl/ProkicP17,
title = {Nomura Parameters for S-Threshold Functions.},
year = {2017},
booktitle = {ISMVL},
author = {{Ivan Prokic} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017}
}
@inproceedings{conf/sac/DedeicPP17,
title = {Efficient compensation handling via subjective updates.},
year = {2017},
booktitle = {SAC},
author = {{Jovana Dedeic} and {Jovanka Pantovic} and {Jorge A. Pérez 001}},
publisher = {ACM},
booktitle = {Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017}
}
@article{journals/mscs/JaksicPG17,
title = {Linked data privacy.},
year = {2017},
journal = {Math. Struct. Comput. Sci.},
author = {{Svetlana Jaksic} and {Jovanka Pantovic} and {Silvia Ghilezan}}
}
@inproceedings{conf/ismvl/MachidaP18,
title = {One Class of Maximal Binary Monomials.},
year = {2018},
booktitle = {ISMVL},
author = {{Hajime Machida} and {Jovanka Pantovic}},
publisher = {IEEE Computer Society},
booktitle = {48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018}
}
@article{journals/mvl/MachidaP18,
title = {Monomial Clones Over Small Finite Fields.},
year = {2018},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Hajime Machida} and {Jovanka Pantovic}}
}
@article{journals/jlap/ProkicPV19,
title = {A calculus for modeling floating authorizations.},
year = {2019},
journal = {J. Log. Algebraic Methods Program.},
author = {{Ivan Prokic} and {Jovanka Pantovic} and {Hugo Torres Vieira}}
}
@article{journals/jlp/GhilezanJPSY19,
title = {Precise subtyping for synchronous multiparty sessions.},
year = {2019},
journal = {J. Log. Algebraic Methods Program.},
author = {{Silvia Ghilezan} and {Svetlana Jaksic} and {Jovanka Pantovic} and {Alceste Scalas} and {Nobuko Yoshida}}
}
@article{journals/mvl/MachidaP19,
title = {Closed Sets of Monomials in Two Variables Generated by Singletons.},
year = {2019},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Hajime Machida} and {Jovanka Pantovic}}
}
@article{journals/mvl/ProkicP19,
title = {Characterization of Generalized S-Threshold Functions by Nomura Parameters.},
year = {2019},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Ivan Prokic} and {Jovanka Pantovic}}
}
@article{journals/jlap/DedeicPP21,
title = {On primitives for compensation handling as adaptable processes.},
year = {2021},
journal = {J. Log. Algebraic Methods Program.},
author = {{Jovana Dedeic} and {Jovanka Pantovic} and {Jorge A. Pérez 001}}
}
@article{journals/pacmpl/GhilezanPPSY21,
title = {Precise subtyping for asynchronous multiparty sessions.},
year = {2021},
journal = {Proc. ACM Program. Lang.},
author = {{Silvia Ghilezan} and {Jovanka Pantovic} and {Ivan Prokic} and {Alceste Scalas} and {Nobuko Yoshida}}
}
@inproceedings{conf/ismvl/KaralicPS22,
title = {Characteristic Vectors of Reversible Boolean Functions with Threshold Components.},
year = {2022},
booktitle = {ISMVL},
author = {{Andrea Karalic} and {Jovanka Pantovic} and {Hristina Suknjaja}},
publisher = {IEEE},
booktitle = {52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022, Dallas, TX, USA, May 18-20, 2022}
}