编辑配置文件(在新选项卡中打开) 马塞洛·玛丽亚·邦桑格 合著者距离 作者ID: 博桑格马塞洛马利亚 发布日期: 马塞洛·M·邦桑格。;马塞洛·邦桑格;邦桑格,M.M。;M.邦桑格。;马塞洛·玛丽亚·邦桑格 更多。。。较少的 已编制索引的文档: 68出版物自1994年以来,包括2本书 19作为编辑的贡献 合著者: 51位合著者具有83联合出版物 1118位联合作者 全部的 前5名合著者 4 单作者的 30 简·J·M·M·鲁顿。 26 德波尔(Frank S。 17 朱里安·罗特 17 亚历山德拉·席尔瓦 10 菲利波·邦奇 10 Joost N.角。 6 威廉·鲍尔·德·罗弗 6 苏珊娜·格拉芙 5 亚历山大·库兹 4 艾丽卡·阿尔布拉汉姆 4 Helle Hvid Hansen先生 4 温特,乔斯特 三 乔治安娜·卡尔泰斯 三 多雷尔·卢卡努 三 斯特凡·米利厄斯 三 朱利安·萨拉曼卡 三 马丁·斯特芬 2 法哈德·阿尔巴 2 艾琳娜·莫瑞卡 2 穆罕默德·伊扎迪。 2 埃纳尔·布罗赫·约翰森 2 弗兰克·范·布鲁格尔 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 大卫·安科纳 1 阿道夫芭蕾舞团 1 海宁·巴索尔德 1 米歇尔·博雷尔 1 陈硕 1 楚文静 1 克拉克,戴夫 1 安里克·科斯梅·洛佩斯 1 雅各布斯·W·德·巴克。 1 冯慧 1 玛丽·何塞·福廷 1 欧根·伊安·戈里亚克 1 安德烈亚斯·格吕纳 1 朱安·吉伦·肖尔滕 1 斯特凡·哈勒斯特德 1 巴特·雅各布斯 1 托比亚斯·卡佩 1 Michael Leuschel先生 1 本杰明·利昂 1 艾瑞克·马德琳 1 罗伯特·S·R·迈尔斯。 1 帕南加登,普拉卡什 1 Damien Pous 1 雷维茨基,I.M。 1 A.斯库特拉。 1 塞雷,凯萨 1 工资制造者,贾纳 1 吉安路易吉·扎瓦塔罗 全部的 前5名系列 13 计算机科学课堂讲稿 7 理论计算机科学 5 信息与计算 4 计算机科学中的逻辑方法 三 计算机程序设计科学 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑事务 2 理论计算机科学电子笔记 2 程序设计中的逻辑和代数方法杂志 1 计算机与系统科学杂志 1 拓扑及其应用 1 计算机基础理论 全部的 前5名领域 85 计算机科学(68至XX) 19 总体主题;集合(00-XX) 12 范畴理论;同调代数(18-XX) 9 数学逻辑和基础(03-XX) 4 一般拓扑结构(54至XX) 三 有序,格,有序代数结构(06-XX) 2 一般代数系统(08-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 64出版物有被引用425次275文件 引用人▼ 年份▼ 广义度量空间:通过Yoneda嵌入的完成、拓扑和幂域。 Zbl 0997.54042号 M.M.邦桑格。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 65 1998 将自动机的决定推广到余代数。 Zbl 1262.18002号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 31 2013 组合语言等价的合理且完整的公理化。 Zbl 1353.68186号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山德拉·席尔瓦 28 2013 关于线性加权自动机的一个coargebraic观点。 Zbl 1279.68235号 菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;Rutten,一月;亚历山德拉·席尔瓦 25 2012 Brzozowski最小化算法中的代数-代数对偶。 兹比尔1288.68174 菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 概括发电机组结构,合并。 兹比尔1245.68141 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 18 2010 Coalgebraic互模拟。 Zbl 1303.68088号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 17 2013 过渡系统逻辑的对偶性。 Zbl 1119.03021号 马塞洛·M·邦桑格。;亚历山大·库兹 16 2005 用运算和方程表示函子。 Zbl 1180.68182号 马塞洛·M·邦桑格。;亚历山大·库兹 10 2006 多项式余代数的Kleene定理。 Zbl 1234.68272号 马塞洛·邦桑格;Rutten,一月;亚历山德拉·席尔瓦 10 2009 定量Kleene余代数。 Zbl 1227.68075号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 10 2011 增强的协同脑互模拟。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山德拉·席尔瓦 10 2015 上下文无关语言的同义词特征。 Zbl 1274.68215号 温特,乔斯特;Jan J.M.鲁顿。;马塞洛·M·邦桑格。 10 2013 带算子的分配格的余代数表示。 Zbl 1108.06005号 M.M.邦桑格。;A.库尔兹。;雷维茨基,I.M。 9 2007 非确定性Kleene余代数。 Zbl 1208.68141号 亚历山德拉·席尔瓦;马塞洛·邦桑格;Rutten,一月 9 2010 呈现分配规律。 Zbl 1394.68238号 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 8 2013 Coalgebraic逻辑和Mealy机器的合成。 Zbl 1137.68034号 M.M.邦桑格。;Rutten,一月;亚历山德拉·席尔瓦 8 2008 Brzozowski算法(co)代数化。 Zbl 1354.68185号 菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 7 2012 广义度量空间的Alexandroff和Scott拓扑。 Zbl 0955.54008号 邦桑格,M.M。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 6 1996 清醒空间之外的对偶:拓扑空间和观察框架。 兹伯利0872.06011 马塞洛·M·邦桑格。;巴特·雅各布斯;Joost N.角。 6 1995 走向领域的无限逻辑:过渡系统的Abramsky逻辑。 Zbl 1004.03030号 马塞洛·M·邦桑格。;Joost N.角。 6 1999 最弱的前提演算:递归和对偶。 兹伯利0816.68081 马塞洛·M·邦桑格。;Joost N.角。 5 1994 语义的拓扑二重性。 Zbl 0904.68130号 马塞洛·邦桑格 5 1998 无上下文的余代数。 Zbl 1328.68133号 温特,乔斯特;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 5 2015 导出定量规则行为的语法和公理。 Zbl 1254.68129号 菲利波·邦奇;马塞洛·邦桑格;Rutten,一月;亚历山德拉·席尔瓦 4 2009 上下文相关组件连接器的模型。 Zbl 1243.68147号 马塞洛·邦桑格;克拉克,戴夫;亚历山德拉·席尔瓦 4 2012 联合定义无上下文幂级数。 Zbl 1328.68132号 马塞洛·M·邦桑格。;Rutten,一月;温特,乔斯特 4 2012 无上下文语言,联合语言。 Zbl 1344.68152号 温特,乔斯特;马塞洛·M·邦桑格。;Rutten,一月 4 2011 呈现分配规律。 Zbl 1448.68324号 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 4 2015 语言对等的共创性证明技术。 Zbl 1333.68173号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 4 2013 开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。 Zbl 1118.68002号 三 2007 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治安娜·卡尔泰斯;Rutten,一月;亚历山德拉·席尔瓦 三 2012 这都是关于协调的。庆祝Farhad Arbab终身科学成就的文章。 Zbl 1461.68011号 三 2018 信号流图的代数特征。 Zbl 1407.68183号 海宁·巴索尔德;马塞洛·邦桑格;Helle Hvid汉森;Rutten,一月 三 2014 通过闭包操作符关联多函数和谓词变换器。 Zbl 0942.68617号 马塞洛·M·邦桑格。;Joost N.角。 2 1994 广义正则表达式双相似性的判定过程。 Zbl 1325.68127号 马塞洛·邦桑格;乔治安娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;Rutten,一月;亚历山德拉·席尔瓦 2 2011 开发基于对象的分布式系统。 Zbl 0928.68047号 马塞洛·M·邦桑格。;Joost N.角。;塞雷,凯萨 2 1999 双代数语义的结构同余。 Zbl 1353.68173号 朱里安·罗特;马塞洛·邦桑格 2 2016 组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。 Zbl 1028.00026号 2 2003 形式方法的理论和实践。纪念法兰克·德·波尔60岁生日的文章。 Zbl 1460.68002号 2 2016 合理的运营模式。 Zbl 1334.68137号 斯特凡·米利厄斯;马塞洛·M·邦桑格。;罗伯特·S·R·迈尔斯。;朱里安·罗特 2 2013 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 对象连接性和类的并发演算的完全抽象。 Zbl 1108.68538号 艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔(Frank S。;马丁·斯特芬 2 2005 关于系统理性行为的操作规范。 Zbl 1459.68124号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;朱里安·罗特 2 2012 组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。 Zbl 1143.68011号 2 2007 通过创造证明语言的包容性和对等性。 Zbl 1333.68174号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 2 2016 组件和对象的形式化方法。2005年11月1日至4日,荷兰阿姆斯特丹,第四届国际研讨会,FMCO 2005。修订的讲座。 兹伯利1114.68010 1 2006 控制驱动协调语言MANIFOLD的转换系统语义。 Zbl 0954.68107号 邦桑格,M.M。;阿巴布,F。;德巴克尔,J.W。;J.J.M.M.鲁顿。;Scutellà,A。 1 2000 连续类演算中的可观察性、连接性和重播。 Zbl 1143.68359号 艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔(Frank S。;安德烈亚斯·格吕纳;马丁·斯特芬 1 2005 有限变换系统的无限域逻辑。 Zbl 0885.03030号 马塞洛·M·邦桑格。;Joost N.角。 1 1997 语义的拓扑二重性。 Zbl 0964.68084号 马塞洛·玛丽亚·邦桑格 1 1996 使用嵌入比较协调模型和架构。 Zbl 1032.68091号 马塞洛·M·邦桑格。;Joost N.角。;吉安路易吉·扎瓦塔罗 1 2003 组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。 Zbl 1203.68021号 1 2010 组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。 Zbl 1155.68012号 1 2008 将约束自动机重铸为Büchi自动机。 Zbl 1161.68538号 穆罕默德·伊扎迪;马塞洛·M·邦桑格。 1 2008 组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。 Zbl 1060.68006号 1 2004 自动机和等式的正则变体。 Zbl 1432.68270号 J.萨拉曼卡。;Ballester-Bolinches,A。;M.M.邦桑格。;Cosme-Llópez,E。;J.J.M.M.鲁顿。 1 2015 加权自动机的方程和等式。 Zbl 1465.68186号 朱利安·萨拉曼卡;马塞洛·邦桑格;Rutten,一月 1 2015 自动进行基于模型的Reo连接器检查。 Zbl 1274.68177号 马塞洛·M·邦桑格。;穆罕默德·伊扎迪 1 2010 组件和对象的形式化方法。2004年11月2日至5日,第三届国际研讨会,FMCO,荷兰莱顿。修订的讲座。 兹比尔1084.68008 1 2005 存在递归时通过堆进行交互。 Zbl 1433.68218号 朱里安·罗特;艾琳娜·莫瑞卡;弗兰克·德波尔;马塞洛·M·邦桑格。;多雷尔·卢卡努 1 2012 计算机科学中的协同代数方法。2014年4月5日至6日,第12届IFIP工作组1.3国际研讨会,CMCS 2014,与ETAPS 2014合办,法国格勒诺布尔。修改选定的论文。 Zbl 1318.68010号 1 2014 通过反变附加的方程和系数的对偶性。 Zbl 1475.18005号 朱利安·萨拉曼卡;马塞洛·邦桑格;朱里安·罗特 1 2016 结合双代数语义和方程。 Zbl 1407.68274号 朱里安·罗特;马塞洛·邦桑格 1 2014 这都是关于协调的。庆祝Farhad Arbab终身科学成就的文章。 Zbl 1461.68011号 三 2018 双代数语义的结构同余。 Zbl 1353.68173号 朱里安·罗特;马塞洛·邦桑格 2 2016 形式方法的理论和实践。纪念法兰克·德·波尔60岁生日的文章。 Zbl 1460.68002号 2 2016 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 通过创造证明语言的包容性和对等性。 Zbl 1333.68174号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 2 2016 通过反变附加的方程和系数的对偶性。 Zbl 1475.18005号 朱利安·萨拉曼卡;马塞洛·邦桑格;朱里安·罗特 1 2016 增强的协同脑互模拟。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山德拉·席尔瓦 10 2015 无上下文的余代数。 Zbl 1328.68133号 温特,乔斯特;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 5 2015 呈现分配规律。 兹比尔1448.68324 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 4 2015 自动机和等式的正则变体。 兹比尔1432.68270 J.萨拉曼卡。;Ballester-Bolinches,A。;邦桑格,M.M。;Cosme-Llópez,E。;J.J.M.M.鲁顿。 1 2015 加权自动机的方程和等式。 Zbl 1465.68186号 朱利安·萨拉曼卡;马塞洛·邦桑格;Rutten,一月 1 2015 Brzozowski最小化算法中的代数-代数对偶。 Zbl 1288.68174号 菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 信号流图的代数特征。 Zbl 1407.68183号 海宁·巴索尔德;马塞洛·邦桑格;Helle Hvid Hansen先生;Rutten,一月 三 2014 计算机科学中的协同代数方法。2014年4月5日至6日,第12届IFIP工作组1.3国际研讨会,CMCS 2014,与ETAPS 2014合办,法国格勒诺布尔。修订了选定的论文。 Zbl 1318.68010号 1 2014 结合双代数语义和方程。 Zbl 1407.68274号 朱里安·罗特;马塞洛·邦桑格 1 2014 将自动机的决定推广到余代数。 Zbl 1262.18002号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 31 2013 组合语言等价的合理且完整的公理化。 Zbl 1353.68186号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山德拉·席尔瓦 28 2013 Coalgebraic互模拟。 Zbl 1303.68088号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 17 2013 上下文无关语言的同义词特征。 Zbl 1274.68215号 温特,乔斯特;Jan J.M.鲁顿。;马塞洛·M·邦桑格。 10 2013 呈现分配规律。 Zbl 1394.68238号 马塞洛·M·邦桑格。;Helle Hvid Hansen先生;亚历山大·库兹;朱里安·罗特 8 2013 语言对等的共创性证明技术。 Zbl 1333.68173号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 4 2013 合理的运营模型。 Zbl 1334.68137号 斯特凡·米利厄斯;马塞洛·M·邦桑格。;罗伯特·S·R·迈尔斯。;朱里安·罗特 2 2013 关于线性加权自动机的一个coargebraic观点。 Zbl 1279.68235号 菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;Rutten,一月;亚历山德拉·席尔瓦 25 2012 Brzozowski算法(co)代数化。 兹比尔1354.68185 菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 7 2012 上下文相关组件连接器的模型。 Zbl 1243.68147号 马塞洛·邦桑格;克拉克,戴夫;亚历山德拉·席尔瓦 4 2012 联合定义无上下文幂级数。 Zbl 1328.68132号 马塞洛·M·邦桑格。;Rutten,一月;温特,乔斯特 4 2012 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治安娜·卡尔泰斯;Rutten,一月;亚历山德拉·席尔瓦 三 2012 关于系统理性行为的操作规范。 Zbl 1459.68124号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;朱里安·罗特 2 2012 存在递归时通过堆进行交互。 Zbl 1433.68218号 朱里安·罗特;艾琳娜·莫瑞卡;弗兰克·德波尔;马塞洛·M·邦桑格。;多雷尔·卢卡努 1 2012 定量Kleene余代数。 Zbl 1227.68075号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 10 2011 无上下文语言,联合语言。 Zbl 1344.68152号 温特,乔斯特;马塞洛·M·邦桑格。;Rutten,一月 4 2011 广义正则表达式双相似性的判定过程。 Zbl 1325.68127号 马塞洛·邦桑格;乔治安娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;Rutten,一月;亚历山德拉·席尔瓦 2 2011 概括发电机组结构,合并。 Zbl 1245.68141号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 18 2010 非确定性Kleene余代数。 Zbl 1208.68141号 亚历山德拉·席尔瓦;马塞洛·邦桑格;Rutten,一月 9 2010 组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。 Zbl 1203.68021号 1 2010 自动进行基于模型的Reo连接器检查。 Zbl 1274.68177号 马塞洛·M·邦桑格。;穆罕默德·伊扎迪 1 2010 多项式余代数的Kleene定理。 兹比尔12346.8272 马塞洛·邦桑格;Rutten,一月;亚历山德拉·席尔瓦 10 2009 导出定量规则行为的语法和公理。 Zbl 1254.68129号 菲利波·邦奇;马塞洛·邦桑格;Rutten,一月;亚历山德拉·席尔瓦 4 2009 混合逻辑与Mealy机器的综合。 Zbl 1137.68034号 M.M.邦桑格。;Rutten,一月;亚历山德拉·席尔瓦 8 2008 组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。 Zbl 1155.68012号 1 2008 将约束自动机重铸为Büchi自动机。 Zbl 1161.68538号 穆罕默德·伊扎迪;马塞洛·M·邦桑格。 1 2008 带算子的分配格的余代数表示。 Zbl 1108.06005号 M.M.邦桑格。;A.库尔兹。;雷维茨基,I.M。 9 2007 开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。 Zbl 1118.68002号 三 2007 组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。 Zbl 1143.68011号 2 2007 用运算和方程表示函子。 Zbl 1180.68182号 马塞洛·M·邦桑格。;亚历山大·库兹 10 2006 组件和对象的形式化方法。2005年11月1日至4日,荷兰阿姆斯特丹,第四届国际研讨会,FMCO 2005。修订的讲座。 Zbl 1114.68010号 1 2006 过渡系统逻辑的对偶性。 Zbl 1119.03021号 马塞洛·M·邦桑格。;亚历山大·库兹 16 2005 对象连接性和类的并发演算的完全抽象。 Zbl 1108.68538号 艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔(Frank S。;马丁·斯特芬 2 2005 连续类演算中的可观察性、连接性和重播。 Zbl 1143.68359号 艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔(Frank S。;安德烈亚斯·格吕纳;马丁·斯特芬 1 2005 组件和对象的形式化方法。2004年11月2日至5日,第三届国际研讨会,FMCO,荷兰莱顿。修订的讲座。 Zbl 1084.68008号 1 2005 组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。 Zbl 1060.68006号 1 2004 组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。 兹比尔1028.00026 2 2003 使用嵌入比较协调模型和架构。 Zbl 1032.68091号 马塞洛·M·邦桑格。;Joost N.角。;吉安路易吉·扎瓦塔罗 1 2003 控制驱动协调语言MANIFOLD的转换系统语义。 Zbl 0954.68107号 邦桑格,M.M。;阿巴布,F。;德巴克尔,J.W。;J.J.M.M.鲁顿。;A.斯库特拉。 1 2000 走向领域的无限逻辑:过渡系统的Abramsky逻辑。 Zbl 1004.03030号 马塞洛·M·邦桑格。;Joost N.角。 6 1999 开发基于对象的分布式系统。 Zbl 0928.68047号 马塞洛·M·邦桑格。;Joost N.角。;塞雷,凯萨 2 1999 广义度量空间:通过Yoneda嵌入的完成、拓扑和幂域。 Zbl 0997.54042号 M.M.邦桑格。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 65 1998 语义的拓扑二重性。 Zbl 0904.68130号 马塞洛·邦桑格 5 1998 有限变换系统的无限域逻辑。 Zbl 0885.03030号 马塞洛·M·邦桑格。;Joost N.角。 1 1997 广义度量空间的Alexandroff和Scott拓扑。 Zbl 0955.54008号 M.M.邦桑格。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 6 1996 语义的拓扑二重性。 Zbl 0964.68084号 马塞洛·玛丽亚·邦桑格 1 1996 清醒空间之外的对偶:拓扑空间和观察框架。 Zbl 0872.06011号 马塞洛·M·邦桑格。;巴特·雅各布斯;Joost N.角。 6 1995 最弱的前提演算:递归和对偶。 Zbl 0816.68081号 马塞洛·M·邦桑格。;Joost N.角。 5 1994 通过闭包操作符关联多函数和谓词变换器。 Zbl 0942.68617号 马塞洛·M·邦桑格。;Joost N.角。 2 1994 所有引用出版物 前5名被引用出版物 全部的 前5名299位作者引用 25 马塞洛·玛丽亚·邦桑格 23 亚历山德拉·席尔瓦 21 简·J·M·M·鲁顿。 20 菲利波·邦奇 18 朱里安·罗特 15 斯特凡·米利厄斯 12 德克·霍夫曼 11 张德雪 9 法比奥·扎纳西 8 Helle Hvid Hansen先生 8 安娜·索科洛娃 8 托尔斯滕·维曼 7 Daniela Luan Petrisan 6 巴特·雅各布斯 6 库普克,克莱门斯 6 亚历山大·库兹 6 Damien Pous 6 戴维·桑吉奥吉 5 阿达梅克,吉安尼 5 米歇尔·博雷尔 5 让·古鲍特·拉雷克 5 巴托克·克林 5 Joost N.角。 5 巴巴拉·科尼格 5 赖洪亮 5 佩德罗·诺拉 5 帕南加登,普拉卡什 5 德克·帕丁森 5 卢茨·施罗德 5 巴布亚州索波辛斯基 5 海宁·乌尔巴特 5 Pawe Waszkiewicz 4 阿道夫·博林斯芭蕾舞演员 4 安里克·科斯梅·洛佩斯 4 托比亚斯·卡佩 4 何塞·努诺·奥利维拉 4 朱利安·萨拉曼卡 4 王龙春 三 海宁·巴索尔德 三 特里斯坦·马修·比斯 三 保罗·布鲁内 三 乔治安娜·卡尔泰斯 三 埃里克·P·德文克。 三 范磊 三 一郎·哈索 三 丹尼尔·赫施科夫 三 汉斯·佩特·A·Künzi。 三 塞巴斯蒂安·库珀 三 拉森,金·古尔德斯特朗 三 李庆国 三 李伟 三 拉杜·马代尔 三 罗伯特·S·R·迈尔斯。 三 内维斯、雷纳托 三 罗宾·皮埃德鲁 三 销,Jean-Eric 三 米歇尔·谢列肯斯(Michel P.Schellekens)。 三 马丁·斯特芬 三 温特,乔斯特 2 艾丽卡·阿尔布拉汉姆 2 Anh,Lam Quoc女士 2 乔治·巴奇 2 乔瓦尼·巴奇 2 博尔贾·巴勒 2 古拉姆·贝扎尼什维利 2 尼克·贝扎尼什维利 2 托马斯·布伦戈斯 2 玛丽亚·曼纽尔·克莱门蒂诺 2 托马斯·科尔科姆贝特 2 吉姆·德·格罗特 2 乌尔里希·多尔希 2 阿德里安·杜里埃 2 Duy,Tran Quoc公司 2 安德烈亚斯·格吕纳 2 莱因霍尔德·赫克曼 2 Ho,翁金 2 马特乌斯·科斯塔内克 2 德克斯特·C·科赞。 2 克里斯蒂安·克劳斯 2 拉塔,A.N。 2 劳尔·安德烈斯·利尔 2 本杰明·利昂 2 卢,京 2 多雷尔·卢卡努 2 巴斯·卢提克 2 丸山义弘 2 内尔玛·莫雷拉 2 吴,角民 2 巴甫洛维奇,杜什科 2 马可·佩雷索蒂 2 格里高·罗什乌 2 马蒂奥·桑马蒂诺 2 戴维·斯普伦格 2 彼得·蒂曼。 2 鲁本·图尔肯堡 2 格科·范·海尔特 2 维尼马,伊德 2 哈拉尔德·沃切克 2 张,高 1 贾瓦德·亚布利勒。 …还有199位作者 全部的 前5名47篇连载文章被引用 29 理论计算机科学 20 计算机科学中的逻辑方法 15 信息与计算 12 拓扑及其应用 12 MSCS公司。计算机科学中的数学结构 12 程序设计中的逻辑和代数方法杂志 8 计算的形式方面 7 纯粹与应用代数杂志 6 模糊集与系统 5 应用的分类结构 5 范畴的理论与应用 5 逻辑与代数程序设计杂志 4 信息学报 三 代数普遍性 三 计算机程序设计科学 三 纯逻辑与应用逻辑年鉴 2 计算机与系统科学杂志 2 匈牙利数学学报 2 国际代数与计算杂志 2 数学逻辑档案 2 软计算 2 ACM计算逻辑事务 2 切比雪夫斯基?斯博尼克 1 代数通讯 1 信息处理信件 1 数学进展 1 Dedicata几何 1 国际数学与数学科学杂志 1 数值泛函分析与优化 1 《中国数学年鉴》。B系列 1 优化 1 自动推理杂志 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 拓扑程序 1 计算与应用数学 1 数学逻辑季刊(MLQ) 1 凸分析杂志 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 当代数学传播 1 不动点理论及其应用 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 1 马哈尼数学研究中心学报 1 国际分析杂志 1 中国数学杂志 1 范畴和一般代数结构及其应用 全部的 前5名27个领域被引用 185 计算机科学(68至XX) 98 范畴理论;同调代数(18-XX) 55 数学逻辑和基础(03-XX) 52 一般拓扑结构(54至XX) 47 有序,格,有序代数结构(06-XX) 10 一般代数系统(08-XX) 5 群论与推广(20-XX) 4 结合环与代数(16-XX) 4 概率论与随机过程(60-XX) 4 运筹学、数学规划(90-XX) 三 历史和传记(01-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 常微分方程(34-XX) 三 功能分析(46倍X倍) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 交换代数(13-XX) 2 算子理论(47-XX) 2 变分法与最优控制;最优化(49至XX) 2 量子理论(81-XX) 2 信息与通信理论、电路(94-XX) 1 数论(11-XX) 1 拓扑群、李群(22日至XX日) 1 测量和集成(28-XX) 1 偏微分方程(35-XX) 1 几何图形(51至XX) 1 凸和离散几何(52-XX) 1 系统论;控制(93至XX) 按年份列出的引文