编辑配置文件(在新选项卡中打开) 斯维特拉纳·雅克西奇 合著者距离 作者ID: 雅克西克·斯维特拉纳 发布日期: 斯维特拉纳·雅克西奇 已编制索引的文档: 7出版物自2010年起 合著者: 10位合著者具有7联合出版物 254合著作者 全部的 前5名合著者 0 单作者的 5 西尔维娅·吉勒赞 5 约万卡·潘托维奇 2 Dezani Ciancaglini,马里亚焦拉 2 吉田、Nobuko 1 彼得罗·迪·贾南托尼奥 1 玛丽娜·莱妮莎 1 卢卡·帕多瓦尼 1 佩雷斯(Jorge A.Pérez)。 1 阿尔切斯特·斯卡拉斯 1 雨果·托雷斯·维埃拉 系列 1 计算机程序设计科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 程序设计中的逻辑和代数方法杂志 领域 7 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用25中的次23文件 引用人▼ 年份▼ 同步多方会话的精确子类型。 Zbl 1423.68306号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 9 2019 动态web数据的基于角色的访问控制类型。 Zbl 1327.68169号 Dezani Ciancaglini,马里亚焦拉;西尔维娅·吉勒赞;Jakšić,斯维特拉娜;约万卡·潘托维奇 6 2011 多方对话中的动态角色授权。 Zbl 1345.68235号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;Torres Vieira,雨果 4 2016 无副本消息传递的异常处理。 Zbl 1283.68208号 斯维特拉纳·雅克西奇;卢卡·帕多瓦尼 三 2014 子类型的含义和操作精确性:路线图。在弗兰克·德·波尔60岁生日之际献给他。 Zbl 1475.68082号 Dezani Ciancaglini,马里亚焦拉;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko 2 2016 链接数据隐私。 Zbl 1364.68073号 斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 1 2017 同步多方会话的精确子类型。 Zbl 1423.68306号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 9 2019 链接数据隐私。 Zbl 1364.68073号 斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 1 2017 多方对话中的动态角色授权。 Zbl 1345.68235号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;雨果·托雷斯·维埃拉 4 2016 子类型的含义和操作精确性:路线图。在弗兰克·德·波尔60岁生日之际献给他。 Zbl 1475.68082号 Dezani Ciancaglini,马里亚焦拉;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko 2 2016 无副本消息传递的异常处理。 Zbl 1283.68208号 斯维特拉纳·雅克西奇;卢卡·帕多瓦尼 三 2014 动态web数据的基于角色的访问控制类型。 Zbl 1327.68169号 Dezani Ciancaglini,马里亚焦拉;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇 6 2011 所有引用出版物 前5名被引用出版物 全部的 前5名被43位作者引用 7 约万卡·潘托维奇 6 Dezani Ciancaglini,马里亚焦拉 5 西尔维娅·吉勒赞 4 伊利亚州卡斯特拉尼 4 保拉·吉安尼尼 4 斯维特拉纳·雅克西奇 4 雨果·托雷斯·维埃拉 4 吉田、Nobuko 三 罗斯·霍恩 三 伊凡·普罗基奇 2 佛朗哥·巴巴内拉 2 加布里埃尔·乔巴努 2 Lanese,伊万 2 佩雷斯(Jorge A.Pérez)。 2 阿尔切斯特·斯卡拉斯 2 埃米利奥·托斯托 1 阿曼,博格丹 1 马西莫·巴托莱蒂 1 安迪·贝杰利里 1 博迪,恰拉 1 琳达,布罗多 1 罗伯托·布鲁尼 1 陈子春 1 弗朗西斯科·达尼诺 1 佩德罗·鲁宾·达吉尼奥 1 罗曼·德曼根 1 Deniélou、Pierre-Malo 1 Patrick Th.尤格斯特。 1 费雷拉,Francisco H.G。 1 本田、高黑 1 胡雷蒙德 1 阿尔贝托·卢什·拉富恩特 1 鲁米亚纳内科娃 1 弗莱明·尼尔森 1 卢卡·帕多瓦尼 1 汉内·里斯·尼尔森 1 弗拉迪米罗·萨松 1 安娜·索科洛娃 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 维林,马尔特 1 周方毅 1 卢卡斯·齐亚雷克 全部的 前5名9篇连载文章中引用 7 程序设计中的逻辑和代数方法杂志 2 计算机科学中的逻辑方法 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 ACM计算逻辑事务 在3个字段中引用 22 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的引文