2026 Jane Hillston: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	42	8225	7990	496	489	244	10585

Research.com Recognitions

2018 - Member of Academia Europaea
2007 - Fellow of the Royal Society of Edinburgh

Overview

Jane Hillston is affiliated with the University of Edinburgh in the United Kingdom. Their research contributions span fields including Computer Science and Biochemistry, Genetics, and Molecular Biology. The focus lies notably on topics such as distributed systems and fault tolerance, formal methods in verification, and gene regulatory network analysis.

The main topics covered in their work include:

Distributed systems and fault tolerance
Formal Methods in Verification
Gene Regulatory Network Analysis
Blockchain Technology Applications and Security
Context-Aware Activity Recognition Systems
Cryptography and Data Security
Business Process Modeling and Analysis

Their research spans core subfields such as:

Computer Networks and Communications
Computational Theory and Mathematics
Molecular Biology
Artificial Intelligence
Information Systems

The scientist has several recent publications, including:

Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware, 2024, IEEE Transactions on Dependable and Secure Computing
ParBFT: An Optimized Byzantine Consensus Parallelism Scheme, 2023, IEEE Transactions on Computers
Persistent Stochastic Non-Interference, 2021, Fundamenta Informaticae
Fluid Approximation-based Analysis for Mode-switching Population Dynamics, 2021, ACM Transactions on Modeling and Computer Simulation
Fluid approximation of broadcasting systems, 2020, Theoretical Computer Science

Frequent coauthors collaborating on multiple projects include:

Xiao Chen
Btissam Er-Rahmadi
Tiejun Ma
Paul Piho
Jacques Fleuriot

The venues that have published their work include:

IEEE Transactions on Computers
Fundamenta Informaticae
IEEE Transactions on Dependable and Secure Computing
Theoretical Computer Science
ACM Transactions on Modeling and Computer Simulation

Recognition for the scientist includes being named a Fellow of the Royal Society of Edinburgh in 2007 and becoming a Member of Academia Europaea in 2018.

Best Publications

A Compositional Approach to Performance Modelling

Jane Hillston

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

Stephen Gilmore;Jane Hillston

422
Citations
Bio-PEPA: A framework for the modelling and analysis of biological systems

Federica Ciocchetta;Jane Hillston

421
Citations
Fluid flow approximation of PEPA models

J. Hillston

367
Citations
Structural analysis for stochastic process algebra models

Jie Ding;Jane Hillston

364
Citations
Evaluating the Performance of Skeleton-Based High Level Parallel Programs

Anne Benoit;Murray Cole;Stephen Gilmore;Jane Hillston

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

Muffy Calder;Stephen Gilmore;Jane Hillston

216
Citations
Flexible skeletal programming with eskel

Anne Benoit;Murray Cole;Stephen Gilmore;Jane Hillston

212
Citations
Continuous approximation of collective system behaviour: A tutorial

Luca Bortolussi;Jane Hillston;Diego Latella;Mieke Massink

204
Citations
Formal Methods for Performance Evaluation

Allan Clark;Stephen Gilmore;Jane Hillston;Mirco Tribastone

149
Citations
Compositional Markovian Modelling Using a Process Algebra

Jane Hillston

147
Citations
Scalable Differential Analysis of Process Algebra Models

M. Tribastone;S. Gilmore;J. Hillston

141
Citations
The nature of synchronisation

Jane Hillston

132
Citations
An efficient algorithm for aggregating PEPA models

S. Gilmore;J. Hillston;M. Ribaudo

132
Citations
Process algebras for quantitative analysis

J. Hillston

130
Citations
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Federica Ciocchetta;Jane Hillston

123
Citations
PEPA nets: a structured performance modelling formalism

Stephen Gilmore;Jane Hillston;Leila Kloul;Marina Ribaudo

112
Citations
Fluid model checking

Luca Bortolussi;Jane Hillston

110
Citations
An Efficient Kronecker Representation for PEPA Models

Jane Hillston;Leïla Kloul

103
Citations
Specifying Performance Measures for PEPA

Graham Clark;Stephen Gilmore;Jane Hillston

100
Citations
A comparison of performance evaluation process algebra and generalized stochastic Petri nets

S. Donatelli;M. Ribaudo;J. Hillston

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

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

77
Citations

Frequent Co-Authors

Stephen Gilmore University of Edinburgh

Guido Sanguinetti International School for Advanced Studies

Holger Hermanns Saarland University

Rocco De Nicola IMT Institute for Advanced Studies Lucca

David Tollervey University of Edinburgh

Corrado Priami University of Pisa

Peter Ghazal Cardiff University

Markus R. Wenk Hamad bin Khalifa University

John K. Heath University of Birmingham

Guanghou Shui Chinese Academy of Sciences

External Links

Wikipedia of Jane Hillston Personal website of Jane Hillston Google Scholar page

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

Related Online Degrees & Career Pathways

Exploring computer science opens doors to diverse online degree options and pathways. Students seeking a quick start can consider an associate degree in 6 months online, which provides foundational technical skills for entry-level roles or further study.

For those interested in academia or leadership, there are affordable edd programs online—ideal for educators and administrators aiming to advance their credentials without pausing their careers.

Many learners prefer flexible study options from the most popular online colleges, which often offer a wide range of computer science and IT-related programs, making it easier to balance education with work or family commitments.

If your passion leans toward creative technology, consider pursuing a game design masters online. This specialized pathway can lead to exciting careers in the fast-growing gaming industry.

No matter your interest, the USA’s flexible online degree landscape supports varied ambitions in technology—from rapid upskilling to advanced academic and creative pursuits.