编辑配置文件（在新选项卡中打开） 约恩·奥斯索夫斯基 合著者距离 作者ID： 奥斯索斯基·乔恩 发布日期： 乔恩·奥斯索夫斯基;约恩·奥斯索夫斯基 已编制索引的文档： 2出版物自2006年起 合著者： 3位合著者具有2联合出版物 120位合作作者 合著者 0 单作者的 2 克里斯特尔·拜尔 1 凯·兰普卡 1 马库斯·西格尔 系列 1 系统设计中的形式化方法 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 部分共享零抑制多终端BDD：概念、算法和应用。 Zbl 1214.68219号 凯·兰普卡;马库斯·西格尔;乔恩·奥索夫斯基;克里斯特尔·拜尔 1 2010 使用加权和规范化决策图进行符号推理。 Zbl 1273.68420号 约恩·奥斯索夫斯基;克里斯特尔·拜尔 1 2006 部分共享零抑制多终端BDD：概念、算法和应用。 Zbl 1214.68219号 凯·兰普卡;马库斯·西格尔;乔恩·奥斯索夫斯基;克里斯特尔·拜尔 1 2010 使用加权和规范化决策图进行符号推理。 Zbl 1273.68420号 约恩·奥斯索夫斯基;克里斯特尔·拜尔 1 2006 4位作者引用 1 乔治·卡特西雷洛斯 1 尼娜·纳罗季斯卡 1 塔希萨·托达 1 沃尔什，托比 2篇连载文章中引用 1 运筹学年鉴 1 算法 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文