编辑配置文件（在新选项卡中打开） 大卫·F·帕克。 合著者距离 作者ID： 公园.david-f 发布日期： D.F.帕克。；大卫·F·帕克。 已编制索引的文档： 124出版物自1965年以来，包括3本书和1个附加arXiv预打印 7作为编辑的贡献·1进一步贡献 合著者： 44位合著者具有32联合出版物 789合著作者 全部的 前5名合著者 32 单作者的 41 Kwiatkowska，Marta Z。 35 格钦·诺曼 7 Forejt，Vojtěch公司 4 陈韬略 4 曲洪阳 4 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 4 西马提斯，艾斯蒂斯 三 英国，亚瑟·亨利 三 福克纳，T.R。 三 Mark Kattenbelt公司 三 安东尼·詹姆斯·梅里尔·斯宾塞 三 杰里米·斯普鲁斯顿 2 亚历山德罗·阿巴特 2 克里斯特尔·拜尔 2 D.S.贝里。 2 阿明·比尔 2 E.A.大卫。 2 克劳斯·阿格博士 2 威廉·安东尼·格林 2 霍尔顿，J.T。 2 约翰·亨特。 2 Joost-Pieter卡托恩 2 安德烈亚斯·梅耶（Andreas P.Mayer）。 2 大卫·A·J·米德尔顿。 2 拉达，Ch。 2 Tryfan G.罗杰斯。 2 乔纳森·罗伊（Jonathan E.Rowe）。 2 大二，基督城 2 马特乌斯·乌玛 2 邹学毅 1 艾哈迈德·阿杰利 1 阿尔，朱塞佩 1 安德烈亚杜（A.Andreadou）。 1 I.J.阿伦德。 1 巴奇（Edoardo Bacci） 1 Badings，Thom S。 1 卡尔·M·本德。 1 伯恩·伯特森（Bjorn K.Berntson）。 1 劳埃德·P·布伦曼。 1 塞尔吉·博戈莫洛夫 1 托马斯·布拉兹迪尔 1 约翰·G·B·拜厄特·史密斯。 1 罗伯特·斯蒂芬·坎特雷尔 1 克里希南德·查特吉 1 康斯坦蒂诺斯·查齐科科拉基斯 1 陈冠宏 1 程长军 1 马丁·奇梅利克 1 Frank Ciesinski先生 1 卢卡·德·阿尔法罗 1 克里斯蒂安·德内特 1 彼得·迪特里克 1 阿拉斯泰尔·唐纳森。 1 段伟 1 赫尔曼·J·埃伯尔。 1 亚历山大·伊万杰里迪斯 1 玛格丽达·法昂 1 冯、鲁 1 罗伯特·芬内尔。 1 阿利斯泰尔·费特。 1 马库斯·格勒 1 拉杰什·库马尔·古普塔 1 韩婷婷 1 约翰·R·希思。 1 霍尔格·赫尔曼斯 1 詹森，尼尔斯 1 芭芭拉·乔布斯曼 1 尼山丹卡姆莱森 1 Kanagarajah，A。 1 约阿希姆·克莱因 1 简·Křetínsk 1 维克多·克里洛夫（Victor V.Krylov）。 1 郭怡约 1 安德鲁·莱西（Andrew A.Lacey）。 1 琳达·卢施纳 1 纳塔莱·曼加纳罗 1 阿列克谢·马拉杜丁。 1 杰拉德·A·莫金。 1 拉希德·迈赫穆德 1 穆春燕 1 G.K.纽博特。 1 帕南加登，普拉卡什 1 彭伟东 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 詹姆斯·雷内克（James A.Reneke）。 1 利西奥·罗芒 1 简·J·M·M·鲁顿。 1 莱德，E。 1 Sammon，P.J。 1 罗伯特·塞加拉 1 布莱恩·西摩。 1 谢里夫，M.H.B.M。 1 Shukla、Sandeep Kumar 1 马库斯·西格尔 1 沃伦·史密斯。 1 玛丽·斯托琳加 1 F.M.塔尔博特。 1 爱德华·托伊。 1 奥克萨纳Tymchyshyn 1 弗兰克·范·布鲁格尔 …和另外13位合著者 全部的 前5名系列 5 国际工程科学杂志 5 系统设计中的形式化方法 5 计算机科学课堂讲稿 三 IMA应用数学杂志 三 工程数学杂志 三 力学与应用数学季刊 三 波浪运动 三 理论计算机科学 三 计算的形式方面 三 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 流体力学杂志 2 固体力学与物理杂志 2 弹性力学杂志 2 物理杂志A：数学与普通 1 信息学报 1 机械学报 1 力学档案 1 理性力学和分析档案 1 国际非线性力学杂志 1 国际固体与结构杂志 1 国际系统科学杂志 1 应用力学杂志 1 数学研究所学报及其应用 1 数学物理杂志 1 流体物理学 1 流变学学报 1 ZAMP公司。Zeitschrift für angewandte数学与物理 1 佩洛里塔纳学院（Atti della Accademia Peloritana dei Pericolanti）。自然科学类 1 自动化 1 数学科学家 1 应用数学季刊 1 应用数学研究 1 物理D 1 经济学杂志 1 信息与计算 1 经济动力学与控制杂志 1 欧洲应用数学杂志 1 实时系统 1 伦敦皇家学会会刊。系列A.数学和物理科学 1 SIAM应用数学杂志 1 人工智能研究杂志 1 工程中的数学问题 1 理论医学杂志 1 逻辑与代数程序设计杂志 1 离散和连续动力系统。B系列 1 CRM专题系列 1 固体力学及其应用 1 关于波现象的斯普林格级数 1 计算机科学中的逻辑方法 1 斯普林格本科生数学系列 全部的 前5名领域 57 计算机科学（68至XX） 41 可变形固体力学（74-XX） 22 偏微分方程（35-XX） 16 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 流体力学（76-XX） 10 光学、电磁理论（78-XX） 9 总体主题；集合（00-XX） 7 概率论与随机过程（60-XX） 6 数值分析（65-XX） 6 系统论；控制（93至XX） 5 运筹学、数学规划（90-XX） 4 数理逻辑与基础（03-XX） 4 生物学和其他自然科学（92-XX） 三 常微分方程（34-XX） 三 动力系统和遍历理论（37至XX） 三 统计学（62-XX） 2 积分变换，运算微积分（44-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实际功能（26年X月X日） 1 复变量的函数（30年XX月） 1 欧氏空间的调和分析（42-XX） 1 积分方程（45-XX） 1 变分法与最优控制；最优化（49至XX） 1 经典热力学，传热（80-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 99出版物有被引用373中的次286文件 引用人▼ 年份▼ 概率符号模型检查器。 Zbl 1047.68533号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 66 2002 生物膜发育的一种新的确定性时空连续模型。 Zbl 0985.92009号 赫尔曼·J·埃伯尔。；大卫·F·帕克。；范·卢斯德雷希特（Mark C.M.van Loosdrecht）。 66 2001 随机模型检查。 Zbl 1323.68379号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 48 2007 耦合非线性薛定谔方程的一般周期解。 Zbl 1074.35579号 A.V.波鲁波夫。；D.F.帕克。 46 1999 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 41 2011 使用数字时钟的概率时间自动机性能分析。 Zbl 1105.68063号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；杰里米·斯普鲁斯顿 32 2006 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 27 2010 复杂生物路径的概率模型检查。 Zbl 1133.68043号 约翰·希思；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；奥克萨纳Tymchyshyn 27 2008 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔；克里希南德·查特吉；马丁·奇梅利克；Forejt，Vojtěch公司；简·Křetínsk；玛尔塔·奎亚特科夫斯卡；大卫·帕克；马特乌斯·乌玛 26 2014 永久模板非线性弹性表面波的分析与计算。 Zbl 0587.73032号 D.F.帕克。；F.M.塔尔博特。 23 1985 非线性表面声波的波形演变。 Zbl 0627.73022号 D.F.帕克。 20 1988 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 概率模型检查的对称约简。 Zbl 1188.68194号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 18 2006 竞争随机系统的自动验证。 Zbl 1291.68252号 陈韬略；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 17 2013 概率时间自动机的模型检验。 Zbl 1291.68265号 格钦·诺曼；大卫·帕克；杰里米·斯普鲁斯顿 17 2013 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；罗伯特·塞加拉 17 2000 尺度变分波的哈密顿方程。 Zbl 1152.37337号 阿尔？，G。；亨特，J.K。；D.F.帕克。 17 2002 具有一般时间依赖性的全向瑞利波、斯通利波和Schölte波。 Zbl 1196.35209号 基塞列夫，A.P。；D.F.帕克。 16 2010 概率时间自动机验证的随机博弈。 Zbl 1262.68125号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 16 2009 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 15 2010 圣维南解在杆和梁理论中的作用。 兹伯利0418.73044 D.F.帕克。 13 1979 声表面波的最新发展。1987年9月2日至5日在英国诺丁汉大学举行的第226届欧洲力学研讨会论文集。 兹比尔0713.73027 13 1988 用于概率模型检查的Pareto曲线。 兹比尔1374.68285 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克 12 2012 具有广义横向相关性的瑞利波。 Zbl 1156.74338号 D.F.帕克。；基塞列夫，A.P。 12 2009 PRISM概率符号模型检验：一种混合方法。 Zbl 1043.68576号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 12 2002 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 11 2012 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 11 2009 更快、符号化的CTMC模型检查。 Zbl 1007.68517号 Joost-Pieter卡托恩；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 11 2001 确保模型检查器的可靠性：马尔可夫决策过程的区间迭代。 Zbl 1494.68159号 克里斯特尔·拜尔；约阿希姆·克莱因；琳达·卢施纳；大卫·帕克；萨沙·旺德利希 11 2017 单调阶跃光纤研究中产生的耦合非线性薛定谔方程。 Zbl 0695.35154号 G.K.纽博特。；D.F.帕克。；福克纳，T.R。 10 1989 PRISM-games：随机多层游戏的模型检查器。 Zbl 1381.68151号 陈韬略；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 10 2013 振荡非线性信号的渐近理论。 Zbl 0216.12104号 D.F.帕克。 9 1971 部分可观测概率系统的验证和控制。 Zbl 1425.68266号 格钦·诺曼；大卫·帕克；邹学毅 8 2017 概率系统的自动验证和策略综合。 Zbl 1410.68233号 玛尔塔·奎亚特科夫斯卡；大卫·帕克 8 2013 弹性杆大挠度和大转动的渐近分析。 Zbl 0421.73053号 D.F.帕克。 8 1979 非均匀颗粒材料中的有限振幅一维脉冲。 Zbl 0423.73088号 D.F.帕克。；B.R.西摩。 8 1980 Burgers方程锯齿解的衰减。 Zbl 0427.35062号 D.F.帕克。 7 1980 理想的流体射流冲击不均匀的墙壁。 Zbl 0894.76008号 彭伟东；大卫·F·帕克。 7 1997 同步概率系统基于学习的组合验证。 Zbl 1348.68135号 冯、鲁；韩婷婷；玛尔塔·奎亚特科夫斯卡；大卫·帕克 7 2011 基于SMT的马尔可夫模型的互模拟最小化。 Zbl 1426.68168号 克里斯蒂安·德内特；Joost-Pieter卡托恩；大卫·帕克 7 2013 通过多目标模型检查进行组合概率验证。 Zbl 1277.68138号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 7 2013 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 6 2004 弹性楔波。 Zbl 0779.73012号 D.F.帕克。 6 1992 恶魔调度器的相互模拟。 Zbl 1234.68293号 康斯坦蒂诺斯·查齐科科拉基斯；格钦·诺曼；大卫·帕克 6 2009 快速脉冲通过松弛气体的传播。 Zbl 0238.76021号 D.F.帕克。 6 1972 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈韬略；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 6 2011 从三维弹性推导非线性杆理论。 Zbl 0561.73045号 D.F.帕克。 6 1984 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；马库斯·西格尔 6 2003 将Key原理推广到非线性弹性。 Zbl 0991.74016号 谢里夫，M.H.B.M。；D.F.帕克。 6 2000 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 6 2008 一般剖面弹性表面波的Stroh形式。 兹比尔1371.74152 D.F.帕克。 5 2013 声学和超声学中的非线性、弛豫和扩散。 Zbl 0183.55101号 D.F.帕克。 5 1969 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；马特乌斯·乌玛 5 2015 使用概率模型检查进行动态电源管理。 Zbl 1080.68601号 格钦·诺曼；大卫·帕克；玛尔塔·奎亚特科夫斯卡；桑迪普·舒克拉；拉杰什·古普塔 5 2005 非线性声表面波的投影方法。 Zbl 0764.73025号 D.F.帕克。；梅耶，A.P。；A.Maradudin。 4 1992 非线性弹性力学中的一些精确动力学解。 Zbl 0772.73016号 安德烈亚杜（A.Andreadou）。；D.F.帕克。；A.J.M.斯宾塞。 4 1993 变效率耦合非线性薛定谔方程的相似约简。 Zbl 0797.35149号 北卡罗来纳州芒加纳罗。；D.F.帕克。 4 1993 公私企业在主动和被动所有权、竞争和垄断条件下的表现。 Zbl 1206.91060号 约翰·威尔纳；大卫·帕克 4 2007 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 4 2014 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；杰里米·斯普鲁斯顿 4 2004 非线性压电表面波。 Zbl 0697.76090号 D.F.帕克。；E.A.大卫。 4 1989 亚屈曲轴对称压力分布下浅盖的有限极性凹陷。 Zbl 0535.73034号 大卫·F·帕克。；Wan，Frederic Y.M。 4 1984 功能梯度材料和层压板的波浪和静力学。 Zbl 1213.74169号 D.F.帕克。 三 2009 非线性表面声波和分层介质上的波。 Zbl 0806.73019号 D.F.帕克。 三 1994 楔形声波中的谐波产生和参数混合。 Zbl 0756.73024号 克里洛夫，V.V。；D.F.帕克。 三 1992 轴向非均匀光纤的耦合演化方程。 Zbl 0773.65087号 莱德，E。；D.F.帕克。 三 1992 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；玛丽亚·格拉齐亚·维格利奥蒂 三 2009 大型概率系统的符号表示和分析。 兹比尔1203.68117 安德鲁·米纳；大卫·帕克 三 2004 弹性膜和弦中有限振幅偏转和拉伸波的相互作用。 Zbl 0187.47604号 D.F.帕克。；瓦利，E。 三 1968 概率报酬模型的约简准则。 Zbl 1177.68150号 马库斯·格勒；格钦·诺曼；克里斯特尔·拜尔；Frank Ciesinski先生；玛尔塔·奎亚特科夫斯卡；大卫·帕克 三 2006 任意剖面和方向的渐逝Schölte波。 Zbl 1377.76013号 D.F.帕克。 三 2012 部分可观测概率实时系统的验证和控制。 兹比尔1465.68182 格钦·诺曼；大卫·帕克；邹学毅 三 2015 局部简单的非稳定变形。 Zbl 0354.73012号 D.F.帕克。 三 1977 极正交各向异性环形板的弹性失稳。 Zbl 0674.73038号 程长军；段伟；D.F.帕克。 三 1989 瑞利波的非线性色散。 Zbl 0602.76021号 D.F.帕克。 三 1985 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡；拉希德·迈赫穆德；格钦·诺曼；大卫·帕克 三 2002 长拉伸弹性弦中的相互作用波。 Zbl 0217.23805号 D.F.帕克。 2 1970 轴对称波导的耦合三次薛定谔方程。 Zbl 0923.35168号 D.F.帕克。 2 1989 光学级联的显式孤立解和周期解。 Zbl 0933.35179号 D.F.帕克。；特索伊，E.N。 2 1999 尺度不变的弹性表面波。 Zbl 0945.74036号 D.F.帕克。；亨特，J.K。 2 1998 竞争随机系统的自动验证。 Zbl 1352.68150号 陈韬略；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 2 2012 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 2 2020 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 2 2021 并发随机游戏的自动验证。 Zbl 1514.68138号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 2 2018 安全深度强化学习的概率保证。 Zbl 07317100号 巴奇（Edoardo Bacci）；大卫·帕克 2 2020 近不可压缩弹性材料中球形空腔的有限振幅振动。 Zbl 0397.73019号 D.F.帕克。 1 1978 用时间和概率验证软件的框架。 Zbl 1290.68035号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 1 2010 经济和金融模型随机演算的另一种方法。 Zbl 0900.90032号 布伦曼，L.P。；坎特雷尔，R.S。；芬内尔，R.E。；D.F.帕克。；雷内克，J.A。 1 1995 双峰波导中的脉冲碰撞。 兹比尔0875.78002 D.F.帕克。；Sophocleous，C。 1 1993 高阶浅水方程和Camassa-Holm方程。 Zbl 1189.35286号 大卫·F·帕克。 1 2007 弦中有限振幅波的累积相互作用。 Zbl 0236.73045号 D.F.帕克。 1 1970 概率系统的有限域互模拟最小化。 Zbl 1354.68197号 尼山丹卡姆莱森；大卫·帕克；乔纳森·罗伊（Jonathan E.Rowe）。 1 2016 工程数学。第1卷。 Zbl 0343.00002号 A.J.M.斯宾塞。；D.F.帕克。；D.S.贝里。；英格兰，A.H。；福克纳，T.R。；格林，W.A。；霍尔顿，J.T。；D.米德尔顿。；罗杰斯，T.G。 1 1977 紧密和松散耦合结构中的卫生保健供应网络：使用基于代理的建模进行探索。 Zbl 1292.93011号 Kanagarajah，A。；D.帕克。；徐，H。 1 2010 一种用于解决偏好关系评估问题的多属性群决策方法。 Zbl 1394.91102号 杨，塔霍；郭怡约；大卫·帕克；陈光雄 1 2015 塑性流动的一些广义相似解。 Zbl 0698.73019号 D.F.帕克。 1 1990 增强弹性管的充气、弯曲和扭转。 Zbl 0558.73062号 I.J.阿伦德。；D.F.帕克。 1 1985 光学级联的一些一般周期解。 Zbl 1021.35124号 A.V.波鲁波夫。；D.F.帕克。 1 2002 标记Petri网中的故障诊断：基于Fourier-Motzkin的方法。 Zbl 1478.93376号 艾哈迈德·阿杰利；大卫·帕克 1 2021 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 2 2021 标记Petri网中的故障诊断：基于Fourier-Motzkin的方法。 Zbl 1478.93376号 艾哈迈德·阿杰利；大卫·帕克 1 2021 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 2 2020 安全深度强化学习的概率保证。 Zbl 07317100号 爱德华多·巴奇；大卫·帕克 2 2020 并发随机游戏的自动验证。 Zbl 1514.68138号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 2 2018 确保模型检查器的可靠性：马尔可夫决策过程的区间迭代。 Zbl 1494.68159号 克里斯特尔·拜尔；约阿希姆·克莱因；琳达·卢施纳；大卫·帕克；萨沙·旺德利希 11 2017 部分可观测概率系统的验证和控制。 Zbl 1425.68266号 格钦·诺曼；大卫·帕克；邹学毅 8 2017 概率系统的有限时域互模拟最小化。 Zbl 1354.68197号 尼山丹卡姆莱森；大卫·帕克；乔纳森·罗伊（Jonathan E.Rowe）。 1 2016 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；马特乌斯·乌玛 5 2015 部分可观测概率实时系统的验证和控制。 兹比尔1465.68182 格钦·诺曼；大卫·帕克；邹学毅 三 2015 一种用于解决偏好关系评估问题的多属性群决策方法。 Zbl 1394.91102号 杨，塔霍；郭怡约；大卫·帕克；陈光雄 1 2015 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔；克里希南德·查特吉；马丁·奇梅利克；Forejt，Vojtěch公司；简·Křetínsk；玛尔塔·奎亚特科夫斯卡；大卫·帕克；马特乌斯·乌玛 26 2014 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 4 2014 竞争随机系统的自动验证。 Zbl 1291.68252号 陈韬略；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 17 2013 概率时间自动机的模型检验。 Zbl 1291.68265号 格钦·诺曼；大卫·帕克；杰里米·斯普鲁斯顿 17 2013 PRISM-games：随机多层游戏的模型检查器。 Zbl 1381.68151号 陈韬略；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 10 2013 概率系统的自动验证和策略综合。 Zbl 1410.68233号 玛尔塔·奎亚特科夫斯卡；大卫·帕克 8 2013 基于SMT的马尔可夫模型的互模拟最小化。 Zbl 1426.68168号 克里斯蒂安·德内特；Joost-Pieter卡托恩；大卫·帕克 7 2013 通过多目标模型检查进行组合概率验证。 Zbl 1277.68138号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 7 2013 一般剖面弹性表面波的Stroh公式。 Zbl 1371.74152号 D.F.帕克。 5 2013 概率模型检查的Pareto曲线。 Zbl 1374.68285号 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克 12 2012 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 11 2012 任意剖面和方向的渐逝Schölte波。 Zbl 1377.76013号 D.F.帕克。 三 2012 竞争随机系统的自动验证。 Zbl 1352.68150号 陈韬略；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 2 2012 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 41 2011 同步概率系统基于学习的组合验证。 Zbl 1348.68135号 冯、鲁；韩婷婷；玛尔塔·奎亚特科夫斯卡；大卫·帕克 7 2011 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈韬略；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 6 2011 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 27 2010 具有一般时间依赖性的全向瑞利波、斯通利波和Schölte波。 Zbl 1196.35209号 基塞列夫，A.P。；D.F.帕克。 16 2010 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 15 2010 用时间和概率验证软件的框架。 Zbl 1290.68035号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 1 2010 紧密和松散耦合结构中的卫生保健供应网络：使用基于代理的建模进行探索。 Zbl 1292.93011号 Kanagarajah，A。；D.帕克。；徐，H。 1 2010 概率时间自动机验证的随机博弈。 Zbl 1262.68125号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 16 2009 具有广义横向相关性的瑞利波。 Zbl 1156.74338号 D.F.帕克。；基塞列夫，A.P。 12 2009 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 11 2009 恶魔调度器的双重刺激。 兹比尔12346.8293 康斯坦蒂诺斯·查齐科科拉基斯；格钦·诺曼；大卫·帕克 6 2009 功能梯度材料和层压板的波浪和静力学。 Zbl 1213.74169号 D.F.帕克。 三 2009 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；玛丽亚·格拉齐亚·维格利奥蒂 三 2009 复杂生物路径的概率模型检查。 Zbl 1133.68043号 约翰·希思；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；奥克萨纳Tymchyshyn 27 2008 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 6 2008 随机模型检查。 Zbl 1323.68379号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 48 2007 公私企业在主动和被动所有权、竞争和垄断条件下的表现。 Zbl 1206.91060号 约翰·威尔纳；大卫·帕克 4 2007 高阶浅水方程和Camassa-Holm方程。 Zbl 1189.35286号 大卫·F·帕克。 1 2007 使用数字时钟的概率时间自动机性能分析。 Zbl 1105.68063号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；杰里米·斯普鲁斯顿 32 2006 概率模型检查的对称约简。 Zbl 1188.68194号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 18 2006 概率报酬模型的约简准则。 Zbl 1177.68150号 马库斯·格勒；格钦·诺曼；克里斯特尔·拜尔；Frank Ciesinski先生；玛尔塔·奎亚特科夫斯卡；大卫·帕克 三 2006 使用概率模型检查进行动态电源管理。 Zbl 1080.68601号 格钦·诺曼；大卫·帕克；玛尔塔·奎亚特科夫斯卡；桑迪普·舒克拉；拉杰什·古普塔 5 2005 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 6 2004 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；杰里米·斯普鲁斯顿 4 2004 大型概率系统的符号表示和分析。 Zbl 1203.68117号 安德鲁·米纳；大卫·帕克 三 2004 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；马库斯·西格尔 6 2003 概率符号模型检查器。 Zbl 1047.68533号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 66 2002 尺度变分波的哈密顿方程。 Zbl 1152.37337号 阿尔？，G。；亨特，J.K。；D.F.帕克。 17 2002 PRISM概率符号模型检验：一种混合方法。 Zbl 1043.68576号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 12 2002 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡；拉希德·迈赫穆德；格钦·诺曼；大卫·帕克 三 2002 光学级联的一些一般周期解。 Zbl 1021.35124号 A.V.波鲁波夫。；D.F.帕克。 1 2002 生物膜发育的一种新的确定性时空连续模型。 Zbl 0985.92009号 赫尔曼·J·埃伯尔。；大卫·F·帕克。；范·卢斯德雷希特（Mark C.M.van Loosdrecht）。 66 2001 更快、符号化的CTMC模型检查。 Zbl 1007.68517号 Joost-Pieter卡托恩；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 11 2001 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；罗伯特·塞加拉 17 2000 将Key原理推广到非线性弹性。 Zbl 0991.74016号 谢里夫，M.H.B.M。；D.F.帕克。 6 2000 耦合非线性薛定谔方程的一般周期解。 Zbl 1074.35579号 A.V.波鲁波夫。；D.F.帕克。 46 1999 光学级联的显式孤立解和周期解。 Zbl 0933.35179号 D.F.帕克。；特索伊，E.N。 2 1999 尺度不变的弹性表面波。 兹比尔0945.74036 D.F.帕克。；亨特，J.K。 2 1998 一种理想的流体射流撞击在不平整的墙壁上。 Zbl 0894.76008号 彭伟东；大卫·F·帕克。 7 1997 经济和金融模型随机演算的另一种方法。 Zbl 0900.90032号 布伦曼，L.P。；坎特雷尔，R.S。；芬内尔，R.E。；D.F.帕克。；雷内克，J.A。 1 1995 非线性表面声波和分层介质上的波。 Zbl 0806.73019号 D.F.帕克。 三 1994 非线性弹性力学中的一些精确动力学解。 Zbl 0772.73016号 安德烈亚杜（A.Andreadou）。；D.F.帕克。；A.J.M.斯宾塞。 4 1993 变效率耦合非线性薛定谔方程的相似约简。 Zbl 0797.35149号 北卡罗来纳州芒加纳罗。；D.F.帕克。 4 1993 双模波导中的脉冲碰撞。 Zbl 0875.78002号 D.F.帕克。；Sophocleous，C。 1 1993 弹性楔波。 Zbl 0779.73012号 D.F.帕克。 6 1992 非线性声表面波的投影方法。 Zbl 0764.73025号 D.F.帕克。；梅耶，A.P。；A.Maradudin。 4 1992 楔形声波中的谐波产生和参数混合。 Zbl 0756.73024号 克里洛夫，V.V。；D.F.帕克。 三 1992 轴向非均匀光纤的耦合演化方程。 Zbl 0773.65087号 莱德，E。；D.F.帕克。 三 1992 塑性流动的一些广义相似解。 Zbl 0698.73019号 D.F.帕克。 1 1990 单调阶跃光纤研究中产生的耦合非线性薛定谔方程。 Zbl 0695.35154号 纽博特，G.K。；D.F.帕克。；福克纳，T.R。 10 1989 非线性压电表面波。 兹伯利0697.76090 D.F.帕克。；大卫，E.A。 4 1989 极正交各向异性环形板的弹性失稳。 Zbl 0674.73038号 程长军；段伟；D.F.帕克。 三 1989 轴对称波导的耦合三次薛定谔方程。 Zbl 0923.35168号 D.F.帕克。 2 1989 非线性表面声波的波形演变。 Zbl 0627.73022号 D.F.帕克。 20 1988 声表面波的最新发展。1987年9月2日至5日在英国诺丁汉大学举行的第226届欧洲力学研讨会论文集。 兹比尔0713.73027 13 1988 永久模板非线性弹性表面波的分析与计算。 Zbl 0587.73032号 D.F.帕克。；F.M.塔尔博特。 23 1985 瑞利波的非线性色散。 Zbl 0602.76021号 D.F.帕克。 三 1985 增强弹性管的充气、弯曲和扭转。 Zbl 0558.73062号 I.J.阿伦德。；D.F.帕克。 1 1985 从三维弹性推导非线性杆理论。 Zbl 0561.73045号 D.F.帕克。 6 1984 亚屈曲轴对称压力分布下浅盖的有限极性凹陷。 Zbl 0535.73034号 大卫·F·帕克。；Wan，Frederic Y.M。 4 1984 非均匀颗粒材料中的有限振幅一维脉冲。 Zbl 0423.73088号 D.F.帕克。；B.R.西摩。 8 1980 Burgers方程锯齿解的衰减。 Zbl 0427.35062号 D.F.帕克。 7 1980 圣维南解在杆和梁理论中的作用。 Zbl 0418.73044号 D.F.帕克。 13 1979 弹性杆大挠度和大转动的渐近分析。 Zbl 0421.73053号 D.F.帕克。 8 1979 近不可压缩弹性材料中球形空腔的有限振幅振动。 Zbl 0397.73019号 D.F.帕克。 1 1978 局部简单的非稳定变形。 Zbl 0354.73012号 D.F.帕克。 三 1977 工程数学。第1卷。 Zbl 0343.00002号 A.J.M.斯宾塞。；D.F.帕克。；D.S.贝里。；英格兰，A.H。；福克纳，T.R。；格林，W.A。；霍尔顿，J.T。；D.米德尔顿。；罗杰斯，T.G。 1 1977 快速脉冲在弛豫气体中的传播。 兹比尔0238.76021 D.F.帕克。 6 1972 振荡非线性信号的渐近理论。 Zbl 0216.12104号 D.F.帕克。 9 1971 长拉伸弹性弦中的相互作用波。 Zbl 0217.23805号 D.F.帕克。 2 1970 弦中有限振幅波的累积相互作用。 Zbl 0236.73045号 D.F.帕克。 1 1970 声学和超声波中的非线性、弛豫和扩散。 Zbl 0183.55101号 D.F.帕克。 5 1969 弹性膜和弦中有限振幅偏转和拉伸波的相互作用。 Zbl 0187.47604号 D.F.帕克。；瓦利，E。 三 1968 所有引用的出版物 前5名被引用出版物 全部的 前5名383位作者引用 17 大卫·F·帕克。 14 赫尔曼·J·埃伯尔。 10 傅、尊涛 10 刘世国 9 刘世达 8 范恩奎 8 Danila A.Prikazchikov。 7 玛丽亚姆·加西米 7 玛丽亚·罗萨里亚·马泰 7 桑纳，斯蒂芬妮 6 Jean-François库隆贝尔 6 达库恩托，贝拉迪诺 6 路易吉·弗伦佐 6 朱利叶斯·卡普洛诺夫。 6 保罗·塞奇 5 Sylvie，Benzoni-Gavage公司 5 豪尔赫·爱德华多（Jorge Eduardo Macías-Díaz） 5 赵强 4 傅宜宾 4 A.P.哈维。 4 Yiu-Chung先生 4 约翰·亨特。 4 文森佐·隆戈 4 杰拉德·A·莫金。 4 谢里夫，M.H.B.M。 三 程长军 三 梅苏德·埃芬迪耶夫 三 埃尔巴什、巴里什 三 耿祥国 三 艾萨克·克拉珀 三 安德烈亚斯·梅耶（Andreas P.Mayer）。 三 马修·麦卡锡。 三 奥努尔·萨欣 三 夏尔马，维希努·达特 三 西瓦巴勒·西瓦洛加纳桑 三 兰加拉扬苏达尔桑 三 梅夫鲁特·特伊穆尔 三 Tupholme，G.E。 三 杨，肖 2 艾哈迈德·S·雷兹 2 塞姆拉·艾哈迈特兰 2 桑吉瓦·巴拉苏里亚 2 本杰明·詹姆斯·宾德 2 弗雷德里克·布鲁姆 2 彼得·克拉克森（Peter A.Clarkson）。 2 E.A.大卫。 2 阿里·德米尔西 2 萨尔德特·埃尔贝 2 詹妮弗·加德纳。 2 玛丽亚·戈基利 2 J.Edward F.格林。 2 内拉姆·古普塔 2 何国良 2 克里斯托夫·赫尔默 2 维克托·希辛克·穆勒 2 雅克·休罗 2 弗拉基米尔·吉拉内克 2 安斯加·Jüngel 2 Nobuyuki Kenmochi 2 阿列克谢·基塞列夫（Aleksei P.Kiselev）。 2 尼古拉·科斯托夫。 2 克里斯蒂娜·库特勒 2 李明 2 刘官廷 2 刘桂荣 2 何塞·梅罗迪奥 2 亚历山德罗·莫兰多 2 Nath，S.K.Deb 2 马雷克·尼兹戈德卡 2 Panayotaros、Panayotis 2 阿列克西五世（Aleksey V.Pichugin）。 2 阿蒙托·阿伦库马尔·拉马巴蒂兰 2 格雷厄姆·罗杰森。 2 马西米利亚诺·丹尼尔·罗西尼 2 哈维尔·鲁伊斯·拉米雷斯 2 朱塞佩·萨克曼迪 2 亚历克谢·萨莫金。 2 布莱恩·西摩。 2 理查德·索普·希尔德 2 乔安娜·桑斯特罗姆。 2 芭芭拉·索莫莱 2 Alexander K.Y.Tam。 2 Tek、Ee Lin 2 Theocaris，伯里克利斯S。 2 保拉·特雷贝斯基 2 尼古拉·茨维特科夫 2 王章贵 2 韦伯，Régine 2 迈克尔·温克勒 2 奥蒂斯·克拉伦斯三世（Otis Clarence III Wright） 2 吴丽华 1 阿卜杜勒卡德尔，加斯米 1 穆罕默德·阿卜杜勒卡维。 1 伊马德·阿布·海特 1 马苏德·艾哈迈德 1 阿扎尔·穆罕默德 1 Alhuthali，M.Sh.先生。 1 阿尔，朱塞佩 1 穆罕默德·阿夫萨尔·阿里 1 艾瑞克·阿尔普奎斯特 …还有283位作者 全部的 前5名107篇连载文章中引用 23 波浪运动 17 国际工程科学杂志 12 《物理快报》。A类 11 ZAMP公司。Zeitschrift für angewandte数学与物理 9 混沌、孤子和分形 7 应用数学和力学。（英文版） 6 应用力学与工程中的计算机方法 6 数学生物学通报 6 欧洲应用数学杂志 6 弹性力学杂志 5 工程数学杂志 5 数学物理杂志 5 应用科学中的数学方法 5 应用数学与计算 5 计算与应用数学杂志 5 应用数学建模 5 固体数学与力学 5 理论生物学杂志 4 理性力学和分析档案 4 固体力学与物理杂志 4 应用数学研究 4 物理D 4 应用数值数学 4 伦敦皇家学会会刊。A.数学、物理和工程科学 三 数学分析与应用杂志 三 Ricerche di Matematica公司 三 差分方程与应用杂志 三 伦敦皇家学会会刊。系列A.数学、物理和工程科学 三 非线性科学与数值模拟中的通信 三 数学生物科学与工程 2 国际现代物理杂志B 2 机械学报 2 计算机与数学及其应用 2 计算机物理通信 2 流体力学杂志 2 数学生物学杂志 2 数学生物科学 2 流变学学报 2 Zeitschrift für Angewandte Mathematik und Mechanik（ZAMM） 2 计算力学 2 数学与应用杂志。Neuvième Série 2 离散和连续动力系统 2 工程中的数学问题 2 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 2 欧洲力学杂志。A.固体 2 应用数学杂志 2 双曲微分方程杂志 2 非线性分析。理论、方法和应用 1 现代物理快报B 1 适用分析 1 计算机和流体 1 纯粹数学与应用数学交流 1 流体动力学 1 国际固体与结构杂志 1 计算物理杂志 1 物理报告 1 数学物理报告 1 理论和数学物理 1 几何与物理杂志 1 数学进展 1 演示数学 1 国际工程数值方法杂志 1 数学年刊 1 模拟中的数学和计算机 1 美国数学学会回忆录 1 应用数学季刊 1 SIAM数值分析杂志 1 数学应用学报 1 偏微分方程的数值方法 1 数学和计算机建模 1 渐近分析 1 科学计算杂志 1 应用科学中的数学模型与方法 1 国际计算机数学杂志 1 SIAM数学分析杂志 1 印度科学院院刊。数学科学 1 应用力学档案 1 非线性科学杂志 1 连续介质力学和热力学 1 国际应用力学 1 数学科学杂志（纽约） 1 微分方程与动力系统 1 非线性动力学 1 混乱 1 欧洲力学杂志。B.流体 1 安卡拉大学科学学院通信。Séries A1系列。数学与统计学 1 非线性数学物理杂志 1 非线性分析。真实世界应用程序 1 进化方程杂志 1 离散和连续动力系统。B系列 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 国际计算方法杂志 1 差分方程研究进展 1 国际数值分析与建模杂志 1 澳大利亚数学分析与应用杂志 1 国际骨折杂志 1 边值问题 1 科学与工程中的反问题 1 物理学报A：数学与理论 1 计算物理中的通信 …还有7部连续剧 全部的 前5名26个领域被引用 143 偏微分方程（35-XX） 121 可变形固体力学（74-XX） 54 流体力学（76-XX） 54 生物学和其他自然科学（92-XX） 35 数值分析（65-XX） 27 动力系统和遍历理论（37至XX） 13 光学、电磁理论（78-XX） 10 常微分方程（34-XX） 7 特殊功能（33至XX） 4 积分方程（45-XX） 4 地球物理学（86-XX） 三 概率论与随机过程（60-XX） 2 代数几何（14-XX） 2 差分方程和函数方程（39至XX） 2 计算机科学（68至XX） 2 粒子和系统力学（70-XX） 2 量子理论（81-XX） 1 复变量的函数（30年XX月） 1 近似和展开（41至XX） 1 欧氏空间的调和分析（42-XX） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 经典热力学，传热（80-XX） 1 相对论和引力理论（83至XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文