Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
2009 · Electronic Notes in Theoretical Computer Science · 25 citations
https://doi.org/10.1016/j.entcs.2009.02.048
S
Stephen Gilmore
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
297
Papers
4.8K
Citations
35
h-index
79
i10-index
Stephen Gilmore is an academic researcher. The author has contributed to research in topics: Formal Methods in Verification & Advanced Software Engineering Methodologies & Conflict of Laws and Jurisdiction. The author has an h-index of 35, co-authored 253 publications.
ORCID: 0000-0002-3657-989XPapers by this author
worksSecuring Statically-verified Communications Protocols Against Timing Attacks
2005 · Electronic Notes in Theoretical Computer Science · 20 citations
https://doi.org/10.1016/j.entcs.2005.01.016
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
2006 · Electronic Notes in Theoretical Computer Science · 18 citations
https://doi.org/10.1016/j.entcs.2006.03.009
Finding Optimal Timetables for Edinburgh Bus Routes
2015 · Electronic Notes in Theoretical Computer Science · 14 citations
https://doi.org/10.1016/j.entcs.2014.12.018
A Structural Approach for Modelling Performance of Systems Using Skeletons
2007 · Electronic Notes in Theoretical Computer Science · 11 citations
https://doi.org/10.1016/j.entcs.2007.07.010
The Input Signal Step Function (ISSF), a Standard Method to Encode Input Signals in SBML Models with Software Support, Applied to Circadian Clock Models
2012 · Journal of Biological Rhythms · 7 citations
https://doi.org/10.1177/0748730412451077
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat