What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
The scientist’s investigation covers issues in Process calculus, Theoretical computer science, PEPA, Software engineering and Formal methods.
He incorporates Process calculus and Grid application in his research.
His study in the field of Stochastic process algebra is also linked to topics like Formalism.
In his study, Multiprocessing and Program analysis is strongly linked to Algorithm, which falls under the umbrella field of PEPA.
While the research belongs to areas of Software engineering, Stephen Gilmore spends his time largely on the problem of Artificial intelligence, intersecting his research to questions surrounding Skeleton and Simple.
His biological study spans a wide range of topics, including Verification and validation and Unified Modeling Language, Applications of UML.
His most cited work include:
- Evaluating the Performance of Skeleton-Based High Level Parallel Programs (343 citations)
- Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel mean value analysis algorithm (284 citations)
- The PEPA workbench: a tool to support a process algebra-based approach to performance modelling (257 citations)
What are the main themes of his work throughout his whole career to date?
Process calculus, PEPA, Theoretical computer science, Programming language and Software engineering are his primary areas of study.
His research on Process calculus also deals with topics like
- Artificial intelligence together with Software development,
- Applications of UML together with UML tool.
As part of one scientific family, Stephen Gilmore deals mainly with the area of PEPA, narrowing it down to issues related to the Algorithm, and often State space.
He works mostly in the field of Theoretical computer science, limiting it down to topics relating to Continuous-time Markov chain and, in certain cases, Mathematical optimization, as a part of the same area of interest.
His study in Programming language focuses on Java, Heap, Formal language and Functional programming.
In his study, Web service is inextricably linked to Software, which falls within the broad field of Software engineering.
He most often published in these fields:
- Process calculus (39.08%)
- PEPA (35.06%)
- Theoretical computer science (27.01%)
What were the highlights of his more recent work (between 2012-2020)?
- Public transport (4.02%)
- Collective adaptive systems (4.02%)
- Simulation (5.75%)
In recent papers he was focusing on the following fields of study:
Stephen Gilmore spends much of his time researching Public transport, Collective adaptive systems, Simulation, Component and Operations research.
His work carried out in the field of Public transport brings together such families of science as Quality of service, Scheduling, Real-time computing and Statistical model.
His Collective adaptive systems research includes elements of Theoretical computer science, Set and Human–computer interaction.
The Component study combines topics in areas such as Representation, Liveness, Complex system and System model.
His work deals with themes such as Computer security, Service provider, Service composition and Location tracking, which intersect with Operations research.
Stephen Gilmore has included themes like Continuous-time Markov chain, Process calculus, PEPA and Temporal logic in his Algorithm study.
Between 2012 and 2020, his most popular works were:
- CARMA: Collective Adaptive Resource-sharing Markovian Agents (29 citations)
- Spatio-temporal model-checking of vehicular movement in public transport systems (21 citations)
- Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data (19 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
Stephen Gilmore mostly deals with Simulation, Public transport, Collective adaptive systems, Adaptive system and City centre.
Stephen Gilmore works mostly in the field of Simulation, limiting it down to topics relating to Operations research and, in certain cases, Temporal logic and Key.
His Public transport research integrates issues from Quality of service and Real-time computing.
His studies in Collective adaptive systems integrate themes in fields like Travel time, Software tool, Industrial engineering and Human–computer interaction.
His research in Adaptive system intersects with topics in Class, Correctness, Set and Theoretical computer science.
Stephen Gilmore integrates Stochastic modelling and Model checking in his studies.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
