编辑配置文件(在新选项卡中打开) 安德烈亚斯·库尔曼 合著者距离 作者ID: 库尔曼·安德里亚斯 发布日期: 安德烈亚斯·库尔曼 已编制索引的文档: 7出版物自1999年起 合著者: 16位合著者具有7联合出版物 338合著作者 全部的 前5名合著者 0 单作者的 三 杰森·鲍姆加特纳 2 肯尼思·麦克米兰。 1 雅各布·A·亚伯拉罕。 1 尼娜·阿姆拉 1 Sérgio V.A.坎波斯。 1 克拉克(Edmund Melson jun Clarke)。 1 杜晓群 1 Jin,HoonSang先生 1 罗伯特·坎泽尔曼 1 罗伯特·P·库尔珊(Robert P.Kurshan)。 1 马里乌斯·米尼亚 1 哈里·莫尼 1 维雷什·帕鲁西 1 穆利·萨吉夫 1 法比奥·萨蒙齐 1 马西奥·泰西拉 系列 字段 7 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 7出版物有被引用21中的次20文件 引用人▼ 年份▼ 将DPLL推广到更丰富的逻辑。 Zbl 1242.68282号 肯尼思·麦克米兰。;安德烈亚斯·库尔曼;穆利·萨吉夫 8 2009 通过专家系统引导的转换实现可扩展的自动验证。 Zbl 1117.68534号 哈里·莫尼;杰森·鲍姆加特纳;维雷什·帕鲁西;罗伯特·坎泽尔曼;安德烈亚斯·库尔曼 4 2004 通过结构分析进行性能检查。 Zbl 1010.68514号 杰森·鲍姆加特纳;安德烈亚斯·库尔曼;雅各布·亚伯拉罕 4 2002 工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号 尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 2 2005 使用BDDS对半连续时间模型进行模型检验。 Zbl 0920.68076号 塞尔吉奥·坎波斯;马西奥·泰西拉;马吕斯·米娜;安德烈亚斯·库尔曼;埃德蒙·克拉克 1 1999 使用广义重定时进行基于变换的验证。 Zbl 0991.68545号 安德烈亚斯·库尔曼;杰森·鲍姆加特纳 1 2001 符号可达性分析的细粒度连接调度。 Zbl 1043.68574号 Jin,HoonSang先生;安德烈亚斯·库尔曼;法比奥·萨蒙齐 1 2002 将DPLL推广到更丰富的逻辑。 兹比尔1242.68282 肯尼思·麦克米兰。;安德烈亚斯·库尔曼;穆利·萨吉夫 8 2009 工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号 尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 2 2005 通过专家系统引导的转换实现可扩展的自动验证。 Zbl 1117.68534号 哈里·莫尼;杰森·鲍姆加特纳;维雷什·帕鲁西;罗伯特·坎泽尔曼;安德烈亚斯·库尔曼 4 2004 通过结构分析进行性能检查。 Zbl 1010.68514号 杰森·鲍姆加特纳;安德烈亚斯·库尔曼;雅各布·亚伯拉罕 4 2002 符号可达性分析的细粒度连接调度。 Zbl 1043.68574号 Jin,HoonSang先生;安德烈亚斯·库尔曼;法比奥·萨蒙齐 1 2002 使用广义重定时进行基于变换的验证。 Zbl 0991.68545号 安德烈亚斯·库尔曼;杰森·鲍姆加特纳 1 2001 使用BDDS对半连续时间模型进行模型检验。 Zbl 0920.68076号 塞尔吉奥·坎波斯;马西奥·泰西拉;马吕斯·米娜;安德烈亚斯·库尔曼;埃德蒙·克拉克 1 1999 所有引用出版物 排名前五的出版物 全部的 前5名49位作者引用 三 阿米恩·比尔 三 丹尼尔·科宁 2 穆罕默德·阿卜杜勒·阿齐兹 2 莱昂纳多·德·莫拉 2 查尔斯·格雷顿 2 德扬·约瓦诺维奇 2 诺里斯,迈克尔 1 克努特·奥凯森 1 克拉克·W·巴雷特。 1 肖姆·本·达维德 1 尼古拉·S·比约纳。 1 贝特·博利格 1 玛丽亚·保拉(Maria Paola Bonacina) 1 布莱恩,马丁 1 吉安皮耶罗·卡博迪 1 科恩·克莱森 1 科普特语,法迪语 1 维杰·迪尔瓦 1 尼古拉斯·埃恩 1 阿里·埃尔·泽因 1 达纳·菲斯曼 1 Graham Lengrand,Stéphane公司 1 阿尔贝托·格里乔 1 利奥波德·哈勒 1 凯乔·赫尔扬科 1 托尼·尤西拉 1 康斯坦丁·科洛文 1 弗朗索瓦·拉鲁西尼 1 拉斯特拉斯·蒙塔尼奥,路易斯·阿方索 1 亚历克谢·利沃夫 1 尼古拉斯·马基 1 大卫·莫尼奥(David P.Monniaux)。 1 塞尔吉奥·诺科 1 Ouaknine,Joel O。 1 维雷什·帕鲁西 1 斯特凡诺·奎尔 1 西瓦尼特·鲁阿 1 罗伯特·沙多文 1 Natarajan Shankar 1 玛丽·希兰 1 Sörensson,尼克拉斯 1 斯特里赫曼(Ofer Strichman) 1 塞萨尔·蒂内利 1 Barry M.Trager。 1 安德烈·沃伦科夫 1 阿列克谢·沃罗诺夫 1 托马斯·沃尔 1 詹姆斯·沃雷尔。 1 于,艾米丽 4篇连载文章中引用 4 系统设计中的形式化方法 三 自动推理杂志 2 理论计算机科学 1 离散事件动态系统 全部的 前5名在7个字段中引用 18 计算机科学(68-XX) 三 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 交换代数(13-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文