L. Jason Steggles

According to our database1, L. Jason Steggles
  • authored at least 23 papers between 1993 and 2015.
  • has a "Dijkstra number"2 of four.

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


  Loading...