Compositional Techniques for Asynchronous Boolean Networks

Maram Alshahrani; Maram Alshahrani; Jason Steggles

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Compositional Techniques for Asynchronous Boolean Networks

Topics: Analysis of Biological Networks ; Formal Verification and Validation of Biological Systems; Simulation and Modeling; Systems Biology and Computational Network Biology

In Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 1: BIOINFORMATICS, 429-437, 2024 , Rome, Italy

Authors: Maram Alshahrani ^{1

;

2} and Jason Steggles ¹

Affiliations: ¹ School of Computing, Newcastle University, Newcastle upon Tyne, U.K. ; ² Faculty of Computer Science, King Khalid University, Abha, Saudi Arabia

Keyword(s): Asynchronous Boolean Networks, Model Composition, Behaviour Preservation, Attractor Identification.

Abstract: Asynchronous Boolean networks are an important qualitative modelling approach for analysing and engineering biological systems. However, their practical application is limited by the state space explosion problem and lack of engineering tools. To help address these limitations we develop new compositional techniques for constructing and analysing asynchronous Boolean networks based on the idea of merging entities using Boolean operators. We propose a novel asynchronous interference state graph to model the interference that occurs in a composition and develop a range of important new asynchronous compositional techniques for analysing behavioural preservation and identifying point attractors.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.221.26.250

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Alshahrani, M. and Steggles, J. (2024). Compositional Techniques for Asynchronous Boolean Networks. In Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOINFORMATICS; ISBN 978-989-758-688-0; ISSN 2184-4305, SciTePress, pages 429-437. DOI: 10.5220/0012324300003657

@conference{bioinformatics24,
author={Maram Alshahrani. and Jason Steggles.},
title={Compositional Techniques for Asynchronous Boolean Networks},
booktitle={Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOINFORMATICS},
year={2024},
pages={429-437},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012324300003657},
isbn={978-989-758-688-0},
issn={2184-4305},
}

TY - CONF

JO - Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOINFORMATICS
TI - Compositional Techniques for Asynchronous Boolean Networks
SN - 978-989-758-688-0
IS - 2184-4305
AU - Alshahrani, M.
AU - Steggles, J.
PY - 2024
SP - 429
EP - 437
DO - 10.5220/0012324300003657
PB - SciTePress