default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJovanka Pantovic
Person information
- affiliation: University of Novi Sad, Serbia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]Andrea Ðurdevic
, Jovanka Pantovic:
Relational Characterization of Multilevel Threshold Functions. ISMVL 2024: 13-18- 2023
- [j24]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24(2): 14:1-14:73 (2023) - 2022
- [c29]Andrea Karalic, Jovanka Pantovic, Hristina Suknjaja:
Characteristic Vectors of Reversible Boolean Functions with Threshold Components. ISMVL 2022: 113-118 - 2021
- [j23]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On primitives for compensation handling as adaptable processes. J. Log. Algebraic Methods Program. 121: 100675 (2021) - [j22]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - 2020
- [i3]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR abs/2010.13925 (2020)
2010 – 2019
- 2019
- [j21]Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira:
A calculus for modeling floating authorizations. J. Log. Algebraic Methods Program. 107: 136-174 (2019) - [j20]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104: 127-173 (2019) - [j19]Hajime Machida, Jovanka Pantovic:
Closed Sets of Monomials in Two Variables Generated by Singletons. J. Multiple Valued Log. Soft Comput. 33(3): 219-238 (2019) - [j18]Ivan Prokic, Jovanka Pantovic:
Characterization of Generalized S-Threshold Functions by Nomura Parameters. J. Multiple Valued Log. Soft Comput. 33(3): 271-290 (2019) - 2018
- [j17]Hajime Machida, Jovanka Pantovic:
Monomial Clones Over Small Finite Fields. J. Multiple Valued Log. Soft Comput. 31(3): 271-286 (2018) - [c28]Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira:
A Calculus for Modeling Floating Authorizations. FORTE 2018: 101-120 - [c27]Hajime Machida, Jovanka Pantovic:
One Class of Maximal Binary Monomials. ISMVL 2018: 80-84 - [i2]Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira:
A Calculus for Modeling Floating Authorizations. CoRR abs/1802.05863 (2018) - 2017
- [j16]Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan:
Linked data privacy. Math. Struct. Comput. Sci. 27(1): 33-53 (2017) - [c26]Hajime Machida, Jovanka Pantovic:
Three Classes of Closed Sets of Monomials. ISMVL 2017: 100-105 - [c25]Ivan Prokic, Jovanka Pantovic:
Nomura Parameters for S-Threshold Functions. ISMVL 2017: 248-253 - [c24]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
Efficient compensation handling via subjective updates. SAC 2017: 51-58 - 2016
- [j15]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28(4): 643-667 (2016) - [j14]Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic:
Encoding of Multi Level S-Threshold Functions. J. Multiple Valued Log. Soft Comput. 26(1-2): 89-108 (2016) - [j13]Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic:
Measuring linearity of curves in 2D and 3D. Pattern Recognit. 49: 65-78 (2016) - [c23]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: 155-172 - [c22]Hajime Machida, Jovanka Pantovic:
Monomial Clones: Local Results and Global Properties. ISMVL 2016: 78-83 - 2015
- [j12]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): 763-780 (2015) - [j11]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): 1-11 (2015) - [j10]Jelena Colic, Hajime Machida, Jovanka Pantovic:
Upward Saturated Hyperclones. J. Multiple Valued Log. Soft Comput. 24(1-4): 189-201 (2015) - [c21]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS 2015: 16-30 - [c20]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c19]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - [i1]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 abs/1510.02229 (2015) - 2014
- [j9]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): 79-94 (2014) - [c18]Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic:
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL 2014: 13-18 - [c17]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - [c16]Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. PLACES 2014: 61-71 - 2013
- [c15]Jovisa D. Zunic, Jovanka Pantovic, Paul L. Rosin:
Measuring Linearity of Planar Curves. ICPRAM (Selected Papers) 2013: 257-271 - [c14]Jovisa D. Zunic, Jovanka Pantovic, Paul L. Rosin:
Measuring Linearity of Curves. ICPRAM 2013: 388-395 - [c13]Jelena Colic, Hajime Machida, Jovanka Pantovic:
On Hyper Co-Clones. ISMVL 2013: 182-185 - 2012
- [j8]Hajime Machida, Jovanka Pantovic:
Three Classes of Maximal Hyperclones. J. Multiple Valued Log. Soft Comput. 18(2): 201-210 (2012) - [j7]Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg:
Regular Sets of Operations. J. Multiple Valued Log. Soft Comput. 19(1-3): 149-162 (2012) - [c12]Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic:
Measuring Linearity of Closed Curves and Connected Compound Curves. ACCV (3) 2012: 310-321 - [c11]Jelena Colic, Hajime Machida, Jovanka Pantovic:
Clones of Incompletely Specified Operations. ISMVL 2012: 256-261 - 2011
- [c10]Jelena Colic, Hajime Machida, Jovanka Pantovic:
Maximal Hyperclones Determined by Monotone Operations. ISMVL 2011: 160-163 - [c9]Hajime Machida, Lucien Haddad, Jovanka Pantovic:
Invitation to Clone Theory with Partial Clones and Hyperclones. ISMVL 2011: 205-212 - 2010
- [c8]Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg:
Galois Connection for Hyperclones. ISMVL 2010: 201-204 - [c7]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic:
Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
2000 – 2009
- 2009
- [j6]Hajime Machida, Jovanka Pantovic:
Maximal Hyperclones on E2 as Hypercores. J. Multiple Valued Log. Soft Comput. 15(4): 315-328 (2009) - [c6]Hajime Machida, Jovanka Pantovic:
Hyperclones Determined by Total-Parts of Hyper-relations. ISMVL 2009: 161-166 - 2008
- [j5]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca:
Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008) - [c5]Hajime Machida, Jovanka Pantovic:
On Maximal Hyperclones on {0, 1} - A New Approach. ISMVL 2008: 32-37 - 2007
- [j4]Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic:
Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Trans. Neural Networks 18(5): 1356-1363 (2007) - [r1]Silvia Ghilezan, Jovisa D. Zunic, Jovanka Pantovic:
Partitioning Finite d-Dimensional Integer Grids with Applications. Handbook of Approximation Algorithms and Metaheuristics 2007 - 2006
- [j3]Jovanka Pantovic, Biljana Rodic, Gradimir Vojvodic:
Unary Minimal Partial Hyperclones. J. Multiple Valued Log. Soft Comput. 12(5-6): 451-457 (2006) - [c4]Jovanka Pantovic, Gradimir Vojvodic:
Commuting Hyperoperations. ISMVL 2006: 21 - [c3]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic:
Security Types for Dynamic Web Data. TGC 2006: 263-280 - 2005
- [c2]Jovanka Pantovic, Gradimir Vojvodic:
On the Partial Hyperclone Lattice. ISMVL 2005: 96-100 - 2004
- [c1]Jovanka Pantovic, Gradimir Vojvodic:
Minimal Partial Hyperclones on a Two-Element Set. ISMVL 2004: 115-119 - 2001
- [j2]Jovanka Pantovic, Ratko Tosic, Gradimir Vojvodic:
Relative completeness with respect to two unary functions. Discret. Appl. Math. 113(2-3): 337-342 (2001) - 2000
- [j1]Jovanka Pantovic, Dusan Vojvodic:
Note on the Cardinality of some Sets of Clones. Acta Cybern. 14(3): 491-495 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
