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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics