编辑配置文件(在新选项卡中打开) 陈、陶璐 合著者距离 作者ID: 陈道略 发布日期: 陈、陶璐 已编制索引的文档: 93出版物自1969年以来,包括1个附加arXiv预打印 合著者: 70位合著者具有64联合出版物 1458位联合作者 全部的 前5名合著者 4 单作者的 16 韩婷婷 13 陆健 12 Marta Z.Kwiatkowska。 8 威廉·扬·福克金 8 亚历山大·梅雷克莱 7 西马提斯,艾斯蒂斯 7 吴志林 6 Forejt,Vojtěch公司 5 宋,傅 4 马尔科·戴西奥拉 4 Joost-Pieter卡托恩 4 李斌 三 卢卡·埃特罗 三 Anna Ingólfsdóttir 三 刘志明 三 佛朗哥·雷蒙迪 三 范格拉贝克、罗伯特·扬 三 曾、夏 三 赵恒军 2 北卡罗来纳州巴约林。 2 巴兹,阿姆尔 2 Alireza T.博洛奇。 2 陈广科 2 阿诺·达根 2 Caleb J.埃蒙斯。 2 斯特凡·基弗 2 巴斯·卢提克 2 莫迪,P。 2 苏米特·奈恩 2 朱塞佩·普里米埃罗 2 萨马扎德,M.H。 2 本杰明·斯坦赫斯特 2 亚历山大·特普利亚耶夫 2 范德波尔,扬·科内利斯 2 詹姆斯·C·P·伍德科克。 2 张业迪 2 赵哲 2 周景阳 1 巴伯,贝诺 1 贾斯珀·贝伦德森 1 托马斯·布拉兹迪尔 1 曹永志 1 查瓦农,P。 1 陈道旭 1 陈一香 1 蒋树川 1 克里斯·奇尔顿 1 克劳斯·阿格博士 1 冯、袁 1 高、冲 1 高鹏飞 1 顾新才 1 马修·黑格 1 Han,着色 1 何金龙 1 胡登庚 1 大卫·詹森(David N.Jansen)。 1 本特·琼森 1 孔,Y.J。 1 西拉普兰特。 1 李、谢 1 Anthony Widjaja林 1 刘嘉祥 1 巴纳比·D·马丁。 1 乔斯·马丁 1 诺沃顿,皮特 1 贝斯·普洛格 1 Rahmani Torkaman,R。 1 印度拉朱。 1 David S.Rosenblum。 1 菲利普·吕默 1 内哈·隆塔 1 西恩·希尔兹。 1 苏国欣 1 Tongele,T.N。 1 特蕾西,S。 1 阿舒托什·特里维迪 1 米歇尔·乌梅尔斯 1 翁,I.S。 1 Tim A.C.Willemse。 1 克莱门斯·威尔奇 1 吴,衡阳 1 夏明基 1 谢洪毅 1 徐兆伟 1 于纯(Yu,Chun) 1 于能坤 1 朱武佳 1 朱兆辉 全部的 前5名系列 5 机械学报 4 南京大学学报。自然科学 三 信息处理信件 三 应用力学杂志 三 振动与控制杂志 2 信息科学 2 理论计算机科学 2 信息与计算 2 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 软件杂志 2 计算机科学中的逻辑方法 1 适用的分析 1 计算机与数学及其应用 1 应用力学与工程中的计算机方法 1 离散应用数学 1 国际固体与结构杂志 1 国际系统科学杂志 1 控制论学报 1 运筹学学会杂志 1 Studia Logica公司 1 合成 1 计算力学 1 国际近似推理杂志 1 计算的形式方面 1 信号处理 1 MSCS公司。计算机科学中的数学结构 1 弹性力学杂志 1 模式识别 1 系统设计中的形式化方法 1 分形 1 终身数据分析 1 武汉大学自然科学学报 1 ACM计算逻辑事务 1 物理学报A:数学与理论 1 Il Nuovo Cimento,X系列,B 全部的 前5名领域 64 计算机科学(68至XX) 16 可变形固体力学(74-XX) 14 数学逻辑和基础(03-XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 概率论与随机过程(60-XX) 5 系统论;控制(93至XX) 4 信息与通信理论、电路(94-XX) 三 偏微分方程(35-XX) 三 运筹学、数学规划(90-XX) 2 测量和集成(28-XX) 2 势能理论(31日至XX日) 1 组合数学(05-XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 积分方程(45-XX) 1 算子理论(47-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 63出版物有被引用247次197文件 引用人▼ 年份▼ 垫片和其他分形的振动模式。 兹比尔1181.28007 北卡罗来纳州巴约林。;陈,T。;达根,A。;埃蒙斯,C。;侯赛因,M。;M·哈利勒。;莫迪,P。;斯坦赫斯特,B。;A.特普利亚耶夫。 40 2008 安排单台机器的维护。 Zbl 1054.90550号 齐,X。;陈,T。;图,F。 40 1999 有限支场对称分形的振动谱。 Zbl 1160.28302号 北卡罗来纳州巴约林。;陈,T。;达根,A。;埃蒙斯,C。;侯赛因,M。;M·哈利勒。;莫迪,P。;斯坦赫斯特,B。;A.特普利亚耶夫。 24 2008 竞争随机系统的自动验证。 兹比尔1291.68252 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 17 2013 二维位势问题的耦合有限元和无网格局部Petrov–Galerkin方法。 Zbl 1037.65115号 陈,T。;印度拉朱。 17 2003 三维各向异性压电固体的边界积分公式。 Zbl 0826.73066号 陈,T。;林,F.Z。 17 1995 无限方格的堆积色数在13到15之间。 Zbl 1361.05051号 巴纳比·马丁;佛朗哥·雷蒙迪;陈、陶璐;乔斯·马丁 16 2017 关于多目标随机博弈。 Zbl 1400.91040号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;克莱门斯·威尔奇 15 2013 根据时间自动机规范对连续时间马尔可夫链进行模型检查。 Zbl 1233.68156号 陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 12 2011 关于标记马尔可夫链的总变异距离。 Zbl 1395.68202号 陈、陶璐;斯特凡·基弗 12 2014 组件行为的组合规范理论。 Zbl 1352.68149号 陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 11 2012 PRISM游戏:随机多玩家游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 10 2013 线性实时目标的高效CTMC模型检查。 Zbl 1315.68174号 巴伯,贝诺;陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 10 2011 基于有限字母和无限基数。 Zbl 1146.68047号 陈、陶璐;Wan Fokkink公司;巴斯·卢提克;苏米特·奈恩 9 2008 使用参数化布尔方程系统对无限系统进行等价性检查。 Zbl 1151.68521号 陈、陶璐;贝斯·普洛格;范德波尔(Jaco van de Pol);Tim A.C.Willemse。 9 2007 定价概率时间自动机中成本有界可达性的不确定性。 Zbl 1241.68076号 贾斯珀·贝伦森;陈、陶璐;大卫·詹森(David N.Jansen)。 8 2009 使用神经网络合成屏障证书。 Zbl 07300866号 赵恒军;曾、夏;陈、陶璐;刘志明 8 2020 重温模糊过渡系统的相互模拟。 Zbl 1451.68195号 吴,衡阳;陈、陶璐;韩婷婷;陈一香 8 2018 模型检验随机分支过程。 Zbl 1365.68320号 陈、陶璐;克劳斯·阿格博士;斯特凡·基弗 7 2012 根据实时规范对CTMC进行有时限的验证。 Zbl 1348.68126号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 7 2011 关于区间值离散时间马尔可夫链模型检验的复杂性。 兹比尔1259.68150 陈、陶璐;韩婷婷;玛尔塔·奎亚特科夫斯卡 6 2013 关于优先权的公理化。 Zbl 1141.68042号 卢卡·埃特罗;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 6 2008 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 6 2011 具有数据约束的线性组合分离逻辑的完整决策过程。 Zbl 1475.68185号 顾新才;陈、陶璐;吴志林 6 2016 准备预订:弱流程语义的情况。 Zbl 1191.68434号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 5 2009 离散时间马尔可夫链验证中的扰动分析。 Zbl 1417.68100号 陈、陶璐;冯、袁;David S.Rosenblum。;苏国欣 5 2014 具有树谓词和数据约束的组合分离逻辑的可满足性。 Zbl 1496.03138号 徐兆伟;陈、陶璐;吴志林 5 2017 关于优先权的公理化。 兹伯利1134.68038 卢卡·埃特罗;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 5 2006 均质椭圆轴在扭转下可能不会弯曲。 Zbl 1063.74065号 陈,T。 4 2004 概率系统的度量:定义和算法。 Zbl 1186.68250号 陈、陶璐;韩婷婷;陆健 三 2009 含任意形状孔洞或刚性夹杂物的介质在反平面机械电场和平面内电场作用下的电弹性场和有效模量。 Zbl 0886.73055号 陈,T。;南卡罗来纳州蒋市。 三 1997 混合心脏模型上植入式心脏起搏器的定量验证。 Zbl 1311.92100号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 三 2014 电磁热弹性固体的广义平面变形。一: 对应和不变性变换。 Zbl 0971.74035号 郑庆生。;陈,T。 三 1999 精确地玩随机游戏。 Zbl 1364.91024号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;阿舒托什·特里维迪;米歇尔·乌梅尔斯 三 2012 关于不可能的未来的公理化。 兹比尔1448.68335 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 三 2015 锥形周期结构中纵波传播的控制。 Zbl 1094.74659号 Tongele,T.N。;陈,T。 三 2004 具有不完美界面的圆形复合杆的扭转。 Zbl 1110.74375号 陈,T。;翁,I.S。 三 2001 具有整数数据类型的字符串操作程序的路径可行性决策过程。 Zbl 1517.68074号 陈、陶璐;马修·黑格;何金龙;胡登庚;Anthony Widjaja林;菲利普·吕默;吴志林 三 2020 学习具有屏障证书的安全神经网络控制器。 Zbl 1503.93022号 赵恒均;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 三 2020 学习具有屏障证书的安全神经网络控制器。 Zbl 1521.93054号 赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 三 2021 竞争随机系统的自动验证。 Zbl 1352.68150号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 2 2012 弹性纤维复合材料的通用连接:一些新结果。 Zbl 0992.74023号 陈,T。;郑庆生。 2 2000 弹性固体泊松比的新观点。 Zbl 1169.74340号 郑庆生。;陈,T。 2 2001 使用主动约束层阻尼主动控制流体加载圆柱的振动和噪声辐射。 Zbl 1062.74573号 西拉普兰特。;陈,T。;巴兹,A。;西恩·希尔兹。 2 2002 晶圆制造厂作业完成时间预测和内部到期日分配的模糊神经知识系统。 Zbl 1291.93153号 陈,T。 2 2009 时间非均匀马尔可夫链的LTL模型检验。 兹比尔1262.68108 陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 2 2009 关于马尔科夫模型最大熵计算的复杂性。 Zbl 1360.68501号 陈、陶璐;韩婷婷 2 2014 关于优先权的公理化。二、。 Zbl 1216.68181号 卢卡·埃特罗;陈、陶璐;安娜·英格尔夫斯多蒂;巴斯·卢提克;范德波尔(Jaco van de Pol) 2 2011 基于有限字母和无限基数。三: 模拟。 Zbl 1151.68519号 陈、陶璐;Wan Fokkink公司 2 2006 BDD4BNN公司:基于BDD的二值化神经网络定量分析框架。 Zbl 1493.68226号 张业迪;赵哲;陈广科;宋,傅;陈、陶璐 2 2021 各向异性介质中两个椭球体非均匀体的热传导问题及其与复合材料的相关性。 Zbl 0953.74016号 陈,T。;杨,S.-H。 1 1995 一种用于暗区边缘检测的伪top-hat数学形态学方法。 Zbl 0988.68210号 陈,T。;吴庆华。;拉赫曼·托卡曼(Rahmani-Torkaman,R.)。;J.休斯。 1 2002 弱语义的有限基础:失败与不可能的未来。 Zbl 1206.68212号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 1 2009 连续时间马尔可夫链上线性持续时间特性的验证。 Zbl 1353.68174号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 1 2013 用单时钟时间自动机观测连续时间MDP。 Zbl 1348.68127号 陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山德鲁·梅雷阿克 1 2011 基于有限字母和无限基数。二: 完成并准备好模拟。 Zbl 1151.68520号 陈、陶璐;Wan Fokkink公司;苏米特·奈恩 1 2006 连续时间轨道问题在多项式时间内是可判定的。 兹比尔1371.68108 陈、陶璐;于能坤;韩婷婷 1 2015 关于前缀迭代模观测同余的完全公理化。 Zbl 1100.68046号 陈、陶璐;韩婷婷;陆健 1 2006 具有线性组合归纳谓词和集合数据约束的分离逻辑。 Zbl 1444.03114号 高冲;陈、陶璐;吴志林 1 2019 带有归纳定义的分离逻辑的可牵引性:超越列表。 Zbl 1442.03013号 陈、陶璐;宋,傅;吴志林 1 2017 用于计算模糊过渡系统距离的多项式时间算法。 Zbl 1390.68464号 陈、陶璐;韩婷婷;曹永志 1 2018 一种基于计算的加权多斯泰克逻辑。 Zbl 1367.03052号 陈、陶璐;朱塞佩·普里梅罗;佛朗哥·雷蒙迪;内哈·隆塔 1 2016 偿付能力马尔可夫决策过程。 Zbl 1360.91091号 托马斯·布拉兹迪尔;陈、陶璐;Forejt,Vojtěch公司;诺沃顿,皮特;西马提斯,艾斯蒂斯 1 2013 学习具有屏障证书的安全神经网络控制器。 Zbl 1521.93054号 赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 三 2021 BDD4BNN公司:基于BDD的二值化神经网络定量分析框架。 Zbl 1493.68226号 张业迪;赵哲;陈广科;宋,傅;陈、陶璐 2 2021 使用神经网络合成屏障证书。 Zbl 07300866号 赵恒军;曾、夏;陈、陶璐;刘志明 8 2020 具有整数数据类型的字符串操作程序的路径可行性决策过程。 Zbl 1517.68074号 陈、陶璐;马修·黑格;何金龙;胡登航;Anthony Widjaja林;菲利普·吕默;吴志林 三 2020 学习具有屏障证书的安全神经网络控制器。 Zbl 1503.93022号 赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 三 2020 具有线性组合归纳谓词和集合数据约束的分离逻辑。 Zbl 1444.03114号 高冲;陈、陶璐;吴志林 1 2019 重温模糊过渡系统的相互模拟。 Zbl 1451.68195号 吴,衡阳;陈、陶璐;韩婷婷;陈一香 8 2018 用于计算模糊过渡系统距离的多项式时间算法。 Zbl 1390.68464号 陈、陶璐;Han,婷婷;曹永志 1 2018 无限方格的堆积色数在13到15之间。 Zbl 1361.05051号 巴纳比·马丁;佛朗哥·雷蒙迪;陈、陶璐;乔斯·马丁 16 2017 具有树谓词和数据约束的组合分离逻辑的可满足性。 Zbl 1496.03138号 徐兆伟;陈、陶璐;吴志林 5 2017 带有归纳定义的分离逻辑的可牵引性:超越列表。 Zbl 1442.03013号 陈、陶璐;宋,傅;吴志林 1 2017 具有数据约束的线性组合分离逻辑的完整决策过程。 Zbl 1475.68185号 顾新才;陈、陶璐;吴志林 6 2016 一种基于计算的加权多斯泰克逻辑。 Zbl 1367.03052号 陈、陶璐;朱塞佩·普里米埃罗;佛朗哥·雷蒙迪;内哈·隆塔 1 2016 关于不可能的未来的公理化。 Zbl 1448.68335号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 三 2015 连续时间轨道问题在多项式时间内是可判定的。 兹比尔1371.68108 陈、陶璐;于能坤;韩婷婷 1 2015 关于标记马尔可夫链的总变差距离。 Zbl 1395.68202号 陈、陶璐;斯特凡·基弗 12 2014 离散时间马尔可夫链验证中的扰动分析。 兹比尔1417.68100 陈、陶璐;冯、袁;David S.Rosenblum。;苏国欣 5 2014 混合心脏模型上植入式心脏起搏器的定量验证。 Zbl 1311.92100号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 三 2014 关于马尔科夫模型最大熵计算的复杂性。 Zbl 1360.68501号 陈、陶璐;韩婷婷 2 2014 竞争随机系统的自动验证。 Zbl 1291.68252号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 17 2013 关于多目标随机博弈。 Zbl 1400.91040号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;克莱门斯,威尔舍 15 2013 PRISM-games:随机多层游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 10 2013 关于区间值离散时间马尔可夫链模型检验的复杂性。 Zbl 1259.68150号 陈、陶璐;韩婷婷;玛尔塔·奎亚特科夫斯卡 6 2013 连续时间马尔可夫链上线性持续时间特性的验证。 Zbl 1353.68174号 陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 1 2013 偿付能力马尔可夫决策过程。 Zbl 1360.91091号 托马斯·布拉兹迪尔;陈、陶璐;Forejt,Vojtěch公司;诺沃顿,皮特;西马提斯,艾斯蒂斯 1 2013 组件行为的组合规范理论。 Zbl 1352.68149号 陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 11 2012 随机分支过程的模型检验。 Zbl 1365.68320号 陈、陶璐;克劳斯·阿格博士;斯特凡·基弗 7 2012 精确地玩随机游戏。 Zbl 1364.91024号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马蒂斯,艾斯蒂斯;阿舒托什·特里维迪;米歇尔·乌梅尔斯 三 2012 竞争随机系统的自动验证。 Zbl 1352.68150号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 2 2012 根据时间自动机规范对连续时间马尔可夫链进行模型检查。 Zbl 1233.68156号 陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 12 2011 线性实时目标的高效CTMC模型检查。 Zbl 1315.68174号 巴伯,贝诺;陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 10 2011 根据实时规范对CTMC进行有时限的验证。 兹比尔1348.68126 陈、陶璐;马尔科·戴西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 7 2011 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 6 2011 关于优先权的公理化。二、。 Zbl 1216.68181号 卢卡·埃特罗;陈、陶璐;安娜·英格尔夫斯多蒂;巴斯·卢提克;范德波尔(Jaco van de Pol) 2 2011 用单时钟时间自动机观测连续时间MDP。 Zbl 1348.68127号 陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 1 2011 定价概率时间自动机中成本有界可达性的不确定性。 Zbl 1241.68076号 贾斯珀·贝伦德森;陈、陶璐;大卫·詹森(David N.Jansen)。 8 2009 准备预订:弱流程语义的情况。 兹比尔1191.68434 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 5 2009 概率系统的度量:定义和算法。 Zbl 1186.68250号 陈、陶璐;韩婷婷;陆健 三 2009 晶圆制造厂作业完成时间预测和内部到期日分配的模糊神经知识系统。 兹比尔1291.93153 陈,T。 2 2009 时间非均匀马尔可夫链的LTL模型检验。 Zbl 1262.68108号 陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 2 2009 弱语义的有限基础:失败与不可能的未来。 Zbl 1206.68212号 陈、陶璐;Wan Fokkink公司;罗布·范格拉贝克 1 2009 垫片和其他分形的振动模式。 Zbl 1181.28007号 北卡罗来纳州巴约林。;陈,T。;达根,A。;埃蒙斯,C。;侯赛因,M。;M·哈利勒。;莫迪,P。;斯坦赫斯特,B。;A.特普利亚耶夫。 40 2008 有限分枝场的振动谱,对称分形。 Zbl 1160.28302号 北卡罗来纳州巴约林。;陈,T。;达根,A。;埃蒙斯,C。;侯赛因,M。;M·哈利勒。;莫迪,P。;斯坦赫斯特,B。;A.特普利亚耶夫。 24 2008 基于有限字母和无限基数。 Zbl 1146.68047号 陈、陶璐;Wan Fokkink公司;巴斯·卢提克;苏米特·奈恩 9 2008 关于优先权的公理化。 Zbl 1141.68042号 卢卡·埃特罗;陈、陶璐;Wan Fokkink公司;安娜·英格尔夫斯多蒂 6 2008 使用参数化布尔方程系统对无限系统进行等价性检查。 Zbl 1151.68521号 陈、陶璐;贝斯·普洛格;范德波尔(Jaco van de Pol);Tim A.C.Willemse。 9 2007 关于优先权的公理化。 Zbl 1134.68038号 卢卡·埃特罗;陈、陶璐;Wan Fokkink公司;安娜·英格尔斯多蒂尔 5 2006 基于有限字母和无限基数。三: 模拟。 Zbl 1151.68519号 陈、陶璐;Wan Fokkink公司 2 2006 基于有限字母和无限基数。II: 完成并准备好模拟。 Zbl 1151.68520号 陈、陶璐;Wan Fokkink公司;苏米特·奈恩 1 2006 关于前缀迭代模观测同余的完全公理化。 Zbl 1100.68046号 陈、陶璐;韩婷婷;陆健 1 2006 均质椭圆轴在扭转下可能不会弯曲。 Zbl 1063.74065号 陈,T。 4 2004 锥形周期结构中纵波传播的控制。 Zbl 1094.74659号 Tongele,T.N。;陈,T。 三 2004 二维位势问题的耦合有限元和无网格局部Petrov–Galerkin方法。 Zbl 1037.65115号 陈,T。;印度拉朱。 17 2003 使用主动约束层阻尼主动控制流体加载圆柱的振动和噪声辐射。 Zbl 1062.74573号 拉普兰特,W。;陈,T。;A.巴兹。;西恩·希尔兹。 2 2002 一种用于暗区边缘检测的伪top-hat数学形态学方法。 Zbl 0988.68210号 陈,T。;吴庆华。;拉赫曼·托卡曼(Rahmani-Torkaman,R.)。;J.休斯。 1 2002 具有不完美界面的圆形复合杆的扭转。 Zbl 1110.74375号 陈,T。;翁,I.S。 三 2001 弹性固体泊松比的新观点。 Zbl 1169.74340号 郑庆生。;陈,T。 2 2001 弹性纤维复合材料的通用连接:一些新结果。 Zbl 0992.74023号 陈,T。;郑庆生。 2 2000 安排单台机器的维护。 Zbl 1054.90550号 Qi,X。;陈,T。;图,F。 40 1999 电磁热弹性固体的广义平面变形。一: 对应和不变性变换。 Zbl 0971.74035号 Zheng,Q.-S。;陈,T。 三 1999 含任意形状孔洞或刚性夹杂物的介质在反平面机械电场和平面内电场作用下的电弹性场和有效模量。 Zbl 0886.73055号 陈,T。;南卡罗来纳州蒋市。 三 1997 三维各向异性压电固体的边界积分公式。 Zbl 0826.73066号 陈,T。;林,F.Z。 17 1995 各向异性介质中两个椭球体非均匀体的热传导问题及其与复合材料的相关性。 Zbl 0953.74016号 陈,T。;杨,S.-H。 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名388位作者引用 14 Marta Z.Kwiatkowska。 12 卢卡·埃特罗 12 陈、陶璐 12 Anna Ingólfsdóttir 9 Joost-Pieter卡托恩 8 格钦·诺曼 7 博什特詹·布雷萨尔 7 金·古德斯特兰·拉森 7 Tim A.C.Willemse。 6 卢卡·博托卢西 6 雅斯米娜·费姆 6 塞巴斯蒂安·荣格斯 6 杰拉尔德·吕特根 6 巴斯·卢提克 5 瓦伦蒂娜·卡斯蒂格利奥尼 5 戴维·德·弗鲁托斯·埃斯克里格 5 威廉·扬·福克金 5 卡洛斯·格雷戈里奥·罗德里格斯 5 简·Křetínsk 5 阮林安 4 乔瓦尼·巴奇 4 芬德里奇,萨沙 4 桑迪·克拉夫扎尔 4 杰里米·斯普洛斯顿 4 沃尔特·福格勒 4 马克西米利安·威宁格 三 亚历山德罗·阿巴特 三 埃利·阿纳斯塔西亚迪 三 乔治·巴奇 三 帕特里夏·鲍耶 三 托马斯·布里海耶 三 德米特里五世·奇斯蒂科夫。 三 库沙·埃特萨米 三 Forejt,Vojtěch公司 三 恩斯特·莫里茨·哈恩 三 卢卡什·霍利克 三 斯特凡·基弗 三 恩格尔·勒福丘 三 拉杜·马达尔 三 安德烈·穆拉夫斯基。 三 西蒙娜·奥尔赞 三 马蒂亚斯·拉加德·佩德森 三 乘务长,大卫 三 蒂姆·夸特曼 三 米凯尔·兰多尔 三 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 三 亚历山大·斯利文斯基 三 阿利斯泰尔·斯图尔特 三 阿舒托什·特里维迪 三 安德烈亚·图里尼 三 威格·威瑟林克 三 米哈利斯·亚纳卡基斯 三 张丽君 三 朱平 2 丹尼尔·艾哈迈德 2 克里斯特尔·拜尔 2 尼古拉斯·巴塞特 2 Nathalie Bertrand 2 费伦茨·巴伊托 2 曹永志 2 克里希南德·查特吉 2 陈欣 2 陈玉芳 2 穆纳乔·埃切宁 2 尼古拉斯·加斯蒂诺 2 吉勒·杰勒茨 2 阿克塞尔·哈达德 2 谢尔盖·哈达德 2 霍尔格·赫尔曼斯 2 简·希尔斯顿 2 Přemysl霍卢布 2 沃伊切赫·贾姆罗加 2 大卫·詹森(David N.Jansen)。 2 本特·琼森 2 阿列克桑德拉·乔瓦诺维奇。 2 直纪小林 2 Korže,达尼洛 2 Le,Quang Loc公司 2 Legay、Axel 2 Ondřej Lengál 2 李宣东 2 林,王 2 刘军 2 刘志明 2 安德斯·马里加德 2 孟一鸣 2 本杰明·蒙梅吉 2 劳拉·内兹 2 弗莱明·尼尔森 2 尼古拉斯·佩尔蒂埃 2 吉列尔莫·A·佩雷斯。 2 安德烈亚·佩鲁福 2 贝斯·普洛格 2 阿尔班·蓬塞 2 朱塞佩·普里米埃罗 2 Przybyłko,马钦 2 乔,沙 2 道格拉斯·拉尔。 2 伊曼纽尔·拉姆尼安图 2 吉多·桑吉内蒂 …还有288位作者 全部的 前5名37篇连载文章中引用 16 理论计算机科学 15 信息与计算 8 计算机科学中的逻辑方法 7 系统设计中的形式化方法 6 离散应用数学 6 国际近似推理杂志 5 信息学报 5 程序设计中的逻辑和代数方法杂志 4 信息处理信件 三 自动推理杂志 三 Aequationes数学 三 讨论数学。图论 2 人工智能 2 模糊集与系统 2 计算的形式方面 2 应用非经典逻辑杂志 2 机器学习研究杂志(JMLR) 2 ACM计算逻辑事务 2 非线性分析。混合动力系统 1 澳大利亚数学学会公报 1 离散数学 1 富兰克林学院学报 1 Automatica公司 1 计算机与系统科学杂志 1 Studia Logica公司 1 系统和控制信件 1 纯逻辑与应用逻辑年鉴 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 逻辑、语言与信息杂志 1 菲洛马 1 工程中的数学问题 1 欧洲控制杂志 1 计算系统理论 1 非线性科学与数值模拟中的通信 1 计算机基础理论 1 逻辑与代数程序设计杂志 全部的 前5名在14个字段中引用 167 计算机科学(68至XX) 38 数学逻辑和基础(03-XX) 23 概率论与随机过程(60-XX) 23 博弈论、经济学、金融和其他社会和行为科学(91-XX) 18 系统论;控制(93至XX) 16 组合数学(05-XX) 10 运筹学、数学规划(90-XX) 三 生物学和其他自然科学(92-XX) 1 有序,格,有序代数结构(06-XX) 1 常微分方程(34-XX) 1 算子理论(47-XX) 1 几何图形(51至XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文