编辑配置文件(在新选项卡中打开) Jörg Brauer 合著者距离 作者ID: 布劳尔·约格 发布日期: Jörg Brauer 已编制索引的文档: 8出版物自2010年起,包括1本书 合著者: 6位合著者具有7联合出版物 77位合作作者 全部的 前5名合著者 1 单作者的 4 安迪·金 三 斯特凡·科瓦列夫斯基 1 伊娃·贝克舒尔泽 1 马蒂亚斯·福格尔 1 托马斯·赖因巴赫 1 巴斯蒂安·施利希 系列 2 计算机程序设计科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 字段 8 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用13中的次10文件 引用人▼ 年份▼ 使用布尔公式自动提取间隔。 Zbl 1306.68020号 Jörg Brauer;安迪·金 5 2010 嵌入式实时系统的运行时验证。 兹比尔1317.68122 托马斯·莱因巴赫;马蒂亚斯·福格尔;Jörg Brauer 2 2014 无量词消除的传递函数综合。 Zbl 1326.68080号 Jörg Brauer;安迪·金 2 2011 八边形的基于访问的本地化。 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号 托马斯·莱因巴赫;马蒂亚斯·福格尔;Jörg Brauer 2 2014 八边形的基于访问的本地化。 Zbl 1294.68050号 伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer 2 2012 无量词消除的传递函数综合。 Zbl 1278.68070号 Jörg Brauer;安迪·金 1 2012 无量词消除的传递函数综合。 Zbl 1326.68080号 Jörg Brauer;安迪·金 2 2011 状态空间缩减静态分析在微控制器二进制代码中的应用。 兹比尔1213.68390 巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基 1 2011 使用布尔公式自动提取间隔。 Zbl 1306.68020号 Jörg Brauer;安迪·金 5 2010 所有引用出版物 排名前五的出版物 全部的 前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 Lourenço,Joáo M。 1 德扬·尼科维奇 1 戈登·佩斯。 1 德国普埃布拉 1 代表,Thomas W。 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 图沙尔·沙尔马 1 辛戈尔斯,朱利安 1 德米特里·特拉泰尔 1 亚历山大·韦斯 1 尤根·兹利内斯库 1 达米亚诺·扎纳尔迪尼 4篇连载文章中引用 2 系统设计中的形式化方法 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 在3个字段中引用 10 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 按年份列出的引文