World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
37
Citations
6025
World Ranking
10737
National Ranking
675

Overview

Stephen Gilmore is affiliated with the University of Edinburgh in the United Kingdom. Their research spans multiple fields within the social sciences, with a concentration on law and intersecting areas such as sociology, political science, transportation, building and construction, and pediatric health.

The main fields of study covered in their work include:

  • Social Sciences

More specifically, their subfields of study are:

  • Law
  • Sociology and Political Science
  • Transportation
  • Building and Construction
  • Pediatrics, Perinatology and Child Health

The primary research topics addressed in Stephen Gilmore's body of work are:

  • Multicultural Socio-Legal Studies
  • Legal principles and applications
  • Transportation Planning and Optimization
  • Traffic Prediction and Management Techniques
  • Ethics and Legal Issues in Pediatric Healthcare
  • Judicial and Constitutional Studies
  • Data Management and Algorithms

Stephen Gilmore has contributed to various publication venues, with frequent appearances in:

  • arXiv (Cornell University)
  • Family matters
  • The Cambridge Law Journal
  • King s Law Journal
  • The Journal of Portfolio Management

Among their recent papers are:

  • "The (Il)legitimacy of Guideline Judgments in Family Law: The Case for Foundational Principles," 2020, King s Law Journal
  • "A spatial algorithm for the analysis of transportation systems using statistical model checking," 2020, arXiv (Cornell University)
  • "Editors' Preface," 2022, Family matters
  • "A Black Cloud Over The Age of Discretion and The Scope of Parental Responsibility?," 2022, Family matters

Stephen Gilmore has also authored books, including a publication with Oxford University Press:

  • Hayes & Williams' Family Law, 2020

Frequent collaborators in their research include:

  • Lisa Glennon
  • Daniël Reijsbergen
  • Gillian Douglas
  • Jens M. Scherpe
  • Joseph Simonian

Best Publications

  • Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel mean value analysis algorithm

    Gagarine Yaikhom;Murray Cole;Stephen Gilmore

  • The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

    Stephen Gilmore;Jane Hillston

  • Evaluating the Performance of Skeleton-Based High Level Parallel Programs

    Anne Benoit;Murray Cole;Stephen Gilmore;Jane Hillston

  • Leveraging Applications of Formal Methods, Verification and Validation

    Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti

  • Mobile Resource Guarantees for smart devices

    David Aspinall;Stephen Gilmore;Martin Hofmann;Donald Sannella

  • Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

    Muffy Calder;Stephen Gilmore;Jane Hillston

  • Flexible skeletal programming with eskel

    Anne Benoit;Murray Cole;Stephen Gilmore;Jane Hillston

  • SENSORIA process calculi for service-oriented computing

    Martin Wirsing;Rocco De Nicola;Stephen Gilmore;Matthias Hölzl

  • Semantic-Based development of service-oriented systems

    Martin Wirsing;Allan Clark;Stephen Gilmore;Matthias Hölzl

  • Formal Methods for Performance Evaluation

    Allan Clark;Stephen Gilmore;Jane Hillston;Mirco Tribastone

  • Scalable Differential Analysis of Process Algebra Models

    M. Tribastone;S. Gilmore;J. Hillston

  • State-Aware Performance Analysis with eXtended Stochastic Probes

    Allan Clark;Stephen Gilmore

  • An efficient algorithm for aggregating PEPA models

    S. Gilmore;J. Hillston;M. Ribaudo

  • Formal Techniques for Computer Systems and Business Processes

    Stephen Gilmore;Valentin Haenel;Leïla Kloul;Monika Maidl

  • PEPA nets: a structured performance modelling formalism

    Stephen Gilmore;Jane Hillston;Leila Kloul;Marina Ribaudo

  • The PEPA eclipse plugin

    Mirco Tribastone;Adam Duguid;Stephen Gilmore

  • Specifying Performance Measures for PEPA

    Graham Clark;Stephen Gilmore;Jane Hillston

  • Automatically deriving ODEs from process algebra models of signalling pathways

    Muffy Calder;Stephen Gilmore;Jane Hillston

  • Stochastic process algebras

    Allan Clark;Stephen Gilmore;Jane Hillston;Mirco Tribastone

  • Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra

    Anne Benoit;Murray Cole;Stephen Gilmore;Jane Hillston

  • Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

    Jeremy T. Bradley;Stephen T. Gilmore;Jane Hillston

Frequent Co-Authors

Jane Hillston
Jane Hillston University of Edinburgh
Donald Sannella
Donald Sannella University of Edinburgh
Martin Hofmann
Martin Hofmann Ludwig-Maximilians-Universität München
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Corrado Priami
Corrado Priami University of Pisa
Nora Koch
Nora Koch Ludwig-Maximilians-Universität München
Dániel Varró
Dániel Varró Linköping University
Guido Sanguinetti
Guido Sanguinetti International School for Advanced Studies
Andrew J. Millar
Andrew J. Millar University of Edinburgh

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

Exploring online study options in computer science and related fields can open up flexible and accessible opportunities for students worldwide. Many students look for affordable online colleges to reduce the financial burden of higher education. These institutions help make quality learning more attainable regardless of your location or background.

Additionally, some students may worry about academic requirements. Fortunately, there are reputable online colleges that accept 2.0 gpa, providing second-chance pathways for those aiming to improve their careers through further education.

If you're interested in broadening your skill set, considering fields beyond computer science can also be valuable. For instance, you may want to explore what opportunities arise with other degrees such as environmental science. Learn more about what can you get with an environmental science degree to discover how technology and science merge in diverse careers.

For those wanting to fast-track their education, several institutions offer accelerated cs degree options, allowing you to complete your studies in a shorter timeframe and jumpstart your career in tech.

Best Scientists Citing Stephen Gilmore

Trending Scientists

Recently Published Articles