Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. - Karl Meinke; L. J. Steggles (HOA, 1993)

Higher-Order Algebra with Transfinite Types. - L. J. Steggles (HOA, 1995)

Parameterised Higher-Order Algebraic Specifications. - L. J. Steggles (ALP/HOA, 1997)

A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. - L. J. Steggles; Piotr Kosiuczenko (WRLA, 1998)

A Formal Model for SDL Specifications Based on Timed Rewriting Logic. - L. J. Steggles; Piotr Kosiuczenko (Autom. Softw. Eng., 2000)

Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller. - L. J. Steggles (J. Univers. Comput. Sci., 2000)

Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. - L. J. Steggles (ICATPN, 2001)

Correctness of dataflow and systolic algorithms using algebras of streams. - Karl Meinke; L. J. Steggles (Acta Informatica, 2001)

SARGE: a tool for creation of putative genetic networks. - O. J. Shaw; Colin Harwood; L. Jason Steggles; Anil Wipat (Bioinform., 2004)

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. - Oliver Shaw; L. Jason Steggles; Anil Wipat (PASM@FM, 2005)

Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets. - L. Jason Steggles; Richard Banks; Anil Wipat (CMSB, 2006)

Verifying an infinite systolic algorithm using third-order equational methods. - L. Jason Steggles (J. Log. Algebraic Methods Program., 2006)

Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. - L. Jason Steggles; Richard Banks; Oliver Shaw; Anil Wipat (Bioinform., 2007)

A High-Level Petri Net Framework for Genetic Regulatory Networks. - Richard Banks; L. Jason Steggles (J. Integr. Bioinform., 2007)

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. - Richard Banks; Victor Khomenko; L. Jason Steggles (MeCBIC, 2008)

Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation - L. Jason Steggles (CoRR, 2011)

Abstracting Asynchronous Multi-Valued Networks. - L. Jason Steggles (Sci. Ann. Comput. Sci., 2011)

A Semantic Analysis of Logics That Cope with Partial Terms. - Cliff B. Jones; Matthew J. Lovert; L. Jason Steggles (ABZ, 2012)

A Timed Mobility Semantics Based on Rewriting Strategies. - Gabriel Ciobanu; Maciej Koutny; L. Jason Steggles (SEFM, 2012)

An abstraction theory for qualitative models of biological systems. - Richard Banks; L. Jason Steggles (Theor. Comput. Sci., 2012)

Revising basic theorem proving algorithms to cope with the logic of partial functions. - Cliff B. Jones; Matthew J. Lovert; L. Jason Steggles (Sci. Comput. Program., 2014)

Strategy based semantics for mobility with time and access permissions. - Gabriel Ciobanu; Maciej Koutny; L. Jason Steggles (Formal Aspects Comput., 2015)

Modeling Genetic Regulatory Networks. - Richard Banks; Victor Khomenko; L. Jason Steggles (Modeling in Systems Biology, The Petri Net Approach, 2016)