编辑配置文件（在新选项卡中打开） 卡齐亚琳娜·纳柳卡 合著者距离 作者ID： 纳利乌卡·卡齐亚利纳 发布日期： 卡齐亚琳娜·纳柳卡;Naliuka，K。 外部链接： MGP公司 已编制索引的文档： 2出版物自2008年起 合著者： 5位合著者具有2联合出版物 32位合作作者 合著者 0 单作者的 1 艾伦·阿克图格 1 娜塔莉亚·比埃洛娃 1 尼古拉·德拉戈尼 1 法比奥·马萨奇 1 艾达·R·西亚汉。 系列 1 计算机程序设计科学 1 逻辑与代数程序设计杂志 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用6中的次4文件 引用人▼ 年份▼ ConSpec—一种用于策略规范的正式语言。 Zbl 1160.68397号 艾伦·阿克图格;卡齐亚琳娜·纳柳卡 4 2008 在移动代码的安全性契约中进行匹配。 Zbl 1192.68236号 北比洛娃。;德拉戈尼，N。;马萨奇，F。;Naliuka，K。;我·西亚汉。 2 2009 在移动代码的安全性契约中进行匹配。 Zbl 1192.68236号 北比洛娃。;德拉戈尼，N。;马萨奇，F。;Naliuka，K。;我·西亚汉。 2 2009 ConSpec—一种用于策略规范的正式语言。 Zbl 1160.68397号 艾伦·阿克图格;卡齐亚琳娜·纳柳卡 4 2008 全部的 前5名13位作者引用 2 达姆，麦兹 1 艾伦·阿克图格 1 娜塔莉亚·比埃洛娃 1 加布里埃尔·科斯塔 1 德拉戈尼，尼古拉 1 古罗夫，帝力 1 巴特·雅各布斯 1 安德烈亚斯·伦德布拉德 1 法比奥·马萨奇 1 伊拉里亚·马特尤奇 1 卡齐亚琳娜·纳柳卡 1 弗兰克·皮森斯 1 艾达·R·西亚汉。 引用于3个系列 2 逻辑与代数程序设计杂志 1 计算机与数学及其应用 1 骨髓间充质干细胞。计算机科学中的数学结构 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文