# L. Jason Steggles

According to our database

^{1}, L. Jason Steggles## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2015

Strategy based semantics for mobility with time and access permissions.

Formal Asp. Comput., 2015

2014

Revising basic theorem proving algorithms to cope with the logic of partial functions.

Sci. Comput. Program., 2014

2012

An abstraction theory for qualitative models of biological systems.

Theor. Comput. Sci., 2012

A Timed Mobility Semantics Based on Rewriting Strategies.

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

A Semantic Analysis of Logics That Cope with Partial Terms.

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

2011

Abstracting Asynchronous Multi-Valued Networks.

Sci. Ann. Comp. Sci., 2011

Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation

CoRR, 2011

2010

An Abstraction Theory for Qualitative Models of Biological Systems

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

2009

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

Electr. Notes Theor. Comput. Sci., 2009

2007

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

J. Integrative Bioinformatics, 2007

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

Bioinformatics, 2007

2006

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

J. Log. Algebr. Program., 2006

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks.

Electr. Notes Theor. Comput. Sci., 2006

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

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

2004

SARGE: a tool for creation of putative genetic networks.

Bioinformatics, 2004

2001

Correctness of dataflow and systolic algorithms using algebras of streams.

Acta Inf., 2001

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

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.

J. UCS, 2000

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

Autom. Softw. Eng., 2000

1998

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

Electr. Notes Theor. Comput. Sci., 1998

1997

Parameterised Higher-Order Algebraic Specifications.

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

1995

Higher-Order Algebra with Transfinite Types.

Proceedings of the Higher-Order Algebra, 1995

1993

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

Proceedings of the Higher-Order Algebra, 1993