L. Jason Steggles

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 1

Top Topics

Signal Transduction

Biological Systems

Qualitative Models

Theorem Proving

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27 (3) (2015)
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
Revising basic theorem proving algorithms to cope with the logic of partial functions. Sci. Comput. Program. 94 (2014)
Richard Banks, L. Jason Steggles
An abstraction theory for qualitative models of biological systems. Theor. Comput. Sci. 431 (2012)
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies. SEFM (2012)
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
A Semantic Analysis of Logics That Cope with Partial Terms. ABZ (2012)
L. Jason Steggles
Abstracting Asynchronous Multi-Valued Networks. Sci. Ann. Comput. Sci. 21 (2) (2011)
L. Jason Steggles
Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation CoRR (2011)
Richard Banks, L. Jason Steggles
An Abstraction Theory for Qualitative Models of Biological Systems MeCBIC (2010)
Richard Banks, Victor Khomenko, L. Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. Electron. Notes Theor. Comput. Sci. 227 (2009)
L. Jason Steggles, Richard Banks, Oliver Shaw, Anil Wipat
Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinform. 23 (3) (2007)
Richard Banks, L. Jason Steggles
A High-Level Petri Net Framework for Genetic Regulatory Networks. J. Integr. Bioinform. 4 (3) (2007)
L. Jason Steggles
Verifying an infinite systolic algorithm using third-order equational methods. J. Log. Algebraic Methods Program. 69 (1-2) (2006)
L. Jason Steggles, Richard Banks, Anil Wipat
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets. CMSB (2006)
Oliver Shaw, L. Jason Steggles, Anil Wipat
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. Electron. Notes Theor. Comput. Sci. 151 (3) (2006)
O. J. Shaw, Colin Harwood, L. Jason Steggles, Anil Wipat
SARGE: a tool for creation of putative genetic networks. Bioinform. 20 (18) (2004)