L. Jason Steggles

L. J. Steggles

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

15EERichard Banks, Victor Khomenko, L. Jason Steggles: A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. Electr. Notes Theor. Comput. Sci. 227: 3-19 (2009)
14EEL. Jason Steggles, Richard Banks, Oliver Shaw, Anil Wipat: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23(3): 336-343 (2007)
13EERichard Banks, L. Jason Steggles: A High-Level Petri Net Framework for Genetic Regulatory Networks. J. Integrative Bioinformatics 4(3): (2007)
12EEL. Jason Steggles, Richard Banks, Anil Wipat: Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets. CMSB 2006: 127-141
11EEOliver Shaw, L. Jason Steggles, Anil Wipat: Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. Electr. Notes Theor. Comput. Sci. 151(3): 111-129 (2006)
10EEL. Jason Steggles: Verifying an infinite systolic algorithm using third-order equational methods. J. Log. Algebr. Program. 69(1-2): 75-92 (2006)
9EEO. J. Shaw, Colin Harwood, L. Jason Steggles, Anil Wipat: SARGE: a tool for creation of putative genetic networks. Bioinformatics 20(18): 3638-3640 (2004)
8EEL. J. Steggles: Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. ICATPN 2001: 363-381
7EEKarl Meinke, L. J. Steggles: Correctness of dataflow and systolic algorithms using algebras of streams. Acta Inf. 38(1): 45-88 (2001)
6 L. J. Steggles, Piotr Kosiuczenko: A Formal Model for SDL Specifications Based on Timed Rewriting Logic. Autom. Softw. Eng. 7(1): 61-90 (2000)
5EEL. J. Steggles: Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller. J. UCS 6(4): 460-473 (2000)
4EEL. J. Steggles, Piotr Kosiuczenko: A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. Electr. Notes Theor. Comput. Sci. 15: (1998)
3 L. J. Steggles: Parameterised Higher-Order Algebraic Specifications. ALP/HOA 1997: 76-98
2 L. J. Steggles: Higher-Order Algebra with Transfinite Types. HOA 1995: 238-263
1 Karl Meinke, L. J. Steggles: Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. HOA 1993: 189-222

Coauthor Index

1Richard Banks [12] [13] [14] [15]
2Colin Harwood [9]
3Victor Khomenko [15]
4Piotr Kosiuczenko [4] [6]
5Karl Meinke [1] [7]
6O. J. Shaw [9]
7Oliver Shaw [11] [14]
8Anil Wipat [9] [11] [12] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)