编辑配置文件（在新选项卡中打开） 多龙·德鲁辛斯基 合著者距离 作者ID: 德鲁辛斯基 发布日期： 多龙·德鲁辛斯基;多龙·德鲁辛基 外部链接： MGP公司·谷歌学者 编入索引的文档： 5出版物自1988年起 合著者： 11位合著者具有4联合出版物 205位合作作者 全部的 前5名合著者 1 单作者的 2 大卫·哈雷 2 克劳斯·哈维隆德 2 洛瑞，迈克 2 科琳娜·s·佩斯勒诺。 2 威廉·维瑟 1 西里尔·阿尔托 1 纪尧姆·布拉特 1 迪米特拉·吉安娜科波卢 1 格里高·罗什乌 1 阿尔诺·J·维内特。 1 华盛顿，里奇 系列 1 计算机协会杂志 1 系统设计中的形式化方法 领域 5 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物被引用43中的次41文件 引用人▼ 年份▼ 关于有界并发的力量。一： 有限自动机。 Zbl 0813.68138号 多龙·德鲁辛斯基;大卫·哈雷 23 1994 Temporal Rover和ATG Rover。 Zbl 0976.68571号 多龙·德鲁辛斯基 10 2000 火星探测器软件验证和确认工具的实验评估。 Zbl 1078.68665号 纪尧姆·布拉特;多龙·德鲁辛斯基;迪米特拉·吉安娜科波卢;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞，迈克;科琳娜·帕萨雷努;阿尔诺·维尼特;威廉·维瑟;华盛顿，里奇 4 2004 测试用例生成和运行时分析实验。 Zbl 1021.68503号 西里尔·阿尔托;多龙·德鲁辛基;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞，迈克;科琳娜·帕萨雷努;格里戈·罗苏;威廉·维瑟 三 2003 关于协作并发的威力。 Zbl 0663.68062号 多龙·德鲁辛斯基;大卫·哈雷 三 1988 火星探测器软件验证和确认工具的实验评估。 Zbl 1078.68665号 纪尧姆·布拉特;多龙·德鲁辛斯基;迪米特拉·吉安娜科波卢;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞，迈克;科琳娜·帕萨雷努;阿诺德·维尼特;威廉·维瑟;华盛顿，里奇 4 2004 测试用例生成和运行时分析实验。 Zbl 1021.68503号 西里尔·阿尔托;多龙·德鲁辛基;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞，迈克;科琳娜·帕萨雷努;格里戈·罗苏;威廉·维瑟 三 2003 Temporal Rover和ATG Rover。 Zbl 0976.68571号 多龙·德鲁辛斯基 10 2000 关于有界并发的力量。一： 有限自动机。 Zbl 0813.68138号 多龙·德鲁辛斯基;大卫·哈雷 23 1994 关于协作并发的威力。 Zbl 0663.68062号 多龙·德鲁辛斯基;大卫·哈雷 三 1988 所有引用出版物 前5名被引用出版物 全部的 前5名被101位作者引用 5 奥尔纳·库普弗曼 4 大卫·哈雷 三 拉诺特、拉格罗 三 安德烈亚·马吉奥洛·谢蒂尼 2 伯恩德·芬克贝纳 2 诺亚·环球曼 2 赫斯特，蒂扎 2 塞·库什克 2 西蒙·蒂尼 2 莫西·亚亚科夫·瓦尔迪 1 Aceto，卢卡 1 艾伦·阿克图格 1 本杰明·阿米诺夫 1 西里尔·阿尔托 1 霍华德·巴林格 1 David A.Basin。 1 肖姆·本·达维德 1 乌鸦·贝特纳 1 安德烈亚斯·拉斐尔·布拉斯 1 博尔祖·博纳克达尔普尔 1 霍华德·鲍曼 1 希曼舒·乔汉 1 克里斯蒂安·科伦坡 1 乔迪·科尔塔德拉 1 达姆，麦兹 1 劳雷·达沃 1 威廉·鲍尔·德·罗弗 1 朱尔根·丁格尔 1 里克·埃舒伊斯 1 瑞秋·法拉 1 塞巴斯蒂安·费奇迈斯特 1 达纳·菲斯曼 1 维杰·加格。 1 帕特丽斯·戈德弗里德 1 鲁道夫·戈麦斯 1 尤里·古里维奇 1 古罗夫，帝力 1 克劳斯·哈维隆德 1 乔泽夫·约翰内斯·玛丽亚·胡曼 1 惠泽，科内利斯 1 芭芭拉·乔布斯曼 1 凯文·琼斯。 1 马尔钦·尤尔季安斯基 1 萨尔夫拉兹·库希德 1 钱德拉·金塔拉 1 迈克尔·基希内夫斯基 1 亚历克斯·孔德拉提耶夫 1 维克托·康拉德 1 莫伊斯·克里钦 1 维克托·五·库利亚明。 1 Hironobu Kuruma 1 弗朗索瓦·拉鲁西尼 1 卢西亚诺·拉瓦尼奥 1 卡罗琳娜·莱赫蒂宁 1 莫舍·勒文斯坦 1 卡马尔·洛达亚 1 洛瑞，迈克 1 科托·N·马斯克。 1 尼拉吉·米塔尔 1 宫崎骏 1 迈克尔·莫勒 1 阿尼埃洛·穆拉诺 1 列夫·纳奇曼森 1 阿拉文·纳塔拉扬 1 萨曼内·纳瓦布普尔 1 尼尔，丹尼尔 1 德扬·尼科维奇 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 戈登·佩斯。 1 科琳娜·s·佩斯勒诺。 1 Praveen，M。 1 Pun，Kong-Yee村 1 霍尔格·拉什 1 格里高·罗什乌 1 西瓦尼特·鲁阿 1 鲁迪、凯伦 1 Kai T.Salomaa。 1 桑卡拉纳拉亚南，斯里拉姆 1 斯文·舍韦 1 Gerardo Schneider公司 1 马克西米利安·施温格 1 Henny B.西普玛。 1 苏，李 1 保罗·塔布阿达 1 Kazuo Takaragi 1 塔米尔、塔米 1 亚历山大·托宾。 1 斯塔夫罗斯·特里帕基斯 1 玛格斯·维纳斯 1 威廉·维瑟 1 克里斯蒂安·冯·埃森 1 Waez，Md Tawhid Bin 1 华盛顿，里奇 1 海克·卫尔海姆 1 亚历山大·韦内特 1 托马斯·威尔克 1 沃尔夫，伯克哈特 1 沃奇克，德特勒夫 1 亚历山大五世·雅科夫列夫。 1 于胜 …还有1位作者 全部的 前5名12篇连载文章中引用 7 理论计算机科学 6 系统设计中的形式化方法 4 信息与计算 4 计算的形式方面 2 信息处理信件 2 逻辑与代数程序设计杂志 1 计算机与系统科学杂志 1 数学系统理论 1 编程和计算机软件 1 国际计算机科学基础杂志 1 计算机科学中的逻辑方法 1 计算机科学评论 在5个字段中引用 40 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文