编辑配置文件(在新选项卡中打开) 勒杜克,盖伊 合著者距离 作者ID: leduc.guy公司 发布日期: 勒杜克,盖伊;莱杜克,G。 主页: 网址:http://www.run.montefiore.ulg.ac.be/People/GuyLeduc/ 已编制索引的文档: 11出版物自1992年起 1名编辑贡献 合著者: 10位合著者具有9联合出版物 39位合作作者 全部的 前5名合著者 三 单作者的 2 伊比萨姆·卡亚特 2 马丁·西尔文 1 西蒙·巴隆 1 尼古拉斯·邦马里奇(Nicolas Bonmariage) 1 安德烈·丹瑟尔 1 皮埃尔·盖尔茨 1 埃里克·拉勒曼德 1 吕克·莱昂纳德 1 洛朗·梅隆 1 皮埃尔·沃尔珀 系列 4 计算机网络 1 计算的形式化方面 1 计算机网络和ISDN系统 1 IFIP交易C:通信系统 领域 12 计算机科学(68至XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用8中的次8文件 引用人▼ 年份▼ LOTOS中时间的正式定义。 Zbl 0934.68056号 吕克·莱昂纳德;勒杜克,盖伊 5 1998 基于实现关系的框架,用于实现LOTOS规范。 Zbl 0789.68095号 勒杜克,盖伊 2 1992 协议规范、测试和验证,XIII。1993年5月25日至28日,比利时列日,第13届国际研讨会,IFIP TC6/WG6.1会议记录。 Zbl 0799.68016号 1 1993 LOTOS中时间的正式定义。 Zbl 0934.68056号 吕克·莱昂纳德;勒杜克,盖伊 5 1998 协议规范、测试和验证,XIII。1993年5月25日至28日,比利时列日,第13届国际研讨会,IFIP TC6/WG6.1会议记录。 Zbl 0799.68016号 1 1993 基于实现关系的框架,用于实现LOTOS规范。 Zbl 0789.68095号 勒杜克,盖伊 2 1992 所有引用出版物 前5名被引用出版物 全部的 前5名15位作者引用 2 戴维·德·弗鲁托斯·埃斯克里格 2 休伯特·加拉维 2 弗雷德里克·朗 2 伊雷克·乌利多夫斯基 2 袁,Shoji 1 文森扎·卡奇奥洛 1 伊格纳西奥·法布雷加斯 1 路易斯·费尔南多·利亚娜·迪亚斯 1 米歇尔·马格里 1 朱塞佩·曼吉奥尼 1 马蒂·奥利特,纳西索 1 Manuel A.努内兹。 1 米盖尔·帕洛米诺 1 扬·施托克 1 阿尔贝托·维尔德乔 4篇连载文章中引用 2 逻辑与代数程序设计杂志 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 信息与计算 在2个字段中引用 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文