Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/CaiK12,
  author       = {Jin{-}Yi Cai and
                  Michael Kowalczyk},
  title        = {Spin systems on k-regular graphs with complex edge functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {2--16},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.021},
  doi          = {10.1016/J.TCS.2012.01.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CaiK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DuF12,
  author       = {Ding{-}Zhu Du and
                  Bin Fu},
  title        = {Preface - COCOON'2011},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {1},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.09.023},
  doi          = {10.1016/J.TCS.2012.09.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DuF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JiangZ12,
  author       = {Minghui Jiang and
                  Yong Zhang},
  title        = {Parameterized complexity in multiple-interval graphs: Domination,
                  partition, separation, irredundancy},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {27--44},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.025},
  doi          = {10.1016/J.TCS.2012.01.025},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/JiangZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LiuWGC12,
  author       = {Yunlong Liu and
                  Jianxin Wang and
                  Jiong Guo and
                  Jianer Chen},
  title        = {Complexity and parameterized algorithms for Cograph Editing},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {45--54},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.11.040},
  doi          = {10.1016/J.TCS.2011.11.040},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LiuWGC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MarcoKW12,
  author       = {Gianluca De Marco and
                  Evangelos Kranakis and
                  G{\'{a}}bor Wiener},
  title        = {Computing majority with triple queries},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {17--26},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.03.039},
  doi          = {10.1016/J.TCS.2012.03.039},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MarcoKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MessnerT12,
  author       = {Jochen Messner and
                  Thomas Thierauf},
  title        = {A Kolmogorov complexity proof of the Lov{\'{a}}sz Local Lemma
                  for satisfiability},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {55--64},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.06.005},
  doi          = {10.1016/J.TCS.2012.06.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MessnerT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MisraPRS12,
  author       = {Neeldhara Misra and
                  Geevarghese Philip and
                  Venkatesh Raman and
                  Saket Saurabh},
  title        = {On Parameterized Independent Feedback Vertex Set},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {65--75},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.012},
  doi          = {10.1016/J.TCS.2012.02.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MisraPRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TianDZ12,
  author       = {Cong Tian and
                  Zhenhua Duan and
                  Nan Zhang},
  title        = {An efficient approach for abstraction-refinement in model checking},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {76--85},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.014},
  doi          = {10.1016/J.TCS.2011.12.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TianDZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Yamakami12a,
  author       = {Tomoyuki Yamakami},
  title        = {Approximation complexity of complex-weighted degree-two counting constraint
                  satisfaction problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {86--105},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.11.037},
  doi          = {10.1016/J.TCS.2011.11.037},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Yamakami12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZengJQ12,
  author       = {Shengke Zeng and
                  Shaoquan Jiang and
                  Zhiguang Qin},
  title        = {An efficient conditionally anonymous ring signature in the random
                  oracle model},
  journal      = {Theor. Comput. Sci.},
  volume       = {461},
  pages        = {106--114},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.027},
  doi          = {10.1016/J.TCS.2012.01.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZengJQ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}