编辑配置文件(在新选项卡中打开) 宋晓宇 合著者距离 作者ID: 宋晓宇 发布日期: 宋晓宇;宋,X。;宋晓宇;宋晓宇 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 87出版物自1991年以来,包括5个附加arXiv预打印 1名编辑贡献 合著者: 99位合著者具有82联合出版物 2875位合作作者 全部的 前5名合著者 1 单作者的 20 杨国武 19 威廉·N·洪。 13 顾,明 12 Marek A.Perkowski。 11 他,费 11 孙家光 7 谢,费 5 梅农,沙申克 5 周建涛 4 黄日光 4 王宇科 4 叶新明 4 郑保东 三 奥特曼·阿伊特·穆罕默德 三 侯赛因·巴沙扎德 三 谭雪厚 三 周敏 2 罗纳尔多·博尔贾。 2 爱德华·塞尔尼 2 陈汉武 2 程乐荣 2 程曦 2 关勇 2 郭文胜 2 李,李 2 李永坚 2 李志强 2 Seo,Chang-Jun先生 2 史志平 1 萨伊德·阿贝德 1 穆斯塔帕·阿布勒哈米德 1 鲍德温,J.D。 1 蔡志强 1 常春光 1 陈刚毅 1 陈赛 1 陈世坤 1 朱晓光 1 杜红艳 1 冯小霞 1 Greenwood,Garrison W。 1 郭新瑞 1 何开多 1 何,史 1 季佳怡 1 蒋英涛 1 姜云平 1 孔辉 1 兰、蔡和 1 乐,钱奇 1 李丽明 1 李孟军 1 李阳 1 李永东 1 李周军 1 刘,田 1 刘永梅 1 罗桂明 1 罗向玉 1 马,沙 1 卡尔·D·麦克罗斯基。 1 男子,秋红 1 孟秋红 1 顾明 1 亚辛·莫赫塔里 1 萨拉·尼科洛索 1 齐红岗 1 邱泽阳 1 马吉德·萨拉夫扎德 1 伊冯·萨瓦里亚 1 沈鸿 1 司叔斌 1 苏白丽 1 索菲涅·塔哈尔 1 唐倩玉 1 唐志伟 1 Krishnaiyan“KT”Thulasiraman 1 万,海 1 王建国 1 王俊波 1 王凯奇 1 王培 1 王,钱 1 王玉新 1 吴爱轩 1 吴金钊 1 吴伟 1 徐静文 1 徐金丽 1 徐,英 1 Yang,Hannah H。 1 杨,金 1 杨晓静 1 杨秀梅 1 尹洪生 1 尹良泽 1 曾乃菊 1 张和华 1 张杰 1 张巨玲 ……还有另外三位合著者 全部的 前5名系列 7 电气电子工程师学会计算机期刊 7 国际计算机数学杂志 4 应用力学与工程中的计算机方法 4 理论计算机科学 三 计算机与数学及其应用 三 国际工程数值方法杂志 三 数学和计算机建模 三 计算系统理论 三 应用数学杂志 2 卡尔科洛 2 《计算机杂志》。A部分/B部分 2 物理杂志A:数学与普通 2 线性代数及应用 2 系统工程与电子 1 人工智能 1 计算机与电气工程 1 计算机和结构 1 离散应用数学 1 国际传热传质杂志 1 国际理论物理杂志 1 信息处理信件 1 声音与振动杂志 1 线性代数和多线性代数 1 美国统计协会杂志 1 计算机科学与技术杂志 1 算法 1 SIAM矩阵分析与应用杂志 1 计算的形式方面 1 IEEE信号处理汇刊 1 统计学中的传播。理论与方法 1 系统设计中的形式化方法 1 工程中的数学问题 1 国际应用数学杂志 1 软件杂志 1 系统工程杂志 1 国际量子信息杂志 1 兰州交通大学学报。自然科学 1 浙江大学学报。科学A 1 科学中国。信息科学 1 亚洲控制杂志 1 计算机科学前沿 全部的 前5名领域 52 计算机科学(68至XX) 14 信息与通信理论、电路(94-XX) 11 量子理论(81-XX) 9 可变形固体力学(74-XX) 8 运筹学、数学规划(90-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 三 数学逻辑和基础(03-XX) 三 概率论与随机过程(60-XX) 三 统计学(62-XX) 2 数值分析(65-XX) 2 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 粒子和系统力学(70-XX) 1 流体力学(76-XX) 1 统计力学,物质结构(82-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 42出版物有被引用149中的次103文件 引用人▼ 年份▼ 有限变形范围内非饱和流的数学框架。 Zbl 1352.76115号 宋晓宇;罗纳尔多·博尔贾。 21 2014 关于区间图的和着色问题。 Zbl 0913.68156号 尼科洛索,S。;萨拉夫扎德,M。;宋,X。 20 1999 基于指数条件的混合系统安全验证屏障证书生成。 Zbl 1357.68113号 孔辉;他,费;宋晓宇;威廉·N·洪。;顾,明 16 2013 临界状态塑性。第七部分:在可变饱和多孔介质中触发剪切带。 Zbl 1286.74027号 罗纳尔多·博尔贾。;宋晓宇;吴伟 10 2013 基于群论的二元可逆电路综合。 兹比尔1178.68261 杨国武;宋晓宇;威廉·N·洪。;谢,费;Marek A.Perkowski。 9 2006 ((2^n-1,2^n,2^n+1))的基于加法器的剩余到二进制数转换器。 兹比尔1369.68039 王宇科;宋晓宇;穆斯塔帕·阿布勒哈米德;沈鸿 9 2002 以最低成本合成可逆电路。 兹比尔1173.94469 杨国武;宋晓宇;威廉·N·洪。;Marek A.Perkowski。;Seo,Chang-Jun先生 6 2008 基于MDG的抽象状态枚举的非终结性。 Zbl 1028.68102号 奥特曼·阿伊特·穆罕默德;宋晓宇;爱德华·塞尔尼 6 2003 具有中心刚体的正交各向异性环形板的非线性振动和热屈曲。 Zbl 1237.74215号 李,S.-R;周,Y.-H;宋,X。 6 2002 非饱和多孔介质局部破坏的计算性孔隙周围力学模型。 Zbl 1506.74110号 梅农,沙申克;宋晓宇 6 2021 关于任意域上的Comon猜想。 Zbl 1436.15029号 郑保东;黄日光;宋晓宇;徐金丽 5 2020 非等温非饱和多孔介质中考虑材料非均匀性的稳定混合有限元应变局部化。 Zbl 1441.74280号 王凯奇;宋晓宇 5 2020 使用多路决策图(MDG)对一阶时序逻辑进行模型检查。 兹比尔1090.68069 徐,英;宋晓宇;爱德华·塞尔尼;奥特曼·艾特·穆罕默德 5 2004 可逆逻辑门的代数特征。 Zbl 1101.68032号 宋晓宇;杨国武;马雷克·佩考夫斯基;王宇科 5 2006 可逆函数的实现和合成。 Zbl 1211.81049号 杨国武;谢,费;威廉·N·洪。;宋晓宇;Marek A.Perkowski。 5 2011 估计可满足模线性实数算法解空间的体积。 Zbl 1328.68209号 周敏(Zhou,Min);他,费;宋晓宇;何,史;陈刚毅;顾,明 4 2015 实现无辅助位的三值量子交换网络。 Zbl 1086.81505号 杨国武;宋晓宇;马雷克·佩考夫斯基;吴金钊 三 2005 一种新的基于节点的结构形状优化算法。 Zbl 0953.74051号 宋,X。;J.D.鲍德温。 三 1999 非饱和多孔介质中非导向裂纹的多相渗流力学计算。 Zbl 07767888号 梅农,沙申克;宋晓宇 三 2022 一种构造多路决策图的新方法。 Zbl 1161.68577号 莫赫塔里,Y。;萨伊德·阿贝德;O·艾特·穆罕默德。;塔哈尔,S。;宋,X。 2 2008 螺旋理论中运动雅可比矩阵的形式化分析。 邮编1426.70008 史志平;吴爱轩;杨秀梅;关勇;李永东;宋晓宇 2 2018 布尔函数NPN分类的群代数方法。 Zbl 1462.94074号 张菊玲;杨国武;威廉·N·洪。;刘,田;宋晓宇;Marek A.Perkowski。 2 2019 基于NDOB的风力发电机磁悬浮偏航系统建模及其悬浮着陆过程的鲁棒轨迹跟踪控制。 Zbl 1422.93131号 李阳;蔡斌;宋晓宇;朱晓光;苏白丽 2 2019 关于Petri网的可达图。 Zbl 1006.68615号 叶新明;周建涛;宋晓宇 2 2003 任意域上的秩分解和对称秩分解。 Zbl 1505.15024号 黄日光;郑保东;宋晓宇 2 2022 基于多数的可逆逻辑门。 Zbl 1080.68031号 杨国武;威廉·N·洪。;宋晓宇;马雷克·佩考夫斯基 2 2005 将进化计算与抽象求精相结合,用于模型检查。 Zbl 1368.68248号 他,费;宋晓宇;洪威廉·N·N。;顾,明;孙家光 2 2010 使用NCV量子门的新量子逻辑门库进行量子电路合成。 Zbl 1390.81117号 李志强;陈赛;宋晓宇;马雷克·佩考夫斯基;陈汉武;朱伟 1 2017 并行化SMT解决:惰性分解和调解。 兹比尔1444.68169 程曦;周敏(Zhou,Min);宋晓宇;顾,明;孙家光 1 2018 可逆电路的最小通用库。 Zbl 1145.94482号 杨国武;宋晓宇;Marek A.Perkowski。;威廉·N·洪。;Seo,Chang-Jun先生 1 2008 简单流体通过圆柱形和狭缝纳米通道的泊松流的比较研究。 Zbl 1144.82338号 宋,X。;陈,J.K。 1 2008 非线性连续消耗应急物资调度问题。 Zbl 1389.90053号 宋晓宇;王建国;常春光 1 2017 任意域上张量的最大秩(m乘n乘2)。 Zbl 1493.15079号 宋晓宇;郑保东;黄日光 1 2022 具有任意连接的并行计算机的诊断。 Zbl 1392.68108号 唐、钱玉;宋晓宇 1 1999 使用受控非零量子门实现新的置换门库,以精确最小化量子电路。 兹比尔1304.81061 李志强;宋晓宇;马雷克·佩考夫斯基;陈汉武;冯小霞 1 2014 基于IP的楼层规划的理论上限。 Zbl 1128.68394号 杨国武;宋晓宇;Yang,Hannah H。;谢、费 1 2005 六边形三层通道布线。 Zbl 0875.68144号 谭雪厚;宋晓宇 1 1995 在六边形网格上路由多端网络。 Zbl 0913.68105号 谭雪厚;宋晓宇 1 1999 单面布尔函数及其最小化。 Zbl 0993.68021号 王宇科;卡尔·麦克罗斯基;宋晓宇 1 2001 更新了非饱和多孔介质中超大变形的拉格朗日非饱和孔隙周围力学。 Zbl 1507.74057号 梅农,沙申克;宋晓宇 1 2022 Isabelle/HOL中符号轨迹评估语义的一种新形式化。 Zbl 1244.68053号 李永坚;威廉·N·洪。;宋晓宇 1 2011 满足性的最大项覆盖。 Zbl 1365.68293号 尹良泽;他,费;威廉·N·洪。;宋晓宇;顾,明 1 2012 非饱和多孔介质中非导向裂纹的多相渗流力学计算。 Zbl 07767888号 沙申克梅农;宋晓宇 三 2022 任意域上的秩分解和对称秩分解。 Zbl 1505.15024号 黄日光;郑保东;宋晓宇 2 2022 任意域上张量的最大秩(m乘n乘2)。 Zbl 1493.15079号 宋晓宇;郑保东;黄日光 1 2022 更新了非饱和多孔介质中超大变形的拉格朗日非饱和孔隙周围力学。 Zbl 1507.74057号 梅农,沙申克;宋晓宇 1 2022 非饱和多孔介质局部破坏的计算性孔隙周围力学模型。 Zbl 1506.74110号 梅农,沙申克;宋晓宇 6 2021 关于任意域上的Comon猜想。 Zbl 1436.15029号 郑保东;黄日光;宋晓宇;徐金丽 5 2020 非等温非饱和多孔介质中考虑材料非均匀性的稳定混合有限元应变局部化。 Zbl 1441.74280号 王凯奇;宋晓宇 5 2020 布尔函数NPN分类的群代数方法。 Zbl 1462.94074号 张巨玲;杨国武;威廉·N·洪。;刘,田;宋晓宇;Marek A.Perkowski。 2 2019 基于NDOB的风力发电机磁悬浮偏航系统建模及其悬浮着陆过程的鲁棒轨迹跟踪控制。 Zbl 1422.93131号 李阳;蔡斌;宋晓宇;Chu,晓光;苏白丽 2 2019 螺旋理论中运动雅可比矩阵的形式化分析。 邮编1426.70008 史志平;吴爱轩;杨秀梅;关勇;李永东;宋晓宇 2 2018 并行化SMT解决:惰性分解和调解。 Zbl 1444.68169号 程曦;周敏;宋晓宇;顾,明;孙家光 1 2018 使用NCV量子门的新量子逻辑门库进行量子电路合成。 Zbl 1390.81117号 李志强;陈赛;宋晓宇;马雷克·佩考夫斯基;陈汉武;朱伟 1 2017 非线性连续消耗应急物资调度问题。 Zbl 1389.90053号 宋晓宇;王建国;常春光 1 2017 估计可满足模线性实数算法解空间的体积。 Zbl 1328.68209号 周敏(Zhou,Min);他,费;宋晓宇;何,史;陈刚毅;顾,明 4 2015 有限变形范围内非饱和流的数学框架。 Zbl 1352.76115号 宋晓宇;罗纳尔多·博尔贾。 21 2014 使用受控非零量子门实现新的置换门库,以精确最小化量子电路。 Zbl 1304.81061号 李志强;宋晓宇;马雷克·佩考夫斯基;陈汉武;冯小霞 1 2014 基于指数条件的混合系统安全验证屏障证书生成。 兹伯利1357.68113 孔辉;他,费;宋晓宇;威廉·N·洪。;顾,明 16 2013 临界状态塑性。第七部分:在可变饱和多孔介质中触发剪切带。 Zbl 1286.74027号 罗纳尔多·博尔贾。;宋晓宇;吴伟 10 2013 满足性的最大项覆盖。 Zbl 1365.68293号 尹良泽;他,费;威廉·N·洪。;宋晓宇;顾,明 1 2012 可逆函数的实现和合成。 Zbl 1211.81049号 杨国武;谢,费;威廉·N·洪。;宋晓宇;Marek A.Perkowski。 5 2011 Isabelle/HOL中符号轨迹评估语义的一种新形式化。 Zbl 1244.68053号 李永坚;威廉·N·洪。;宋晓宇 1 2011 将进化计算与抽象求精相结合,用于模型检查。 Zbl 1368.68248号 他,费;宋晓宇;威廉·N·洪。;顾,明;孙家光 2 2010 以最低成本合成可逆电路。 Zbl 1173.94469号 杨国武;宋晓宇;洪威廉·N·N。;Marek A.Perkowski。;Seo,Chang-Jun先生 6 2008 一种构造多路决策图的新方法。 Zbl 1161.68577号 莫赫塔里,Y。;Abed,Sa&rsquo的;预计起飞时间;O·艾特·穆罕默德。;南塔哈尔。;宋,X。 2 2008 可逆电路的最小通用库。 兹比尔1145.94482 杨国武;宋晓宇;Marek A.Perkowski。;威廉·N·洪。;Seo,Chang-Jun先生 1 2008 简单流体通过圆柱形和狭缝纳米通道的泊松流的比较研究。 Zbl 1144.82338号 宋,X。;陈,J.K。 1 2008 基于群论的二元可逆电路综合。 Zbl 1178.68261号 杨国武;宋晓宇;威廉·N·洪。;谢,费;Marek A.Perkowski。 9 2006 可逆逻辑门的代数特征。 Zbl 1101.68032号 宋晓宇;杨国武;马雷克·佩考夫斯基;王宇科 5 2006 实现无辅助位的三值量子交换网络。 Zbl 1086.81505号 杨国武;宋晓宇;马雷克·佩考夫斯基;吴金钊 三 2005 基于多数的可逆逻辑门。 Zbl 1080.68031号 杨国武;威廉·N·洪。;宋晓宇;马雷克·佩考夫斯基 2 2005 基于IP的楼层规划的理论上限。 兹比尔1128.68394 杨国武;宋晓宇;Yang,Hannah H。;谢,费 1 2005 使用多路决策图(MDG)对一阶时序逻辑进行模型检查。 兹比尔1090.68069 徐,英;宋晓宇;爱德华·塞尔尼;奥特曼·艾特·穆罕默德 5 2004 关于不终止基于MDG的抽象状态枚举。 Zbl 1028.68102号 奥特曼·阿伊特·穆罕默德;宋晓宇;爱德华·塞尔尼 6 2003 关于Petri网的可达图。 Zbl 1006.68615号 叶新明;周建涛;宋晓宇 2 2003 ((2^n-1,2^n,2^n+1))的基于加法器的剩余到二进制数转换器。 Zbl 1369.68039号 王宇科;宋晓宇;穆斯塔帕·阿布勒哈米德;沈鸿 9 2002 具有中心刚体的正交各向异性环形板的非线性振动和热屈曲。 Zbl 1237.74215号 李,S.-R;周,Y.-H;宋,X。 6 2002 单面布尔函数及其最小化。 Zbl 0993.68021号 王宇科;卡尔·麦克罗斯基;宋晓宇 1 2001 关于区间图的和着色问题。 Zbl 0913.68156号 尼科洛索,S。;萨拉夫扎德,M。;宋,X。 20 1999 一种新的基于节点的结构形状优化算法。 Zbl 0953.74051号 宋,X。;J.D.鲍德温。 三 1999 具有任意连接的并行计算机的诊断。 Zbl 1392.68108号 唐、钱玉;宋晓宇 1 1999 在六边形网格上路由多端网络。 兹比尔0913.68105 谭雪厚;宋晓宇 1 1999 六边形三层通道布线。 Zbl 0875.68144号 谭雪厚;宋晓宇 1 1995 所有引用出版物 排名前五的出版物 全部的 前5名被218位作者引用 16 宋晓宇 8 罗纳尔多·博尔贾。 8 杨国武 5 周金云 5 威廉·N·洪。 5 Marek A.Perkowski。 5 孙伟庆 4 萨伊德·阿贝德 4 奥特曼·阿伊特·穆罕默德 4 卢,凯 4 梅农,沙申克 4 艾哈迈德·尤尼斯 4 詹乃军 4 张毅 三 陈汉武 三 高英辉 三 黄日光 三 李志强 三 林,王 三 王秋叶 三 杨正峰 三 郑保东 2 亚历山德罗·阿巴特 2 马哈茂德·阿卜杜勒·阿蒂 2 丹尼尔·艾哈迈德 2 蒂姆·博伊基特 2 陈明帅 2 陈欣 2 贾瓦德·戈尔巴尼 2 顾,明 2 关勇 2 穆迪·侯赛因扎德 2 贾科·卡里 2 Joost-Pieter卡托恩 2 李宣东 2 P.V.Ananda Mohan 2 亚辛·莫赫塔里 2 拉沙·蒙塔泽 2 凯文·纳维 2 穆罕默德·雷扎·努里梅尔 2 安德烈亚·佩鲁福 2 安德烈·普拉泽 2 Salo,Ville O。 2 徐昌俊 2 史志平 2 安德鲁·索戈孔 2 索菲涅·塔哈尔 2 Tan,Yong Kiam先生 2 唐恩义 2 吴金钊 2 夏碧灿 2 徐凯 2 薛、白 2 赵庆叶 2 赵,杨 1 阿布塔利布,M.M。 1 塔格里德·艾哈迈德 1 艾智勇 1 大卫·W·艾利。 1 马吉德·阿尔坎巴什 1 阿劳霍,Aurélio L。 1 苏海卜·巴里尔 1 鲍云荣 1 米歇尔·博雷尔 1 蔡斌 1 蔡敦波 1 茱莉亚·T·卡玛戈。 1 曹可欣 1 陈志强 1 陈启光 1 陈赛 1 陈、陶璐 1 陈新余 1 陈一峰 1 程乐荣 1 程雪云 1 德米特里五世·奇斯蒂科夫。 1 亚历山德罗·西马蒂 1 路易斯·科洛迪 1 凯瑟琳·科德威尔 1 戴丽云 1 德瓦卡尔,M。 1 雷娜·迪米特洛娃 1 丁左华 1 段振华 1 亚历克·爱德华兹 1 阿什拉夫·易赛义德 1 阿巴斯·H·埃尔泽因。 1 艾哈迈德·法鲁克。 1 鲁西·法鲁克 1 R·法什迪。 1 冯世光 1 冯小霞 1 梅克·弗里德尔 1 甘婷 1 高伟 1 卡泽姆·阿拉格贝(Kazeem Alagbe-Golagade) 1 葛存静 1 哈利勒·戈尔巴尔 1 米尔科·贾科布 …还有118位作者 全部的 前5名43篇连载文章被引用 19 应用力学与工程中的计算机方法 9 量子信息处理 6 国际工程数值方法杂志 5 国际理论物理杂志 4 理论计算机科学 4 电路、系统和信号处理 2 计算机与数学及其应用 2 符号计算杂志 2 SIAM矩阵分析与应用杂志 2 计算的形式方面 2 国际应用数学与计算机科学杂志 2 系统科学与复杂性杂志 2 应用数学杂志 1 信息学报 1 富兰克林学院学报 1 线性代数和多线性代数 1 Automatica公司 1 卡尔科洛 1 计算机科学与技术杂志 1 信息与计算 1 计算机与运筹学 1 自动推理杂志 1 数学和计算机建模 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 应用数学建模 1 欧洲运筹学杂志 1 国际计算机数学杂志 1 线性代数及应用 1 系统设计中的形式化方法 1 边界元工程分析 1 约束条件 1 计算系统理论 1 计算地球科学 1 国际量子信息杂志 1 非线性分析。混合动力系统 1 算法 1 对称 1 亚洲控制杂志 1 ISRN信号处理 1 阿拉伯科学与工程杂志 1 国际工程数学杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名19个领域引用 44 计算机科学(68至XX) 27 可变形固体力学(74-XX) 18 信息与通信理论、电路(94-XX) 17 量子理论(81-XX) 13 系统论;控制(93至XX) 11 流体力学(76-XX) 10 数值分析(65-XX) 6 数学逻辑和基础(03-XX) 6 线性代数和多线性代数;矩阵理论(15-XX) 6 运筹学、数学规划(90-XX) 4 数论(11-XX) 三 群论与推广(20-XX) 2 组合数学(05-XX) 2 常微分方程(34-XX) 1 阶、格、有序代数结构(06-XX) 1 代数几何(14-XX) 1 凸和离散几何(52-XX) 1 地球物理学(86-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文