×
Author ID: parker.david-f Recent zbMATH articles by "Parker, David F."
Published as: Parker, D. F.; Parker, David F.
all top 5

Co-Authors

32 single-authored
42 Kwiatkowska, Marta Z.
36 Norman, Gethin
7 Forejt, Vojtěch
4 Chen, Taolue
4 Qu, Hongyang
4 Santos, Gabriel Pinheiro Alves
4 Simaitis, Aistis
3 England, Arthur Henry
3 Faulkner, T. R.
3 Kattenbelt, Mark
3 Spencer, Anthony James Merrill
3 Sproston, Jeremy
2 Abate, Alessandro
2 Baier, Christel
2 Berry, D. S.
2 Biere, Armin
2 David, E. A.
2 Dräger, Klaus
2 Green, William Anthony
2 Holden, J. T.
2 Hunter, John K.
2 Katoen, Joost-Pieter
2 Mayer, Andreas P.
2 Middleton, David A. J.
2 Radha, Ch.
2 Rogers, Tryfan G.
2 Rowe, Jonathan E.
2 Sophocleous, Christodoulos
2 Ujma, Mateusz
2 Zou, Xueyi
1 Al-Ajeli, Ahmed
1 Alì, Giuseppe
1 Andreadou, A.
1 Arend, I. J.
1 Bacci, Edoardo
1 Badings, Thom S.
1 Bender, Carl M.
1 Berntson, Bjorn K.
1 Blenman, Lloyd P.
1 Bogomolov, Sergiy
1 Brázdil, Tomáš
1 Byatt-Smith, John G. B.
1 Cantrell, Robert Stephen
1 Chatterjee, Krishnendu
1 Chatzikokolakis, Konstantinos
1 Chen, Kuan-Hung
1 Cheng, Changjun
1 Chmelík, Martin
1 Ciesinski, Frank
1 de Alfaro, Luca
1 Dehnert, Christian
1 Dittrich, Peter
1 Donaldson, Alastair F.
1 Duan, Wei
1 Eberl, Hermann J.
1 Evangelidis, Alexandros
1 Facão, Margarida
1 Feng, Lu
1 Fennell, Robert E.
1 Fitt, Alistair D.
1 Größer, Marcus
1 Gupta, Rajesh Kumar
1 Han, Tingting
1 Heath, John R.
1 Hermanns, Holger
1 Jansen, Nils
1 Jobstmann, Barbara
1 Kamaleson, Nishanthan
1 Kanagarajah, A.
1 Klein, Joachim
1 Křetínský, Jan
1 Krylov, Victor V.
1 Kuo, Yiyo
1 Lacey, Andrew A.
1 Leuschner, Linda
1 Manganaro, Natale
1 Maradudin, Alexei A.
1 Maugin, Gérard A.
1 Mehmood, Rashid
1 Mu, Chunyan
1 Newboult, G. K.
1 Panangaden, Prakash
1 Peng, Weidong
1 Poonawala, Hasan A.
1 Reneke, James A.
1 Romao, Licio
1 Rutten, Jan J. M. M.
1 Ryder, E.
1 Sammon, P. J.
1 Segala, Roberto
1 Seymour, Brian R.
1 Shariff, M. H. B. M.
1 Shukla, Sandeep Kumar
1 Siegle, Markus
1 Smith, Warren R.
1 Stoelinga, Mariëlle
1 Talbot, F. M.
1 Tsoy, Eduard N.
1 Tymchyshyn, Oksana
1 van Breugel, Franck
...and 13 more Co-Authors
all top 5

Serials

