编辑配置文件（在新选项卡中打开） 拉斯蒂斯拉夫·博迪克 合著者距离 作者ID： 博迪克·拉斯蒂斯拉夫 发布日期： 拉斯蒂斯拉夫·博迪克；拉斯蒂斯拉夫·博迪克 已编制索引的文档： 5出版物自2002年起 1名编辑贡献 合著者： 18位合著者具有5联合出版物 235位合作作者 全部的 前5名合著者 0 单作者的 2 科克萨尔，阿里·西南 1 格伦·阿蒙斯 1 吉拉德·阿诺德 1 绍恩·巴曼 1 萨蒂什·钱德拉 1 格里戈里·费迪尤科维奇 1 贾斯敏·费希尔 1 乔尔·加伦森 1 约翰·Hölzl 1 塞缪尔·考夫曼。 1 道格·基梅尔曼 1 詹姆斯·拉鲁斯（James R.Larus）。 1 尼尔·皮特曼 1 蒲叶文 1 凯西·罗德阿莫尔 1 穆利·萨吉夫 1 索拉巴·斯利瓦斯塔瓦 1 尼古拉斯·东 系列 1 系统设计中的形式化方法 领域 6 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用30中的次28文件 引用人▼ 年份▼ 采矿规范。 Zbl 1323.68361号 格伦·阿蒙斯；拉斯蒂斯拉夫·博迪克；詹姆斯·拉鲁斯（James R.Larus）。 17 2002 通过频率分布采样学习归纳不变量。 Zbl 1506.68054号 格里戈里·费迪尤科维奇；塞缪尔·考夫曼。；拉斯蒂斯拉夫·博迪克 6 2020 天使般的不确定性编程。 兹比尔1312.68053 拉斯蒂斯拉夫·博迪克；萨蒂什·钱德拉；乔尔·加伦森；道格·基梅尔曼；尼古拉斯·东；绍恩·巴曼；凯西·罗德阿莫尔 4 2010 通过突变实验合成生物模型。 Zbl 1301.92023号 阿里·西南·科克萨尔；蒲叶文；索拉巴·斯利瓦斯塔瓦；拉斯蒂斯拉夫·博迪克；贾斯敏·费希尔；尼尔·皮特曼 三 2013 通过频率分布采样学习归纳不变量。 Zbl 1506.68054号 格里戈里·费迪尤科维奇；塞缪尔·考夫曼。；拉斯蒂斯拉夫·博迪克 6 2020 通过突变实验合成生物模型。 Zbl 1301.92023号 阿里·西南·科克萨尔；蒲业文；索拉巴·斯利瓦斯塔瓦；拉斯蒂斯拉夫·博迪克；贾斯敏·费希尔；尼尔·皮特曼 三 2013 天使般的不确定性编程。 Zbl 1312.68053号 拉斯蒂斯拉夫·博迪克；萨蒂什·钱德拉；乔尔·加伦森；道格·基梅尔曼；尼古拉斯·东；绍恩·巴曼；凯西·罗德阿莫尔 4 2010 采矿规范。 Zbl 1323.68361号 阿蒙斯，格伦；拉斯蒂斯拉夫·博迪克；詹姆斯·拉鲁斯（James R.Larus）。 17 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名88位作者引用 三 福尔克·豪尔 三 本特·琼森 三 伯恩哈德·斯特芬 2 艺术、忠诚 2 索菲亚·卡塞尔 2 格里戈里·费迪尤科维奇 2 阿尔蒂·古普塔 2 Vaandrager，Frits W。 1 达纳州安格鲁因 1 埃姆纳·本·阿卜杜拉 1 阿纳布·巴塔查里亚 1 卢博什·布里姆 1 保罗·布鲁内特 1 乔恩，帕沃 1 科什卡，米兰 1 Chang，Bor-Yuh Evan先生 1 陈英科 1 魏恩根·钦 1 崔永里 1 弗罗林·克雷西恩 1 胡安·曼努埃尔·克雷斯波 1 保罗·塞勒姆·达席尔瓦 1 Dannenberg，弗里茨 1 伊娃·达鲁洛娃 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 格温娜·德拉瓦尔 1 吉登·恩斯特 1 塞巴斯蒂安·浮士德 1 达纳·菲斯曼 1 穆罕默德·古达。 1 阿什图什·古普塔 1 何冠华 1 黄康静 1 井上，胜美 1 马尔特·伊斯伯纳 1 阿纳斯塔西亚·伊齐切娃 1 曼弗雷德·贾格尔 1 托比亚斯·卡佩 1 小林直树 1 塞萨尔·库茨 1 哈科·库彭斯 1 拉克希曼·库普萨米 1 Kwiatkowska，Marta Z。 1 金·古德斯特兰·拉森 1 罗晨光 1 摩根·马根 1 鲁帕克·马朱姆达尔 1 沙拉德·马利克 1 索米亚·马尼 1 毛，华 1 埃尔文·马尔坎德 1 丹尼尔·马斯尼 1 松下幸助 1 布莱恩·尼尔森 1 托马斯·尼尔森。 1 尼古拉·保莱蒂 1 希拉·佩勒 1 佩克，劳伦 1 秦胜超 1 邱晓康 1 让-弗朗索瓦·拉斯金 1 托尼·里贝罗 1 Olivier F.鲁克斯。 1 埃里克·鲁顿 1 桑卡拉纳拉亚南，斯里拉姆 1 赫尔穆特·塞德尔 1 沙龙·肖姆 1 雅拉·绍瓦尔 1 安吉特·舒克拉 1 亚历山德拉·席尔瓦 1 曼达扬·K·斯利瓦斯。 1 达里尔·斯图尔特 1 穆昆德·塔泰 1 塞伊德·蒂兹帕兹·尼亚里 1 特雷特曼，简 1 阿舒托什·特里维迪 1 津田，武士 1 约翰·尤金 1 阿比·瓦尔丹 1 文丘里，丹尼尔 1 四川省韦尔市 1 马赫什·维斯瓦纳坦 1 工资制造者，贾纳 1 乔治·威森巴赫 1 埃兰·雅哈夫 1 杨红seok 1 法比奥·扎纳西 1 张洪策 全部的 前5名8篇连载文章中引用 三 信息学报 三 机器学习 三 系统设计中的形式化方法 1 理论计算机科学 1 符号计算杂志 1 计算的形式方面 1 离散事件动态系统 1 算法 全部的 前5名在9个字段中引用 26 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 三 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文