Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbdullaDRST16,
  author    = {Parosh Aziz Abdulla and
               Giorgio Delzanno and
               Othmane Rezine and
               Arnaud Sangnier and
               Riccardo Traverso},
  title     = {Parameterized verification of time-sensitive models of ad hoc network
               protocols},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {1--22},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.07.048},
  doi       = {10.1016/j.tcs.2015.07.048},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/AbdullaDRST16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DreierELL16,
  author    = {Jannik Dreier and
               Cristian Ene and
               Pascal Lafourcade and
               Yassine Lakhnech},
  title     = {On the existence and decidability of unique decompositions of processes
               in the applied {\(\pi\)}-calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {102--125},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.11.033},
  doi       = {10.1016/j.tcs.2015.11.033},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/DreierELL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GavryushkinKS16,
  author    = {Alex Gavryushkin and
               Bakhadyr Khoussainov and
               Frank Stephan},
  title     = {Reducibilities among equivalence relations induced by recursively
               enumerable structures},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {137--152},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.11.042},
  doi       = {10.1016/j.tcs.2015.11.042},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/GavryushkinKS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiuLSZ16,
  author    = {Chanjuan Liu and
               Fenrong Liu and
               Kaile Su and
               Enqiang Zhu},
  title     = {A logical characterization of extensive games with short sight},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {63--82},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.10.015},
  doi       = {10.1016/j.tcs.2015.10.015},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/LiuLSZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Luttik16,
  author    = {Bas Luttik},
  title     = {Unique parallel decomposition in branching and weak bisimulation semantics},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {29--44},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.10.013},
  doi       = {10.1016/j.tcs.2015.10.013},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Luttik16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PanLCM16,
  author    = {Haiyu Pan and
               Yongming Li and
               Yongzhi Cao and
               Zhanyou Ma},
  title     = {Model checking computation tree logic over finite lattices},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {45--62},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.10.014},
  doi       = {10.1016/j.tcs.2015.10.014},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/PanLCM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SlivovskyS16,
  author    = {Friedrich Slivovsky and
               Stefan Szeider},
  title     = {Soundness of Q-resolution with dependency schemes},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {83--101},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.10.020},
  doi       = {10.1016/j.tcs.2015.10.020},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/SlivovskyS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WuGL16,
  author    = {Mingyuan Wu and
               Lankun Guo and
               Qingguo Li},
  title     = {A representation of L-domains by information systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {126--136},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.11.037},
  doi       = {10.1016/j.tcs.2015.11.037},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/WuGL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuSZ16,
  author    = {Zhaowei Xu and
               Yuefei Sui and
               Wenhui Zhang},
  title     = {Completeness of Hoare logic with inputs over the standard model},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {23--28},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.08.004},
  doi       = {10.1016/j.tcs.2015.08.004},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/XuSZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics