编辑配置文件（在新选项卡中打开） 伊娜·谢弗 合著者距离 作者ID: 谢菲·伊纳 发布日期： 伊娜·谢弗 编入索引的文档： 20出版物自2005年以来 5作为编辑的贡献 合著者： 47位合著者具有25联合出版物 520名Co-Co作者 全部的 前5名合著者 0 单作者的 5 托马斯·图姆 4 费卢西奥·达米亚尼 4 埃纳尔·布罗赫·约翰森 4 托拜厄斯·隆格 三 亚历克斯·波坦 2 克拉克、戴夫 2 雷纳·哈内尔 2 亚历山大·克努佩尔 2 马耳他州洛豪 1 斯文·阿佩尔 1 马丁·伯格伦德 1 马可·贝尔纳多 1 洛伦佐·贝蒂尼 1 塔比亚·博迪斯 1 丹尼尔·布伦斯 1 理查德·布贝尔 1 约翰·多夫兰 1 亚历山大·埃吉德 1 古罗夫，帝力 1 米歇尔·赫文斯泰恩 1 迪特尔·赫特 1 英加·雅茨科夫斯基 1 Jochen Kamischke 1 亚历山大·基特尔曼 1 弗拉基米尔·克莱巴诺夫 1 马蒂亚斯·科瓦尔 1 约格·利比希 1 莉蒂、萨莎 1 海科·曼特尔 1 明科·马尔科夫 1 彼得·米勒 1 马库斯·诺尔特 1 Ø斯特沃德，比亚特·M·。 1 卢卡·帕多瓦尼 1 劳尔·帕尔多 1 卡斯滕·伊曼纽尔 1 斯文·佩尔德苏斯 1 安德烈亚斯·波德尔斯基 1 阿恩·施·赫夫特 1 阿克塞尔·谢尔 1 克里斯托夫·塞德尔 1 马可·塞韦托 1 Siavash Soleimanifard公司 1 莫里斯·比克。 1 亚历山大·冯·莱恩 1 希尔克·瓦格纳 1 安德烈·索夫斯基 全部的 前5名系列 三 计算机科学课堂讲稿 2 信息学报 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 Serdica计算机杂志 领域 25 计算机科学（68至XX） 5 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物被引用23中的次18文件 引用人▼ 年份▼ 面向增量的软件产品线的组合类型检查。 Zbl 1448.68212号 洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 4 2013 面向增量的软件产品线的基于模型的增量测试。 Zbl 1354.68059号 马耳他州洛豪;伊娜·谢弗;Kamischke，Jochen公司;莉蒂、萨莎 4 2012 验证特性：细粒度重用的增量证明系统。 Zbl 1342.68059号 费卢西奥·达米亚尼;约翰·多夫兰;艾纳尔·布罗赫·约翰森;伊娜·谢弗 4 2014 通过抽象方法调用在软件验证中重用。 Zbl 1381.68166号 雷纳·哈内尔;伊娜·谢弗;理查德·布贝尔 2 2013 在同步自适应系统的模块验证中使用抽象。 Zbl 1247.68061号 谢弗，伊纳;阿恩·施·赫夫特 2 2006 软件工程的基本方法。2015年4月11日至18日，第18届国际会议，FASE，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦。诉讼程序。 Zbl 1333.68009号 1 2015 使用面向增量的切片验证软件产品线。 Zbl 1308.68038号 丹尼尔·布伦斯;弗拉基米尔·克莱巴诺夫;伊娜·谢弗 1 2011 带递归的while程序的摘要。 Zbl 1108.68428号 安德烈亚斯·波德尔斯基;伊娜·谢弗;希尔克·瓦格纳 1 2005 可变编码：从编译时到加载时的可变。 兹比尔1346.68057 亚历山大·冯·莱恩;托马斯·图姆;伊娜·谢弗;约格·利比希;斯文·阿佩尔 1 2016 抽象三角洲建模。 Zbl 1361.68063号 克拉克、戴夫;米歇尔·赫文斯泰恩;伊娜·谢弗 1 2015 概率保护命令语言中程序的规范逻辑。 Zbl 07719843号 劳尔·帕尔多;埃纳尔·布罗赫·约翰森;谢弗，伊纳;安德烈·索夫斯基 1 2022 特点：免费修缮。 Zbl 1499.68067号 托拜厄斯·隆格;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 1 2022 概率保护命令语言中程序的规范逻辑。 Zbl 07719843号 劳尔·帕尔多;埃纳尔·布罗赫·约翰森;伊娜·谢弗;安德烈·索夫斯基 1 2022 特点：免费修缮。 Zbl 1499.68067号 托拜厄斯·隆格;亚历克斯·波坦;托马斯·图姆;谢弗，伊纳 1 2022 可变编码：从编译时到加载时的可变。 Zbl 1346.68057号 亚历山大·冯·莱恩;托马斯·图姆;伊娜·谢弗;约格·利比希;斯文·阿佩尔 1 2016 软件工程的基本方法。2015年4月11日至18日，第18届国际会议，FASE，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦。诉讼程序。 Zbl 1333.68009号 1 2015 抽象三角洲建模。 Zbl 1361.68063号 克拉克、戴夫;米歇尔·赫文斯泰恩;谢弗，伊纳 1 2015 验证特性：细粒度重用的增量证明系统。 Zbl 1342.68059号 费卢西奥·达米亚尼;约翰·多夫兰;艾纳尔·布罗赫·约翰森;伊娜·谢弗 4 2014 面向增量的软件产品线的组合类型检查。 Zbl 1448.68212号 洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 4 2013 通过抽象方法调用在软件验证中重用。 Zbl 1381.68166号 雷纳·哈内尔;谢弗，伊纳;理查德·布贝尔 2 2013 面向增量的软件产品线的基于模型的增量测试。 Zbl 1354.68059号 马耳他州洛豪;伊娜·谢弗;Jochen Kamischke;莉蒂、萨莎 4 2012 使用面向增量的切片验证软件产品线。 Zbl 1308.68038号 丹尼尔·布伦斯;弗拉基米尔·克莱巴诺夫;伊娜·谢弗 1 2011 在同步自适应系统的模块验证中使用抽象。 Zbl 1247.68061号 谢弗，伊纳;阿恩·施·赫夫特 2 2006 带递归的while程序的摘要。 Zbl 1108.68428号 安德烈亚斯·波德尔斯基;伊娜·谢弗;希尔克·瓦格纳 1 2005 所有引用出版物 前5名被引用出版物 全部的 前5名49位作者引用 7 伊娜·谢弗 三 埃纳尔·布罗赫·约翰森 三 托马斯·图姆 2 费卢西奥·达米亚尼 2 约翰·多夫兰 2 马耳他州洛豪 2 亚历克斯·波坦 2 托拜厄斯·隆格 1 朱利叶斯·阿德尔特 1 斯文·阿佩尔 1 豪克芭蕾舞团 1 哈什·贝哈尔 1 塔比亚·博迪斯 1 丹尼尔·布雷特施奈德 1 罗伯托·布鲁尼 1 康雄，西尔万 1 拜伦·库克 1 安德烈亚·科拉迪尼 1 戴维·德克勒克 1 阿列克桑达尔·迪莫夫斯基。 1 法比奥·加杜奇 1 古罗夫，帝力 1 保拉·赫伯 1 彼得·霍夫纳 1 赛义德·贾利利 1 Khakpour、Narges 1 马蒂亚斯·科瓦尔 1 克里斯蒂安·利德斯特伦 1 约格·利比希 1 阿尔贝托·卢什·拉富恩特 1 斯蒂芬·门尼克 1 伯恩哈德·莫勒 1 穆罕默德·穆萨维 1 Owe、Olaf 1 卢卡·帕多瓦尼 1 劳尔·帕尔多 1 斯文·佩尔德苏斯 1 安德烈亚斯·波德尔斯基 1 拉尔斯·里贝克 1 安德烈·里巴尔琴科 1 克里斯托夫·塞德尔 1 马尔詹·西尔贾尼 1 卡罗琳·塔尔科特。 1 安德烈·范丁 1 亚历山大·冯·莱恩 1 安德烈·索夫斯基 1 Yu，Ingrid Chieh女士 1 法提哈扎伊迪 1 安德烈亚斯·泽伦德 全部的 前5名引用于8个系列 4 程序设计中的逻辑和代数方法杂志 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 18 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文