编辑配置文件(在新选项卡中打开) 尤根·兹利内斯库 合著者距离 作者ID: 扎利什库·尤根 发布日期: 尤根·兹利内斯库 已编制索引的文档: 18出版物自2006年起 合著者: 14合著者具有17联合出版物 452联合作者 全部的 前5名合著者 1 单作者的 10 费利克斯·克莱特克 9 David A.Basin。 5 维罗尼克·科尔蒂尔 三 米歇尔·鲁西诺维奇 1 休伯特·科蒙·隆德 1 卡洛斯·科特里尼·吉梅内斯 1 塞尔达尔·埃尔巴图尔 1 汤姆·霍维特 1 Jugé,文森特 1 菲利普·朗格文 1 格雷戈尔,莱安德 1 斯尔詹·马里诺维奇 1 加里·麦奎尔 1 塞缪尔·米勒 全部的 前5名系列 三 信息处理信函 2 ACM计算逻辑事务 1 信息学报 1 系统设计中的形式化方法 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 组合数学与数论杂志 全部的 前5名领域 16 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 6 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用81中的次62文件 引用人▼ 年份▼ 监控度量一阶时间属性。 Zbl 1333.68177号 戴维·巴恩斯;费利克斯·克莱德克;塞缪尔·米勒;尤根·兹利内斯库 25 2015 决定加密协议的安全属性。应用于关键周期。 Zbl 1351.94035号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 8 2010 用于监视实时属性的算法。 Zbl 1395.68185号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 8 2018 决定安全协议的密钥周期。 Zbl 1165.94319号 维罗尼克·科尔蒂尔;尤根·兹利内斯库 6 2006 使用聚合监控时间一阶属性。 Zbl 1323.68362号 戴维·巴恩斯;费利克斯·克莱特克;斯尔詹·马里诺维奇;尤根·兹利内斯库 5 2015 重新审查了可强制执行的安全策略。 Zbl 1354.68165号 戴维·巴恩斯;文森特·朱格;费利克斯·克莱特克;尤根·兹利内斯库 5 2012 分布式系统的故障软件运行时验证。 Zbl 1366.68010号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 5 2015 用Stickelberger定理分析奇维Kasami-Welch函数。 兹比尔1245.11120 菲利普·朗格文;格雷戈尔,莱安德;加里·麦奎尔;尤根·兹利内斯库 三 2010 包含所有\(k\)-元素排列的较短字符串。 Zbl 1260.68315号 尤根·兹利内斯库 三 2011 无序数据流上时间属性的运行时验证。 Zbl 1494.68160号 戴维·巴恩斯;费利克斯·克莱德克;尤根·兹利内斯库 三 2017 涉及两个标准的保密概念。 Zbl 1125.68046号 维罗尼克·科尔蒂尔;米歇尔·鲁西诺维奇;尤根·兹利内斯库 2 2007 决定TPTL的安全性和活力。 Zbl 1371.68101号 戴维·巴恩斯;卡洛斯·科特里尼·希门尼斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2014 贪婪地计算滑动窗口上的关联聚合。 Zbl 1302.68335号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2015 对无序流进行运行时验证。 Zbl 1433.68208号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2020 执行带有区域类型和效果的规划指南。 兹比尔1503.68030 塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库 1 2017 涉及两个标准的保密概念。 Zbl 1225.94020号 维罗尼克·科尔蒂尔;米歇尔·鲁西诺维奇;尤根·兹利内斯库 1 2006 对无序流进行运行时验证。 Zbl 1433.68208号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2020 用于监视实时属性的算法。 Zbl 1395.68185号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 8 2018 无序数据流上时间属性的运行时验证。 Zbl 1494.68160号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 三 2017 执行带有区域类型和效果的规划指南。 兹比尔1503.68030 塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库 1 2017 监控度量一阶时间属性。 Zbl 1333.68177号 戴维·巴恩斯;费利克斯·克莱特克;塞缪尔·米勒;尤根·兹利内斯库 25 2015 使用聚合监测时间一阶属性。 Zbl 1323.68362号 戴维·巴恩斯;费利克斯·克莱特克;斯尔詹·马里诺维奇;尤根·兹利内斯库 5 2015 分布式系统的故障软件运行时验证。 Zbl 1366.68010号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 5 2015 贪婪地计算滑动窗口上的关联聚合。 Zbl 1302.68335号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2015 决定TPTL的安全性和活力。 Zbl 1371.68101号 戴维·巴恩斯;卡洛斯·科特里尼·吉梅内斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2014 重新审视了可执行的安全策略。 Zbl 1354.68165号 戴维·巴恩斯;文森特·朱格;费利克斯·克莱特克;尤根·兹利内斯库 5 2012 包含所有\(k\)-元素排列的较短字符串。 Zbl 1260.68315号 尤根·兹利内斯库 三 2011 决定加密协议的安全属性。应用于关键周期。 Zbl 1351.94035号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 8 2010 用Stickelberger定理分析奇维Kasami-Welch函数。 Zbl 1245.11120号 菲利普·朗格文;格雷戈尔,莱安德;加里·麦奎尔;尤根·兹利内斯库 三 2010 涉及两个标准的保密概念。 Zbl 1125.68046号 维罗尼克·科尔蒂尔;米歇尔·鲁西诺维奇;尤根·兹利内斯库 2 2007 决定安全协议的密钥周期。 Zbl 1165.94319号 维罗尼克·科尔蒂尔;尤根·兹利内斯库 6 2006 涉及两个标准的保密概念。 Zbl 1225.94020号 Cortier,Véronique公司;米歇尔·鲁西诺维奇;尤根·兹利内斯库 1 2006 所有引用出版物 前5名被引用出版物 全部的 前5名139位作者引用 11 David A.Basin。 8 克里斯蒂安·克里斯蒂奇 8 德米特里·特拉泰尔 7 斯特凡尼德劳恩 5 维罗尼克·科尔蒂尔 4 休伯特·科蒙·隆德 4 伊利耶斯·法尔科内 4 克劳斯·哈维隆德 4 Doron A.Peled。 4 马丁·拉西克 三 迈托·阿拉皮尼斯 三 阿德里安·弗兰卡兰扎 三 霍尔格·吉斯 三 费利克斯·克莱德克 三 玛丽亚·马克西莫娃 三 Joshua P.施耐德。 三 斯文·施奈德 2 马蒂尔德·阿尔诺 2 巴拉戈·纳加拉贾·巴特 2 文森特·雪瓦尔 2 亚尼克·骑士 2 蒂鲍特·达迪尼尔 2 玛丽·杜弗洛特 2 卢卡斯海姆斯 2 加里·麦奎尔 2 安托万·罗莱 2 米歇尔·鲁西诺维奇 2 尤根·兹利内斯库 2 马丁·齐默尔曼 1 Aceto,卢卡 1 安东尼斯·阿奇利奥斯 1 雷纳尔德·阿弗尔德 1 沃尔夫冈·阿伦特 1 胡里奥·阿拉塞纳 1 蒂格兰·阿瓦内索夫 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 斯特凡·博格沃德 1 克里斯特尔·布劳恩 1 弗雷德里克·布里克斯 1 塞尔吉·布尔苏克 1 曹振福 1 德国卡隆尼 1 阿曼多·卡斯塔涅达 1 陈杰 1 汤姆·乔西亚 1 克莱尔·西尼 1 克里斯蒂安·科伦坡 1 杰雷米·德莱特 1 约翰·F·狄龙。 1 董晓雷 1 迈克尔·恩根 1 萨拉·埃雷思 1 沃尔特·福克尔 1 哈达尔·弗兰克尔 1 马克西米利安·加杜洛 1 法特梅·加塞米 1 巴西姆·戈尔贝尔 1 龚俊清 1 让·古鲍特·拉雷克 1 托马斯·莫勒·格罗森 1 奥尔纳·格伦伯格 1 西尔万·霍尔 1 马图什·哈文 1 尼科·豪泽 1 罗斯·霍恩 1 弗朗索瓦·赫布利特 1 乔纳森·朱利安(Jonathan Julián),韦尔塔·穆尼夫(Huerta y Munive) 1 Ingólfsdóttir,安娜 1 蒂埃里·杰伦 1 尼古拉斯·卡莱奇 1 肖恩·考夫曼 1 Khosravi,拉姆丁 1 卢卡斯·科尔斯奇 1 Alisa Kovtunova 1 西蒙·克莱默 1 史蒂夫·克莱默 1 奥尔纳·库普弗曼 1 尼娜·尤尔埃夫娜·库萨克 1 Jean-Philippe Lachance 1 金·古德斯特兰·拉森 1 格雷戈尔,莱安德 1 刘佳 1 Lourenço,Joáo M。 1 丹尼斯·卢吉兹 1 海科·曼特尔 1 埃尔文·马尔坎德 1 斯尔詹·马里诺维奇 1 迭戈·马姆斯勒 1 伊曼纽尔·马西卡诺 1 法比奥·马蒂内利 1 科托·N·马斯克。 1 伊拉里亚·马特尤奇 1 尼尔,丹尼尔 1 奥马尔·恩格纳·蒂莫 1 德扬·尼科维奇 1 莫兰·奥马尔 1 戈登·佩斯。 1 卡图西亚帕拉米德斯 1 庞、军 …以及另外39位作者 全部的 前5名16篇连载文章中引用 11 系统设计中的形式化方法 5 信息与计算 4 程序设计中的逻辑和代数方法杂志 2 信息学报 2 自动推理杂志 1 美国数学月刊 1 离散数学 1 组合理论杂志。系列A 1 符号计算杂志 1 计算的形式方面 1 设计、代码和密码 1 应用非经典逻辑杂志 1 有限域及其应用 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 Modelirovanie i Analiz信息系统 全部的 前5名11个领域引用 57 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 17 信息与通信理论、电路(94-XX) 三 组合数学(05-XX) 三 数论(11-XX) 1 阶、格、有序代数结构(06-XX) 1 场论和多项式(12-XX) 1 动力系统和遍历理论(37至XX) 1 欧几里得空间的调和分析(42至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文