相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Pinning Control for Stabilization of Boolean Networks Under Knock-Out Perturbation
Jie Zhong et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2022)
The complex structure of GRL0617 and SARS-CoV-2 PLpro reveals a hot spot for antiviral drug discovery
Ziyang Fu et al.
NATURE COMMUNICATIONS (2021)
Steady-State Design of Large-Dimensional Boolean Networks
Jie Zhong et al.
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS (2021)
Discrimination of attractors with noisy nodes in Boolean networks
Xiaoqing Cheng et al.
AUTOMATICA (2021)
GAPORE: Boolean network inference using a genetic algorithm with novel polynomial representation and encoding scheme
Xiang Liu et al.
KNOWLEDGE-BASED SYSTEMS (2021)
Reinforcement Learning Approach to Feedback Stabilization Problem of Probabilitic Boolcan Control Networks
Antonio Acernese et al.
IEEE CONTROL SYSTEMS LETTERS (2021)
Parallel parameter synthesis algorithm for hybrid CTL
Nikola Benes et al.
SCIENCE OF COMPUTER PROGRAMMING (2020)
Automated inference of Boolean models from molecular interaction maps using CaSQ
Sara Sadat Aghamiri et al.
BIOINFORMATICS (2020)
TREML4 Promotes Inflammatory Programs in Human and Murine Macrophages and Alters Atherosclerosis Lesion Composition in the Apolipoprotein E Deficient Mouse
Marieli Gonzalez-Cotto et al.
FRONTIERS IN IMMUNOLOGY (2020)
COVID-19 Disease Map, building a computational repository of SARS-CoV-2 virus-host interaction mechanisms
Marek Ostaszewski et al.
SCIENTIFIC DATA (2020)
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Nikola Benes et al.
COMPUTER AIDED VERIFICATION (CAV 2020), PT I (2020)
How COVID-19 induces cytokine storm with high mortality
Shintaro Hojyo et al.
INFLAMMATION AND REGENERATION (2020)
Controlling large Boolean networks with single-step perturbations
Alexis Baudin et al.
BIOINFORMATICS (2019)
On logical bifurcation diagrams
Wassim Abou-Jaoude et al.
JOURNAL OF THEORETICAL BIOLOGY (2019)
ASSA-PBN: A Toolbox for Probabilistic Boolean Networks
Andrzej Mizera et al.
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (2018)
ATLANTIS - Attractor Landscape Analysis Toolbox for Cell Fate Discovery and Reprogramming
Osama Shiraz Shah et al.
SCIENTIFIC REPORTS (2018)
Boolean Networks: Beyond Generalized Asynchronicity
Thomas Chatain et al.
CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS, AUTOMATA 2018 (2018)
PyBoolNet: a python package for the generation, analysis and visualization of boolean networks
Hannes Klarner et al.
BIOINFORMATICS (2017)
Petri Net computational modelling of Langerhans cell Interferon Regulatory Factor Network predicts their role in T cell activation
Marta E. Polak et al.
SCIENTIFIC REPORTS (2017)
Detecting Attractors in Biological Models with Uncertain Parameters
Jiri Barnat et al.
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2017) (2017)
An efficient algorithm for identifying primary phenotype attractors of a large-scale Boolean network
Sang-Mok Choo et al.
BMC SYSTEMS BIOLOGY (2016)
Logical Modeling and Dynamical Analysis of Cellular Networks
Wassim Abou-Jaoude et al.
FRONTIERS IN GENETICS (2016)
A Model Checking Approach to Discrete Bifurcation Analysis
Nikola Benes et al.
FM 2016: FORMAL METHODS (2016)
Computing maximal and minimal trap spaces of Boolean networks
Hannes Klarner et al.
NATURAL COMPUTING (2015)
Quantitative and logic modelling of molecular and gene networks
Nicolas Le Novere
NATURE REVIEWS GENETICS (2015)
Computing maximal and minimal trap spaces of Boolean networks
Hannes Klarner et al.
NATURAL COMPUTING (2015)
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data
Jasmin Fisher et al.
COMPUTER AIDED VERIFICATION, PT I (2015)
A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks
Wensheng Guo et al.
PLOS ONE (2014)
Phase locking and multiple oscillating attractors for the coupled mammalian clock and cell cycle
Celine Feillet et al.
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA (2014)
Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space
Nikolaos Berntenis et al.
BMC BIOINFORMATICS (2013)
Boolean Networks With Multiexpresions and Parameters
Yi Ming Zou
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (2013)
Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision
Luca Grieco et al.
PLOS COMPUTATIONAL BIOLOGY (2013)
The Cell Collective: Toward an open and collaborative approach to systems biology
Tomas Helikar et al.
BMC SYSTEMS BIOLOGY (2012)
Boolean modeling in systems biology: an overview of methodology and applications
Rui-Sheng Wang et al.
PHYSICAL BIOLOGY (2012)
Network Model of Immune Responses Reveals Key Effectors to Single and Co-infection Dynamics by a Respiratory Bacterium and a Gastrointestinal Helminth
Juilee Thakar et al.
PLOS COMPUTATIONAL BIOLOGY (2012)
A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks
Elena Dubrova et al.
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (2011)
BoolNet-an R package for generation, reconstruction and analysis of Boolean networks
Christoph Muessel et al.
BIOINFORMATICS (2010)
Attractor analysis of asynchronous Boolean models of signal transduction networks
Assieh Saadatpour et al.
JOURNAL OF THEORETICAL BIOLOGY (2010)
Detecting a Singleton Attractor in a Boolean Network Utilizing SAT Algorithms
Takeyuki Tamura et al.
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2009)
From structure to dynamics: Frequency tuning in the p53-Mdm2 network I. Logical approach
Wassim Abou-Jaoude et al.
JOURNAL OF THEORETICAL BIOLOGY (2009)
Integer Programming-Based Methods for Attractor Detection and Control of Boolean Networks
Tatsuya Akutsu et al.
PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009) (2009)
Synchronous versus asynchronous modeling of gene regulatory networks
Abhishek Garg et al.
BIOINFORMATICS (2008)
Algorithms for Finding Small Attractors in Boolean Networks
Shu-Qin Zhang et al.
EURASIP JOURNAL ON BIOINFORMATICS AND SYSTEMS BIOLOGY (2007)
Structural and functional analysis of cellular networks with CellNetAnalyzer
Steffen Klamt et al.
BMC SYSTEMS BIOLOGY (2007)
Stable and unstable attractors in Boolean networks
K Klemm et al.
PHYSICAL REVIEW E (2005)
Reconstruction of cellular signalling networks and analysis of their properties
JA Papin et al.
NATURE REVIEWS MOLECULAR CELL BIOLOGY (2005)
Identification of all steady states in large networks by logical analysis
V Devloo et al.
BULLETIN OF MATHEMATICAL BIOLOGY (2003)
Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks
I Shmulevich et al.
BIOINFORMATICS (2002)