5 International Journal of Engineering Science
5 Formal Methods in System Design
5 Lecture Notes in Computer Science
3 IMA Journal of Applied Mathematics
3 Journal of Engineering Mathematics
3 Quarterly Journal of Mechanics and Applied Mathematics
3 Wave Motion
3 Theoretical Computer Science
3 Formal Aspects of Computing
3 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Journal of Fluid Mechanics
2 Journal of the Mechanics and Physics of Solids
2 Journal of Elasticity
2 Journal of Physics A: Mathematical and General
1 Acta Informatica
1 Acta Mechanica
1 Archives of Mechanics
1 Archive for Rational Mechanics and Analysis
1 International Journal of Non-Linear Mechanics
1 International Journal of Solids and Structures
1 International Journal of Systems Science
1 Journal of Applied Mechanics
1 Journal of the Institute of Mathematics and its Applications
1 Journal of Mathematical Physics
1 Physics of Fluids
1 Rheologica Acta
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Atti della Accademia Peloritana dei Pericolanti. Classe di Scienze Fisiche, Matemàtiche e Naturali
1 Automatica
1 The Mathematical Scientist
1 Quarterly of Applied Mathematics
1 Studies in Applied Mathematics
1 Physica D
1 Journal of Economics
1 Information and Computation
1 Journal of Economic Dynamics & Control
1 European Journal of Applied Mathematics
1 Real-Time Systems
1 Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences
1 SIAM Journal on Applied Mathematics
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Problems in Engineering
1 Journal of Theoretical Medicine
1 The Journal of Logic and Algebraic Programming
1 Discrete and Continuous Dynamical Systems. Series B
1 CRM Monograph Series
1 Solid Mechanics and Its Applications
1 Springer Series on Wave Phenomena
1 Logical Methods in Computer Science
1 Springer Undergraduate Mathematics Series

Publications by Year

Citations contained in zbMATH Open

