default search action
Jovanka 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
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
On primitives for compensation handling as adaptable processes. J. Log. Algebraic Methods Program. 121: 100675 (2021) - [j22]Silvia Ghilezan
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
A calculus for modeling floating authorizations. J. Log. Algebraic Methods Program. 107: 136-174 (2019) - [j20]Silvia Ghilezan
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
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
A Calculus for Modeling Floating Authorizations. CoRR abs/1802.05863 (2018) - 2017
- [j16]Svetlana Jaksic, Jovanka Pantovic
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
Nomura Parameters for S-Threshold Functions. ISMVL 2017: 248-253 - [c24]Jovana Dedeic
Efficient compensation handling via subjective updates. SAC 2017: 51-58 - 2016
- [j15]Silvia Ghilezan
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
Measuring linearity of curves in 2D and 3D. Pattern Recognit. 49: 65-78 (2016) - [c23]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
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
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [j11]Paul L. Rosin
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
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS 2015: 16-30 - [c20]Mariangiola Dezani-Ciancaglini
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c19]Silvia Ghilezan
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - [i1]Massimo Bartoletti, Ilaria Castellani
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
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL 2014: 13-18 - [c17]Silvia Ghilezan
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - [c16]Mariangiola Dezani-Ciancaglini
Session Type Isomorphisms. PLACES 2014: 61-71 - 2013
- [c15]Jovisa D. Zunic, Jovanka Pantovic
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
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
Galois Connection for Hyperclones. ISMVL 2010: 201-204 - [c7]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
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
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
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
Commuting Hyperoperations. ISMVL 2006: 21 - [c3]Mariangiola Dezani-Ciancaglini
Security Types for Dynamic Web Data. TGC 2006: 263-280 - 2005
- [c2]Jovanka Pantovic
On the Partial Hyperclone Lattice. ISMVL 2005: 96-100 - 2004
- [c1]Jovanka Pantovic
Minimal Partial Hyperclones on a Two-Element Set. ISMVL 2004: 115-119 - 2001
- [j2]Jovanka Pantovic
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 02:11 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: