Jane Hillston

Q: What Schools Are Affiliated With Jane Hillston

Jane Hillston is affiliated with the following schools: University of York, Lehigh University, University of Edinburgh

Jane Hillston's AcademicInfluence.com Rankings

Jane Hillston

Computer Science

#2401

World Rank

#2507

Historical Rank

Database

#4830

World Rank

#5017

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Jane Hillston Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jane Elizabeth Hillston is a British computer scientist who is professor of quantitative modelling and head of school in the School of Informatics, University of Edinburgh, Scotland. Early life and education Hillston received a BA in Mathematics from the University of York in 1985, an MSc in Mathematics from Lehigh University in the United States in 1987 and a PhD in Computer Science from the University of Edinburgh in 1994, where she has spent her subsequent academic career. Her PhD thesis was awarded the BCS/CPHC Distinguished Dissertation Awards in 1995 and has been published by Cambridge University Press.

(See a Problem?)

Jane Hillston's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A compositional approach to performance modelling (1996) (1583)
Evaluating the Performance of Skeleton-Based High Level Parallel Programs (2004) (360)
Bio-PEPA: A framework for the modelling and analysis of biological systems (2009) (352)
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling (1994) (343)
Fluid flow approximation of PEPA models (2005) (337)
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA (2006) (249)
Flexible Skeletal Programming with eSkel (2005) (230)
Continuous approximation of collective system behaviour: A tutorial (2013) (171)
PEPA nets: a structured performance modelling formalism (2002) (155)
Scalable Differential Analysis of Process Algebra Models (2012) (136)
Compositional Markovian Modelling Using a Process Algebra (1995) (131)
Fluid Model Checking (2012) (114)
An Efficient Algorithm for Aggregating PEPA Models (2001) (111)
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (2007) (110)
Specifying Performance Measures for PEPA (1999) (107)
Process algebras for quantitative analysis (2005) (106)
Automatically deriving ODEs from process algebra models of signalling pathways (2005) (98)
The nature of synchronisation (1994) (95)
An Efficient Kronecker Representation for PEPA Models (2001) (81)
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science) (2005) (77)
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models (2008) (74)
PALOMA: A Process Algebra for Located Markovian Agents (2014) (72)
Challenges for Quantitative Analysis of Collective Adaptive Systems (2013) (65)
A comparison of performance evaluation process algebra and generalized stochastic Petri nets (1995) (64)
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra (2005) (63)
Stochastic Process Algebras (2007) (63)
Product form solution for a class of PEPA models (1998) (62)
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools (2016) (60)
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models (1995) (56)
Stochastic properties of the plant circadian clock (2012) (56)
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods (2006) (51)
Analysing UML 2.0 activity diagrams in the software performance engineering process (2004) (45)
Formal Methods for Computational Systems Biology (2008) (45)
CARMA: Collective Adaptive Resource-sharing Markovian Agents (2015) (45)
Performance modelling with UML and stochastic process algebras (2002) (44)
Specifications in stochastic process algebra for a robot control problem (1996) (44)
Relating continuous and discrete PEPA models of signalling pathways (2008) (42)
The Bio-PEPA Tool Suite (2009) (41)
Mission reliability of semi-Markov systems under generalized operational time requirements (2015) (41)
Process Algebra Modelling Styles for Biomolecular Processes (2009) (41)
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras (1995) (41)
Process Algebras in Systems Biology (2008) (40)
Software performance modelling using PEPA nets (2004) (40)
Performance modelling with the Unified Modelling Language and stochastic process algebras (2003) (38)
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (2009) (37)
Fluid Rewards for a Stochastic Process Algebra (2012) (37)
Unbiased Bayesian inference for population Markov jump processes via random truncations (2015) (36)
Tuning Systems : From Composition to Performance (2004) (36)
Stochastic Process Algebras: From Individuals to Populations (2012) (34)
A model of flux regulation in the cholesterol biosynthesis pathway: Immune mediated graduated flux reduction versus statin-like led stepped flux reduction (2013) (34)
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems (2016) (33)
Experiences with the PEPA performance modelling (1999) (33)
Stochastic process algebras: integrating qualitative and quantitative modelling (1994) (32)
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis (2005) (31)
Scalable context-dependent analysis of emergency egress models (2012) (30)
A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks (2013) (30)
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems (2009) (30)
Bio-PEPA for Epidemiological Models (2010) (30)
Securing Statically-verified Communications Protocols Against Timing Attacks (2005) (29)
Model checking single agent behaviours by fluid approximation (2015) (28)
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems (2016) (27)
Formal techniques for performance analysis: blending SAN and PEPA (2007) (26)
Experiences with the PEPA Performance Modelling Tools (1998) (26)
Contextual lumpability (2013) (26)
HYPE: Hybrid modelling by composition of flows (2013) (25)
Formal Methods for Performance Evaluation (2007) (24)
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS (2005) (24)
Cost-based admission control for Internet Commerce QoS enhancement (2009) (22)
Exploiting Structure in Solution: Decomposing Compositional Models (2002) (22)
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures (2007) (21)
Performance Modelling of Content Adaptation for a Personal Distributed Environment (2009) (21)
Exploiting Modal Logic to Express Performance Measures (2000) (20)
Numerically Representing Stochastic Process Algebra Models (2012) (20)
Modelling Non-linear Crowd Dynamics in Bio-PEPA (2011) (20)
Exploiting Structure in Solution: Decomposing Composed Models (1998) (20)
Fluid Approximation of CTMC with Deterministic Delays (2012) (20)
Performance investigation of an on‐line auction system (2001) (20)
Hybrid performance modelling of opportunistic networks (2012) (19)
Tuning Systems: From Composition to Performance (The Needham Lecture) (2005) (19)
Probabilistic Programming Process Algebra (2014) (19)
Formal Methods for Biochemical Signalling Pathways (2010) (19)
Design and development of software tools for Bio-PEPA (2009) (18)
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (2013) (17)
From SPA models to programs (1996) (17)
Improved Continuous Approximation of PEPA Models through Epidemiological Examples (2009) (17)
On the Quality of Service of Crash-Recovery Failure Detectors (2007) (17)
Performance Tools and Applications to Networked Systems (2004) (17)
A Tool to Enhance Model Exploitation (1995) (17)
Product form solution for an insensitive stochastic process algebra structure (2002) (16)
Bio-PEPAd: A non-Markovian extension of Bio-PEPA (2012) (16)
HYPE Applied to the Modelling of Hybrid Biological Systems (2008) (15)
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) (2014) (15)
Elementary structural analysis for PEPA (1997) (14)
A Structural Approach for Modelling Performance of Systems Using Skeletons (2007) (14)
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (2009) (14)
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems (2016) (14)
Algebraic Methodology and Software Technology (1992) (13)
HYPE with stochastic events (2011) (13)
Formal methods for checking the consistency of biological models. (2012) (13)
A Compositional Approach to Performance Modelling: Isomorphism and Weak Isomorphism (1996) (12)
Specification and Analysis of Open-Ended Systems with CARMA (2014) (12)
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock (2008) (12)
Moment-based availability prediction for bike-sharing systems (2017) (12)
Availability Modeling of Generalized $k$ -Out-of- $n$ :G Warm Standby Systems With PEPA (2017) (12)
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation (2012) (11)
A semantic equivalence for Bio-PEPA based on discretisation of continuous values (2011) (11)
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems (2016) (11)
Hybrid Semantics for PEPA (2010) (11)
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions (2015) (10)
Towards a Feasible Active Networking Scenario (2004) (10)
A Class of PEPA Models Exhibiting Product Form Solution over Submodels (1998) (10)
The PEPA performance modelling tools (1999) (10)
A comparison of the expressiveness of SPA and bounded SPN models (2001) (10)
Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway (2011) (10)
Modeling biological systems with delays in Bio-PEPA (2010) (10)
Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA (2010) (10)
Structural Analysis for Stochastic Process Algebra Models (2010) (9)
MELA: Modelling in Ecology with Location Attributes (2016) (9)
Efficient Checking of Individual Rewards Properties in Markov Population Models (2015) (9)
Performance Evaluation for Global Computation (2003) (9)
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (2014) (8)
Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling (1994) (8)
PEPA Nets (2003) (8)
ABC-Fun: A Probabilistic Programming Language for Biology (2013) (8)
Feature interaction in PEPA (1998) (8)
VERIFICATION AND TESTING OF BIOLOGICAL MODELS (2010) (8)
Equivalence and Discretisation in Bio-PEPA (2009) (8)
Towards Reliable Modelling with Stochastic Process Algebras (2009) (8)
A design environment for mobile applications (2006) (8)
Automated Capacity Planning for PEPA Models (2014) (8)
Modelling Mobility with PEPA Nets (2004) (7)
Monte Carlo Simulation for Reliability Estimation of Phased-Mission Systems With Minimum Operational Time Requirement (2016) (7)
Evaluation of the QoS of crash-recovery failure detection (2007) (7)
Statistical Abstraction for Multi-scale Spatio-temporal Systems (2017) (7)
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification (2006) (7)
Refining internal choice in PEPA models (1996) (7)
A Function-Equivalent Components Based Simplification Technique for PEPA Models (2006) (7)
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA (2008) (7)
Gspn and Spa Compared in Practice Modelling a Distributed Mail System (1995) (6)
A stochastic π-calculus semantics for PEPA nets (2002) (6)
Fluid Performability Analysis of Nested Automata Models (2015) (6)
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra (2008) (6)
Simulation and Verification of Dynamic Systems (2006) (6)
Proceedings of the Sixteenth UK Performance Engineering Workshop (2000) (6)
Analysing Web Service Composition with PEPA (2004) (6)
Reconciling Population and Agent Models for Crowd Dynamics (2010) (6)
An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA (2020) (6)
Unified specification and performance evaluation using stochastic process algebras (2002) (5)
Using eSkel to Implement the Multiple Baseline Stereo Application (2005) (5)
Transforming PEPA Models to Obtain Product Form Bounds (2000) (5)
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (2017) (5)
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction (2015) (5)
A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (2010) (5)
Stochastic Modelling of the Kai-based Circadian Clock (2013) (5)
Computational models in systems biology (2008) (5)
On the Quality of Service of Crash-Recovery Failure Detectors (2010) (5)
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (2011) (5)
The Benefits of Sometimes Not Being Discrete (2014) (5)
An Eecient Algorithm for Aggregating Pepa Models (1997) (5)
A semi-quantitative equivalence for abstracting from fast reactions (2011) (5)
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems (2018) (4)
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application (2004) (4)
GSPN and SPA Compared in Practice (1995) (4)
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic (2017) (4)
Experiential AI (2019) (4)
Amalgamation of Transition Sequences in the PEPA Formalism (2000) (4)
Investigating modularity in the analysis of process algebra models of biochemical systems (2010) (4)
Geometric fluid approximation for general continuous-time Markov chains (2019) (4)
Performance Analysis of Collective Adaptive Behaviour in Time and Space (2015) (4)
Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra (2010) (4)
From SAN to PEPA: A technology transfer (2002) (4)
Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA (2009) (4)
An aggregation technique for large-scale PEPA models with non-uniform populations (2013) (4)
Property-Driven State-Space Coarsening for Continuous Time Markov Chains (2016) (4)
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems (2014) (4)
Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland (1995) (4)
PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6 (2007) (3)
An enhanced operational semantics for PEPA nets (2002) (3)
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL (2019) (3)
Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models (2010) (3)
Agent Environments for Multi-Agent Systems IV (2015) (3)
Modelling Yeast Pre-rRNA Processing (2007) (3)
Conservation of Mass Analysis for Bio-PEPA (2013) (3)
Policy Synthesis for Collective Dynamics (2018) (3)
Information Flow Security for Stochastic Processes (2018) (3)
A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments (2010) (3)
An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning (2008) (2)
Probing the Performance of the Edinburgh Bike Sharing System using SSTL (2020) (2)
Computer performance evaluation '92 : modelling techniques and tools : proceedings of the sixth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh, Scotland, 16-18 September 1992 (1993) (2)
A survey of the PEPA tools (2003) (2)
Integrated Analysis from Abstract Stochastic Process Algebra Models (2008) (2)
Stochastic and Spatial Equivalences for PALOMA (2016) (2)
Performance evaluation comes to life: quantitative methods applied to biological systems (2008) (2)
Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style (2009) (2)
Service Composition for Collective Adaptive Systems (2015) (2)
Active and sparse methods in smoothed model checking (2021) (2)
Proceedings of the 7th international conference on Formal methods for performance evaluation (2007) (2)
Persistent Stochastic Non-Interference (2018) (2)
Verification of Complex Adaptive Systems Working Group Report-Dagstuhl Seminar 14512 (2015) (2)
Proceedings of Computational Methods in Systems Biology (CMSB 2005 (2005) (2)
Proceedings for the 2016 6th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (2016) (2)
Goals and Resource Constraints in CARMA (2018) (2)
A Compositional Approach to Performance Modelling: Conclusions (1996) (2)
The Performance Analysis Process (1991) (2)
MODELLING MOLECULAR SYSTEMS WITH DISCRETE CONCENTRATION LEVELS IN THE CONTEXT OF PROCESS ALGEBRA PEPA: STOCHASTIC AND DETERMINISTIC INTERPRETATIONS (2006) (2)
Multiscale modelling informed by smart grids (1)
More Women in Informatics Research and Education (2013) (1)
Proceedings of Sixth International Workshop on Process Algebra and Performance Modelling (1998) (1)
Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language” (2017) (1)
Stochastic process algebras and their markovian semantics (2018) (1)
Population models from PEPA descriptions (2006) (1)
Modeling Hybrid Systems with Stochastic Events in HYPE (2010) (1)
Delimited Persistent Stochastic Non-Interference (2019) (1)
Book of abstracts: Scientific Opening of The Microsoft Reasearch Centre for Computational and Systems Biology, Trento, Italy, April 3-5, 2006 (2006) (1)
The PEPA Feature Construct (2000) (1)
Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling (1996) (1)
A Feature Construct for PEPA (1999) (1)
Fluid approximation of broadcasting systems (2020) (1)
The Needham Lecture Tuning Systems: From Composition to Performance (2005) (1)
Round-based Super-Individuals - Balancing Speed and Accuracy (2019) (1)
A Case Study of Policy Synthesis for Swarm Robotics (2020) (1)
A Compositional Approach to Performance Modelling: Performance Evaluation Process Algebra (1996) (1)
Abstract Interpretation of PEPA Models (2015) (1)
A Case Study Using the IMSE Experimentation Tool (1991) (1)
Replicating the MAP Kinase Cascade in PEPA (2006) (1)
A Compositional Approach to Performance Modelling: Modelling Study: Multi-Server Multi-Queue Systems (1996) (1)
Performance modelling in PEPA with higher-order functions (2000) (1)
COMPARATIVE PERFORMANCE EVALUATION OF E-COMMERCE TECHNOLOGIES: A TPC-W-BASED BENCHMARKING TOOL (2003) (1)
Mapping coloured stochastic Petri nets to stochastic process algebras (2003) (1)
, M 2003 , ' PEPA nets : a structured performance modelling formalism ' (2014) (0)
Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings (2015) (0)
Explorer Stochastic Process Algebras and their Markovian Semantics (2018) (0)
Quantitative analysis of skeleton-structured applicative programs. (2005) (0)
Explorer Computational models in systems biology (2017) (0)
Edinburgh Research Explorer Goals and resource constraints in CARMA (2017) (0)
Notions of Equivalence (1996) (0)
Foreword (2008) (0)
Explorer Automated Capacity Planning for PEPA Models (2016) (0)
Models and Languages for Computational Systems Biology - Lecture 16 Quantitative Analysis of Petri Nets (2011) (0)
Reviewers in 2022 (2023) (0)
Advanced Lectures of the 16th International School on Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Volume 9700 (2016) (0)
AINA 2009 External Reviewers (2009) (0)
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS (2010) (0)
Proceedings of UKPEW 1996 (1996) (0)
Explorer ProPPA : Probabilistic Programming for Stochastic Dynamical Systems (2017) (0)
Fluid Approximation–based Analysis for Mode-switching Population Dynamics (2021) (0)
Explorer Probabilistic Programming Process Algebra (2016) (0)
Rigorous and Random Adventures in Time and Space (2012) (0)
Explorer Specifying Performance Measures for PEPA (2018) (0)
SPAs for performance modelling: Lecture 7 | Scalable Analysis (2013) (0)
Quantitative Analysis of Collective Adaptive Systems (2015) (0)
A Compositional Approach to Performance Modelling: Strong Equivalence (1996) (0)
Invited Speaker: Jane Hilston (0)
Perspectives of System Informatics (1996) (0)
Management by exception: an expert systems approach (1990) (0)
On-site proceedings of the ICALP Workshop on Stochastic Petri Nets and Related Formalisms (2003) (0)
“Semantics and Eicient Simulation Algorithms for an Expressive Muli-Level Modeling Language” (2017) (0)
A Compositional Approach to Performance Modelling: Introduction (1996) (0)
Models and Languages for Computational Systems Biology - Lecture 13 Stochastic Petri Nets for Systems Biology — (2011) (0)
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction (2018) (0)
A structural approach for modelling performance of workflow systems (2007) (0)
Scalable context-dependent analysis of emergency egress models (2011) (0)
Models and Languages for Computational Systems Biology - Lecture 18 Finding parameter values via model checking (2011) (0)
Explorer Software Performance Modelling Using PEPA Nets (2003) (0)
Computational Methods in Systems Biology, Proceedings (2007) (0)
Supplementary material from "Geometric fluid approximation for general continuous-time Markov chains" (2019) (0)
Process Algebras for Collective Dynamics (2010) (0)
Workshop on Quantitative Analysis of Programming Languages 2015 (2015) (0)
Proceedings Third Workshop From Biology To Concurrency and Back (2010) (0)
Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009). (2002) (0)
SPA for quantitative analysis: Lecture 6 | Modelling Biological Processes (2013) (0)
HYPE: Hybrid modelling by composition of flows (2011) (0)
A Stochastic Programming Approach for an Enhanced Performance of a Multi-committees Byzantine Fault Tolerant Algorithm (2022) (0)
Explorer Performance Analysis of Collective Adaptive Behaviour in Time and Space (2014) (0)
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference (2021) (0)
SPA for quantitative analysis: Lecture 7 | Modelling Hybrid Systems (2013) (0)
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions (2019) (0)
Fuzzy mathematical techniques with applications: This book by Abraham Kandel was published by Addison-Wesley in 1986 (1988) (0)
Quantitative analysis of biochemical signalling pathways (2007) (0)
Edinburgh Research Explorer Computational models in systems biology (2018) (0)
A Compositional Approach to Performance Modelling: Background (1996) (0)
Models and Languages for Computational Systems Biology - Lecture 3 Introduction to Bio-PEPA (2011) (0)
Numerically Representing A Stochastic Process Algebra (2010) (0)
Explorer MELA : Modelling in Ecology with Location Attributes (2016) (0)
Explorer The Benefits of Sometimes Not Being Discrete (2016) (0)
14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) (2017) (0)
Models and Languages for Computational Systems Biology - Lecture 8 Stochastic Model Checking (2011) (0)
15 Tackling state space explosion in PEPA models (2014) (0)
Unbiased Bayesian inference for population Markov jump processes via random truncations (2016) (0)
Models and Languages for Computational Systems Biology - Lecture 17 Biocham (2011) (0)
12 PEPA Case Study : Rap Genius on Heroku (2017) (0)
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting (2019) (0)
Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting (2019) (0)
A skeleton middleware for the parallel program (2003) (0)
Explorer Delimited Persistent Stochastic Non-Interference (2019) (0)
Fluid approximation of broadcasting systems 1 (2020) (0)
A Compositional Approach to Performance Modelling: Strong Bisimilarity (1996) (0)
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems (2009) (0)
A Compositional Approach to Performance Modelling: Bibliography (1996) (0)
A Compositional Approach to Performance Modelling: Preface (1996) (0)
From SPA models to (1996) (0)
Models and Languages for Computational Systems Biology - Lecture 5 Bio-PEPA: analysis of models (2011) (0)
Models and Languages for Computational Systems Biology - Lecture 6 Stochastic Simulation (2011) (0)
ProPPA (2018) (0)
7th UK Computer and Telecommunications Performance Engineering Workshop (1991) (0)
Explorer Exploiting Structure in Solution : Decomposing Composed Models (2016) (0)
Fluid Performability Analysis of Nested (2014) (0)
FORECAST 2016: Formal methods for the quantitative Evaluation of Collective Adaptive Systems (2016) (0)

This paper list is powered by the following services:

Other Resources About Jane Hillston

en.wikipedia.org

What Schools Are Affiliated With Jane Hillston?

Jane Hillston is affiliated with the following schools: