L. Jason Steggles

16 papers B 1C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2016 — ch.
Modeling Genetic Regulatory Networks.
Modeling in Systems Biology, The Petri Net Approach
Richard Banks, Victor Khomenko, L. Jason Steggles
2015 J jnl
Strategy based semantics for mobility with time and access permissions.
Formal Aspects Comput.
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
2014 J jnl
Revising basic theorem proving algorithms to cope with the logic of partial functions.
Sci. Comput. Program.
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
2012 C conf
A Semantic Analysis of Logics That Cope with Partial Terms.
ABZ
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
2012 B conf
A Timed Mobility Semantics Based on Rewriting Strategies.
SEFM
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
2012 J jnl
An abstraction theory for qualitative models of biological systems.
Theor. Comput. Sci.
Richard Banks, L. Jason Steggles
2011 J jnl
Abstracting Asynchronous Multi-Valued Networks.
Sci. Ann. Comput. Sci.
L. Jason Steggles
2011 J jnl
Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation
CoRR
L. Jason Steggles
2010 — conf
An Abstraction Theory for Qualitative Models of Biological Systems
MeCBIC
Richard Banks, L. Jason Steggles
2008 — conf
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks.
MeCBIC
Richard Banks, Victor Khomenko, L. Jason Steggles
2007 J jnl
A High-Level Petri Net Framework for Genetic Regulatory Networks.
J. Integr. Bioinform.
Richard Banks, L. Jason Steggles
2007 J jnl
Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach.
Bioinform.
L. Jason Steggles, Richard Banks, Oliver Shaw, Anil Wipat
2006 — conf
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets.
CMSB
L. Jason Steggles, Richard Banks, Anil Wipat
2006 J jnl
Verifying an infinite systolic algorithm using third-order equational methods.
J. Log. Algebraic Methods Program.
L. Jason Steggles
2005 — conf
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks.
PASM@FM
Oliver Shaw, L. Jason Steggles, Anil Wipat
2004 J jnl
SARGE: a tool for creation of putative genetic networks.
Bioinform.
O. J. Shaw, Colin Harwood, L. Jason Steggles, Anil Wipat