斯维特兰娜·雅克西奇
人员信息
unicode名称: 斯维特拉娜·贾克西奇 附属: 塞尔维亚诺维萨德大学
优化列表
2010 – 2019
2019 【j4】 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 阿尔切斯特·斯卡拉斯 , 吉田信子 :
同步多方会话的精确子类型。 J.日志。 代数方法课程。 104 : 127-173 ( 2019 ) [第10条] 福斯汀·阿希沙基耶 , 斯维特兰娜·雅克西奇 , 费利克斯·迪诺·兰格 , 麦尔特·施密茨 , 沃尔克·斯托尔茨 , 丹尼尔·托马 :
基于痕迹的非侵入性MC/DC测量。 TASE公司 2019 : 86-92 2018 【c9】 斯维特兰娜·雅克西奇 , 李丹(Dan Li) , Ka I Pun公司 , 沃尔克·斯托尔茨 :
基于流的动态数据竞争检测。 NIK公司 2018 2017 [j3] 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 西尔维娅·吉勒赞 :
链接数据隐私。 数学。 结构。 计算。 科学。 27 ( 1 ) : 33-53 ( 2017 ) 【c8】 斯维特拉娜·雅基奇 , 马丁·勒克 , 李丹(Dan Li) , 沃尔克·斯托尔茨 :
COEMS-来自行业的开放痕迹。 RV-CuBES汽车 2017 : 96-105 2016 [注2] 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 雨果·托雷斯·维埃拉 :
多方对话中的动态角色授权。 形式方面计算。 28 ( 4 ) : 643-667 ( 2016 ) 【c7】 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 吉田信子 :
细分的含义和操作精确性:路线图-在弗兰克·德·波尔60岁生日之际献给他。 形式方法的理论与实践 2016 : 155-172 2015 【c6】 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 吉田信子 :
同步多方会话的精确子类型。 地点 2015 : 29-43 [c5] 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 雨果·托雷斯·维埃拉 :
动态授权的类型化模型。 地点 2015 : 73-84 2014 [j1] 斯维特兰娜·雅克西奇 , 卢卡·帕多瓦尼 :
无副本消息传递的异常处理。 科学。 计算。 程序。 84 : 22-51 ( 2014 ) 【c4】 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 豪尔赫·佩雷斯 , 雨果·托雷斯·维埃拉 :
多方对话中的动态角色授权。 跳动 2014 : 1-8 2012 【c3】 斯维特兰娜·雅克西奇 , 卢卡·帕多瓦尼 :
无副本消息传递的异常处理。 PPDP(PPDP) 2012 : 151-162 2010 【c2】 彼得罗·迪·贾南托尼奥 , 斯维特兰娜·雅克西奇 , 玛丽娜·莱尼萨 :
基于二阶反应语义的有效双相似性 圆周率 -微积分。 CONCUR公司 2010 : 358-372 【c1】 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 , 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 :
动态Web数据的基于角色的访问控制类型。 WFLP公司 2010 : 1-29