L. Jason Steggles

According to our database, L. Jason Steggles authored at least 23 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Modeling Genetic Regulatory Networks.

Richard Banks, Victor Khomenko, L. Jason Steggles

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

2015

Strategy based semantics for mobility with time and access permissions.

Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles

Formal Aspects Comput., 2015

2014

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

2012

An abstraction theory for qualitative models of biological systems.

Richard Banks, L. Jason Steggles

Theor. Comput. Sci., 2012

A Timed Mobility Semantics Based on Rewriting Strategies.

Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

A Semantic Analysis of Logics That Cope with Partial Terms.

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Abstracting Asynchronous Multi-Valued Networks.

L. Jason Steggles

Sci. Ann. Comput. Sci., 2011

Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation

L. Jason Steggles

CoRR, 2011

2008

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks.

Richard Banks, Victor Khomenko, L. Jason Steggles

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

2007

A High-Level Petri Net Framework for Genetic Regulatory Networks.

Richard Banks, L. Jason Steggles

J. Integr. Bioinform., 2007

Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach.

L. Jason Steggles, Richard Banks, Oliver Shaw, Anil Wipat

Bioinform., 2007

2006

Verifying an infinite systolic algorithm using third-order equational methods.

L. Jason Steggles

J. Log. Algebraic Methods Program., 2006

Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets.

L. Jason Steggles, Richard Banks, Anil Wipat

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks.

Oliver Shaw, L. Jason Steggles, Anil Wipat

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

2004

SARGE: a tool for creation of putative genetic networks.

O. J. Shaw, Colin Harwood, L. Jason Steggles, Anil Wipat

Bioinform., 2004

2001

Correctness of dataflow and systolic algorithms using algebras of streams.

Karl Meinke, L. J. Steggles

Acta Informatica, 2001

Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.

L. J. Steggles

Proceedings of the Application and Theory of Petri Nets 2001, 2001

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

A Formal Model for SDL Specifications Based on Timed Rewriting Logic.

L. J. Steggles, Piotr Kosiuczenko

Autom. Softw. Eng., 2000

1998

A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.

L. J. Steggles, Piotr Kosiuczenko

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1997

Parameterised Higher-Order Algebraic Specifications.

L. J. Steggles

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1995

Higher-Order Algebra with Transfinite Types.

L. J. Steggles

Proceedings of the Higher-Order Algebra, 1995

1993

Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.

Karl Meinke, L. J. Steggles

Proceedings of the Higher-Order Algebra, 1993