编辑配置文件（在新选项卡中打开） Michael Leuschel先生 合著者距离 作者ID： 莱乌舍尔·米切尔 发布日期： Michael Leuschel先生 已编制索引的文档： 49出版物自1998年以来 9作为编辑的贡献·1进一步贡献 合著者： 62位合著者具有46联合出版物 988合著作者 全部的 前5名合著者 10 单作者的 4 莫里斯·布吕诺格 4 斯蒂芬·克雷格 4 斯特凡·哈勒斯特德 4 赫尔科·莱曼 4 蒂埃里·雅克·马萨特 4 德国维达尔 三 杰斯珀·约根森 三 萨尔瓦多塔马利特 三 温·范霍夫 2 Jens Bendisposto公司 2 丹尼·德·施雷耶 2 罗伯特·格莱克 2 菲利普·科纳 2 塞巴斯蒂安·克林斯 2 玛丽莎·洛伦斯 2 哈维尔·奥利弗 2 乔塞普·席尔瓦 2 海克·卫尔海姆 1 萨尔瓦多阿布雷乌 1 阿霍，阿尔弗雷德·瓦伊诺 1 史蒂夫·巴克 1 卡尔·弗里德里希·博尔兹 1 马塞洛·玛丽亚·邦桑格 1 博什纳奇·德拉甘 1 乔瓦尼·西亚托 1 维托尔·桑托斯·科斯塔 1 安德鲁·库里。 1 维罗妮卡·达尔 1 德波尔（Frank S。 1 约翰·德里克 1 丹尼尔·迪亚兹 1 艾维洛·多布里科夫 1 阿拉斯泰尔·唐纳森。 1 扬尼克·邓克劳 1 亚历山大·埃吉德 1 丹·埃尔菲克 1 约翰·加拉赫（John P.Gallagher）。 1 盖尔·乌斯，大卫 1 格内西、斯特凡尼亚 1 斯特凡·格鲁纳 1 Hasanagić，米兰 1 亨利克森，Kim S。 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 萨尔夫拉兹·库希德 1 莫妮卡·兰姆。 1 彼得·戈姆·拉森 1 圣普雷斯蒂 1 伯尔尼马滕斯 1 阿蒂夫·马斯科尔 1 何塞·弗朗西斯科·莫拉莱斯 1 丹尼尔·普拉格 1 安德烈亚斯·波德尔斯基 1 史蒂夫·里夫斯 1 利可宾，埃尔维尼亚 1 阿明·里戈 1 马诺兰詹·萨帕蒂 1 汤姆·施里杰弗斯 1 拉维·塞提 1 索伦森，莫滕·海涅B。 1 斯托克，塞巴斯蒂安 1 埃德·特纳 1 菲利普·特纳 1 杰弗里·戴维·乌尔曼 1 乌尔里希·尼切 1 毛里西奥·瓦雷亚 1 Wielemaker，简 全部的 前5名系列 6 逻辑程序设计理论与实践 4 计算机科学课堂讲稿 三 计算的形式方面 2 计算机程序设计科学 2 逻辑程序设计杂志 2 信息与计算 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 高阶和符号计算 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 领域 59 计算机科学（68至XX） 8 一般性和全局性主题；集合（00-XX） 三 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用144次83文件 引用人▼ 年份▼ 编译器。原理、技术和工具。第2版。（编译人：Prinzipien，Techniken und Werkzeuge。Fachliche Betreuung und Erweiterungen：Michael Leuschel。） Zbl 1155.68020号 阿霍，阿尔弗雷德五世。;莫妮卡·兰姆。;拉维·塞提;杰弗里·乌尔曼。 108 2008 关联部分演绎：基础、控制、算法和实验。 Zbl 0944.68025号 丹尼·德·施雷耶;罗伯特·格莱克;杰斯珀·约根森;Michael Leuschel先生;伯尔尼马滕斯;莫滕·海涅·瑟伦森 19 1999 通过部分演绎实现逻辑程序专业化：控制问题。 Zbl 1105.68331号 Michael Leuschel先生;莫里斯·布吕诺格 15 2002 如何通过细化使CSP的FDR自旋LTL模型检查。 Zbl 0977.68672号 Michael Leuschel先生;蒂埃里·马萨特;安德鲁·柯里 12 2001 符号方法在线终止的同胚嵌入。 Zbl 1026.68028号 Michael Leuschel先生 12 2002 结合CSP和B进行规范和属性验证。 Zbl 1120.68411号 迈克尔·巴特勒;Michael Leuschel先生 10 2005 通过抽象解释和程序专业化进行无限状态模型检查。 兹比尔0964.68086 Michael Leuschel先生;蒂埃里·马萨特 8 2000 通过部分演绎实现重置Petri网和其他结构良好的转移系统的覆盖性。 兹伯利0983.68135 Michael Leuschel先生;赫尔科·莱曼 6 2000 Prolog中使用手工编写的编译器生成器进行脱机专业化。 Zbl 1085.68020号 Michael Leuschel先生;杰斯珀·约根森;温·范霍夫;莫里斯·布吕诺格 6 2004 CSP规范的MEB和CEB静态分析。 Zbl 1185.68207号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;乔塞普·席尔瓦;萨尔瓦多塔马利特 5 2009 B的定向模型检验：一种评估和新技术。 Zbl 1325.68153号 Michael Leuschel先生;Jens Bendisposto公司 5 2011 通往正式验证的捷径：。模型检查高级与低级规范。 Zbl 1156.68473号 Michael Leuschel先生 5 2008 通过Jones优化逻辑程序专业化实现高效灵活的访问控制。 Zbl 1189.68043号 史蒂夫·巴克;Michael Leuschel先生;毛里西奥·瓦雷亚 4 2008 通过对称标记对Promela模型进行有效的近似验证。 Zbl 1141.68453号 博什纳奇·德拉甘;阿拉斯泰尔·唐纳森。;Michael Leuschel先生;蒂埃里·马萨特 4 2007 大型逻辑程序的快速离线部分评估。 Zbl 1185.68164号 Michael Leuschel先生;德国维达尔 三 2009 通过细化动画验证形式化模型。 Zbl 1264.68057号 斯特凡·哈勒斯特德;Michael Leuschel先生;丹尼尔·普拉格 三 2013 使用离线部分演绎的专业口译员。 Zbl 1080.68553号 Michael Leuschel先生;斯蒂芬·克雷格。;莫里斯·布吕诺格;温·范霍夫 三 2004 通过合取部分演绎和参数过滤进行前向切片。 Zbl 1108.68424号 Michael Leuschel先生;德国维达尔 三 2005 使用在线技术监督逻辑程序的离线部分评估。 兹比尔1196.68033 Michael Leuschel先生;斯蒂芬·克雷格;丹·埃尔菲克 三 2007 逻辑程序的快速离线部分评估。 Zbl 1358.68055号 Michael Leuschel先生;德国维达尔 2 2014 Prolog的全自动绑定时间分析。 Zbl 1134.68330号 斯蒂芬·克雷格;约翰·加拉赫（John P.Gallagher）。;Michael Leuschel先生;亨利克森，Kim S。 2 2005 汞的结合时间分析。 Zbl 1080.68558号 温·范霍夫;莫里斯·布吕诺格;Michael Leuschel先生 2 2004 使用部分降阶优化B的ProB模型检查器。 Zbl 1342.68208号 艾维洛·多布里科夫;Michael Leuschel先生 2 2016 显式同步语言的静态切片。 Zbl 1253.68246号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;乔塞普·席尔瓦;萨尔瓦多塔马利特 1 2012 通过对称标记对B和Z模型进行有效的近似验证。 Zbl 1209.68127号 Michael Leuschel先生;蒂埃里·马萨特 1 2010 组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。 Zbl 1203.68021号 1 2010 快速准确的强终止分析，应用于部分评估。 Zbl 1274.68044号 Michael Leuschel先生;萨尔瓦多塔马利特;德国维达尔 1 2010 使用手写编译器生成器LOGEN在Prolog中实现高效专业化。 Zbl 0958.68036号 Michael Leuschel先生;杰斯珀·约根森 1 1999 使用正则类型的抽象合取部分演绎及其在模型检验中的应用。 Zbl 1073.68583号 Michael Leuschel先生;斯特凡·格鲁纳 1 2002 通过对元企业的部分评估创建专门的完整性检查。 Zbl 0911.68028号 Michael Leuschel先生;丹尼·德·施雷耶 1 1998 用于解决反问题的基于抽象的部分演绎——软件验证的转换方法。（扩展摘要）。 Zbl 0970.68732号 罗伯特·格莱克;Michael Leuschel先生 1 2000 声波部分扣除。 Zbl 0970.68680号 乔纳森·马丁;Michael Leuschel先生 1 2000 找出差异：B和Event-B之间的详细比较。 Zbl 07495058号 Michael Leuschel先生 1 2021 发现差异：B和事件B之间的详细比较。 Zbl 07495058号 Michael Leuschel先生 1 2021 使用部分降阶优化B的ProB模型检查器。 Zbl 1342.68208号 艾维洛·多布里科夫;Michael Leuschel先生 2 2016 逻辑程序的快速离线部分评估。 Zbl 1358.68055号 Michael Leuschel先生;德国维达尔 2 2014 通过细化动画验证形式化模型。 Zbl 1264.68057号 斯特凡·哈勒斯特德;Michael Leuschel先生;丹尼尔·普拉格 三 2013 显式同步语言的静态切片。 Zbl 1253.68246号 Michael Leuschel先生;玛丽莎·略伦斯;哈维尔·奥利弗;乔塞普·席尔瓦;萨尔瓦多塔马利特 1 2012 B的定向模型检验：一种评估和新技术。 Zbl 1325.68153号 Michael Leuschel先生;Jens Bendisposto公司 5 2011 通过对称标记对B和Z模型进行有效的近似验证。 Zbl 1209.68127号 Michael Leuschel先生;蒂埃里·马萨特 1 2010 组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。 Zbl 1203.68021号 1 2010 快速准确的强终止分析，应用于部分评估。 Zbl 1274.68044号 Michael Leuschel先生;萨尔瓦多塔马利特;德国维达尔 1 2010 CSP规范的MEB和CEB静态分析。 Zbl 1185.68207号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;乔塞普·席尔瓦;萨尔瓦多塔马利特 5 2009 大型逻辑程序的快速离线部分评估。 Zbl 1185.68164号 Michael Leuschel先生;德国维达尔 三 2009 编译器。原理、技术和工具。第2版。（编译人：Prinzipien，Techniken und Werkzeuge。Fachliche Betreuung und Erweiterungen：Michael Leuschel。） Zbl 1155.68020号 阿霍，阿尔弗雷德五世。;莫妮卡·兰姆。;拉维·塞提;杰弗里·乌尔曼。 108 2008 通往正式验证的捷径：。模型检查高级与低级规范。 Zbl 1156.68473号 Michael Leuschel先生 5 2008 通过Jones优化逻辑程序专业化实现高效灵活的访问控制。 兹比尔1189.68043 史蒂夫·巴克;Michael Leuschel先生;毛里西奥·瓦雷亚 4 2008 通过对称标记对Promela模型进行有效的近似验证。 Zbl 1141.68453号 博什纳奇·德拉甘;阿拉斯泰尔·唐纳森。;Michael Leuschel先生;蒂埃里·马萨特 4 2007 使用在线技术监督逻辑程序的离线部分评估。 Zbl 1196.68033号 Michael Leuschel先生;斯蒂芬·克雷格;丹·埃尔菲克 三 2007 结合CSP和B进行规范和属性验证。 兹比尔1120.68411 迈克尔·巴特勒;Michael Leuschel先生 10 2005 通过合取部分演绎和参数过滤进行前向切片。 Zbl 1108.68424号 Michael Leuschel先生;德国维达尔 三 2005 Prolog的全自动绑定时间分析。 Zbl 1134.68330号 斯蒂芬·克雷格;约翰·加拉赫（John P.Gallagher）。;Michael Leuschel先生;亨利克森，Kim S。 2 2005 Prolog中使用手工编写的编译器生成器进行脱机专业化。 Zbl 1085.68020号 Michael Leuschel先生;杰斯珀·约根森;温·范霍夫;莫里斯·布吕诺格 6 2004 使用离线部分演绎的专业口译员。 Zbl 1080.68553号 Michael Leuschel先生;斯蒂芬·克雷格。;莫里斯·布吕诺格;温·范霍夫 三 2004 汞的结合时间分析。 Zbl 1080.68558号 温·范霍夫;莫里斯·布吕诺格;Michael Leuschel先生 2 2004 通过部分演绎实现逻辑程序专业化：控制问题。 Zbl 1105.68331号 Michael Leuschel先生;莫里斯·布吕诺格 15 2002 符号方法在线终止的同胚嵌入。 Zbl 1026.68028号 Michael Leuschel先生 12 2002 使用正则类型的抽象合取部分演绎及其在模型检验中的应用。 Zbl 1073.68583号 Michael Leuschel先生;斯特凡·格鲁纳 1 2002 如何通过细化使CSP的FDR自旋LTL模型检查。 兹比尔0977.68672 Michael Leuschel先生;蒂埃里·马萨特;安德鲁·柯里 12 2001 通过抽象解释和程序专业化进行无限状态模型检查。 Zbl 0964.68086号 Michael Leuschel先生;蒂埃里·马萨特 8 2000 通过部分演绎实现重置Petri网和其他结构良好的转移系统的覆盖性。 Zbl 0983.68135号 Michael Leuschel先生;赫尔科·莱曼 6 2000 用于解决反问题的基于抽象的部分演绎——软件验证的转换方法。（扩展摘要）。 Zbl 0970.68732号 罗伯特·格莱克;Michael Leuschel先生 1 2000 声波部分扣除。 Zbl 0970.68680号 乔纳森·马丁;Michael Leuschel先生 1 2000 关联部分演绎：基础、控制、算法和实验。 Zbl 0944.68025号 丹尼·德·施雷耶;罗伯特·格莱克;杰斯珀·约根森;Michael Leuschel先生;伯尔尼马滕斯;莫滕·海涅·瑟伦森 19 1999 使用手写编译器生成器LOGEN在Prolog中实现高效专业化。 Zbl 0958.68036号 Michael Leuschel先生;杰斯珀·约根森 1 1999 通过对元企业的部分评估创建专门的完整性检查。 Zbl 0911.68028号 Michael Leuschel先生;丹尼·德·施雷耶 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名142位作者引用 14 Michael Leuschel先生 8 约翰·加拉赫（John P.Gallagher）。 8 毛里齐奥·普罗埃蒂 8 德国维达尔 7 法比奥·菲奥拉万蒂 7 阿尔贝托·佩特罗西 6 玛丽亚·阿尔普特 5 伊曼纽尔·德·安吉利斯 5 圣地亚哥埃斯科瓦尔 5 德国普埃布拉 4 艾尔维拉·阿尔伯特 4 玛丽莎·洛伦斯 4 哈维尔·奥利弗 4 乔塞普·席尔瓦 4 萨尔瓦多塔马利特 三 黛米斯·巴利斯 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 何塞·梅塞盖尔·瓜伊塔 三 温·范霍夫 2 Jens Bendisposto公司 2 罗伯特·J·科尔文。 2 安吉尔·昆卡-奥尔特加 2 约翰·德里克 2 莫雷诺，法拉斯基 2 萨米尔·根奈姆 2 罗伯特·格莱克 2 米盖尔·戈梅斯·扎马洛亚 2 伊恩·海耶斯。 2 比肖克桑·卡夫 2 菲利普·科纳 2 何塞·弗朗西斯科·莫拉莱斯 2 直纪西田 2 克劳迪奥·奥乔亚 2 朱莉娅·萨皮娜 2 菲利普·施诺贝伦 2 瓦莱里奥·塞尼 2 格雷姆·史密斯 2 海伦·特里哈恩 2 贡萨古·耶尔瑙斯 1 萨尔瓦多阿布雷乌 1 保罗·阿卡尼 1 普里阿雷纳斯 1 巴赫·鲍尔森，卡斯珀 1 古里纳斯·班达 1 Steve巴克 1 戈博尔·伯格曼 1 莫里斯·布吕诺格 1 马可·卡洛蒂 1 雅克·卡雷特 1 海宁·克里斯蒂安森 1 乔瓦尼·西亚托 1 维托尔·桑托斯·科斯塔 1 维罗妮卡·达尔 1 丹尼·德·施雷耶 1 丹尼尔·迪亚兹 1 柯特林·迪马 1 艾维洛·多布里科夫 1 杜梅内克，杰苏斯·J·。 1 扬尼克·邓克劳 1 亚历山大·埃吉德 1 尼尔·D·埃文斯。 1 阿兰·芬克尔 1 贝诺·弗雷金 1 马克·弗拉皮耶 1 弗朗西斯科·弗雷奇纳 1 亚历山大·弗伦克 1 皮埃尔·甘蒂 1 安娜·G·加里斯。 1 克里斯·乔治（Chris W.George）。 1 杰里米·吉本斯 1 让·古鲍特·拉雷克 1 塞尔吉奥·格雷科 1 西蒙·哈尔丰 1 Hoang，泰国儿子 1 罗珊娜·玛丽亚 1 凯蒂亚·赫里斯托娃 1 穆罕默德·马赫迪·贾古奥里 1 杰斯珀·约根森 1 普拉蒂克，卡兰迪卡尔 1 布列塔·凯登 1 埃桑·卡梅斯帕纳 1 马克西米利亚诺·克莱曼 1 塞巴斯蒂安·克林斯 1 迈克尔·库塞拉 1 K.Narayan Kumar 1 弗雷德里克·朗 1 刘燕红安妮 1 佩德罗·洛佩兹·加西亚 1 加文·洛 1 托尼·曼奇尼 1 费德里科·马里奥 1 马丁·奥列特，纳西索 1 奥斯卡·马汀 1 阿蒂夫·马斯科尔 1 蒂埃里·雅克·马萨特 1 安娜丽莎·马西尼 1 拉杜·马特埃斯库 1 伊戈尔·梅拉蒂 1 克里斯蒂安·莫里纳罗 1 迈克尔·莫勒 …还有42位作者 全部的 前5名18篇连载文章中引用 12 计算的形式方面 12 逻辑程序设计理论与实践 5 程序设计中的逻辑和代数方法杂志 4 计算机程序设计科学 三 理论计算机科学 三 高阶和符号计算 2 信息与计算 1 信息学报 1 信息处理信件 1 符号计算杂志 1 新一代计算 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 在3个字段中引用 83 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 2 一般代数系统（08-XX） 按年份列出的引文