Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BodeiBGLBH17,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberta Gori and
                  Francesca Levi and
                  Antonio Bernini and
                  Diana Hermith},
  title        = {A static analysis for Brane Calculi providing global occurrence counting
                  information},
  journal      = {Theor. Comput. Sci.},
  volume       = {696},
  pages        = {11--51},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.008},
  doi          = {10.1016/J.TCS.2017.07.008},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BodeiBGLBH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChoHNS17,
  author       = {Da{-}Jung Cho and
                  Yo{-}Sub Han and
                  Timothy Ng and
                  Kai Salomaa},
  title        = {Pseudoknot-generating operation},
  journal      = {Theor. Comput. Sci.},
  volume       = {696},
  pages        = {52--64},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.001},
  doi          = {10.1016/J.TCS.2017.07.001},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChoHNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ning17,
  author       = {Wantao Ning},
  title        = {The h-connectivity of exchanged crossed cube},
  journal      = {Theor. Comput. Sci.},
  volume       = {696},
  pages        = {65--68},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.023},
  doi          = {10.1016/J.TCS.2017.07.023},
  timestamp    = {Thu, 05 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Ning17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WeiYW17,
  author       = {Jianxin Wei and
                  Yujun Yang and
                  Guangfu Wang},
  title        = {Infinite families of 2-isometric and not 3-isometric binary words},
  journal      = {Theor. Comput. Sci.},
  volume       = {696},
  pages        = {1--10},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.028},
  doi          = {10.1016/J.TCS.2017.07.028},
  timestamp    = {Thu, 24 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WeiYW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}