---
res:
  bibo_abstract:
  - 'Continuous-time Markov chains (CTMC) with their rich theory and efficient simulation
    algorithms have been successfully used in modeling stochastic processes in diverse
    areas such as computer science, physics, and biology. However, systems that comprise
    non-instantaneous events cannot be accurately and efficiently modeled with CTMCs.
    In this paper we define delayed CTMCs, an extension of CTMCs that allows for the
    specification of a lower bound on the time interval between an event''s initiation
    and its completion, and we propose an algorithm for the computation of their behavior.
    Our algorithm effectively decomposes the computation into two stages: a pure CTMC
    governs event initiations while a deterministic process guarantees lower bounds
    on event completion times. Furthermore, from the nature of delayed CTMCs, we obtain
    a parallelized version of our algorithm. We use our formalism to model genetic
    regulatory circuits (biological systems where delayed events are common) and report
    on the results of our numerical algorithm as run on a cluster. We compare performance
    and accuracy of our results with results obtained by using pure CTMCs. © 2012
    Springer-Verlag.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Calin C
      foaf_name: Guet, Calin C
      foaf_surname: Guet
      foaf_workInfoHomepage: http://www.librecat.org/personId=47F8433E-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0001-6220-2052
  - foaf_Person:
      foaf_givenName: Ashutosh
      foaf_name: Gupta, Ashutosh
      foaf_surname: Gupta
      foaf_workInfoHomepage: http://www.librecat.org/personId=335E5684-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Maria
      foaf_name: Mateescu, Maria
      foaf_surname: Mateescu
      foaf_workInfoHomepage: http://www.librecat.org/personId=3B43276C-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Ali
      foaf_name: Sezgin, Ali
      foaf_surname: Sezgin
      foaf_workInfoHomepage: http://www.librecat.org/personId=4C7638DA-F248-11E8-B48F-1D18A9856A87
  bibo_doi: 10.1007/978-3-642-31424-7_24
  bibo_volume: '7358 '
  dct_date: 2012^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Delayed continuous time Markov chains for genetic regulatory circuits@
...