编辑配置文件（在新选项卡中打开） 米歇尔·比多特 合著者距离 作者ID： 比多特米切尔 发布日期： 米歇尔·比多特;米歇尔·比多特。 外部链接： MGP公司 已编制索引的文档： 44出版物自1980年以来，包括2本书 2作为编辑的贡献 合著者： 34位合著者具有41联合出版物 672合著作者 全部的 前5名合著者 5 单作者的 19 罗尔夫·亨尼克 6 克莉丝汀，杂乱无章 5 吉尔斯·伯诺 5 唐纳德·桑内拉。 5 安德烈·塔莱基 三 玛丽·克劳德·高德尔 三 克里斯蒂安·格雷斯 三 杰拉德·D·吉奥。 2 碧姬·比博 2 特奥多尔·科纳皮克 2 亚历山大·库兹 2 彼得·莫塞斯（Peter D.Mosses）。 2 福雷德里克·沃辛 2 马丁·威尔辛 1 埃吉迪奥·阿斯泰西亚诺 1 塞巴斯蒂安·鲍尔。 1 贝拉德，贝特里奇 1 亚历山大·博伊索 1 弗朗西斯·卡比 1 维多利亚州玛丽亚·桑加尔 1 雅克·科尔宾 1 阿兰·芬克尔 1 海因里希·赫斯曼 1 圣埃芬·卡普兰 1 赫莱内·基什内尔 1 汉斯·约尔格·克鲁斯基 1 Krieg-Brückner，伯尔尼 1 弗朗索瓦·拉鲁西尼 1 皮埃尔·莱斯坎 1 A.莫布森。 1 皮埃尔·麦肯齐 1 安托万·C·佩蒂特。 1 劳雷·佩特鲁奇 1 弗朗索瓦斯·施利恩格 全部的 前5名系列 6 理论计算机科学 三 计算机科学课堂讲稿 2 信息学报 2 计算机程序设计科学 1 计算的形式方面 1 骨髓间充质干细胞。计算机科学中的数学结构 1 IEEE软件工程汇刊 1 科学研究院。塞里一世 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 Revue Française d’Automatique、Informatique、Recherche Opérationnelle（RAIRO）。信息学 全部的 前5名领域 46 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 总体主题；集合（00-XX） 1 一般代数系统（08-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用302中的次190文件 引用人▼ 年份▼ CASL：通用代数规范语言。 Zbl 1061.68103号 埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg-Brückner，伯尔尼;彼得·莫塞斯（Peter D.Mosses）。;唐纳德·桑内拉;安德烈·塔莱基 42 2002 基于构造函数的观测逻辑。 Zbl 1088.68112号 米歇尔·比多瓦;罗尔夫·亨尼克 26 2006 行为和抽象规范。 兹比尔0853.68130 米歇尔·比多特;罗尔夫·亨尼克;马丁·威尔辛 24 1995 CASL用户手册。介绍如何使用通用代数规范语言。Till Mossakowski、Donald Sannella和Andrzej Tarlecki的章节。带CD-ROM。 Zbl 1033.68025号 米歇尔·比多特;彼得·莫塞斯（Peter D.Mosses）。 22 2004 系统和软件验证。模型检查技术和工具。 兹比尔1002.68029 贝拉德，B。;米歇尔·比多特。;芬克尔，A。;拉鲁西尼，F。;A.佩蒂特。;佩特鲁奇。;Schnoebelen博士。;麦肯齐，P。 21 2001 行为理论和行为特性的证明。 Zbl 0872.68167号 米歇尔·比多特;罗尔夫·亨尼克 16 1996 用标准一阶逻辑证明行为定理。 Zbl 0988.03525号 米歇尔·比多特。;亨尼克，R。 12 1994 代数系统规范和开发。调查和注释书目。 Zbl 0875.68642号 11 1991 为罗宾逊的统一算法注入能量。 Zbl 0522.68043号 雅克·科尔宾;米歇尔·比多特 9 1983 CASL中的建筑规范。 Zbl 1001.68078号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 9 2002 具有异常处理的抽象数据类型：一种基于异常和错误之间区别的初始方法。 Zbl 0603.68015号 吉尔斯·伯诺;米歇尔·比多特;克莉丝汀，杂乱无章 9 1986 具有可观测性算子的结构化规范的证明系统。 Zbl 0901.68116号 罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多瓦 8 1997 观察逻辑、基于构造函数的逻辑及其对偶性。 Zbl 1038.68079号 米歇尔·比多特;罗尔夫·亨尼克;亚历山大·库兹 8 2003 如何使代数规范更容易理解：PLUSS规范语言的实验。 Zbl 0678.68011号 米歇尔·比多特。;高德尔，M.-C。;A.莫布森。 7 1989 分层松散方法：对初始语义和松散语义的概括。 Zbl 0659.68019号 米歇尔·比多特 7 1988 关于可观测性和可达性概念的集成。 Zbl 1077.68709号 米歇尔·比多特;罗尔夫·亨尼克 7 2002 关于可观测性和可达性之间的对偶性。 Zbl 0986.68018号 米歇尔·比多特;罗尔夫·亨尼克;亚历山大·库兹 6 2001 行为实现的模块正确性证明。 Zbl 0910.68145号 米歇尔·比多特;罗尔夫·亨尼克 5 1998 CASL规范的观测解释。 Zbl 1141.68026号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 5 2008 通过声明和方程式对异常处理和错误恢复进行代数规范。 Zbl 0553.68013号 米歇尔·比多特 4 1984 结构化规范的证明系统及其改进。 Zbl 0948.68118号 米歇尔·比多特;维多利亚州玛丽亚·桑加尔;罗尔夫·亨尼克 4 1999 具有数据约束的模态界面理论。 兹比尔1325.68055 塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;米歇尔·比多特 4 2011 抽象实现和正确性证明。 Zbl 0585.68025号 吉尔斯·伯诺;米歇尔·比多特;克莉丝汀，杂乱无章 4 1986 代数规范的行为方法。比较研究。 兹伯利0818.68110 吉尔斯·伯诺;米歇尔·比多特;特奥多尔·科纳皮克 三 1994 异常处理：正式规范和系统程序构建。 Zbl 0547.68021号 米歇尔·比多特。;Biebow，B。;高德尔，M.C。;C.格雷斯。;G.吉奥。 三 1984 证明COL特异性的行为改进。 Zbl 1132.68486号 米歇尔·比多特;罗尔夫·亨尼克 三 2006 同步和异步通信组件的兼容性属性。 Zbl 1464.68030号 罗尔夫·亨尼克;米歇尔·比多特 三 2018 证明行为实施的正确性。 Zbl 1496.68199号 米歇尔·比多特;罗尔夫·亨尼克 三 1995 观测规范和不可区分性假设。 Zbl 0874.68194号 吉尔斯·伯诺;米歇尔·比多特;特奥多尔·科纳皮克 2 1995 行为精细化的外部化和内部化概念。 Zbl 1169.68525号 米歇尔·比多特;罗尔夫·亨尼克 2 2005 代数数据类型：结构化规范和公平演示。 Zbl 0514.68025号 米歇尔·比多特 2 1982 通过当地观测施工步骤实现全球发展。 Zbl 1014.68099号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 2 2002 基于契约的软件组件的代数语义。 Zbl 1170.68427号 米歇尔·比多瓦;罗尔夫·亨尼克 2 2008 ASSPEGIQUE规范环境。动机和设计。 Zbl 0584.68048号 米歇尔·比多特;克莉丝汀，杂乱无章;福雷德里克·沃辛 2 1985 具体模型类别中的行为满意度和等价性。 兹比尔1508.68207 米歇尔·比多特;安德烈·塔莱基 2 1996 代数抽象。 Zbl 1043.68067号 米歇尔·比多特;亚历山大·博伊索 1 2001 异常处理：正式规范和系统程序构建。 Zbl 0559.68025号 米歇尔·比多特;碧姬·比博;玛丽·克劳德·高德尔;克里斯蒂安·格雷斯;杰拉德·D·吉奥。 1 1985 模块化系统规范模块化实现的通用框架。 Zbl 1497.68288号 米歇尔·比多特;罗尔夫·亨尼克 1 1993 同步和异步通信组件的兼容性属性。 Zbl 1464.68030号 罗尔夫·亨尼克;米歇尔·比多特 三 2018 具有数据约束的模态界面理论。 Zbl 1325.68055号 塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;米歇尔·比多特 4 2011 CASL规范的观测解释。 Zbl 1141.68026号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 5 2008 基于契约的软件组件的代数语义。 Zbl 1170.68427号 米歇尔·比多特;罗尔夫·亨尼克 2 2008 基于构造函数的观测逻辑。 Zbl 1088.68112号 米歇尔·比多特;罗尔夫·亨尼克 26 2006 证明COL特异性的行为改进。 Zbl 1132.68486号 米歇尔·比多特;罗尔夫·亨尼克 三 2006 行为精细化的外部化和内部化概念。 兹比尔1169.68525 米歇尔·比多特;罗尔夫·亨尼克 2 2005 CASL用户手册。介绍如何使用通用代数规范语言。Till Mossakowski、Donald Sannella和Andrzej Tarlecki的章节。带CD-ROM。 Zbl 1033.68025号 米歇尔·比多瓦;彼得·莫塞斯（Peter D.Mosses）。 22 2004 观察逻辑、基于构造函数的逻辑及其对偶性。 Zbl 1038.68079号 米歇尔·比多特;罗尔夫·亨尼克;亚历山大·库兹 8 2003 CASL：通用代数规范语言。 Zbl 1061.68103号 埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg-Brückner，伯尔尼;彼得·莫塞斯（Peter D.Mosses）。;唐纳德·桑内拉;安德烈·塔莱基 42 2002 CASL中的建筑规范。 Zbl 1001.68078号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 9 2002 关于可观测性和可达性概念的集成。 Zbl 1077.68709号 米歇尔·比多特;罗尔夫·亨尼克 7 2002 通过当地观测施工步骤实现全球发展。 Zbl 1014.68099号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 2 2002 系统和软件验证。模型检查技术和工具。 兹比尔1002.68029 贝拉德，B。;米歇尔·比多特。;芬克尔，A。;拉鲁西尼，F。;A.佩蒂特。;佩特鲁奇。;Schnoebelen博士。;麦肯齐，P。 21 2001 关于可观测性和可达性之间的对偶性。 Zbl 0986.68018号 米歇尔·比多特;罗尔夫·亨尼克;亚历山大·库兹 6 2001 代数抽象。 Zbl 1043.68067号 米歇尔·比多特;亚历山大·博伊索 1 2001 结构化规范及其改进的证明系统。 Zbl 0948.68118号 米歇尔·比多特;维多利亚州玛丽亚·桑加尔;罗尔夫·亨尼克 4 1999 行为实现的模块正确性证明。 兹比尔0910.68145 米歇尔·比多瓦;罗尔夫·亨尼克 5 1998 具有可观测性算子的结构化规范的证明系统。 Zbl 0901.68116号 罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 8 1997 行为理论和行为特性的证明。 Zbl 0872.68167号 米歇尔·比多特;罗尔夫·亨尼克 16 1996 具体模型类别中的行为满意度和等效性。 Zbl 1508.68207号 米歇尔·比多特;安德烈·塔莱基 2 1996 行为和抽象规范。 Zbl 0853.68130号 米歇尔·比多特;罗尔夫·亨尼克;马丁·威尔辛 24 1995 证明行为实施的正确性。 Zbl 1496.68199号 米歇尔·比多特;罗尔夫·亨尼克 三 1995 观测规范和不可区分性假设。 Zbl 0874.68194号 吉尔斯·伯诺;米歇尔·比多特;特奥多尔·科纳皮克 2 1995 用标准一阶逻辑证明行为定理。 Zbl 0988.03525号 米歇尔·比多特。;亨尼克，R。 12 1994 代数规范的行为方法。比较研究。 Zbl 0818.68110号 吉尔斯·伯诺;米歇尔·比多特;特奥多尔·科纳皮克 三 1994 模块化系统规范模块化实现的通用框架。 Zbl 1497.68288号 米歇尔·比多特;罗尔夫·亨尼克 1 1993 代数系统规范和开发。调查和注释书目。 兹伯利0875.68642 11 1991 如何使代数规范更容易理解：PLUSS规范语言的实验。 Zbl 0678.68011号 米歇尔·比多特。;高德尔，M.-C。;Mauboussin，A。 7 1989 分层松散方法：对初始语义和松散语义的概括。 Zbl 0659.68019号 米歇尔·比多特 7 1988 带异常处理的抽象数据类型：基于异常和错误之间的区别的初始方法。 Zbl 0603.68015号 吉尔斯·伯诺;米歇尔·比多特;克莉丝汀，杂乱无章 9 1986 抽象实现和正确性证明。 Zbl 0585.68025号 吉尔斯·伯诺;米歇尔·比多特;克莉丝汀，杂乱无章 4 1986 ASSPEGIQUE规范环境。动机和设计。 Zbl 0584.68048号 米歇尔·比多特;克莉丝汀，杂乱无章;福雷德里克·沃辛 2 1985 异常处理：正式规范和系统程序构建。 Zbl 0559.68025号 米歇尔·比多特;碧姬·比博;玛丽·克劳德·高德尔;克里斯蒂安·格雷斯;杰拉德·D·吉奥。 1 1985 通过声明和方程式对异常处理和错误恢复进行代数规范。 Zbl 0553.68013号 米歇尔·比多特 4 1984 异常处理：正式规范和系统程序构建。 Zbl 0547.68021号 米歇尔·比多特。;Biebow，B。;高德尔，M.C。;C.格雷斯。;G.吉奥。 三 1984 为罗宾逊的统一算法注入能量。 Zbl 0522.68043号 雅克·科尔宾;米歇尔·比多特 9 1983 代数数据类型：结构化规范和公平演示。 Zbl 0514.68025号 米歇尔·比多瓦 2 1982 所有引用出版物 前5名被引用出版物 全部的 前5名241位作者引用 21 罗尔夫·亨尼克 16 拉兹万·迪亚科内斯库 13 蒂尔·莫萨科夫斯基 12 米歇尔·比多特 11 唐纳德·桑内拉。 11 安德烈·塔莱基 9 亚历山大·马德拉 9 马丁斯（Manuel António Martins） 7 丹尼尔·加恩 6 马丁·威尔辛 5 巴博萨、路易斯·索亚雷斯 5 吉尔斯·伯诺 5 高基町五指 5 何塞·梅塞盖尔·瓜伊塔 5 彼得·莫塞斯（Peter D.Mosses）。 5 Kazuhiro绪方 5 凯瑟琳·奥里亚特 5 格里高·罗什乌 5 卢茨·施罗德 4 塞巴斯蒂安·鲍尔。 4 克莉丝汀，杂乱无章 4 米海·Codescu 4 马库斯·罗根巴赫 三 马克·艾吉尔 三 圣埃芬·卡普兰 三 Krieg-Brückner，伯尔尼 三 奥利弗·库茨 三 弗朗索瓦·拉鲁西尼 三 帕斯卡尔·勒加尔 三 多雷尔·卢卡努 2 谢尔盖·奥特西尔 2 吉尔勒米纳·克莱杜 2 斯特凡·德姆里。 2 让-弗朗索瓦·杜富尔德 2 玛丽·克劳德·高德尔 2 马丁·霍夫曼 2 赫莱内·基什内尔 2 亚历山大·库尔兹 2 罗比·马利克 2 马丁斯·莫雷拉，阿纳玛利亚 2 玛丽莎·纳瓦罗 2 费尔南多·奥雷贾斯 2 彼得·帕达维茨 2 马吕斯·佩特里亚 2 何塞·普伦萨 2 弗洛里安·拉贝 2 阿德里安·里斯科 2 米夏埃尔·鲁西诺维奇 2 简·J·M·M·鲁顿。 2 克里斯蒂娜·索贾科娃 2 莫里斯·比克。 1 巴哈州阿默里 1 卢卡·埃特罗 1 阿隆索、何塞·安东尼奥 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 法哈德·阿尔巴 1 康斯坦丁·阿库达斯 1 阿格内斯·阿诺德 1 埃吉迪奥·阿斯泰西亚诺 1 弗兰兹·巴德 1 谢尔盖·巴贝尼舍夫 1 吉列尔莫·巴迪亚 1 雷娜·巴赫西 1 阿道夫芭蕾舞团 1 佛朗哥·巴巴内拉 1 丹尼尔·博基尔 1 贝拉德，贝特里奇 1 Jan A.Bergstra。 1 迪迪埃·伯特 1 伯纳德·伯托米厄 1 伊夫·伯特朗 1 博因，克莱门特 1 菲利波·邦奇 1 马塞洛·玛丽亚·邦桑格 1 托马斯·博齐斯科夫斯基 1 亚历山大·布代特 1 努里丁·布德里加A。 1 阿黛尔·布胡拉 1 迪米特拉·布鲁 1 帕特里夏·鲍耶 1 塞尔默布林斯乔尔 1 彼得·伯迈斯特 1 卡洛斯·卡莱罗 1 安东尼奥·塞隆 1 克拉克（Edmund Melson jun Clarke）。 1 罗伯托·孔瓦洛尼埃里 1 安里克·科斯梅·洛佩斯 1 洛科·德尼古拉 1 戴维·戴哈贝 1 乌戈·德利古罗 1 Deters，摩根 1 塞萨尔·多明格斯 1 弗朗西斯科·杜兰 1 Jean-Louis Durieux公司 1 汉斯·迪特·埃里奇 1 哈特穆特·埃里格 1 恩德鲁利斯，约尔格 1 康斯坦丁·埃纳 1 马丁·费比安 1 伊莎贝尔·M·A·费雷里姆。 …还有141位作者 全部的 前5名32篇连载文章中引用 52 理论计算机科学 9 逻辑与代数程序设计杂志 6 计算的形式方面 6 程序设计中的逻辑和代数方法杂志 5 信息与计算 5 图表 4 信息学报 4 信息处理信件 4 骨髓间充质干细胞。计算机科学中的数学结构 三 Studia Logica公司 三 纯逻辑与应用逻辑年鉴 三 自动推理杂志 三 数学与人工智能年鉴 三 泛逻辑 2 实时系统 2 离散事件动态系统 2 ACM计算逻辑事务 2 应用逻辑杂志 1 人工智能 1 信息科学 1 计算机与系统科学杂志 1 国际生产研究杂志 1 符号计算杂志 1 分布式计算 1 数学逻辑档案 1 控制论与系统分析 1 应用分类结构 1 应用非经典逻辑杂志 1 函数编程杂志 1 RAIRO公司。理论信息学及其应用 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名11个领域引用 175 计算机科学（68至XX） 53 数学逻辑和基础（03-XX） 10 范畴理论；同调代数（18-XX） 6 一般代数系统（08-XX） 2 系统论；控制（93至XX） 1 历史和传记（01-XX） 1 数论（11-XX） 1 凸和离散几何（52至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文