Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AmanC16,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  title        = {Modelling and verification of weighted spiking neural systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {92--102},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.11.005},
  doi          = {10.1016/J.TCS.2015.11.005},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AmanC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AzimiG0MPP16,
  author       = {Sepinoud Azimi and
                  Cristian Gratie and
                  Sergiu Ivanov and
                  Luca Manzoni and
                  Ion Petre and
                  Antonio E. Porreca},
  title        = {Complexity of model checking for reaction systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {103--113},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.11.040},
  doi          = {10.1016/J.TCS.2015.11.040},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AzimiG0MPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BarbutiGLM16,
  author       = {Roberto Barbuti and
                  Roberta Gori and
                  Francesca Levi and
                  Paolo Milazzo},
  title        = {Investigating dynamic causalities in reaction systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {114--145},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.11.041},
  doi          = {10.1016/J.TCS.2015.11.041},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BarbutiGLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChenPVWZ16,
  author       = {Xu Chen and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
                  Luis Valencia{-}Cabrera and
                  Beizhan Wang and
                  Xiangxiang Zeng},
  title        = {Computing with viruses},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {146--159},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.006},
  doi          = {10.1016/J.TCS.2015.12.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChenPVWZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Colvin16,
  author       = {Robert J. Colvin},
  title        = {Modelling and analysing neural networks using a hybrid process algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {15--64},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.08.019},
  doi          = {10.1016/J.TCS.2015.08.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Colvin16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Garcia-Ramos16,
  author       = {Felipe Garc{\'{\i}}a{-}Ramos},
  title        = {Limit behaviour of {\(\mu\)}-equicontinuous cellular automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {2--14},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.08.010},
  doi          = {10.1016/J.TCS.2015.08.010},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Garcia-Ramos16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HellwigB16,
  author       = {Michael Hellwig and
                  Hans{-}Georg Beyer},
  title        = {Mutation strength control via meta evolution strategies on the ellipsoid
                  model},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {160--179},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.011},
  doi          = {10.1016/J.TCS.2015.12.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HellwigB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kari16,
  author       = {Lila Kari},
  title        = {Editorial},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {1},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.02.032},
  doi          = {10.1016/J.TCS.2016.02.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kari16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LiQ16,
  author       = {Lvzhou Li and
                  Daowen Qiu},
  title        = {Lower bounds on the size of semi-quantum finite automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {75--82},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.09.031},
  doi          = {10.1016/J.TCS.2015.09.031},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LiQ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PanPS16,
  author       = {Linqiang Pan and
                  Gheorghe Paun and
                  Bosheng Song},
  title        = {Flat maximal parallelism in {P} systems with promoters},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {83--91},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.10.027},
  doi          = {10.1016/J.TCS.2015.10.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PanPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SosikL16,
  author       = {Petr Sos{\'{\i}}k and
                  Miroslav Langer},
  title        = {Small (purely) catalytic {P} systems simulating register machines},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {65--74},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.09.020},
  doi          = {10.1016/J.TCS.2015.09.020},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SosikL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WuZPP16,
  author       = {Tingfang Wu and
                  Zhiqiang Zhang and
                  Gheorghe Paun and
                  Linqiang Pan},
  title        = {Cell-like spiking neural {P} systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {623},
  pages        = {180--189},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.038},
  doi          = {10.1016/J.TCS.2015.12.038},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WuZPP16.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.