World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
64
Citations
18392
World Ranking
2575
National Ranking
148

Overview

David Parker is affiliated with the University of Oxford in the United Kingdom. Their research spans the fields of Physics and Astronomy as well as Materials Science. Within these broad domains, their work particularly focuses on subfields such as Condensed Matter Physics, Electronic, Optical and Magnetic Materials, Atomic and Molecular Physics and Optics, Materials Chemistry, and Inorganic Chemistry.

The researcher is associated with several specialized topics including Advanced Condensed Matter Physics, Magnetic and Transport Properties of Perovskites and Related Materials, Physics of Superconductivity and Magnetism, Rare-earth and Actinide Compounds, Topological Materials and Phenomena, Iron-based Superconductors Research, and Magnetic Properties of Alloys.

David Parker has authored numerous papers, with a selection of recent publications showcasing the diversity of their research interests:

  • Manufacturing Processes for Permanent Magnets: Part I-Sintering and Casting, 2022, published in JOM
  • Proximate Spin Liquid and Fractionalization in the Triangular Antiferromagnet KYbSe2, 2023, published in Nature Physics
  • Van Hove Singularity in the Magnon Spectrum of the Antiferromagnetic Quantum Honeycomb Lattice, 2021, published in Nature Communications
  • Manufacturing Processes for Permanent Magnets: Part II-Bonding and Emerging Methods, 2022, published in JOM
  • Origin of Ultralow Phonon Transport and Strong Anharmonicity in Lead-Free Halide Perovskites, 2022, published in Materials Today Physics

Their work appears frequently in several publication venues, with the highest number of publications found in:

  • Physical Review B
  • arXiv (Cornell University)
  • Physical Review Materials
  • Journal of the American Chemical Society
  • OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)

David Parker collaborates often with a number of co-authors, including:

  • Athena S. Sefat
  • Lucas Lindsay
  • Michael A. McGuire
  • Andrew F. May
  • Raphaël P. Hermann

Best Publications

  • PRISM 4.0: verification of probabilistic real-time systems

    Marta Kwiatkowska;Gethin Norman;David Parker

  • PRISM : A tool for automatic verification of probabilistic systems

    Andrew Hinton;Marta Kwiatkowska;Gethin Norman;David Parker

  • PRISM: Probabilistic Symbolic Model Checker

    Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • Stochastic model checking

    Marta Kwiatkowska;Gethin Norman;David Parker

  • Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

    Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • Automated Verification Techniques for Probabilistic Systems

    Vojtech Forejt;Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • Automatic verification of competitive stochastic systems

    Taolue Chen;Vojtech Forejt;Marta Z. Kwiatkowska;David Parker

  • PRISM: probabilistic model checking for performance and reliability analysis

    Marta Kwiatkowska;Gethin Norman;David Parker

  • Performance analysis of probabilistic timed automata using digital clocks

    Marta Kwiatkowska;Gethin Norman;David Parker;Jeremy Sproston

  • Commonality, Difference and the Dynamics of Disclosure in In-Depth Interviewing

    Miri Song;David Parker

  • Numerical vs. statistical probabilistic model checking

    Håkan L. S. Younes;Marta Kwiatkowska;Gethin Norman;David Parker

  • Implementation of symbolic model checking for probabilistic systems

    David Anthony Parker

  • Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

    J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker

  • Probabilistic model checking of complex biological pathways

    John Heath;Marta Kwiatkowska;Gethin Norman;David Parker

  • Verification of Markov Decision Processes Using Learning Algorithms

    Tomáš Brázdil;Krishnendu Chatterjee;Martin Chmelík;Vojtěch Forejt

  • PRISM 2.0: a tool for probabilistic model checking

    M. Kwiatkowska;G. Norman;D. Parker

  • Symmetry reduction for probabilistic model checking

    Marta Kwiatkowska;Gethin Norman;David Parker

  • A formal analysis of bluetooth device discovery

    Marie Duflot;Marta Kwiatkowska;Gethin Norman;David Parker

  • Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation

    Luca de Alfaro;Marta Z. Kwiatkowska;Gethin Norman;David Parker

  • PRISM-games: a model checker for stochastic multi-player games

    Taolue Chen;Vojtěch Forejt;Marta Kwiatkowska;David Parker

  • Assume-Guarantee verification for probabilistic systems

    Marta Kwiatkowska;Gethin Norman;David Parker;Hongyang Qu

Frequent Co-Authors

Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Gethin Norman
Gethin Norman University of Glasgow
Jonathan Seville
Jonathan Seville University of Birmingham
Yulong Ding
Yulong Ding University of Birmingham
Peter J. Fryer
Peter J. Fryer University of Birmingham
Ricky D. Wildman
Ricky D. Wildman University of Nottingham
Prakash Panangaden
Prakash Panangaden McGill University
Jonathan M. Huntley
Jonathan M. Huntley Loughborough University
David J. Singh
David J. Singh University of Missouri
NG Niels Deen
NG Niels Deen Eindhoven University of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

As you consider studying Computer Science in the USA, it's important to understand your options for skill development and career advancement. Many students and professionals look for certifications for jobs that open doors to well-paid positions without requiring years of study. These certifications can boost your resume and help you specialize in high-demand technologies quickly.

If you are interested in accelerating your academic progress, you might explore the quickest online masters degree options. These programs are ideal for those eager to move up in their careers without a lengthy time commitment. Alternatively, students just beginning their academic journey can benefit from earning an online associate degree, which provides foundational knowledge and flexible career pathways in tech fields.

Choosing the right graduate degree is also key for long-term success. Consider reviewing what masters program should I do to ensure your investment matches current industry needs and job market demand. By combining strategic education choices with relevant certifications, you can build a strong and adaptable technology career.

Best Scientists Citing David Parker

Trending Scientists