编辑配置文件(在新选项卡中打开) 马库斯·罗根巴赫 合著者距离 作者ID: 罗根巴赫·马尔库斯 发布日期: 马库斯·罗根巴赫;罗根巴赫,M。 已编制索引的文档: 30份出版物自1996年以来,包括1本书 5作为编辑的贡献 合著者: 29位合著者具有31联合出版物 495位合作作者 全部的 前5名合著者 4 单作者的 8 蒂尔·莫萨科夫斯基 6 卢茨·施罗德 5 吉野Isobe 4 亚历山大·纳普 三 菲利普·詹姆斯 三 米拉·塞德尔巴姆少校。 2 利亚姆·奥莱利 2 霍斯特·赖切尔 2 施林格洛夫,伯恩德·霍尔格 2 约翰·V·塔克。 1 艾琳娜·莫瑞卡 1 萨德克·本萨勒姆 1 曼弗雷德·布罗伊 1 安东尼奥·塞隆 1 陈良婷 1 JoséLuiz Fiadeiro 1 安迪·金布利特 1 尼尔·哈曼 1 马格尼·哈夫雷恩 1 Temesghen Kahsai 1 克里斯托夫·吕斯 1 安娜·保拉·马尔多纳多 1 路易斯·蒙泰罗 1 Nguyen、Hoang Nga 1 托拜厄斯·罗森伯格 1 简·J·M·M·鲁顿。 1 塞缪尔·D·吉夫特 1 杰拉尔多·施奈德 1 谢赫,西拉杰·艾哈迈德 1 安娜·索科洛娃 全部的 前5名系列 三 计算机科学课堂讲稿 2 理论计算机科学 1 信息处理信件 1 计算机程序设计科学 1 欧洲理论计算机科学协会(EATCS)公报 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 1 LIPIcs–莱布尼茨国际信息学会议录 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学课文。EATCS系列 领域 35 计算机科学(68至XX) 6 总体主题;集合(00-XX) 三 数理逻辑与基础(03-XX) 1 范畴理论;同调代数(18-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用98中的次66文件 引用人▼ 年份▼ 走向相互模拟的统一观点:一项比较研究。 Zbl 0944.68136号 罗根巴赫,M。;M.卡德巴姆少校。 13 2000 CSP求精的一般定理证明器。 兹比尔1087.68592 Isobe、Yoshinao;马库斯·罗根巴赫 12 2005 结构化CSP–作为一个机构的过程代数。 Zbl 1196.68159号 蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 7 2007 CSP-CASL–进程代数和代数规范的新集成。 Zbl 1088.68132号 马库斯·罗根巴赫 7 2006 CSP的证明原则–CSP-prover在实践中。 Zbl 1218.68105号 吉野Isobe;马库斯·罗根巴赫 5 2008 CoCASL中的代数-余代数规范。 Zbl 1088.68115号 蒂尔·莫萨科夫斯基;卢茨·施罗德;马库斯·罗根巴赫;霍斯特·赖切尔 5 2006 CoCasl中的代数余代数规范。 Zbl 1278.68209号 蒂尔·莫萨科夫斯基;霍斯特·赖切尔;马库斯·罗根巴赫;卢茨·施罗德 4 2003 重温事件结构的转换系统。 Zbl 1339.68190号 米拉·卡德巴姆少校;马库斯·罗根巴赫 4 1998 过程和数据机构中的组合建模和推理。 Zbl 1312.68146号 利亚姆·奥莱利;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 4 2012 设计特定领域的语言–使用Casl公司. Zbl 1394.68239号 菲利普·詹姆斯;亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 4 2013 CSP-CASL中电子支付系统的正式规范。 Zbl 1118.68546号 安迪·金布利特;马库斯·罗根巴赫;施林格洛夫,伯恩德·霍尔格 4 2005 CSP稳定故障模型的完整公理语义。 Zbl 1151.68535号 吉野Isobe;马库斯·罗根巴赫 三 2006 Csp-Casl的属性保持细化。 Zbl 1253.68229号 Temesghen Kahsai;马库斯·罗根巴赫 三 2009 在CASL中指定实数。 Zbl 0966.68137号 马库斯·罗根巴赫;卢茨·施罗德;蒂尔·莫萨科夫斯基 三 2000 CSP-Prover中的稳定恢复模型。 Zbl 1335.68237号 塞缪尔·D·吉夫特;马库斯·罗根巴赫;吉野Isobe 三 2009 CCC–Casl一致性检查器。 Zbl 1118.68558号 克里斯托弗·吕思;马库斯·罗根巴赫;卢茨·施罗德 三 2005 2019年6月3日至6日,第8届计算机科学代数和代数会议,CALCO 2019,英国伦敦。 Zbl 1433.68034号 三 2019 CSP-CASL-Prover:用于过程和数据优化的通用工具。 Zbl 1335.68235号 利亚姆·奥莱利;马库斯·罗根巴赫;吉野Isobe 2 2009 面向UML中异构正式开发的机构框架——一份立场文件。 Zbl 1453.68107号 亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 2 2015 用句法理论函子指定。 Zbl 1433.68221号 马格尼·哈夫雷恩;马库斯·罗根巴赫 2 2020 关于互模拟的两个不同特征。 Zbl 0856.68108号 米拉·卡德巴姆少校;马库斯·罗根巴赫 1 1996 线性时间分支时间谱的双代数语义。 Zbl 1312.68128号 安娜·保拉·马尔多纳多;路易斯·蒙泰罗;马库斯·罗根巴赫 1 2012 Büchi automata的测定。 Zbl 1021.03510号 马库斯·罗根巴赫 1 2002 朝向可靠的规范。一: 一致性检查。 Zbl 1043.68074号 马库斯·罗根巴赫;卢茨·施罗德 1 2001 软件工程的形式化方法。语言,方法,应用领域。曼弗雷德·布罗伊(Manfred Broy)的前言和约翰·塔克(John V.Tucker)对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 软件工程的形式化方法。语言,方法,应用领域。曼弗雷德·布罗伊(Manfred Broy)的前言和约翰·塔克(John V.Tucker)对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 用句法理论函子指定。 Zbl 1433.68221号 马格尼·哈夫雷恩;马库斯·罗根巴赫 2 2020 第八届计算机科学代数和余代数会议,CALCO 2019,英国伦敦,2019年6月3-6日。 Zbl 1433.68034号 三 2019 面向UML中异构正式开发的机构框架——一份立场文件。 Zbl 1453.68107号 亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 2 2015 设计特定领域的语言–使用容器. Zbl 1394.68239号 菲利普·詹姆斯;亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 4 2013 过程和数据机构中的组合建模和推理。 Zbl 1312.68146号 运营;莱姆·赖利;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 4 2012 线性时间分支时间谱的双代数语义。 Zbl 1312.68128号 安娜·保拉·马尔多纳多;路易斯·蒙泰罗;马库斯·罗根巴赫 1 2012 Csp-Casl的属性保持细化。 Zbl 1253.68229号 Temesghen Kahsai;马库斯·罗根巴赫 三 2009 CSP-Prover中的稳定恢复模型。 Zbl 1335.68237号 塞缪尔·D·吉夫特;马库斯·罗根巴赫;吉野Isobe 三 2009 CSP-CASL-Prover:用于过程和数据优化的通用工具。 Zbl 1335.68235号 运营;莱姆·赖利;马库斯·罗根巴赫;吉野Isobe 2 2009 CSP的证明原则–CSP-prover在实践中。 Zbl 1218.68105号 吉野Isobe;马库斯·罗根巴赫 5 2008 结构化CSP–作为一个机构的过程代数。 Zbl 1196.68159号 蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 7 2007 CSP-CASL–进程代数和代数规范的新集成。 Zbl 1088.68132号 马库斯·罗根巴赫 7 2006 CoCASL中的代数-余代数规范。 Zbl 1088.68115号 蒂尔·莫萨科夫斯基;卢茨·施罗德;马库斯·罗根巴赫;霍斯特·赖切尔 5 2006 CSP稳定故障模型的完整公理语义。 Zbl 1151.68535号 吉野Isobe;马库斯·罗根巴赫 三 2006 CSP求精的一般定理证明器。 Zbl 1087.68592号 吉野Isobe;马库斯·罗根巴赫 12 2005 为CSP-CSL中的电子支付系统制定正式规范。 兹比尔1118.68546 安迪·吉姆布雷特;马库斯·罗根巴赫;施林格洛夫,伯恩德·霍尔格 4 2005 CCC–Casl一致性检查器。 Zbl 1118.68558号 克里斯托夫·吕斯;马库斯·罗根巴赫;卢茨·施罗德 三 2005 CoCasl中的代数余代数规范。 Zbl 1278.68209号 蒂尔·莫萨科夫斯基;霍斯特·赖切尔;马库斯·罗根巴赫;卢茨·施罗德 4 2003 Büchi automata的测定。 Zbl 1021.03510号 马库斯·罗根巴赫 1 2002 朝向可靠的规范。一: 一致性检查。 Zbl 1043.68074号 马库斯·罗根巴赫;卢茨·施罗德 1 2001 走向相互模拟的统一观点:一项比较研究。 Zbl 0944.68136号 罗根巴赫,M。;M.卡德巴姆少校。 13 2000 在CASL中指定实数。 Zbl 0966.68137号 马库斯·罗根巴赫;卢茨·施罗德;蒂尔·莫萨科夫斯基 三 2000 重温事件结构的转换系统。 Zbl 1339.68190号 米拉·卡德巴姆少校;马库斯·罗根巴赫 4 1998 关于互模拟的两个不同特征。 Zbl 0856.68108号 米拉·卡德巴姆少校;马库斯·罗根巴赫 1 1996 所有引用的出版物 前5名被引用出版物 全部的 前5名117位作者引用 12 马库斯·罗根巴赫 7 蒂尔·莫萨科夫斯基 7 卢茨·施罗德 6 米罗斯拉夫·奇·伊里奇。 6 伊格尼亚托维奇(Jelena Ignjatović) 三 罗尔夫·亨尼克 三 米拉·塞德尔巴姆少校。 2 巴博萨、路易斯·索亚雷斯 2 巴西奇,米兰 2 米歇尔·比多瓦 2 安娜·卡瓦尔坎蒂 2 米海·Codescu 2 安德烈亚·科拉迪尼 2 Nada Damljanović 2 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 2 吉野Isobe 2 伊万娜·扬契奇 2 亚历山大·纳普 2 亚历山大·马德拉 2 马丁斯(Manuel António Martins) 2 伊万娜·米奇 2 利亚姆·奥莱利 2 简·佩莱斯卡 2 格里高·罗什乌 2 阿列克桑达尔·斯塔门科维奇 2 斯特凡·斯塔尼米洛维奇 2 安德烈·塔莱基 2 伊琳娜·B·维尔比特斯凯特。 1 Nazareno M.阿吉雷。 1 P.I.安东。 1 埃吉迪奥·阿斯泰西亚诺 1 詹姆斯·巴克斯特 1 萨德克·本萨勒姆 1 最好的,艾克 1 Bogdanović,Stojan M。 1 丹尼尔·卡莱加里 1 巴勃罗·卡斯特罗。 1 陈振邦 1 科恩、利隆 1 吉姆·德·格罗特 1 洛科·德尼古拉 1 德普特、桑德 1 董金松 1 Doroshenko,Anatoliy Yu。 1 杜,宜宾 1 简·埃森胡特 1 法尔科奥,弗拉维亚 1 哈拉尔德·费彻 1 法比奥·加杜奇 1 玛丽·克劳德·高德尔 1 丹尼尔·格纳德 1 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇 1 丹尼尔·戈拉 1 Große-Rhode,马丁 1 丹尼尔·豪斯曼 1 马格尼·哈夫雷恩 1 瑞科·赫克尔 1 彼得·霍夫曼 1 霍夫曼,约格 1 黄,温岭 1 伊万尼科,P.A。 1 朱利亚诺·伊奥达 1 菲利普·詹姆斯 1 佐拉纳扬契奇 1 贾科·加尔维 1 Temesghen Kahsai 1 赫莱内·基什内尔 1 莫里茨·克莱恩 1 巴托克·克林 1 Krieg-Brückner,伯尔尼 1 奥利弗·库茨 1 安娜·拉布拉 1 刘,杨 1 刘志明 1 卢赫·拉富恩特,阿尔贝托 1 洛佩斯·蓬博,卡洛斯·古斯塔沃 1 多雷尔·卢卡努 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 安娜·保拉·马尔多纳多 1 阿纳玛丽亚·马丁斯·莫雷拉 1 路易斯·蒙泰罗 1 彼得·莫塞斯(Peter D.Mosses)。 1 托比·默里 1 费边·纽豪斯 1 阮林安 1 彼得·帕达维茨 1 德克·帕丁森 1 塔贾纳佩特科维奇 1 秦胜超 1 弗洛里安·拉贝 1 克里斯托夫·劳赫 1 史蒂夫·里夫斯 1 霍斯特·赖切尔 1 莱拉·里贝罗 1 佩德罗·里贝罗 1 安德鲁·威廉,罗斯科 1 托拜厄斯·罗森伯格 1 纳维德·鲁克斯 1 奥古斯托·桑帕约。 1 塞缪尔·D·吉夫特 …还有17位作者 全部的 前5名16篇连载文章中引用 12 理论计算机科学 5 模糊集与系统 5 计算的形式方面 5 逻辑与代数程序设计杂志 2 信息科学 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 Studia Logica公司 1 国际近似推理杂志 1 控制论与系统分析 1 函数编程杂志 1 软计算 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 65 计算机科学(68至XX) 15 数理逻辑与基础(03-XX) 三 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文