100 Publications have been cited 373 times in 286 Documents Cited by Year
A new deterministic spatio-temporal continuum model for biofilm development. Zbl 0985.92009
Eberl, Hermann J.; Parker, David F.; van Loosdrecht, Mark C. M.
66
2001
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
66
2002
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
48
2007
Some general periodic solutions to coupled nonlinear Schrödinger equations. Zbl 1074.35579
Porubov, A. V.; Parker, D. F.
46
1999
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
41
2011
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
32
2006
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
27
2008
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
27
2010
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
26
2014
Analysis and computation for nonlinear elastic surface waves of permanent form. Zbl 0587.73032
Parker, D. F.; Talbot, F. M.
23
1985
Waveform evolution for nonlinear surface acoustic waves. Zbl 0627.73022
Parker, D. F.
20
1988
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
20
2004
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
18
2006
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
17
2000
Hamiltonian equations for scale-invariant waves. Zbl 1152.37337
Alì, G.; Hunter, J. K.; Parker, D. F.
17
2002
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
17
2013
Model checking for probabilistic timed automata. Zbl 1291.68265
Norman, Gethin; Parker, David; Sproston, Jeremy
17
2013
Omni-directional Rayleigh, Stoneley and Schölte waves with general time dependence. Zbl 1196.35209
Kiselev, A. P.; Parker, D. F.
16
2010
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2009
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
15
2010
The role of Saint Venant’s solutions in rod and beam theories. Zbl 0418.73044
Parker, D. F.
13
1979
Recent developments in surface acoustic waves. Proceedings of the European mechanics colloquium 226, held at the University of Nottingham, UK, September 2-5, 1987. Zbl 0713.73027
13
1988
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
12
2012
Rayleigh waves having generalised lateral dependence. Zbl 1156.74338
Parker, D. F.; Kiselev, A. P.
12
2009
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2001
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2012
Ensuring the reliability of your model checker: interval iteration for Markov decision processes. Zbl 1494.68159
Baier, Christel; Klein, Joachim; Leuschner, Linda; Parker, David; Wunderlich, Sascha
11
2017
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Coupled nonlinear Schrödinger equations arising in the study of monotone step-index optical fibers. Zbl 0695.35154
Newboult, G. K.; Parker, D. F.; Faulkner, T. R.
10
1989
An asymptotic theory for oscillatory non-linear signals. Zbl 0216.12104
Parker, D. F.
9
1971
An asymptotic analysis of large deflections and rotations of elastic rods. Zbl 0421.73053
Parker, D. F.
8
1979
Finite amplitude one-dimensional pulses in an inhomogeneous granular material. Zbl 0423.73088
Parker, D. F.; Seymour, B. R.
8
1980
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
8
2013
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
8
2017
An ideal fluid jet impinging on an uneven wall. Zbl 0894.76008
Peng, Weidong; Parker, David F.
7
1997
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
7
2011
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
The decay of sawtooth solutions to the Burgers equation. Zbl 0427.35062
Parker, D. F.
7
1980
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
7
2013
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
2011
An extension of Key’s principle to nonlinear elasticity. Zbl 0991.74016
Shariff, M. H. B. M.; Parker, D. F.
6
2000
On the derivation of nonlinear rod theories from three-dimensional elasticity. Zbl 0561.73045
Parker, D. F.
6
1984
Propagation of a rapid pulse through a relaxing gas. Zbl 0238.76021
Parker, D. F.
6
1972
Bisimulation for demonic schedulers. Zbl 1234.68293
Chatzikokolakis, Konstantinos; Norman, Gethin; Parker, David
6
2009
Elastic wedge waves. Zbl 0779.73012
Parker, D. F.
6
1992
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
6
2003
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2004
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2008
Non-linearity, relaxation and diffusion in acoustics and ultrasonics. Zbl 0183.55101
Parker, D. F.
5
1969
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
2015
The Stroh formalism for elastic surface waves of general profile. Zbl 1371.74152
Parker, D. F.
5
2013
The projection method for nonlinear surface acoustic waves. Zbl 0764.73025
Parker, D. F.; Mayer, A. P.; Maradudin, A. A.
4
1992
Finite polar dimpling of shallow caps under sub-buckling axisymmetric pressure distributions. Zbl 0535.73034
Parker, David F.; Wan, Frederic Y. M.
4
1984
Similarity reductions for variable-coefficient coupled nonlinear Schrödinger equations. Zbl 0797.35149
Manganaro, N.; Parker, D. F.
4
1993
The performance of public and private enterprise under conditions of active and passive ownership and competition and monopoly. Zbl 1206.91060
Willner, Johan; Parker, David
4
2007
Nonlinear piezoelectric surface waves. Zbl 0697.76090
Parker, D. F.; David, E. A.
4
1989
Some exact dynamic solutions in nonlinear elasticity. Zbl 0772.73016
Andreadou, A.; Parker, D. F.; Spencer, A. J. M.
4
1993
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
Harmonic generation and parametric mixing in wedge acoustic waves. Zbl 0756.73024
Krylov, V. V.; Parker, D. F.
3
1992
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
3
2006
The nonlinear dispersion of Rayleigh waves. Zbl 0602.76021
Parker, D. F.
3
1985
Waves and statics for functionally graded materials and laminates. Zbl 1213.74169
Parker, D. F.
3
2009
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
3
2009
Coupled evolution equations for axially inhomogeneous optical fibres. Zbl 0773.65087
Ryder, E.; Parker, D. F.
3
1992
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
The interaction of finite amplitude deflection and stretching waves in elastic membranes and strings. Zbl 0187.47604
Parker, D. F.; Varley, E.
3
1968
Evanescent Schölte waves of arbitrary profile and direction. Zbl 1377.76013
Parker, D. F.
3
2012
Symbolic representations and analysis of large probabilistic systems. Zbl 1203.68117
Miner, Andrew; Parker, David
3
2004
Locally simple unsteady deformations. Zbl 0354.73012
Parker, D. F.
3
1977
Nonlinear surface acoustic waves and waves on stratified media. Zbl 0806.73019
Parker, D. F.
3
1994
Elastic instability of polar orthotropic annular plates. Zbl 0674.73038
Cheng, Changjun; Duan, Wei; Parker, D. F.
3
1989
Verification and control of partially observable probabilistic real-time systems. Zbl 1465.68182
Norman, Gethin; Parker, David; Zou, Xueyi
3
2015
Explicit solitary and periodic solutions for optical cascading. Zbl 0933.35179
Parker, D. F.; Tsoy, E. N.
2
1999
Coupled cubic Schrödinger equations for axially symmetric waveguides. Zbl 0923.35168
Parker, D. F.
2
1989
Scale-invariant elastic surface waves. Zbl 0945.74036
Parker, D. F.; Hunter, J. K.
2
1998
Probabilistic guarantees for safe deep reinforcement learning. Zbl 07317100
Bacci, Edoardo; Parker, David
2
2020
Automated verification of concurrent stochastic games. Zbl 1514.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2018
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Interacting waves in long stretched elastic strings. Zbl 0217.23805
Parker, D. F.
2
1970
Automatic verification of concurrent stochastic systems. Zbl 1505.68025
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2021
Multi-player equilibria verification for concurrent stochastic games. Zbl 1483.68197
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2020
An alternative approach to stochastic calculus for economic and financial models. Zbl 0900.90032
Blenman, L. P.; Cantrell, R. S.; Fennell, R. E.; Parker, D. F.; Reneke, J. A.
1
1995
Inflation, bending and torsion of reinforced elastic tubes. Zbl 0558.73062
Arend, I. J.; Parker, D. F.
1
1985
Pulse collisions in bimodal waveguides. Zbl 0875.78002
Parker, D. F.; Sophocleous, C.
1
1993
Finite-amplitude oscillations of a spherical cavity in a nearly- incompressible elastic material. Zbl 0397.73019
Parker, D. F.
1
1978
Some general periodic solutions for optical cascading. Zbl 1021.35124
Porubov, A. V.; Parker, D. F.
1
2002
Finite-horizon bisimulation minimisation for probabilistic systems. Zbl 1354.68197
Kamaleson, Nishanthan; Parker, David; Rowe, Jonathan E.
1
2016
The cumulative interaction of finite amplitude waves in strings. Zbl 0236.73045
Parker, D. F.
1
1970
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Engineering mathematics. Vol. 1. Zbl 0343.00002
Spencer, A. J. M.; Parker, D. F.; Berry, D. S.; England, A. H.; Faulkner, T. R.; Green, W. A.; Holden, J. T.; Middleton, D.; Rogers, T. G.
1
1977
Some generalized similarity solutions for plastic flow. Zbl 0698.73019
Parker, D. F.
1
1990
Higher-order shallow water equations and the Camassa-Holm equation. Zbl 1189.35286
Parker, David F.
1
2007
Health care supply networks in tightly and loosely coupled structures: exploration using agent-based modelling. Zbl 1292.93011
Kanagarajah, A.; Parker, D.; Xu, H.
1
2010
A multiple attribute group decision making approach for solving problems with the assessment of preference relations. Zbl 1394.91102
Yang, Taho; Kuo, Yiyo; Parker, David; Chen, Kuan Hung
1
2015
Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach. Zbl 1478.93376
Al-Ajeli, Ahmed; Parker, David
1
2021
Verification and control of turn-based probabilistic real-time games. Zbl 07817560
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2019
Automatic verification of concurrent stochastic systems. Zbl 1505.68025
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2021
Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach. Zbl 1478.93376
Al-Ajeli, Ahmed; Parker, David
1
2021
Probabilistic guarantees for safe deep reinforcement learning. Zbl 07317100
Bacci, Edoardo; Parker, David
2
2020
Multi-player equilibria verification for concurrent stochastic games. Zbl 1483.68197
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2020
Verification and control of turn-based probabilistic real-time games. Zbl 07817560
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2019
Automated verification of concurrent stochastic games. Zbl 1514.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2018
Ensuring the reliability of your model checker: interval iteration for Markov decision processes. Zbl 1494.68159
Baier, Christel; Klein, Joachim; Leuschner, Linda; Parker, David; Wunderlich, Sascha
11
2017
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
8
2017
Finite-horizon bisimulation minimisation for probabilistic systems. Zbl 1354.68197
Kamaleson, Nishanthan; Parker, David; Rowe, Jonathan E.
1
2016
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
2015
Verification and control of partially observable probabilistic real-time systems. Zbl 1465.68182
Norman, Gethin; Parker, David; Zou, Xueyi
3
2015
A multiple attribute group decision making approach for solving problems with the assessment of preference relations. Zbl 1394.91102
Yang, Taho; Kuo, Yiyo; Parker, David; Chen, Kuan Hung
1
2015
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
26
2014
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
17
2013
Model checking for probabilistic timed automata. Zbl 1291.68265
Norman, Gethin; Parker, David; Sproston, Jeremy
17
2013
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
8
2013
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
7
2013
The Stroh formalism for elastic surface waves of general profile. Zbl 1371.74152
Parker, D. F.
5
2013
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
12
2012
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2012
Evanescent Schölte waves of arbitrary profile and direction. Zbl 1377.76013
Parker, D. F.
3
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
41
2011
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
7
2011
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
2011
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
27
2010
Omni-directional Rayleigh, Stoneley and Schölte waves with general time dependence. Zbl 1196.35209
Kiselev, A. P.; Parker, D. F.
16
2010
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
15
2010
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Health care supply networks in tightly and loosely coupled structures: exploration using agent-based modelling. Zbl 1292.93011
Kanagarajah, A.; Parker, D.; Xu, H.
1
2010
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2009
Rayleigh waves having generalised lateral dependence. Zbl 1156.74338
Parker, D. F.; Kiselev, A. P.
12
2009
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
Bisimulation for demonic schedulers. Zbl 1234.68293
Chatzikokolakis, Konstantinos; Norman, Gethin; Parker, David
6
2009
Waves and statics for functionally graded materials and laminates. Zbl 1213.74169
Parker, D. F.
3
2009
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
3
2009
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
27
2008
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2008
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
48
2007
The performance of public and private enterprise under conditions of active and passive ownership and competition and monopoly. Zbl 1206.91060
Willner, Johan; Parker, David
4
2007
Higher-order shallow water equations and the Camassa-Holm equation. Zbl 1189.35286
Parker, David F.
1
2007
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
32
2006
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
18
2006
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
3
2006
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
20
2004
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2004
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Symbolic representations and analysis of large probabilistic systems. Zbl 1203.68117
Miner, Andrew; Parker, David
3
2004
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
6
2003
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
66
2002
Hamiltonian equations for scale-invariant waves. Zbl 1152.37337
Alì, G.; Hunter, J. K.; Parker, D. F.
17
2002
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
Some general periodic solutions for optical cascading. Zbl 1021.35124
Porubov, A. V.; Parker, D. F.
1
2002
A new deterministic spatio-temporal continuum model for biofilm development. Zbl 0985.92009
Eberl, Hermann J.; Parker, David F.; van Loosdrecht, Mark C. M.
66
2001
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2001
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
17
2000
An extension of Key’s principle to nonlinear elasticity. Zbl 0991.74016
Shariff, M. H. B. M.; Parker, D. F.
6
2000
Some general periodic solutions to coupled nonlinear Schrödinger equations. Zbl 1074.35579
Porubov, A. V.; Parker, D. F.
46
1999
Explicit solitary and periodic solutions for optical cascading. Zbl 0933.35179
Parker, D. F.; Tsoy, E. N.
2
1999
Scale-invariant elastic surface waves. Zbl 0945.74036
Parker, D. F.; Hunter, J. K.
2
1998
An ideal fluid jet impinging on an uneven wall. Zbl 0894.76008
Peng, Weidong; Parker, David F.
7
1997
An alternative approach to stochastic calculus for economic and financial models. Zbl 0900.90032
Blenman, L. P.; Cantrell, R. S.; Fennell, R. E.; Parker, D. F.; Reneke, J. A.
1
1995
Nonlinear surface acoustic waves and waves on stratified media. Zbl 0806.73019
Parker, D. F.
3
1994
Similarity reductions for variable-coefficient coupled nonlinear Schrödinger equations. Zbl 0797.35149
Manganaro, N.; Parker, D. F.
4
1993
Some exact dynamic solutions in nonlinear elasticity. Zbl 0772.73016
Andreadou, A.; Parker, D. F.; Spencer, A. J. M.
4
1993
Pulse collisions in bimodal waveguides. Zbl 0875.78002
Parker, D. F.; Sophocleous, C.
1
1993
Elastic wedge waves. Zbl 0779.73012
Parker, D. F.
6
1992
The projection method for nonlinear surface acoustic waves. Zbl 0764.73025
Parker, D. F.; Mayer, A. P.; Maradudin, A. A.
4
1992
Harmonic generation and parametric mixing in wedge acoustic waves. Zbl 0756.73024
Krylov, V. V.; Parker, D. F.
3
1992
Coupled evolution equations for axially inhomogeneous optical fibres. Zbl 0773.65087
Ryder, E.; Parker, D. F.
3
1992
Some generalized similarity solutions for plastic flow. Zbl 0698.73019
Parker, D. F.
1
1990
Coupled nonlinear Schrödinger equations arising in the study of monotone step-index optical fibers. Zbl 0695.35154
Newboult, G. K.; Parker, D. F.; Faulkner, T. R.
10
1989
Nonlinear piezoelectric surface waves. Zbl 0697.76090
Parker, D. F.; David, E. A.
4
1989
Elastic instability of polar orthotropic annular plates. Zbl 0674.73038
Cheng, Changjun; Duan, Wei; Parker, D. F.
3
1989
Coupled cubic Schrödinger equations for axially symmetric waveguides. Zbl 0923.35168
Parker, D. F.
2
1989
Waveform evolution for nonlinear surface acoustic waves. Zbl 0627.73022
Parker, D. F.
20
1988
Recent developments in surface acoustic waves. Proceedings of the European mechanics colloquium 226, held at the University of Nottingham, UK, September 2-5, 1987. Zbl 0713.73027
13
1988
Analysis and computation for nonlinear elastic surface waves of permanent form. Zbl 0587.73032
Parker, D. F.; Talbot, F. M.
23
1985
The nonlinear dispersion of Rayleigh waves. Zbl 0602.76021
Parker, D. F.
3
1985
Inflation, bending and torsion of reinforced elastic tubes. Zbl 0558.73062
Arend, I. J.; Parker, D. F.
1
1985
On the derivation of nonlinear rod theories from three-dimensional elasticity. Zbl 0561.73045
Parker, D. F.
6
1984
Finite polar dimpling of shallow caps under sub-buckling axisymmetric pressure distributions. Zbl 0535.73034
Parker, David F.; Wan, Frederic Y. M.
4
1984
Finite amplitude one-dimensional pulses in an inhomogeneous granular material. Zbl 0423.73088
Parker, D. F.; Seymour, B. R.
8
1980
The decay of sawtooth solutions to the Burgers equation. Zbl 0427.35062
Parker, D. F.
7
1980
The role of Saint Venant’s solutions in rod and beam theories. Zbl 0418.73044
Parker, D. F.
13
1979
An asymptotic analysis of large deflections and rotations of elastic rods. Zbl 0421.73053
Parker, D. F.
8
1979
Finite-amplitude oscillations of a spherical cavity in a nearly- incompressible elastic material. Zbl 0397.73019
Parker, D. F.
1
1978
Locally simple unsteady deformations. Zbl 0354.73012
Parker, D. F.
3
1977
Engineering mathematics. Vol. 1. Zbl 0343.00002
Spencer, A. J. M.; Parker, D. F.; Berry, D. S.; England, A. H.; Faulkner, T. R.; Green, W. A.; Holden, J. T.; Middleton, D.; Rogers, T. G.
1
1977
Propagation of a rapid pulse through a relaxing gas. Zbl 0238.76021
Parker, D. F.
6
1972
An asymptotic theory for oscillatory non-linear signals. Zbl 0216.12104
Parker, D. F.
9
1971
Interacting waves in long stretched elastic strings. Zbl 0217.23805
Parker, D. F.
2
1970
The cumulative interaction of finite amplitude waves in strings. Zbl 0236.73045
Parker, D. F.
1
1970
Non-linearity, relaxation and diffusion in acoustics and ultrasonics. Zbl 0183.55101
Parker, D. F.
5
1969
The interaction of finite amplitude deflection and stretching waves in elastic membranes and strings. Zbl 0187.47604
Parker, D. F.; Varley, E.
3
1968
all top 5

