编辑配置文件(在新选项卡中打开) 苏建文 合著者距离 作者ID: 苏建文 发布方式: 苏建文 外部链接: MGP公司 已编制索引的文档: 51出版物自1991年起 2作为编辑的贡献 合著者: 26位合著者具有42联合出版物 512位合作作者 全部的 前5名合著者 2 单作者的 15 奥斯卡·H·伊巴拉。 11 特夫菲克·布尔坦 6 董国柱 6 傅、香 6 理查德·赫尔(Richard A.Hull)。 5 当、哲 4 Stéphane Grumbach 三 理查德·凯默勒。 三 加布里埃尔·M·库珀。 1 君士坦丁·巴齐斯 1 萨宾娜·贝拉哈 1 拉胡比尔·奇尼 1 约翰·埃德尔 1 凯格达斯·埃夫伦(Cagdas Evren) 1 哈多,J.B。 1 G.A.哈曼。 1 朱利叶斯·科普克 1 巴拉特·库马尔 1 科西莫·拉内夫 1 艾萨克·麦基 1 孟晓峰 1 尼古拉斯·尼格罗。 1 巴拉·拉维库马尔 1 约翰·E·雷诺。 1 克利斯朵夫·托鲁 1 罗德尼·W·托珀。 1 王玉军 1 韦格纳,J.L。 1 徐海燕 1 周刚 1 朱红军 全部的 前5名系列 7 理论计算机科学 6 计算机与系统科学杂志 2 信息学报 2 信息与计算 2 数学与人工智能年鉴 2 计算机科学课堂讲稿 1 AIAA期刊 1 分析数学 1 国际流体数值方法杂志 1 信息处理信件 1 波浪运动 1 ZAMP公司。Zeitschrift für angewandte数学与物理 1 逻辑程序设计杂志 1 应用数学快报 1 数据与知识工程 1 国际计算机科学基础杂志 1 离散和连续动力系统 1 欧洲力学杂志。A.固体 全部的 前5名领域 43 计算机科学(68至XX) 4 可变形固体力学(74-XX) 2 流体力学(76-XX) 1 一般性和全局性主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 测量和集成(28-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 欧氏空间的调和分析(42至XX) 1 功能分析(46倍X倍) 1 整体分析,流形分析(58至XX) 1 经典热力学,传热(80-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用205中的次149文件 引用人▼ 年份▼ 离散下推定时自动机的二进制可达性分析。 Zbl 0974.68085号 当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒。;苏建文 23 2000 关于具有中间类型的数据库查询的表达能力。 Zbl 0764.68029号 理查德·赫尔;苏建文 17 1991 领域独立性和关系演算。 Zbl 0818.68067号 理查德·赫尔;苏建文 14 1994 可有限表示的数据库。 兹伯利0887.68023 Stéphane Grumbach;苏建文 14 1997 对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1071.68002号 傅、香;特夫菲克·布尔坦;苏建文 14 2004 数据日志查询的非递归增量计算。 Zbl 0855.68026号 董国柱;苏建文;罗德尼·托珀 14 1995 通过一阶查询对传递闭包进行增量和减量计算。 Zbl 0835.68031号 董国柱;苏建文 12 1995 具有算术约束的查询。 Zbl 0902.68044号 Stéphane Grumbach;苏建文 11 1997 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒。 11 2002 多项式时间数据库查询的一阶增量求值和定义中的有界性。 Zbl 0936.68029号 董国柱;苏建文 9 1998 一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号 奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 9 2000 耦合混沌神经元产生的规则爆发。 Zbl 1163.34357号 苏,J。;H.佩雷斯。;他,M。 8 2007 稳健优化中的自动微分。 Zbl 0888.73038号 苏,J。;J.E.雷诺。 7 1997 计数器:可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒 7 2000 通过变形生成网格。 Zbl 0766.58057号 廖,G。;苏,J。 6 1992 用于证明线性约束查询的包含和等价性的可判定性的技术。 Zbl 0939.68028号 奥斯卡·H·伊巴拉。;苏建文 5 1999 决定性的FOIES严格来说较弱。 Zbl 0880.68031号 董国柱;苏建文 5 1997 递归类型复杂对象的代数和微积分查询语言。 Zbl 0781.68046号 理查德·赫尔;苏建文 4 1993 无限状态系统中的可达性和安全性。 Zbl 1319.68084号 奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 4 2001 关于视图和约束的连接查询包含。 Zbl 1022.68508号 董国柱;苏建文 三 1996 动态约束和对象迁移。 Zbl 0901.68044号 苏建文 三 1997 WSAT:一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号 傅、香;特夫菲克·布尔坦;苏建文 三 2004 对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1279.68210号 傅、香;特夫菲克·布尔坦;苏建文 三 2003 关于由自动机建模的(e)服务的组合和前瞻委托。 Zbl 1077.68042号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2005 电子服务和工作流的正式验证。 Zbl 1022.68656号 傅、香;特夫菲克·布尔坦;苏建文 2 2002 服务组合中的最低成本委托。 Zbl 1171.68002号 盖雷德,卡格达斯E。;奥斯卡·H·伊巴拉。;巴拉·拉维库马尔;苏建文 2 2008 计数器:决策问题和应用。 Zbl 0944.68109号 奥斯卡·H·伊巴拉。;苏建文 2 1999 递归类型复杂对象的演绎查询语言。 Zbl 0905.68058号 理查德·赫尔;苏建文 2 1998 推广离散时间自动机。 Zbl 0989.68074号 奥斯卡·H·伊巴拉。;苏建文 2 2001 无限状态活动自动机的可组合性。 Zbl 1116.68488号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2004 移动对象:逻辑关系和查询。 Zbl 0997.68616号 苏建文;徐海燕;奥斯卡·H·伊巴拉。 1 2001 计数器以及具有线性约束的数据库查询的安全性和不相交性问题。 Zbl 1013.68077号 奥斯卡·H·伊巴拉。;苏建文;君士坦丁·巴齐斯 1 2001 用其他数据结构扩充离散时间自动机。 Zbl 1061.68094号 奥斯卡·H·伊巴拉。;苏建文 1 2002 验证Vortex工作流。 Zbl 0978.68716号 傅、香;特夫菲克·布尔坦;理查德·赫尔;苏建文 1 2001 用于优化分布式工作流执行的框架。 Zbl 1044.68513号 董国柱;理查德·赫尔;巴拉特·库马尔;苏建文;周刚 1 2000 一种用于具有欧氏距离的平面空间数据库的表示独立语言。 Zbl 1044.68581号 加布里埃尔·M·库珀。;苏建文 1 2000 3003 Al-Mn合金在大范围应变率和温度下的塑性流动特征和物理模型。 Zbl 1261.74002号 郭伟国。;张晓强。;苏,J。;苏,Y。;曾Z.Y。;X.J.邵。 1 2011 3003 Al-Mn合金在大范围应变率和温度下的塑性流动特征和物理模型。 Zbl 1261.74002号 郭伟国。;张晓强。;苏,J。;苏,Y。;曾Z.Y。;X.J.邵。 1 2011 服务组合中的最低成本委托。 Zbl 1171.68002号 盖雷德,卡格达斯E。;奥斯卡·H·伊巴拉。;巴拉·拉维库马尔;苏建文 2 2008 耦合混沌神经元产生的规则爆发。 Zbl 1163.34357号 苏,J。;H.佩雷斯。;他,M。 8 2007 关于由自动机建模的(e)服务的组合和前瞻委托。 Zbl 1077.68042号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2005 对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1071.68002号 傅、香;特夫菲克·布尔坦;苏建文 14 2004 WSAT:一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号 傅、香;特夫菲克·布尔坦;苏建文 三 2004 无限状态活动自动机的可组合性。 Zbl 1116.68488号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2004 对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1279.68210号 傅、香;特夫菲克·布尔坦;苏建文 三 2003 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒。 11 2002 电子服务和工作流的正式验证。 Zbl 1022.68656号 傅、香;特夫菲克·布尔坦;苏建文 2 2002 用其他数据结构扩充离散时间自动机。 Zbl 1061.68094号 奥斯卡·H·伊巴拉。;苏建文 1 2002 无限状态系统中的可达性和安全性。 Zbl 1319.68084号 奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 4 2001 推广离散时间自动机。 Zbl 0989.68074号 奥斯卡·H·伊巴拉。;苏建文 2 2001 移动对象:逻辑关系和查询。 Zbl 0997.68616号 苏建文;徐海燕;奥斯卡·H·伊巴拉。 1 2001 计数器以及具有线性约束的数据库查询的安全性和不相交性问题。 Zbl 1013.68077号 奥斯卡·H·伊巴拉。;苏建文;君士坦丁·巴齐斯 1 2001 验证Vortex工作流。 Zbl 0978.68716号 傅、香;特夫菲克·布尔坦;理查德·赫尔;苏建文 1 2001 离散下推定时自动机的二进制可达性分析。 Zbl 0974.68085号 当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒。;苏建文 23 2000 一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号 奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 9 2000 计数器:可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒 7 2000 用于优化分布式工作流执行的框架。 Zbl 1044.68513号 董国柱;理查德·赫尔;巴拉特·库马尔;苏建文;周刚 1 2000 一种用于具有欧氏距离的平面空间数据库的表示独立语言。 Zbl 1044.68581号 加布里埃尔·M·库珀。;苏建文 1 2000 用于证明线性约束查询的包含和等价性的可判定性的技术。 Zbl 0939.68028号 奥斯卡·H·伊巴拉。;苏建文 5 1999 计数器:决策问题和应用。 Zbl 0944.68109号 奥斯卡·H·伊巴拉。;苏建文 2 1999 多项式时间数据库查询的一阶增量求值和定义中的有界性。 Zbl 0936.68029号 董国柱;苏建文 9 1998 递归类型复杂对象的演绎查询语言。 Zbl 0905.68058号 理查德·赫尔;苏建文 2 1998 可有限表示的数据库。 兹伯利0887.68023 Stéphane Grumbach;苏建文 14 1997 具有算术约束的查询。 Zbl 0902.68044号 Stéphane Grumbach;苏建文 11 1997 稳健优化中的自动微分。 Zbl 0888.73038号 苏,J。;J.E.雷诺。 7 1997 决定性的FOIES严格来说较弱。 Zbl 0880.68031号 董国柱;苏建文 5 1997 动态约束和对象迁移。 Zbl 0901.68044号 苏建文 三 1997 关于视图和约束的连接查询包含。 Zbl 1022.68508号 董国柱;苏建文 三 1996 数据日志查询的非递归增量计算。 Zbl 0855.68026号 董国柱;苏建文;罗德尼·托珀 14 1995 通过一阶查询对传递闭包进行增量和减量计算。 Zbl 0835.68031号 董国柱;苏建文 12 1995 领域独立性和关系演算。 Zbl 0818.68067号 理查德·赫尔;苏建文 14 1994 递归类型复杂对象的代数和微积分查询语言。 Zbl 0781.68046号 理查德·赫尔;苏建文 4 1993 通过变形生成网格。 Zbl 0766.58057号 廖,G。;苏,J。 6 1992 关于具有中间类型的数据库查询的表达能力。 Zbl 0764.68029号 理查德·赫尔;苏建文 17 1991 所有引用出版物 前5名被引用出版物 全部的 前5名225位作者引用 28 奥斯卡·H·伊巴拉。 16 当、哲 15 苏建文 7 伊恩·麦克奎伦 7 托马斯·泽姆 6 托马斯·罗伯特·菲舍尔 5 特夫菲克·布尔坦 5 董国柱 5 Leonid O·利金。 5 Van den Bussche,简 5 德克·范·古赫特 4 崔策伟 4 萨米尔·达塔 4 理查德·凯默勒。 4 托马斯·施文蒂克 4 涡流计,尼尔斯 三 亚历山德罗·阿塔尔 三 Michael A.Benedikt。 三 斯特凡·德姆里。 三 Stéphane Grumbach 三 马克·吉森 三 理查德·赫尔(Richard A.Hull)。 三 Bart H.M.Kuijpers。 三 李,秦 三 穆克吉,阿尼什 三 托雷斯,何塞·玛丽亚 三 黄利松 2 佛朗哥·巴巴内拉 2 安东尼奥·贝塞拉·特隆 2 约阿希姆·比斯库普 2 巴特·博加特 2 邓婷 2 乔伊·埃雷蒙迪 2 埃里希·格拉德尔 2 尤里·古雷维奇 2 劳里·T·海拉。 2 Horrocks,伊恩 2 怀、金鹏 2 威廉·赫顿(William J.III Hutton) 2 马克西姆·雅库博夫斯基 2 钟曼,宋世堂。 2 罗马人孔查科夫 2 鲍里斯·莫提克 2 简·帕雷登斯 2 Pierluigi San彼得罗 2 弗拉迪斯拉夫·里日科夫 2 翁贝托·斯特拉契亚 2 丹·米尔恰·苏秋 2 莉娜·威斯 2 迈克尔·维克托洛维奇(Michael Viktorovich) 1 拉赫达尔·阿克伦 1 阿克西,S。 1 Alemandros-Jiménez,Jesüs M。 1 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔 1 亚历山大·阿提基斯 1 约翰·鲍德温(John T.Baldwin)。 1 David A.Basin。 1 玛丽安·鲍迪内 1 帕斯卡·鲍曼 1 凯特丽尔·比里 1 Oleg V·Belegradek。 1 马尔塞洛·玛丽亚·贝尔萨尼 1 劳拉·博奇 1 艾哈迈德·布瓦贾尼 1 佛罗伦萨Bouchy 1 帕特里夏·鲍耶 1 贾努斯·安东尼·布尔佐夫斯基 1 卢卡·卡比博 1 伊利亚州卡斯特拉尼 1 蔡超 1 奥利维·查普斯 1 陈浩 1 陈振邦 1 简·乔米奇 1 洛伦佐·克莱门特 1 朱利奥·克莱姆普纳。 1 芭芭拉·卡西玛(Barbara F.Csima)。 1 伯纳多·昆卡·格劳 1 戴,费 1 弗拉维奥·达莱桑德罗 1 米歇尔·德·罗杰蒙特 1 乌戈·德利古罗 1 丁左华 1 迪帕克·D’Souza 1 杜宗霞 1 弗莱迪·杜莫提埃 1 吕克·爱迪克索芬 1 范文飞 1 保罗·费利 1 JoséLuiz Fiadeiro 1 阿兰·芬克尔 1 埃尔维·福尼尔 1 西贝尔·马托斯·弗雷尔 1 傅、香 1 摩西·加纳迪 1 保罗·加斯丁 1 弗洛里斯·吉尔茨 1 凯格达斯·埃夫伦(Cagdas Evren) 1 劳拉·佐丹奴 1 斯蒂芬·戈顿 …还有125位作者 全部的 前5名32篇连载文章中引用 31 理论计算机科学 27 计算机与系统科学杂志 12 信息与计算 8 国际计算机科学基础杂志 5 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 人工智能 2 信息处理信件 2 信息科学 2 系统设计中的形式化方法 2 数学逻辑季刊(MLQ) 2 数学与人工智能年鉴 1 符号逻辑杂志 1 美国数学学会会刊 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 自动推理杂志 1 计算的形式方面 1 国际计算机数学杂志 1 控制论与系统分析 1 人工智能研究杂志 1 复杂性 1 计算系统理论 1 软计算 1 国际应用数学与计算机科学杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 中国科学。F系列 1 科学中国。信息科学 1 可计算性 全部的 前5名11个领域引用 144 计算机科学(68至XX) 29 数学逻辑和基础(03-XX) 7 信息与通信理论、电路(94-XX) 2 代数几何(14-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 群论与推广(20-XX) 1 流形和细胞复合体(57至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文