编辑配置文件(在新选项卡中打开) 西蒙,布利兹 合著者距离 作者ID: 布利泽·西蒙 发布日期: 西蒙,布利兹;布利泽,S。 已编制索引的文档: 22出版物自2006年起 2作为编辑的贡献 合著者: 33位合著者具有23联合出版物 808位合作作者 全部的 前5名合著者 1 单作者的 10 约瑟夫·西法基斯 6 爱德华·巴拉诺夫 三 罗伯托·布鲁尼 三 穆罕默德·贾伯。 2 法哈德·阿尔巴 2 Dokter,Kasper公司 2 钟曼,宋世堂。 2 丹尼尔·克罗布 2 阿纳斯塔西亚·马夫里杜 2 亚历山德拉·席尔瓦 2 王强 1 保罗·C·阿蒂。 1 阿难巴苏 1 索尼娅·本·莫赫塔尔 1 萨德克·本萨勒姆 1 马吕斯·博兹加 1 马尔科·卡博尼 1 亚历山德罗·西马蒂 1 邓玉欣 1 罗曼·爱德曼 1 戴维·格罗曼 1 侯泽晨 1 伊戈尔·康诺夫(Igor V.Konnov)。 1 托默·科特克 1 艾瑞克·马德琳 1 塞尔吉奥·莫弗 1 秦旭东 1 马可·罗维里 1 萨博、瓦杰布 1 亚历山德鲁·席尔瓦 1 安吉洛·特洛伊娜 1 赫尔穆特·维思 1 张敏 全部的 前5名系列 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 计算机科学科学年鉴 1 电气电子工程师学会计算机期刊 1 计算的形式方面 1 系统设计中的形式化方法 1 组合数学电子杂志 1 计算机基础理论 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 24 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 2 总体主题;集合(00-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用87中的次51文件 引用人▼ 年份▼ 连接器代数——BIP中的结构化交互。 Zbl 1390.68031号 西蒙,布利兹;约瑟夫·西法基斯 19 2008 基于组件的系统的粘合表达能力的概念。 Zbl 1160.68458号 西蒙,布利兹;约瑟夫·西法基斯 14 2008 连接器代数的因果语义。 Zbl 1207.68203号 西蒙,布利兹;约瑟夫·西法基斯 11 2010 复杂系统建模:系统作为数据流机器。 Zbl 1176.68081号 西蒙,布利兹;丹尼尔·克罗布 9 2009 配置逻辑:建模架构风格。 Zbl 1353.68055号 阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙,布利兹;约瑟夫·西法基斯 8 2017 BIP中的参数化系统:设计和模型检查。 Zbl 1392.68254号 伊戈尔·康诺夫;托默·科特克;王强;赫尔穆特·维思;西蒙,布利兹;约瑟夫·西法基斯 6 2016 架构可组合性的通用框架。 Zbl 1342.68029号 保罗·阿蒂;爱德华·巴拉诺夫;西蒙,布利兹;穆罕默德·贾比尔;约瑟夫·西法基斯 6 2016 关联BIP和Reo。 兹比尔1433.68093 Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙,布利兹 4 2015 架构图:一种用于架构风格规范的图形语言。 Zbl 1433.68100号 阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙,布利兹;约瑟夫·西法基斯 4 2016 关于BIP表达能力的注释。 Zbl 1477.68175号 爱德华·巴拉诺夫;西蒙,布利兹 2 2016 连接器代数的因果语义(扩展抽象)。 Zbl 1209.68123号 西蒙,布利兹;约瑟夫·西法基斯 1 2008 基于SMT的符号自动机生成。 兹比尔1443.68114 秦旭东;西蒙,布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 1 2020 基于组件设计的理论议程。 Zbl 1454.68019号 约瑟夫·西法基斯;萨德克·本萨勒姆;西蒙,布利兹;马吕斯·博兹加 1 2015 合并与征服:关联BIP和Reo。 Zbl 1353.68201号 Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙,布利兹 1 2017 基于SMT的符号自动机生成。 兹比尔1443.68114 秦旭东;西蒙,布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 1 2020 配置逻辑:建模架构风格。 Zbl 1353.68055号 阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙,布利兹;约瑟夫·西法基斯 8 2017 合并与征服:关联BIP和Reo。 Zbl 1353.68201号 Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙,布利兹 1 2017 BIP中的参数化系统:设计和模型检查。 Zbl 1392.68254号 伊戈尔·康诺夫;托默·科特克;王强;赫尔穆特·维思;西蒙,布利兹;约瑟夫·西法基斯 6 2016 架构可组合性的通用框架。 Zbl 1342.68029号 保罗·阿蒂;爱德华·巴拉诺夫;西蒙,布利兹;穆罕默德·贾比尔;约瑟夫·西法基斯 6 2016 架构图:一种用于架构风格规范的图形语言。 Zbl 1433.68100号 阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙,布利兹;约瑟夫·西法基斯 4 2016 关于BIP表达能力的注释。 Zbl 1477.68175号 爱德华·巴拉诺夫;西蒙,布利兹 2 2016 关联BIP和Reo。 Zbl 1433.68093号 Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙,布利兹 4 2015 基于组件设计的理论议程。 Zbl 1454.68019号 约瑟夫·西法基斯;萨德克·本萨勒姆;西蒙,布利兹;马吕斯·博兹加 1 2015 连接器代数的因果语义。 Zbl 1207.68203号 西蒙,布利兹;约瑟夫·西法基斯 11 2010 复杂系统建模:系统作为数据流机器。 Zbl 1176.68081号 西蒙,布利兹;丹尼尔·克罗布 9 2009 连接器代数——BIP中的结构化交互。 Zbl 1390.68031号 西蒙,布利兹;约瑟夫·西法基斯 19 2008 基于组件的系统的粘合表示性概念。 Zbl 1160.68458号 西蒙,布利兹;约瑟夫·西法基斯 14 2008 连接器代数的因果语义(扩展抽象)。 Zbl 1209.68123号 西蒙,布利兹;约瑟夫·西法基斯 1 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名93位作者引用 11 西蒙,布利兹 9 约瑟夫·西法基斯 6 马吕斯·博兹加 4 爱德华·巴拉诺夫 4 穆罕默德·贾伯。 三 萨德克·本萨勒姆 三 罗伯托·布鲁尼 三 伊利耶斯·法尔科内 三 埃尔南·梅尔格拉蒂 三 乌戈·蒙塔纳里。 三 玛丽亚·皮图 三 乔治·拉霍尼斯 2 法哈德·阿尔巴 2 亚历山德罗·西马蒂 2 苏珊娜·格拉芙 2 拉杜·奥西夫 2 钟曼,宋世堂。 2 波琳娜·帕拉波尼亚里 2 苏菲·昆顿 2 克里斯·沙弗 2 Kohei Suenaga公司 2 斯塔夫罗斯·特里帕基斯 1 卢卡·埃特罗 1 亚伦·D·埃姆斯。 1 保罗·C·阿蒂。 1 费伦茨·戈斯顿·巴塔 1 伊梅内·本·哈菲德 1 阿尔伯特·本文尼斯特 1 辛齐亚·伯纳德斯基 1 Jean-Paul Bodeveix公司 1 博尔祖·博纳克达尔普尔 1 马塞洛·玛丽亚·邦桑格 1 蒂莫西·布鲁克 1 马可·波扎诺 1 曼弗雷德·布罗伊 1 卢卡斯·布埃里 1 贝诺·凯劳德 1 克拉克、戴夫 1 贝诺·德拉哈耶 1 邓玉欣 1 西蒙·迪尔 1 Dokter,Kasper公司 1 安德烈亚·多梅尼奇 1 弗雷德里克·多塞特 1 亚当·杜拉茨 1 简·杜拉茨 1 Leonid W·德沃赞斯基。 1 罗曼·爱德曼 1 列奥尼达斯·埃夫斯塔提亚迪斯 1 安托万·埃尔·霍卡耶姆 1 埃夫拉德,雨果 1 票价,Elie 1 卢卡·费鲁奇 1 JoséLuiz Fiadeiro 1 马蒙·菲拉利 1 Christina Chrysovalanti Fountoukidou 1 欧根·伊安·戈里亚克 1 一郎·哈索 1 侯泽晨 1 福尔克·豪尔 1 Atsushi Igarashi 1 Ingólfsdóttir,安娜 1 小岛贤介 1 Konečný,迈克尔 1 丹尼尔·克罗布 1 罗伯特·P·库尔珊(Robert P.Kurshan)。 1 弗雷德里克·朗 1 爱德华·阿什福德李 1 Legay、Axel 1 伊琳娜·洛马佐娃(Irina A.Lomazova)。 1 洛佩斯,安东尼亚 1 艾瑞克·马德琳 1 迪诺·曼德里奥利 1 迭戈·马姆斯勒 1 克里斯蒂安·马塔雷 1 阿纳斯塔西亚·马夫里杜 1 安杰洛·莫岑蒂 1 中村弘文 1 霍森·纳扎尔布尔 1 阮,Thanh-Hung 1 马蒂亚斯·尼贝格 1 阿纳·彼得罗夫斯卡 1 马克·普泽特 1 秦旭东 1 吉恩·奎尔贝夫 1 马泰奥·罗西。 1 亚历山德拉·席尔瓦 1 克里斯托斯·斯特吉奥 1 伊万·斯托伊克 1 瓦利德·塔哈 1 斯特凡诺·托内塔 1 乔纳斯·韦斯特曼 1 张敏 全部的 前5名16篇连载文章中引用 6 程序设计中的逻辑和代数方法杂志 4 系统设计中的形式化方法 三 信息学报 三 计算的形式方面 2 信息处理信件 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 国际计算机科学基础杂志 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 编程与计算机软件 1 计算机程序设计科学 1 信息与计算 1 分布式计算 1 逻辑与代数程序设计杂志 1 非线性分析。混合动力系统 在4个字段中引用 50 计算机科学(68至XX) 8 数理逻辑与基础(03-XX) 2 系统论;控制(93至XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文