Cited by 384 Authors

17 Parker, David F.
14 Eberl, Hermann J.
10 Fu, Zuntao
10 Liu, Shikuo
9 Liu, Shida
8 Fan, Engui
8 Prikazchikov, Danila A.
7 Ghasemi, Maryam
7 Mattei, Maria Rosaria
7 Sonner, Stefanie
6 Coulombel, Jean-François
6 D’Acunto, Berardino
6 Frunzo, Luigi
6 Kaplunov, Julius D.
6 Secchi, Paolo
5 Benzoni-Gavage, Sylvie
5 Macías-Díaz, Jorge Eduardo
5 Zhao, Qiang
4 Fu, Yibin
4 Harvey, A. P.
4 Hon, Yiu-Chung
4 Hunter, John K.
4 Luongo, Vincenzo
4 Maugin, Gérard A.
4 Shariff, M. H. B. M.
3 Cheng, Changjun
3 Efendiev, Messoud
3 Erbaş, Bariş
3 Geng, Xianguo
3 Klapper, Isaac
3 Mayer, Andreas P.
3 McCarthy, Matthew F.
3 Sahin, Onur
3 Sharma, Vishnu Dutt
3 Sivaloganathan, Sivabal
3 Sudarsan, Rangarajan
3 Teymur, Mevlut
3 Tupholme, G. E.
3 Yang, Xiao
2 Ahmed, S. Reaz
2 Ahmetolan, Semra
2 Balasuriya, Sanjeeva
2 Binder, Benjamin James
2 Bloom, Frederick
2 Clarkson, Peter A.
2 David, E. A.
2 Demirci, Ali
2 Erbay, Husnuata A.
2 Erbay, Saadet
2 Gardner, Jennifer M.
2 Gokieli, Maria
2 Green, J. Edward F.
2 Gupta, Neelam
2 He, Guoliang
2 Helmer, Christoph
2 Hissink Muller, Victor
2 Hureau, Jacques
2 Jiranek, Vladimir
2 Jüngel, Ansgar
2 Kenmochi, Nobuyuki
2 Kiselev, Aleksei P.
2 Kostov, Nikolay A.
2 Kuttler, Christina
2 Li, Ming
2 Liu, Guanting
2 Liu, Gui-Rong
2 Merodio, Jose
2 Morando, Alessandro
2 Nath, S. K. Deb
2 Niezgódka, Marek
2 Panayotaros, Panayotis
2 Pichugin, Aleksey V.
2 Ramabathiran, Amuthan Arunkumar
2 Rogerson, Graham A.
2 Rosini, Massimiliano Daniele
2 Ruiz-Ramírez, Javier
2 Saccomandi, Giuseppe
2 Samokhin, Alexey V.
2 Seymour, Brian R.
2 Shield, Richard Thorpe
2 Sundstrom, Joanna F.
2 Szomolay, Barbara
2 Tam, Alexander K. Y.
2 Tek, Ee Lin
2 Theocaris, Pericles S.
2 Trebeschi, Paola
2 Tzvetkov, Nikolay
2 Wang, Zhanggui
2 Weber, Régine
2 Winkler, Michael
2 Wright, Otis Clarence III
2 Wu, Lihua
1 Abdelkader, Gasmi
1 Abdelkawy, Mohamed A.
1 Abou-Hayt, Imad
1 Ahmad, Masud
1 Alhammali, Azhar
1 Alhuthali, M. Sh.
1 Alì, Giuseppe
1 Ali, Mohamed Afsar
...and 284 more Authors
all top 5

Cited in 107 Serials

23 Wave Motion
17 International Journal of Engineering Science
12 Physics Letters. A
11 ZAMP. Zeitschrift für angewandte Mathematik und Physik
9 Chaos, Solitons and Fractals
7 Applied Mathematics and Mechanics. (English Edition)
6 Computer Methods in Applied Mechanics and Engineering
6 Bulletin of Mathematical Biology
6 European Journal of Applied Mathematics
6 Journal of Elasticity
5 Journal of Engineering Mathematics
5 Journal of Mathematical Physics
5 Mathematical Methods in the Applied Sciences
5 Applied Mathematics and Computation
5 Journal of Computational and Applied Mathematics
5 Applied Mathematical Modelling
5 Mathematics and Mechanics of Solids
5 Journal of Theoretical Biology
4 Archive for Rational Mechanics and Analysis
4 Journal of the Mechanics and Physics of Solids
4 Studies in Applied Mathematics
4 Physica D
4 Applied Numerical Mathematics
4 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
3 Journal of Mathematical Analysis and Applications
3 Ricerche di Matematica
3 Journal of Difference Equations and Applications
3 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 Communications in Nonlinear Science and Numerical Simulation
3 Mathematical Biosciences and Engineering
2 International Journal of Modern Physics B
2 Acta Mechanica
2 Computers & Mathematics with Applications
2 Computer Physics Communications
2 Journal of Fluid Mechanics
2 Journal of Mathematical Biology
2 Mathematical Biosciences
2 Rheologica Acta
2 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
2 Computational Mechanics
2 Journal de Mathématiques Pures et Appliquées. Neuvième Série
2 Discrete and Continuous Dynamical Systems
2 Mathematical Problems in Engineering
2 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
2 European Journal of Mechanics. A. Solids
2 Journal of Applied Mathematics
2 Journal of Hyperbolic Differential Equations
2 Nonlinear Analysis. Theory, Methods & Applications
1 Modern Physics Letters B
1 Applicable Analysis
1 Computers and Fluids
1 Communications on Pure and Applied Mathematics
1 Fluid Dynamics
1 International Journal of Solids and Structures
1 Journal of Computational Physics
1 Physics Reports
1 Reports on Mathematical Physics
1 Theoretical and Mathematical Physics
1 Journal of Geometry and Physics
1 Advances in Mathematics
1 Demonstratio Mathematica
1 International Journal for Numerical Methods in Engineering
1 Mathematische Annalen
1 Mathematics and Computers in Simulation
1 Memoirs of the American Mathematical Society
1 Quarterly of Applied Mathematics
1 SIAM Journal on Numerical Analysis
1 Acta Applicandae Mathematicae
1 Numerical Methods for Partial Differential Equations
1 Mathematical and Computer Modelling
1 Asymptotic Analysis
1 Journal of Scientific Computing
1 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences
1 International Journal of Computer Mathematics
1 SIAM Journal on Mathematical Analysis
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Archive of Applied Mechanics
1 Journal of Nonlinear Science
1 Continuum Mechanics and Thermodynamics
1 International Applied Mechanics
1 Journal of Mathematical Sciences (New York)
1 Differential Equations and Dynamical Systems
1 Nonlinear Dynamics
1 Chaos
1 European Journal of Mechanics. B. Fluids
1 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics
1 Journal of Nonlinear Mathematical Physics
1 Nonlinear Analysis. Real World Applications
1 Journal of Evolution Equations
1 Discrete and Continuous Dynamical Systems. Series B
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 International Journal of Computational Methods
1 Advances in Difference Equations
1 International Journal of Numerical Analysis and Modeling
1 The Australian Journal of Mathematical Analysis and Applications
1 International Journal of Fracture
1 Boundary Value Problems
1 Inverse Problems in Science and Engineering
1 Journal of Physics A: Mathematical and Theoretical
1 Communications in Computational Physics
...and 7 more Serials

Citations by Year