BibTeX records: Mingji Xia

download as .bib file

@inproceedings{DBLP:conf/sosa/CurticapeanX22,
  author       = {Radu Curticapean and
                  Mingji Xia},
  editor       = {Karl Bringmann and
                  Timothy M. Chan},
  title        = {Parameterizing the Permanent: Hardness for fixed excluded minors},
  booktitle    = {5th Symposium on Simplicity in Algorithms, SOSA@SODA 2022, Virtual
                  Conference, January 10-11, 2022},
  pages        = {297--307},
  publisher    = {{SIAM}},
  year         = {2022},
  url          = {https://doi.org/10.1137/1.9781611977066.23},
  doi          = {10.1137/1.9781611977066.23},
  timestamp    = {Sat, 19 Aug 2023 18:10:48 +0200},
  biburl       = {https://dblp.org/rec/conf/sosa/CurticapeanX22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12879,
  author       = {Radu Curticapean and
                  Mingji Xia},
  title        = {Parameterizing the Permanent: Hardness for K\({}_{\mbox{8}}\)-minor-free
                  graphs},
  journal      = {CoRR},
  volume       = {abs/2108.12879},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.12879},
  eprinttype    = {arXiv},
  eprint       = {2108.12879},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-12879.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CaiLX20,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Dichotomy for Holant\({}^{\mbox{{\({_\ast}\)}}}\) Problems on the
                  Boolean Domain},
  journal      = {Theory Comput. Syst.},
  volume       = {64},
  number       = {8},
  pages        = {1362--1391},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00224-020-09983-8},
  doi          = {10.1007/S00224-020-09983-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/CaiLX20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiCWX20,
  author       = {Xie Li and
                  Taolue Chen and
                  Zhilin Wu and
                  Mingji Xia},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Computing Linear Arithmetic Representation of Reachability Relation
                  of One-Counter Automata},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {89--107},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_6},
  doi          = {10.1007/978-3-030-62822-2\_6},
  timestamp    = {Thu, 12 Nov 2020 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/LiCWX20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/WangHPX19,
  author       = {Shaojiang Wang and
                  Kun He and
                  Yicheng Pan and
                  Mingji Xia},
  title        = {Rectangle Transformation Problem},
  journal      = {Algorithmica},
  volume       = {81},
  number       = {7},
  pages        = {2876--2898},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00453-019-00563-y},
  doi          = {10.1007/S00453-019-00563-Y},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/WangHPX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/LiX18,
  author       = {Angsheng Li and
                  Mingji Xia},
  title        = {Splitting and jump inversion in the Turing degrees},
  journal      = {Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {133--142},
  year         = {2018},
  url          = {https://doi.org/10.3233/COM-180083},
  doi          = {10.3233/COM-180083},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/LiX18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaiFX18,
  author       = {Jin{-}Yi Cai and
                  Zhiguo Fu and
                  Mingji Xia},
  title        = {Complexity classification of the six-vertex model},
  journal      = {Inf. Comput.},
  volume       = {259},
  number       = {Part},
  pages        = {130--141},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.01.003},
  doi          = {10.1016/J.IC.2018.01.003},
  timestamp    = {Tue, 20 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CaiFX18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/CaiLX18,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Artur Czumaj},
  title        = {Dichotomy for Real Holant\({}^{\mbox{\emph{c}}}\) Problems},
  booktitle    = {Proceedings of the Twenty-Ninth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2018, New Orleans, LA, USA, January 7-10, 2018},
  pages        = {1802--1821},
  publisher    = {{SIAM}},
  year         = {2018},
  url          = {https://doi.org/10.1137/1.9781611975031.118},
  doi          = {10.1137/1.9781611975031.118},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/soda/CaiLX18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CaiLX17,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Holographic Algorithms with Matchgates Capture Precisely Tractable
                  Planar {\#}CSP},
  journal      = {{SIAM} J. Comput.},
  volume       = {46},
  number       = {3},
  pages        = {853--889},
  year         = {2017},
  url          = {https://doi.org/10.1137/16M1073984},
  doi          = {10.1137/16M1073984},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/CaiLX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HeLLWX17,
  author       = {Kun He and
                  Liang Li and
                  Xingwu Liu and
                  Yuyi Wang and
                  Mingji Xia},
  editor       = {Chris Umans},
  title        = {Variable-Version Lov{\'{a}}sz Local Lemma: Beyond Shearer's Bound},
  booktitle    = {58th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
                  2017, Berkeley, CA, USA, October 15-17, 2017},
  pages        = {451--462},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/FOCS.2017.48},
  doi          = {10.1109/FOCS.2017.48},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/HeLLWX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaiLX17,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Dichotomy for Real Holant\({}^{\mbox{c}}\) Problems},
  journal      = {CoRR},
  volume       = {abs/1702.02693},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.02693},
  eprinttype    = {arXiv},
  eprint       = {1702.02693},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CaiLX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaiFX17,
  author       = {Jin{-}Yi Cai and
                  Zhiguo Fu and
                  Mingji Xia},
  title        = {Complexity Classification Of The Six-Vertex Model},
  journal      = {CoRR},
  volume       = {abs/1702.02863},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.02863},
  eprinttype    = {arXiv},
  eprint       = {1702.02863},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CaiFX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05143,
  author       = {Kun He and
                  Liang Li and
                  Xingwu Liu and
                  Yuyi Wang and
                  Mingji Xia},
  title        = {Variable Version Lov{\'{a}}sz Local Lemma: Beyond Shearer's Bound},
  journal      = {CoRR},
  volume       = {abs/1709.05143},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.05143},
  eprinttype    = {arXiv},
  eprint       = {1709.05143},
  timestamp    = {Fri, 07 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-05143.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-10924,
  author       = {Shaojiang Wang and
                  Kun He and
                  Yicheng Pan and
                  Mingji Xia},
  title        = {Rectangle Transformation Problem},
  journal      = {CoRR},
  volume       = {abs/1710.10924},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.10924},
  eprinttype    = {arXiv},
  eprint       = {1710.10924},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-10924.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Xia16,
  author       = {Mingji Xia},
  editor       = {Daniel Wichs and
                  Yishay Mansour},
  title        = {Base collapse of holographic algorithms},
  booktitle    = {Proceedings of the 48th Annual {ACM} {SIGACT} Symposium on Theory
                  of Computing, {STOC} 2016, Cambridge, MA, USA, June 18-21, 2016},
  pages        = {790--799},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2897518.2897560},
  doi          = {10.1145/2897518.2897560},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Xia16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/CaiLX16,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Holographic Algorithms},
  booktitle    = {Encyclopedia of Algorithms},
  pages        = {921--926},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-1-4939-2864-4\_746},
  doi          = {10.1007/978-1-4939-2864-4\_746},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/algo/CaiLX16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/MiltzowSX15,
  author       = {Tillmann Miltzow and
                  Jens M. Schmidt and
                  Mingji Xia},
  title        = {Counting K\({}_{\mbox{4}}\)-subdivisions},
  journal      = {Discret. Math.},
  volume       = {338},
  number       = {12},
  pages        = {2387--2392},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.disc.2015.06.004},
  doi          = {10.1016/J.DISC.2015.06.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/MiltzowSX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CurticapeanX15,
  author       = {Radu Curticapean and
                  Mingji Xia},
  editor       = {Venkatesan Guruswami},
  title        = {Parameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod
                  2k},
  booktitle    = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
                  2015, Berkeley, CA, USA, 17-20 October, 2015},
  pages        = {994--1009},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FOCS.2015.65},
  doi          = {10.1109/FOCS.2015.65},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/CurticapeanX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Xia15,
  author       = {Mingji Xia},
  title        = {Base collapse of holographic algorithms},
  journal      = {CoRR},
  volume       = {abs/1511.01230},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.01230},
  eprinttype    = {arXiv},
  eprint       = {1511.01230},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Xia15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CurticapeanX15,
  author       = {Radu Curticapean and
                  Mingji Xia},
  title        = {Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod
                  2{\^{}}k},
  journal      = {CoRR},
  volume       = {abs/1511.02321},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.02321},
  eprinttype    = {arXiv},
  eprint       = {1511.02321},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CurticapeanX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaiLX14,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {The complexity of complex weighted Boolean {\#}CSP},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {80},
  number       = {1},
  pages        = {217--236},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jcss.2013.07.003},
  doi          = {10.1016/J.JCSS.2013.07.003},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/CaiLX14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiltzowSX14,
  author       = {Tillmann Miltzow and
                  Jens M. Schmidt and
                  Mingji Xia},
  title        = {Counting K{\_}4-Subdivisions},
  journal      = {CoRR},
  volume       = {abs/1411.4819},
  year         = {2014},
  url          = {http://arxiv.org/abs/1411.4819},
  eprinttype    = {arXiv},
  eprint       = {1411.4819},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiltzowSX14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/CaiLX13,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Sanjeev Khanna},
  title        = {Dichotomy for Holant* Problems with Domain Size 3},
  booktitle    = {Proceedings of the Twenty-Fourth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2013, New Orleans, Louisiana, USA, January 6-8,
                  2013},
  pages        = {1278--1295},
  publisher    = {{SIAM}},
  year         = {2013},
  url          = {https://doi.org/10.1137/1.9781611973105.93},
  doi          = {10.1137/1.9781611973105.93},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/soda/CaiLX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/CaiLX12,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Holographic reduction, interpolation and hardness},
  journal      = {Comput. Complex.},
  volume       = {21},
  number       = {4},
  pages        = {573--604},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00037-012-0044-6},
  doi          = {10.1007/S00037-012-0044-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cc/CaiLX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2354,
  author       = {Jin{-}Yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Dichotomy for Holant* Problems with a Function on Domain Size 3},
  journal      = {CoRR},
  volume       = {abs/1207.2354},
  year         = {2012},
  url          = {http://arxiv.org/abs/1207.2354},
  eprinttype    = {arXiv},
  eprint       = {1207.2354},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-2354.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Xia11,
  author       = {Mingji Xia},
  title        = {Holographic Reduction: {A} Domain Changed Application and its Partial
                  Converse Theorems},
  journal      = {Int. J. Softw. Informatics},
  volume       = {5},
  number       = {4},
  pages        = {567--577},
  year         = {2011},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i109},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsi/Xia11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CaiLX11,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Computational Complexity of Holant Problems},
  journal      = {{SIAM} J. Comput.},
  volume       = {40},
  number       = {4},
  pages        = {1101--1132},
  year         = {2011},
  url          = {https://doi.org/10.1137/100814585},
  doi          = {10.1137/100814585},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/CaiLX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaiLX11,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {A computational proof of complexity of some restricted counting problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {23},
  pages        = {2468--2485},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2010.10.039},
  doi          = {10.1016/J.TCS.2010.10.039},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CaiLX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/CaiLX11,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Dana Randall},
  title        = {Dichotomy for Holant* Problems of Boolean Domain},
  booktitle    = {Proceedings of the Twenty-Second Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2011, San Francisco, California, USA, January 23-25,
                  2011},
  pages        = {1714--1728},
  publisher    = {{SIAM}},
  year         = {2011},
  url          = {https://doi.org/10.1137/1.9781611973082.132},
  doi          = {10.1137/1.9781611973082.132},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/soda/CaiLX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GuoHLX11,
  author       = {Heng Guo and
                  Sangxia Huang and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Thomas Schwentick and
                  Christoph D{\"{u}}rr},
  title        = {The Complexity of Weighted Boolean {\#}CSP Modulo k},
  booktitle    = {28th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2011, March 10-12, 2011, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {9},
  pages        = {249--260},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2011.249},
  doi          = {10.4230/LIPICS.STACS.2011.249},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/GuoHLX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CaiLX10,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Holographic Algorithms with Matchgates Capture Precisely Tractable
                  Planar{\_}{\#}CSP},
  booktitle    = {51th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
                  2010, October 23-26, 2010, Las Vegas, Nevada, {USA}},
  pages        = {427--436},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/FOCS.2010.48},
  doi          = {10.1109/FOCS.2010.48},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/focs/CaiLX10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Xia10,
  author       = {Mingji Xia},
  editor       = {Samson Abramsky and
                  Cyril Gavoille and
                  Claude Kirchner and
                  Friedhelm Meyer auf der Heide and
                  Paul G. Spirakis},
  title        = {Holographic Reduction: {A} Domain Changed Application and Its Partial
                  Converse Theorems},
  booktitle    = {Automata, Languages and Programming, 37th International Colloquium,
                  {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6198},
  pages        = {666--677},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14165-2\_56},
  doi          = {10.1007/978-3-642-14165-2\_56},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Xia10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-0683,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Holographic Algorithms with Matchgates Capture Precisely Tractable
                  Planar {\#}CSP},
  journal      = {CoRR},
  volume       = {abs/1008.0683},
  year         = {2010},
  url          = {http://arxiv.org/abs/1008.0683},
  eprinttype    = {arXiv},
  eprint       = {1008.0683},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-0683.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangX09,
  author       = {Peng Zhang and
                  Mingji Xia},
  title        = {An approximation algorithm to the k-Steiner Forest problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {11},
  pages        = {1093--1098},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2008.10.033},
  doi          = {10.1016/J.TCS.2008.10.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GaoXCA09,
  author       = {Byron J. Gao and
                  Mingji Xia and
                  Walter Cai and
                  David C. Anastasiu},
  editor       = {David Wai{-}Lok Cheung and
                  Il{-}Yeol Song and
                  Wesley W. Chu and
                  Xiaohua Hu and
                  Jimmy Lin},
  title        = {The gardener's problem for web information monitoring},
  booktitle    = {Proceedings of the 18th {ACM} Conference on Information and Knowledge
                  Management, {CIKM} 2009, Hong Kong, China, November 2-6, 2009},
  pages        = {1525--1528},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1645953.1646162},
  doi          = {10.1145/1645953.1646162},
  timestamp    = {Fri, 27 Aug 2021 11:13:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cikm/GaoXCA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmin/CaiAXG09,
  author       = {Walter Cai and
                  David C. Anastasiu and
                  Mingji Xia and
                  Byron J. Gao},
  editor       = {Robert Stahlbock and
                  Sven F. Crone and
                  Stefan Lessmann},
  title        = {{OLAP} For Multicriteria Maintenance Scheduling},
  booktitle    = {Proceedings of The 2009 International Conference on Data Mining, {DMIN}
                  2009, July 13-16, 2009, Las Vegas, {USA}},
  pages        = {35--41},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Wed, 28 Oct 2009 09:52:56 +0100},
  biburl       = {https://dblp.org/rec/conf/dmin/CaiAXG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CaiLX09,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Michael Mitzenmacher},
  title        = {Holant problems and counting {CSP}},
  booktitle    = {Proceedings of the 41st Annual {ACM} Symposium on Theory of Computing,
                  {STOC} 2009, Bethesda, MD, USA, May 31 - June 2, 2009},
  pages        = {715--724},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1536414.1536511},
  doi          = {10.1145/1536414.1536511},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/CaiLX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CaiLX09,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {A Computational Proof of Complexity of Some Restricted Counting Problems},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {138--149},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_17},
  doi          = {10.1007/978-3-642-02017-9\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/CaiLX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CaiLX08,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {Holographic Algorithms by Fibonacci Gates and Holographic Reductions
                  for Hardness},
  booktitle    = {49th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
                  2008, October 25-28, 2008, Philadelphia, PA, {USA}},
  pages        = {644--653},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/FOCS.2008.34},
  doi          = {10.1109/FOCS.2008.34},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/focs/CaiLX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LiX08,
  author       = {Angsheng Li and
                  Mingji Xia},
  editor       = {Susanne Albers and
                  Pascal Weil},
  title        = {A Theory for Valiant's Matchcircuits (Extended Abstract)},
  booktitle    = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
                  Science, Bordeaux, France, February 21-23, 2008, Proceedings},
  series       = {LIPIcs},
  volume       = {1},
  pages        = {491--502},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2008},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2008.1368},
  doi          = {10.4230/LIPICS.STACS.2008.1368},
  timestamp    = {Tue, 22 Jun 2021 15:44:08 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/LiX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-1766,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  title        = {A Family of Counter Examples to an Approach to Graph Isomorphism},
  journal      = {CoRR},
  volume       = {abs/0801.1766},
  year         = {2008},
  url          = {http://arxiv.org/abs/0801.1766},
  eprinttype    = {arXiv},
  eprint       = {0801.1766},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0801-1766.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-2860,
  author       = {Angsheng Li and
                  Mingji Xia},
  title        = {A Theory for Valiant's Matchcircuits (Extended Abstract)},
  journal      = {CoRR},
  volume       = {abs/0802.2860},
  year         = {2008},
  url          = {http://arxiv.org/abs/0802.2860},
  eprinttype    = {arXiv},
  eprint       = {0802.2860},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0802-2860.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XiaZZ07,
  author       = {Mingji Xia and
                  Peng Zhang and
                  Wenbo Zhao},
  title        = {Computational complexity of counting problems on 3-regular planar
                  graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {384},
  number       = {1},
  pages        = {111--125},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.05.023},
  doi          = {10.1016/J.TCS.2007.05.023},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/XiaZZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Xia07,
  author       = {Mingji Xia},
  editor       = {Jin{-}yi Cai and
                  S. Barry Cooper and
                  Hong Zhu},
  title        = {Maximum Edge-Disjoint Paths Problem in Planar Graphs},
  booktitle    = {Theory and Applications of Models of Computation, 4th International
                  Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4484},
  pages        = {566--572},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72504-6\_51},
  doi          = {10.1007/978-3-540-72504-6\_51},
  timestamp    = {Mon, 04 May 2020 13:17:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Xia07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/XiaZ06,
  author       = {Mingji Xia and
                  Wenbo Zhao},
  editor       = {Jin{-}yi Cai and
                  S. Barry Cooper and
                  Angsheng Li},
  title        = {{\#}3-Regular Bipartite Planar Vertex Cover is {\#}P-Complete},
  booktitle    = {Theory and Applications of Models of Computation, Third International
                  Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3959},
  pages        = {356--364},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11750321\_34},
  doi          = {10.1007/11750321\_34},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/XiaZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics