Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Jason Steggles

Newcastle AuthorsTitleYearFull text
Maram Alshahrani
Dr Jason Steggles
Compositional Techniques for Asynchronous Boolean Networks2024
Dr Hanin Yahya I Abdulrahman
Dr Jason Steggles
Compositional Techniques for Boolean Networks and Attractor Analysis2024
Dr 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
Emeritus Professor Maciej Koutny
Dr Jason Steggles
Strategy based semantics for mobility with time and access permissions2015
Emeritus Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Revising basic theorem proving algorithms to cope with the logic of partial functions2014
Emeritus Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions2014
Emeritus Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
A Semantic Analysis of Logics that Cope with Partial Terms2012
Professor Gabriel Ciobanu
Emeritus Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics based on Rewriting Strategies2012
Professor Gabriel Ciobanu
Emeritus 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
Emeritus 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
1234