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
Emeritus 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
Emeritus Professor Maciej Koutny
Dr Jason Steggles
| A Timed Mobility Semantics based on Rewriting Strategies | 2012 |
|
Professor Gabriel Ciobanu
Emeritus 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 |
|
