Publications by Dr Jason Steggles - ePrints

Browsing publications by Dr Jason Steggles.

Newcastle Authors	Title	Year
Maram Alshahrani Dr Jason Steggles	Compositional Techniques for Asynchronous Boolean Networks	2024
Dr Hanin Yahya I Abdulrahman Dr Jason Steggles	Compositional Techniques for Boolean Networks and Attractor Analysis	2024
Dr Hanin Yahya I Abdulrahman Dr Jason Steggles	Developing Attractor Analysis Techniques for a Compositional Boolean Network Framework	2022
Hanadi Alkhudhayr Dr Jason Steggles	A compositional framework for Boolean networks	2019
Hanadi Alkhudhayr Dr Jason Steggles	A Formal Framework for Composing Qualitative Models of Biological Systems	2017
Obad - Abdullah Alhumaidan Dr Jason Steggles	Modelling and Analysing Qualitative Biological Models using Rewriting Logic	2017
Professor Gabriel Ciobanu Professor Maciej Koutny Dr Jason Steggles	Strategy based semantics for mobility with time and access permissions	2015
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Revising basic theorem proving algorithms to cope with the logic of partial functions	2014
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions	2014
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	A Semantic Analysis of Logics that Cope with Partial Terms	2012
Professor Gabriel Ciobanu Professor Maciej Koutny Dr Jason Steggles	A Timed Mobility Semantics based on Rewriting Strategies	2012
Professor Gabriel Ciobanu Professor Maciej Koutny Dr Jason Steggles	A Timed Mobility Semantics Based on Rewriting Strategies	2012
Richard Banks Dr Jason Steggles	An abstraction theory for qualitative models of biological systems	2012
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Towards a Mechanisation of a Logic that Copes with Partial Terms	2012
Dr Jason Steggles	Abstracting Asynchronous Multi-Valued Networks	2011
Dr Jason Steggles	Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation	2011
Richard Banks Dr Jason Steggles	An Abstraction Theory for Qualitative Models of Biological Systems	2010
Richard Banks Dr Victor Khomenko Dr Jason Steggles	Modelling Genetic Regulatory Networks	2010
Richard Banks Dr Victor Khomenko Dr Jason Steggles	A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks	2009
Richard Banks Dr Victor Khomenko Dr Jason Steggles	A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks	2008
Richard Banks Dr Jason Steggles	A High-Level Petri Net Framework for Genetic Regulatory Networks	2007
Richard Banks Dr Jason Steggles	A High-Level Petri Net Framework for Multi-Valued Genetic Regulatory Networks	2007
Dr Jason Steggles Dr Oliver Shaw Professor Anil Wipat	Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach	2007
Dr Jason Steggles Professor Anil Wipat	Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks	2006
Dr Jason Steggles Richard Banks Professor Anil Wipat	Modelling and analysing genetic networks: From Boolean networks to Petri nets	2006
Dr Jason Steggles Richard Banks Professor Anil Wipat	Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets	2006
Dr Jason Steggles	Verifying an infinite systolic algorithm using third-order equational methods	2006
Oliver Shaw Dr Jason Steggles Professor Anil Wipat	Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks	2005
Oliver Shaw Dr Jason Steggles Professor Anil Wipat	Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks	2005
Oliver Shaw Dr Albert Koelmans Dr Jason Steggles Professor Anil Wipat	Applying Petri Nets to Systems Biology using XML Technologies	2004
Oliver Shaw Dr Albert Koelmans Dr Jason Steggles Professor Anil Wipat	Applying Petri Nets to Systems Biology using XMLTechnologies	2004
Dr Oliver Shaw Professor Colin Harwood Dr Jason Steggles Professor Anil Wipat	SARGE: A tool for creation of putative genetic networks	2004
Dr Jason Steggles	Verifying an Infinite Systolic Algorithm using Third-Order Algebraic Methods	2003
Dr Jason Steggles	Algebraic Prototyping Tools for Petri Nets with Time	2002
Saad Alfoudari Dr Jason Steggles	Formalizing Design Patterns: A Case Study of the Iterator Pattern	2002
Dr Jason Steggles	Correctness of dataflow and systolic algorithms using algebras of streams	2001
Dr Jason Steggles	Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time	2001
Dr Jason Steggles	Formal model for SDL specifications based on Timed Rewriting Logic	2000
Dr Jason Steggles	Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time	2000
Dr Jason Steggles	Specifying and verifying real-time systems using second-order algebraic methods: A case study of the railroad crossing controller	2000
Dr Jason Steggles	Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller	2000
Dr Jason Steggles	A Formal Model for SDL Specifications based on Timed Rewriting Logic	1998
Dr Jason Steggles	A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol	1998
Dr Jason Steggles	A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol	1998
Dr Jason Steggles	Parameterised Higher-Order Algebraic Specifications	1997
Dr Jason Steggles	Parameterised Higher-Order Algebraic Specifications	1997
Dr Jason Steggles	Correctness of Dataflow and Systolic Algorithms: Case Studies in Higher-Order Algebra	1996
Dr Jason Steggles	Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF	1996
Dr Jason Steggles	Higher-Order Algebra with Transfinite Types	1996
Dr Jason Steggles	Higher-Order Algebra with Transfinite Types	1995
Dr Jason Steggles	Specification and Verification in Higher Order Algebra: A Case Study of Convolution	1994