BibTeX records: Jiahua Qian

• > Home > Persons > Jiahua Qian

@inproceedings{DBLP:conf/compsac/JinQ90,
  author       = {Liqun Jin and
                  Jiahua Qian},
  title        = {Transformation technique of algebraic specification},
  booktitle    = {Proceedings of the Fourteenth Annual International Computer Software
                  and Applications Conference, {COMPSAC} 1990, Chicago, IL, USA, October
                  31 1990 - November 2, 1990},
  pages        = {705--710},
  publisher    = {{IEEE}},
  year         = {1990},
  url          = {https://doi.org/10.1109/CMPSAC.1990.139463},
  doi          = {10.1109/CMPSAC.1990.139463},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/JinQ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/QianZJZ90,
  author       = {Jiahua Qian and
                  Yong Zheng and
                  Liqun Jin and
                  Jinhua Zhang},
  title        = {{EASE:} an embedded algebraic specification environment},
  booktitle    = {Proceedings of the Fourteenth Annual International Computer Software
                  and Applications Conference, {COMPSAC} 1990, Chicago, IL, USA, October
                  31 1990 - November 2, 1990},
  pages        = {711--716},
  publisher    = {{IEEE}},
  year         = {1990},
  url          = {https://doi.org/10.1109/CMPSAC.1990.139466},
  doi          = {10.1109/CMPSAC.1990.139466},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/QianZJZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/ZhengQ89,
  author       = {Yong Zheng and
                  Jiahua Qian},
  title        = {The implementation of nonlocal dependency relationship in interactive
                  environment},
  booktitle    = {Proceedings of the 13th Annual International Computer Software and
                  Applications Conference, {COMPSAC} 1989, Orlando, FL, USA, 20-22 September,
                  1989},
  pages        = {741--745},
  publisher    = {{IEEE}},
  year         = {1989},
  url          = {https://doi.org/10.1109/CMPSAC.1989.65174},
  doi          = {10.1109/CMPSAC.1989.65174},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhengQ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/LuQ88,
  author       = {Qi Lu and
                  Jiahua Qian},
  title        = {An efficient method for incremental attribute evaluation by using
                  multi-dependency},
  booktitle    = {Twelfth International Computer Software and Applications Conference,
                  {COMPSAC} 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988},
  pages        = {162--169},
  publisher    = {{IEEE}},
  year         = {1988},
  url          = {https://doi.org/10.1109/CMPSAC.1988.17167},
  doi          = {10.1109/CMPSAC.1988.17167},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/LuQ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/LuQ88,
  author       = {Qi Lu and
                  Jiahua Qian},
  editor       = {Michal Chytil and
                  Ladislav Janiga and
                  V{\'{a}}clav Koubek},
  title        = {Design, Proof and Analysis of New Efficient Algorithms for Incremental
                  Attribute Evaluation},
  booktitle    = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
                  Czechoslovakia, August 29 - September 2, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {324},
  pages        = {483--491},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0017171},
  doi          = {10.1007/BFB0017171},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LuQ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}