Search dblp for Publications

export results for "toc:db/journals/tcs/tcs431.bht:"

 download as .bib file

@article{DBLP:journals/tcs/BacciM12,
  author       = {Giorgio Bacci and
                  Marino Miculan},
  title        = {Measurable stochastics for Brane Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {117--136},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.055},
  doi          = {10.1016/J.TCS.2011.12.055},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BacciM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BanksS12,
  author       = {Richard Banks and
                  L. Jason Steggles},
  title        = {An abstraction theory for qualitative models of biological systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {207--218},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.061},
  doi          = {10.1016/J.TCS.2011.12.061},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BanksS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BarbutiCMMT12,
  author       = {Roberto Barbuti and
                  Giulio Caravagna and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Simone Tini},
  title        = {Foundational aspects of multiscale modeling of biological systems
                  with process algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {96--116},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.058},
  doi          = {10.1016/J.TCS.2011.12.058},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BarbutiCMMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BioglioDGT12,
  author       = {Livio Bioglio and
                  Mariangiola Dezani{-}Ciancaglini and
                  Paola Giannini and
                  Angelo Troina},
  title        = {Typed stochastic semantics for the calculus of looping sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {165--180},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.062},
  doi          = {10.1016/J.TCS.2011.12.062},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BioglioDGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CardelliG12,
  author       = {Luca Cardelli and
                  Philippa Gardner},
  title        = {Processes in space},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {40--55},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.051},
  doi          = {10.1016/J.TCS.2011.12.051},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CardelliG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CiobanuK12,
  author       = {Gabriel Ciobanu and
                  Maciej Koutny},
  title        = {Modelling and analysis of biological systems: - Based on papers presented
                  at the Workshop on Membrane Computing and Biologically Inspired Process
                  Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena)},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {2--3},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.064},
  doi          = {10.1016/J.TCS.2011.12.064},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CiobanuK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CoppoDDGSST12,
  author       = {Mario Coppo and
                  Ferruccio Damiani and
                  Maurizio Drocco and
                  Elena Grassi and
                  Eva Sciacca and
                  Salvatore Spinella and
                  Angelo Troina},
  title        = {Simulation techniques for the calculus of wrapped compartments},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {75--95},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.063},
  doi          = {10.1016/J.TCS.2011.12.063},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CoppoDDGSST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DelzannoZ12,
  author       = {Giorgio Delzanno and
                  Gianluigi Zavattaro},
  title        = {Reachability problems in BioAmbients},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {56--74},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.056},
  doi          = {10.1016/J.TCS.2011.12.056},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DelzannoZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FeretHKP12,
  author       = {J{\'{e}}r{\^{o}}me Feret and
                  Thomas A. Henzinger and
                  Heinz Koeppl and
                  Tatjana Petrov},
  title        = {Lumpability abstractions of rule-based systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {137--164},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.059},
  doi          = {10.1016/J.TCS.2011.12.059},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FeretHKP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GiavittoKP12,
  author       = {Jean{-}Louis Giavitto and
                  Hanna Klaudel and
                  Franck Pommereau},
  title        = {Integrated regulatory networks (IRNs): Spatially organized biochemical
                  modules},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {219--234},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.054},
  doi          = {10.1016/J.TCS.2011.12.054},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GiavittoKP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LakinPP12,
  author       = {Matthew R. Lakin and
                  Lo{\"{\i}}c Paulev{\'{e}} and
                  Andrew Phillips},
  title        = {Stochastic simulation of multiple process calculi for biology},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {181--206},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.057},
  doi          = {10.1016/J.TCS.2011.12.057},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LakinPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PaunP12a,
  author       = {Gheorghe Paun and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {An infinite hierarchy of languages defined by dP systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {4--12},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.053},
  doi          = {10.1016/J.TCS.2011.12.053},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PaunP12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PinnaS12,
  author       = {G. Michele Pinna and
                  Andrea Saba},
  title        = {Modeling dependencies and simultaneity in membrane system computations},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {13--39},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.060},
  doi          = {10.1016/J.TCS.2011.12.060},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/PinnaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rozenberg12b,
  author       = {Grzegorz Rozenberg},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {1},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.03.025},
  doi          = {10.1016/J.TCS.2012.03.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rozenberg12b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.