---
res:
  bibo_abstract:
  - "Motivation: The problem of model inference is of fundamental importance to systems
    biology. Logical models (e.g. Boolean networks; BNs) represent a computationally
    attractive approach capable of handling large biological networks. The models
    are typically inferred from experimental data. However, even with a substantial
    amount of experimental data supported by some prior knowledge, existing inference
    methods often focus on a small sample of admissible candidate models only.\r\n\r\nResults:
    We propose Boolean network sketches as a new formal instrument for the inference
    of Boolean networks. A sketch integrates (typically partial) knowledge about the
    network’s topology and the update logic (obtained through, e.g. a biological knowledge
    base or a literature search), as well as further assumptions about the properties
    of the network’s transitions (e.g. the form of its attractor landscape), and additional
    restrictions on the model dynamics given by the measured experimental data. Our
    new BNs inference algorithm starts with an ‘initial’ sketch, which is extended
    by adding restrictions representing experimental data to a ‘data-informed’ sketch
    and subsequently computes all BNs consistent with the data-informed sketch. Our
    algorithm is based on a symbolic representation and coloured model-checking. Our
    approach is unique in its ability to cover a broad spectrum of knowledge and efficiently
    produce a compact representation of all inferred BNs. We evaluate the method on
    a non-trivial collection of real-world and simulated data.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Nikola
      foaf_name: Beneš, Nikola
      foaf_surname: Beneš
  - foaf_Person:
      foaf_givenName: Luboš
      foaf_name: Brim, Luboš
      foaf_surname: Brim
  - foaf_Person:
      foaf_givenName: Ondřej
      foaf_name: Huvar, Ondřej
      foaf_surname: Huvar
  - foaf_Person:
      foaf_givenName: Samuel
      foaf_name: Pastva, Samuel
      foaf_surname: Pastva
      foaf_workInfoHomepage: http://www.librecat.org/personId=07c5ea74-f61c-11ec-a664-aa7c5d957b2b
    orcid: 0000-0003-1993-0331
  - foaf_Person:
      foaf_givenName: David
      foaf_name: Šafránek, David
      foaf_surname: Šafránek
  bibo_doi: 10.1093/bioinformatics/btad158
  bibo_issue: '4'
  bibo_volume: 39
  dct_date: 2023^xs_gYear
  dct_identifier:
  - UT:000976610800001
  dct_isPartOf:
  - http://id.crossref.org/issn/1367-4811
  dct_language: eng
  dct_publisher: Oxford University Press@
  dct_title: 'Boolean network sketches: A unifying framework for logical model inference@'
  fabio_hasPubmedId: '37004199'
...