约万卡·潘托维奇
人员信息
附属: 塞尔维亚诺维萨德大学
优化列表
2020年–今天
2023 [公元24年] 西尔维娅·吉列赞 , 约万卡·潘托维奇 , 伊万·普罗基克 , 阿尔切斯特·斯卡拉斯 , 吉田信子 :
异步多方会话的精确子类型。 ACM事务处理。 计算。 日志。 24 ( 2 ) : 14:1-14:73 ( 2023 ) 2022 [公元29年] 安德烈亚·卡拉里奇 , 约万卡·潘托维奇 , 赫里斯蒂娜·苏克尼亚 :
具有阈值分量的可逆布尔函数的特征向量。 ISMVL公司 2022 : 113-118 2021 [公元23年] 约瓦娜·德戴克 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 :
将补偿处理的原语作为可适应的进程。 J.日志。 代数方法课程。 121 : 100675 ( 2021 ) [公元22年] 西尔维娅·吉列赞 , 约万卡·潘托维奇 , 伊万·普罗基克 , 阿尔切斯特·斯卡拉斯 , 吉田信子 :
异步多方会话的精确子类型。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-28 ( 2021 ) 2020 [i3] 西尔维娅·吉勒赞 , 约万卡·潘托维奇 , 伊万·普罗基克 , 阿尔切斯特·斯卡拉斯 , 吉田信子 :
异步多方会话的精确子类型。 CoRR公司 abs/2010.13925 ( 2020 )
2010 – 2019
2019 [公元21年] 伊万·普罗基克 , 约万卡·潘托维奇 , 雨果·托雷斯·维埃拉 :
浮动授权建模的演算。 J.日志。 代数方法程序。 107 : 136-174 ( 2019 ) [公元20年] 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 阿尔切斯特·斯卡拉斯 , 吉田信子 :
同步多方会话的精确子类型。 J.日志。 代数方法课程。 104 : 127-173 ( 2019 ) [公元19年] 哈吉姆·马奇达 , 约万卡·潘托维奇 :
由单点生成的二元单项式的闭集。 J.多值测井。 软计算。 33 ( 三 ) : 219-238 ( 2019 ) [公元18年] 伊万·普罗基克 , 约万卡·潘托维奇 :
用Nomura参数表征广义S-阈值函数。 J.多值测井。 软计算。 33 ( 三 ) : 271-290 ( 2019 ) 2018 [公元17年] 哈吉姆·马奇达 , 约万卡·潘托维奇 :
小有限域上的单项式克隆。 J.多值测井。 软计算。 31 ( 三 ) : 271-286 ( 2018 ) [公元28年] 约万卡·潘托维奇 , 伊万·普罗基克 , 雨果·托雷斯·维埃拉 :
浮动授权建模的微积分。 复地 2018 : 101-120 [公元27年] 哈吉姆·马奇达 , 约万卡·潘托维奇 :
一类最大二进制单项式。 ISMVL公司 2018 : 80-84 [i2] 约万卡·潘托维奇 , 伊万·普罗基克 , 雨果·托雷斯·维埃拉 :
浮动授权建模的微积分。 CoRR公司 abs/1802.05863 ( 2018 ) 2017 [公元16年] 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 西尔维娅·吉勒赞 :
链接数据隐私。 数学。 结构。 计算。 科学。 27 ( 1 ) : 33-53 ( 2017 ) [公元26年] 哈吉姆·马奇达 , 约万卡·潘托维奇 :
单项式的三类闭集。 ISMVL公司 2017 : 100-105 [公元25年] 伊万·普罗基克 , 约万卡·潘托维奇 :
S-阈值函数的野村参数。 ISMVL公司 2017 : 248-253 [公元24年] 约瓦娜·德戴克 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 :
通过主观更新有效处理薪酬。 囊 2017 : 51-58 2016 [公元15年] 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 雨果·托雷斯·维埃拉 :
多方对话中的动态角色授权。 形式方面计算。 28 ( 4 ) : 643-667年 ( 2016 ) [公元14年] 约万卡·潘托维奇 , 西尔维娅·吉勒赞 , 乔维萨·祖尼克 :
多级编码 S公司 -阈值函数。 J.多值测井。 软计算。 26 ( 1-2 ) : 89-108 ( 2016 ) [j13] 保罗·L·罗森 , 约万卡·潘托维奇 , 乔维萨·祖尼克 :
测量二维和三维曲线的线性度。 模式识别。 49 : 65-78 ( 2016 ) 【c23】 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 吉田信子 :
细分的含义和操作精确性:路线图-在弗兰克·德·波尔60岁生日之际献给他。 形式方法的理论与实践 2016 : 155-172 [公元22年] 哈吉姆·马奇达 , 约万卡·潘托维奇 :
单项式克隆:局部结果和全局属性。 ISMVL公司 2016 : 78-83 2015 [公元12年] 马西莫·巴托莱蒂 , 伊利亚·卡斯特拉尼 , 皮尔雷·马洛·丹尼·卢 , Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 彼得·蒂曼 , 伯纳多·托尼霍 , 雨果·托雷斯·维埃拉 :
将行为类型与安全分析相结合。 J.日志。 代数方法程序。 84 ( 6 ) : 763-780 ( 2015 ) [公元11年] 保罗·L·罗森 , 约万卡·潘托维奇 , 乔维萨·祖尼克 :
测量有限数量2D和3D曲线连接配置的线性度。 数学杂志。 成像视觉。 53 ( 1 ) : 1-11 ( 2015 ) [j10] Jelena绞痛 , 哈吉姆·马奇达 , 约万卡·潘托维奇 :
向上饱和超克隆。 J.多值测井。 软计算。 24 ( 1-4 ) : 189-201 ( 2015 ) 【c21】 约瓦娜·德戴克 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 :
补偿原语作为可适应的过程。 快递/SOS 2015 : 16-30 [公元20年] Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 吉田信子 :
同步多方会话的精确子类型。 地点 2015 : 29-43 [第19条] 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 雨果·托雷斯·维埃拉 :
动态授权的类型化模型。 地点 2015 : 73至84 [i1] 马西莫·巴托莱蒂 , 伊利亚·卡斯特拉尼 , 皮尔雷·马洛·丹尼·卢 , Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 彼得·蒂曼 , 伯纳多·托尼霍 , 雨果·托雷斯·维埃拉 :
将行为类型与安全分析相结合。 CoRR公司 abs/1510.02229 ( 2015 ) 2014 [公元9年] Jelena绞痛 , 哈吉姆·马奇达 , 约万卡·潘托维奇 :
不完全指定运算代数的一点扩张。 J.多值测井。 软计算。 22 ( 1-2 ) : 79-94 ( 2014 ) [第18条] 约万卡·潘托维奇 , 西尔维娅·吉勒赞 , 乔维萨·祖尼克 :
关于非必要二进制输入上S-阈值函数的个数。 ISMVL公司 2014 : 13-18 [第17条] 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 雨果·托雷斯·维埃拉 :
多方对话中的动态角色授权。 跳动 2014 : 1-8 [第16条] Mariangiola Dezani-Ciancaglini公司 , 卢卡·帕多瓦尼 , 约万卡·潘托维奇 :
会话类型同构。 地方 2014 : 61-71 2013 [第15条] 乔维萨·祖尼克 , 约万卡·潘托维奇 , 保罗·L·罗森 :
测量平面曲线的线性度。 ICPRAM(精选论文) 2013 : 257-271 [第14条] 乔维萨·祖尼克 , 约万卡·潘托维奇 , 保罗·L·罗森 :
测量曲线的线性度。 ICPRAM公司 2013 : 388-395 [第13条] Jelena绞痛 , 哈吉姆·马奇达 , 约万卡·潘托维奇 :
关于超Co-Clones。 ISMVL公司 2013 : 182-185 2012 [j8] 町田Hajime , 约万卡·潘托维奇 :
三类最大超克隆。 J.多值测井。 软计算。 18 ( 2 ) : 201-210 ( 2012 ) [j7] 哈吉姆·马奇达 , 约万卡·潘托维奇 , 伊沃·G·罗森博格 :
常规操作集。 J.多值测井。 软计算。 19 ( 1-3 ) : 149-162 ( 2012 ) [第12条] 保罗·L·罗森 , 约万卡·潘托维奇 , 乔维萨·祖尼克 :
测量闭合曲线和连接复合曲线的线性度。 ACCV(3) 2012 : 310-321 [第11条] Jelena绞痛 , 哈吉姆·马奇达 , 约万卡·潘托维奇 :
不完全指定操作的克隆。 ISMVL公司 2012 : 256-261 2011 [第10条] Jelena绞痛 , 哈吉姆·马奇达 , 约万卡·潘托维奇 :
由单调运算确定的最大超克隆。 ISMVL公司 2011 : 160-163 【c9】 哈吉姆·马奇达 , 吕西恩·哈达德 , 约万卡·潘托维奇 :
邀请克隆理论与部分克隆和超克隆。 ISMVL公司 2011 : 205-212 2010 【c8】 哈吉姆·马奇达 , 约万卡·潘托维奇 , 伊沃·G·罗森博格 :
超克隆的Galois连接。 ISMVL公司 2010 : 201-204 【c7】 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 :
动态Web数据的基于角色的访问控制类型。 WFLP公司 2010 : 1-29
2000 – 2009
2009 [j6] 哈吉姆·马奇达 , 约万卡·潘托维奇 :
上的最大超克隆 E类 2 作为Hypercores。 J.多值测井。 软计算。 15 ( 4 ) : 315-328 ( 2009 ) 【c6】 哈吉姆·马奇达 , 约万卡·潘托维奇 :
超克隆由超分辨率的总部分决定。 ISMVL公司 2009 : 161-166 2008 [j5] Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉列赞 , 约万卡·潘托维奇 , 丹尼尔·瓦拉卡 :
动态web数据的安全类型。 西奥。 计算。 科学。 402 ( 2-3 ) : 156-171 ( 2008 ) 【c5】 哈吉姆·马奇达 , 约万卡·潘托维奇 :
关于{0,1}上的极大超克隆——一种新方法。 ISMVL公司 2008 : 32-37 2007 【j4】 西尔维娅·吉勒赞 , 约万卡·潘托维奇 , 乔维萨·祖尼克 :
用平行超平面分离点-特征问题。 IEEE传输。 神经网络 18 ( 5 ) : 1356-1363 ( 2007 ) 【r1】 西尔维娅·吉勒赞 , 乔维萨·祖尼克 , 约万卡·潘托维奇 :
有限d维整数网格的划分及其应用。 近似算法和元启发式手册 2007 2006 [j3] 约万卡·潘托维奇 , 比尔贾纳·罗德奇 , Gradimir Vojvodic公司 :
一元最小部分超克隆。 J.多值测井。 软计算。 12 ( 5-6 ) : 451-457 ( 2006 ) 【c4】 约万卡·潘托维奇 , Gradimir Vojvodic公司 :
通勤超级操作。 ISMVL公司 2006 : 21 【c3】 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 约万卡·潘托维奇 :
动态Web数据的安全类型。 TGC公司 2006 : 263-280 2005 【c2】 约万卡·潘托维奇 , Gradimir Vojvodic公司 :
在部分超克隆格上。 ISMVL公司 2005 : 96-100 2004 【c1】 约万卡·潘托维奇 , Gradimir Vojvodic公司 :
二元集上的最小部分超克隆。 ISMVL公司 2004 : 115-119 2001 [注2] 约万卡·潘托维奇 , 拉特科·托西奇 , Gradimir Vojvodic公司 :
关于两个一元函数的相对完整性。 谨慎。 申请。 数学。 113 ( 2-3 ) : 337-342 ( 2001 ) 2000 [j1] 约万卡·潘托维奇 , 伏伊伏丁语 :
关于某些克隆集基数的注记。 《网络学报》。 14 ( 三 ) : 491年至495年 ( 2000 )