编辑配置文件（在新选项卡中打开） Jörg Brauer 合著者距离 作者ID： 布劳尔·约格 发布日期： 约尔格·布劳尔 编入索引的文档： 8出版物自2010年起，包括1本书 合著者： 6位合著者具有7联合出版物 78位合作作者 全部的 前5名合著者 1 单作者的 4 安迪·金 三 斯特凡·科瓦列夫斯基 1 伊娃·贝克舒尔泽 1 马蒂亚斯·福格尔 1 托马斯·莱因巴赫 1 巴斯蒂安·施利希 系列 2 计算机程序设计科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 领域 8 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用13中的次10文件 引用人▼ 年份▼ 使用布尔公式自动提取区间。 兹比尔1306.68020 Jörg Brauer;安迪·金 5 2010 无量词消除的传递函数综合。 Zbl 1326.68080号 Jörg Brauer;安迪·金 2 2011 嵌入式实时系统的运行时验证。 Zbl 1317.68122号 托马斯·莱因巴赫;马蒂亚斯·福格尔;Jörg Brauer 2 2014 八边形的基于访问的本地化。 Zbl 1294.68050号 伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer 2 2012 状态空间缩减静态分析在微控制器二进制代码中的应用。 Zbl 1213.68390号 巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基 1 2011 无量词消除的传递函数综合。 Zbl 1278.68070号 Jörg Brauer;安迪·金 1 2012 嵌入式实时系统的运行时验证。 Zbl 1317.68122号 托马斯·莱因巴赫;马蒂亚斯·福格尔;约尔格·布劳尔 2 2014 八边形的基于访问的本地化。 Zbl 1294.68050号 伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer 2 2012 无量词消除的传递函数综合。 兹比尔1278.68070 约尔格·布劳尔;安迪·金 1 2012 无量词消除的传递函数综合。 Zbl 1326.68080号 Jörg Brauer;安迪·金 2 2011 状态空间缩减静态分析在微控制器二进制代码中的应用。 Zbl 1213.68390号 巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基 1 2011 使用布尔公式自动提取间隔。 Zbl 1306.68020号 Jörg Brauer;安迪·金 5 2010 所有引用出版物 前5名被引用出版物 全部的 前5名34位作者引用 5 安迪·金 2 Jörg Brauer 2 阿齐姆·查德哈里 1 沃尔夫冈·阿伦特 1 艾尔维拉·阿尔伯特 1 普里阿雷纳斯 1 埃德·巴雷特 1 埃齐奥·巴托西 1 David A.Basin。 1 多梅尼科·比安库利 1 斯特凡·比格德 1 克里斯蒂安·科伦坡 1 伊利耶斯·法尔科内 1 阿德里安·弗兰卡兰扎 1 萨米尔·根奈姆 1 尼古拉斯·霍尔斯蒂 1 费利克斯·克莱特克 1 斯特凡·科瓦列夫斯基 1 Sr Djan Krstić 1 比约恩·利斯特 1 若昂·洛伦索。 1 德扬·尼科维奇 1 戈登·佩斯。 1 热尔曼普埃布拉 1 代表，Thomas W。 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 图沙尔·沙尔马 1 辛戈尔斯，朱利安 1 德米特里·特拉泰尔 1 亚历山大·韦斯 1 尤根，Zălinescu 1 达米亚诺·扎纳尔迪尼 4篇连载文章中引用 2 系统设计中的形式化方法 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 在3个字段中引用 10 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的引文