Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Jason Steggles.

Newcastle AuthorsTitleYearFull text
Hanin Yahya I Abdulrahman
Dr Jason Steggles
Developing Attractor Analysis Techniques for a Compositional Boolean Network Framework2022
Hanadi Alkhudhayr
Dr Jason Steggles
A compositional framework for Boolean networks2019
Hanadi Alkhudhayr
Dr Jason Steggles
A Formal Framework for Composing Qualitative Models of Biological Systems2017
Obad - Abdullah Alhumaidan
Dr Jason Steggles
Modelling and Analysing Qualitative Biological Models using Rewriting Logic2017
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
Strategy based semantics for mobility with time and access permissions2015
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Revising basic theorem proving algorithms to cope with the logic of partial functions2014
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions2014
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
A Semantic Analysis of Logics that Cope with Partial Terms2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics based on Rewriting Strategies2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies2012
Richard Banks
Dr Jason Steggles
An abstraction theory for qualitative models of biological systems2012
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Towards a Mechanisation of a Logic that Copes with Partial Terms2012
Dr Jason Steggles
Abstracting Asynchronous Multi-Valued Networks2011
Dr Jason Steggles
Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation2011
Richard Banks
Dr Jason Steggles
An Abstraction Theory for Qualitative Models of Biological Systems2010
Richard Banks
Dr Victor Khomenko
Dr Jason Steggles
Modelling Genetic Regulatory Networks2010
Richard Banks
Dr Victor Khomenko
Dr Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks2009
Richard Banks
Dr Victor Khomenko
Dr Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks2008
Richard Banks
Dr Jason Steggles
A High-Level Petri Net Framework for Genetic Regulatory Networks2007
Richard Banks
Dr Jason Steggles
A High-Level Petri Net Framework for Multi-Valued Genetic Regulatory Networks2007
Dr Jason Steggles
Dr Oliver Shaw
Professor Anil Wipat
Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach2007
Dr Jason Steggles
Professor Anil Wipat
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks2006
Dr Jason Steggles
Richard Banks
Professor Anil Wipat
Modelling and analysing genetic networks: From Boolean networks to Petri nets2006
Dr Jason Steggles
Richard Banks
Professor Anil Wipat
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets2006
Dr Jason Steggles
Verifying an infinite systolic algorithm using third-order equational methods2006
Oliver Shaw
Dr Jason Steggles
Professor Anil Wipat
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks2005
Oliver Shaw
Dr Jason Steggles
Professor Anil Wipat
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks2005
Oliver Shaw
Dr Albert Koelmans
Dr Jason Steggles
Professor Anil Wipat
Applying Petri Nets to Systems Biology using XML Technologies2004
Oliver Shaw
Dr Albert Koelmans
Dr Jason Steggles
Professor Anil Wipat
Applying Petri Nets to Systems Biology using XMLTechnologies2004
Dr Oliver Shaw
Professor Colin Harwood
Dr Jason Steggles
Professor Anil Wipat
SARGE: A tool for creation of putative genetic networks2004
Dr Jason Steggles
Verifying an Infinite Systolic Algorithm using Third-Order Algebraic Methods2003
Dr Jason Steggles
Algebraic Prototyping Tools for Petri Nets with Time2002
Saad Alfoudari
Dr Jason Steggles
Formalizing Design Patterns: A Case Study of the Iterator Pattern2002
Dr Jason Steggles
Correctness of dataflow and systolic algorithms using algebras of streams2001
Dr Jason Steggles
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time2001
Dr Jason Steggles
Formal model for SDL specifications based on Timed Rewriting Logic2000
Dr Jason Steggles
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time2000
Dr Jason Steggles
Specifying and verifying real-time systems using second-order algebraic methods: A case study of the railroad crossing controller2000
Dr Jason Steggles
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller2000
Dr Jason Steggles
A Formal Model for SDL Specifications based on Timed Rewriting Logic1998
Dr Jason Steggles
A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol1998
Dr Jason Steggles
A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol1998
Dr Jason Steggles
Parameterised Higher-Order Algebraic Specifications1997
Dr Jason Steggles
Parameterised Higher-Order Algebraic Specifications1997
Dr Jason Steggles
Correctness of Dataflow and Systolic Algorithms: Case Studies in Higher-Order Algebra1996
Dr Jason Steggles
Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF1996
Dr Jason Steggles
Higher-Order Algebra with Transfinite Types1996
Dr Jason Steggles
Higher-Order Algebra with Transfinite Types1995
Dr Jason Steggles
Specification and Verification in Higher Order Algebra: A Case Study of Convolution1994