编辑配置文件（在新选项卡中打开） 大卫·F·帕克。 合著者距离 作者ID： 公园.david-f 发布日期： D.F.帕克。;大卫·F·帕克。 已编制索引的文档： 124出版物自1965年以来，包括3本书和1个附加arXiv预打印 7作为编辑的贡献·1进一步贡献 合著者： 44位合著者具有32联合出版物 788位合作作者 全部的 前5名合著者 32 单作者的 41 Marta Z.Kwiatkowska。 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 乔纳森·罗。 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 罗伯特·芬内尔（Robert E.Fennell）。 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 桑迪普·库马尔·舒克拉 1 马库斯·西格尔 1 沃伦·史密斯。 1 玛丽·斯托琳加 1 F.M.塔尔博特。 1 爱德华·托伊。 1 俄克拉荷马州提姆希欣 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 Automatica公司 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 0985.92009号 赫尔曼·J·埃伯尔。;大卫·F·帕克。;范·卢斯德雷希特（Mark C.M.van Loosdrecht）。 66 2001 PRISM：概率符号模型检查器。 Zbl 1047.68533号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 66 2002 随机模型检查。 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号 约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 27 2008 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·奇梅利克;Forejt，Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 26 2014 永久模板非线性弹性表面波的分析与计算。 Zbl 0587.73032号 D.F.帕克。;F.M.塔尔博特。 23 1985 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 非线性声表面波的波形演化。 Zbl 0627.73022号 D.F.帕克。 20 1988 概率模型检查的对称约简。 Zbl 1188.68194号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 18 2006 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 17 2000 尺度变分波的哈密顿方程。 Zbl 1152.37337号 Alì，G。;亨特，J.K。;D.F.帕克。 17 2002 竞争随机系统的自动验证。 Zbl 1291.68252号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯，艾斯蒂斯 17 2013 概率时间自动机的模型检查。 Zbl 1291.68265号 格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 17 2013 具有一般时间依赖性的全向瑞利波、斯通利波和Schölte波。 Zbl 1196.35209号 基谢列夫，A.P。;D.F.帕克。 16 2010 概率时间自动机验证的随机博弈。 兹比尔1262.68125 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 16 2009 概率系统的假设保证验证。 Zbl 1284.68406号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 15 2010 圣维南解在杆和梁理论中的作用。 Zbl 0418.73044号 D.F.帕克。 13 1979 声表面波的最新发展。1987年9月2日至5日在英国诺丁汉大学举行的第226届欧洲力学研讨会论文集。 Zbl 0713.73027号 13 1988 具有广义横向相关性的瑞利波。 Zbl 1156.74338号 D.F.帕克。;基塞列夫，A.P。 12 2009 PRISM概率符号模型检验：一种混合方法。 Zbl 1043.68576号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 12 2002 概率模型检查的Pareto曲线。 Zbl 1374.68285号 Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 12 2012 更快、符号化的CTMC模型检查。 Zbl 1007.68517号 Joost-Pieter卡托恩;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2001 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 赫尔曼自稳定算法的概率验证。 Zbl 1259.68130号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2012 确保模型检查器的可靠性：马尔可夫决策过程的区间迭代。 兹比尔1494.68159 克里斯特尔·拜尔;约阿希姆·克莱因;琳达·卢施纳;大卫·帕克;萨沙·旺德利希 11 2017 PRISM-games：随机多层游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯，艾斯蒂斯 10 2013 单调阶跃光纤研究中产生的耦合非线性薛定谔方程。 兹伯利0695.35154 G.K.纽博特。;D.F.帕克。;福克纳，T.R。 10 1989 振荡非线性信号的渐近理论。 Zbl 0216.12104号 D.F.帕克。 9 1971 弹性杆的大挠度和大转动的渐近分析。 Zbl 0421.73053号 D.F.帕克。 8 1979 非均匀颗粒材料中的有限振幅一维脉冲。 Zbl 0423.73088号 D.F.帕克。;B.R.西摩。 8 1980 部分可观测概率系统的验证和控制。 Zbl 1425.68266号 格钦·诺曼;大卫·帕克;邹学毅 8 2017 概率系统的自动验证和策略综合。 Zbl 1410.68233号 玛尔塔·奎亚特科夫斯卡;大卫·帕克 8 2013 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 将Key原理推广到非线性弹性。 Zbl 0991.74016号 沙里夫，M.H.B.M。;D.F.帕克。 6 2000 恶魔调度器的相互模拟。 Zbl 1234.68293号 康斯坦蒂诺斯·查齐科科拉基斯;格钦·诺曼;大卫·帕克 6 2009 弹性楔波。 Zbl 0779.73012号 D.F.帕克。 6 1992 使用概率模型检查验证团队组建协议。 Zbl 1348.68255号 陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯，艾斯蒂斯 6 2011 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 6 2003 从三维弹性推导非线性杆理论。 兹比尔0561.73045 D.F.帕克。 6 1984 数值与统计概率模型检验：一项实证研究。 Zbl 1126.68490号 哈坎·L·S·尤尼斯。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2004 快速脉冲通过松弛气体的传播。 Zbl 0238.76021号 D.F.帕克。 6 1972 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 5 2015 一般剖面弹性表面波的Stroh公式。 Zbl 1371.74152号 D.F.帕克。 5 2013 使用概率模型检查进行动态电源管理。 Zbl 1080.68601号 格钦·诺曼;大卫·帕克;玛尔塔·奎亚特科夫斯卡;桑迪普·舒克拉;拉杰什·古普塔 5 2005 声学和超声波中的非线性、弛豫和扩散。 Zbl 0183.55101号 D.F.帕克。 5 1969 公私企业在主动和被动所有权、竞争和垄断条件下的表现。 Zbl 1206.91060号 约翰·威尔纳;大卫·帕克 4 2007 非线性声表面波的投影方法。 Zbl 0764.73025号 D.F.帕克。;梅耶，A.P。;A.Maradudin。 4 1992 非线性弹性力学中的一些精确动力学解。 兹比尔0772.73016 安德烈亚杜（A.Andreadou）。;D.F.帕克。;A.J.M.斯宾塞。 4 1993 变效率耦合非线性薛定谔方程的相似约简。 Zbl 0797.35149号 北卡罗来纳州芒加纳罗。;帕克，D.F。 4 1993 亚屈曲轴对称压力分布下浅盖的有限极性凹陷。 Zbl 0535.73034号 大卫·F·帕克。;Wan，Frederic Y.M。 4 1984 使用数字时钟的概率时间自动机性能分析。 Zbl 1099.68534号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 4 2004 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 Zbl 1407.68275号 亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 4 2014 非线性压电表面波。 Zbl 0697.76090号 D.F.帕克。;E.A.大卫。 4 1989 局部简单的非稳定变形。 Zbl 0354.73012号 D.F.帕克。 三 1977 大型概率系统的符号表示和分析。 Zbl 1203.68117号 安德鲁·米纳;大卫·帕克 三 2004 楔形声波中的谐波产生和参数混合。 Zbl 0756.73024号 克里洛夫，V.V。;D.F.帕克。 三 1992 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 三 2009 功能梯度材料和层压板的波浪和静力学。 Zbl 1213.74169号 帕克，D.F。 三 2009 轴向非均匀光纤的耦合演化方程。 Zbl 0773.65087号 莱德，E。;D.F.帕克。 三 1992 部分可观测概率实时系统的验证和控制。 Zbl 1465.68182号 格钦·诺曼;大卫·帕克;邹学毅 三 2015 瑞利波的非线性色散。 Zbl 0602.76021号 帕克，D.F。 三 1985 概率报酬模型的约简准则。 Zbl 1177.68150号 马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 三 2006 非线性表面声波和分层介质上的波。 Zbl 0806.73019号 帕克，D.F。 三 1994 马尔可夫模型的符号离核求解方法。 Zbl 1270.68232号 玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 三 2002 任意剖面和方向的渐逝Schölte波。 Zbl 1377.76013号 D.F.帕克。 三 2012 极正交各向异性环形板的弹性失稳。 Zbl 0674.73038号 程长军;段伟;D.F.帕克。 三 1989 弹性膜和弦中有限振幅偏转和拉伸波的相互作用。 Zbl 0187.47604号 D.F.帕克。;瓦利，E。 三 1968 尺度不变的弹性表面波。 Zbl 0945.74036号 D.F.帕克。;亨特，J.K。 2 1998 光学级联的显式孤立解和周期解。 Zbl 0933.35179号 D.F.帕克。;特索伊，E.N。 2 1999 长拉伸弹性弦中的相互作用波。 兹比尔0217.23805 D.F.帕克。 2 1970 竞争随机系统的自动验证。 Zbl 1352.68150号 陈、陶璐;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯，艾斯蒂斯 2 2012 轴对称波导的耦合三次薛定谔方程。 Zbl 0923.35168号 帕克，D.F。 2 1989 安全深度强化学习的概率保证。 Zbl 07317100号 巴奇（Edoardo Bacci）;大卫·帕克 2 2020 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2020 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2021 并发随机游戏的自动验证。 兹比尔1514.68138 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2018 用时间和概率验证软件的框架。 Zbl 1290.68035号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 1 2010 近不可压缩弹性材料中球形空腔的有限振幅振动。 Zbl 0397.73019号 D.F.帕克。 1 1978 经济和金融模型随机演算的另一种方法。 Zbl 0900.90032号 布伦曼，L.P。;坎特雷尔，R.S。;芬内尔，R.E。;D.F.帕克。;雷内克，J.A。 1 1995 双模波导中的脉冲碰撞。 Zbl 0875.78002号 D.F.帕克。;Sophocleous，C。 1 1993 光学级联的一些一般周期解。 Zbl 1021.35124号 A.V.波鲁波夫。;D.F.帕克。 1 2002 概率系统的有限域互模拟最小化。 Zbl 1354.68197号 尼山丹卡姆莱森;大卫·帕克;乔纳森·罗。 1 2016 高阶浅水方程和Camassa-Holm方程。 Zbl 1189.35286号 大卫·F·帕克。 1 2007 弦中有限振幅波的累积相互作用。 Zbl 0236.73045号 D.F.帕克。 1 1970 工程数学。第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 0558.73062号 I.J.阿伦德。;D.F.帕克。 1 1985 一种用于解决偏好关系评估问题的多属性群决策方法。 Zbl 1394.91102号 杨，塔霍;郭怡约;大卫·帕克;陈光雄 1 2015 标记Petri网中的故障诊断：基于Fourier-Motzkin的方法。 Zbl 1478.93376号 艾哈迈德·阿杰利;大卫·帕克 1 2021 塑性流动的一些广义相似解。 Zbl 0698.73019号 D.F.帕克。 1 1990 并发随机系统的自动验证。 Zbl 1505.68025号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2021 标记Petri网中的故障诊断：基于Fourier-Motzkin的方法。 Zbl 1478.93376号 艾哈迈德·阿杰利;大卫·帕克 1 2021 安全深度强化学习的概率保证。 Zbl 07317100号 巴奇（Edoardo Bacci）;大卫·帕克 2 2020 并发随机博弈的多人均衡验证。 Zbl 1483.68197号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2020 并发随机博弈的自动验证。 Zbl 1514.68138号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 2 2018 确保模型检查器的可靠性：马尔可夫决策过程的区间迭代。 Zbl 1494.68159号 克里斯特尔·拜尔;约阿希姆·克莱因;琳达·卢施纳;大卫·帕克;萨沙·旺德利希 11 2017 部分可观测概率系统的验证和控制。 Zbl 1425.68266号 格钦·诺曼;大卫·帕克;邹学毅 8 2017 概率系统的有限域互模拟最小化。 兹比尔1354.68197 尼山丹卡姆莱森;大卫·帕克;乔纳森·罗。 1 2016 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 5 2015 部分可观测概率实时系统的验证和控制。 Zbl 1465.68182号 格钦·诺曼;大卫·帕克;邹学毅 三 2015 一种用于解决偏好关系评估问题的多属性群决策方法。 兹比尔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 赫尔曼自稳定算法的概率验证。 兹比尔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 概率时间自动机验证的随机博弈。 兹比尔1262.68125 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 16 2009 具有广义横向相关性的瑞利波。 Zbl 1156.74338号 D.F.帕克。;基塞列夫，A.P。 12 2009 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 恶魔调度器的相互模拟。 Zbl 1234.68293号 康斯坦蒂诺斯·查齐科科拉基斯;格钦·诺曼;大卫·帕克 6 2009 概率移动环境。 Zbl 1183.68400号 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 三 2009 功能梯度材料和层压板的波浪和静力学。 Zbl 1213.74169号 D.F.帕克。 三 2009 复杂生物路径的概率模型检查。 Zbl 1133.68043号 约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 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 PRISM：概率符号模型检查器。 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模型检查。 兹比尔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 耦合非线性薛定谔方程的一般周期解。 兹比尔1074.35579 A.V.波鲁波夫。;D.F.帕克。 46 1999 光学级联的显式孤立解和周期解。 Zbl 0933.35179号 D.F.帕克。;特索伊，E.N。 2 1999 尺度不变的弹性表面波。 Zbl 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 变效率耦合非线性薛定谔方程的相似约简。 兹比尔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 非线性压电表面波。 Zbl 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届欧洲力学研讨会论文集。 Zbl 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 局部简单的非稳定变形。 兹比尔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 快速脉冲通过松弛气体的传播。 Zbl 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.帕克。;Varley，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 西尔维，本佐尼·加瓦奇 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 阿列克谢·P·基谢列夫。 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 雷吉尼·韦伯 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） 按年份列出的引文