BibTeX records: Xiaoping Jia

download as .bib file

@article{DBLP:journals/ijra/JiaSF22,
  author       = {Xiaoping Jia and
                  Chengqi Sun and
                  Jun Fu},
  title        = {Mobile Augmented Reality Centred {IETM} System for Shipping Applications},
  journal      = {Int. J. Robotics Autom.},
  volume       = {37},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.2316/J.2022.206-0723},
  doi          = {10.2316/J.2022.206-0723},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijra/JiaSF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JiaET18,
  author       = {Xiaoping Jia and
                  Aline Ebone and
                  Yongshan Tan},
  editor       = {Christine Julien and
                  Grace A. Lewis and
                  Itai Segall},
  title        = {A performance evaluation of cross-platform mobile application development
                  approaches},
  booktitle    = {Proceedings of the 5th International Conference on Mobile Software
                  Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden,
                  May 27 - 28, 2018},
  pages        = {92--93},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3197231.3197252},
  doi          = {10.1145/3197231.3197252},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/JiaET18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/0002J16,
  author       = {Christopher Jones and
                  Xiaoping Jia},
  editor       = {Leszek A. Maciaszek and
                  Jorge Cardoso and
                  Andr{\'{e}} Ludwig and
                  Marten van Sinderen and
                  Enrique Cabello},
  title        = {An Empirical Evaluation of {AXIOM} as an Approach to Cross-platform
                  Mobile Application Development},
  booktitle    = {Proceedings of the 11th International Joint Conference on Software
                  Technologies {(ICSOFT} 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal,
                  July 24 - 26, 2016},
  pages        = {264--271},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005995902640271},
  doi          = {10.5220/0005995902640271},
  timestamp    = {Thu, 03 Feb 2022 09:27:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/0002J16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Jia015a,
  author       = {Xiaoping Jia and
                  Christopher Jones},
  editor       = {Pascal Lorenz and
                  Jorge Cardoso and
                  Leszek A. Maciaszek and
                  Marten van Sinderen},
  title        = {An Approach for the Automatic Adaptation of Domain-Specific Modeling
                  Languages for Model-Driven Mobile Application Development},
  booktitle    = {Software Technologies - 10th International Joint Conference, {ICSOFT}
                  2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {586},
  pages        = {365--379},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-30142-6\_20},
  doi          = {10.1007/978-3-319-30142-6\_20},
  timestamp    = {Tue, 21 Mar 2023 21:01:55 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/Jia015a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Jia015,
  author       = {Xiaoping Jia and
                  Christopher Jones},
  editor       = {Pascal Lorenz and
                  Leszek A. Maciaszek},
  title        = {Design of Adaptive Domain-Specific Modeling Languages for Model-Driven
                  Mobile Application Development},
  booktitle    = {{ICSOFT-EA} 2015 - Proceedings of the 10th International Conference
                  on Software Engineering and Applications, Colmar, Alsace, France,
                  20-22 July, 2015},
  pages        = {413--418},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005557404130418},
  doi          = {10.5220/0005557404130418},
  timestamp    = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/Jia015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/JonesJ14,
  author       = {Christopher Jones and
                  Xiaoping Jia},
  editor       = {Joaquim Filipe and
                  Leszek A. Maciaszek},
  title        = {The {AXIOM} Model Framework - Transforming Requirements to Native
                  Code for Cross-platform Mobile Applications},
  booktitle    = {{ENASE} 2014 - Proceedings of the 9th International Conference on
                  Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal,
                  28-30 April, 2014},
  pages        = {26--37},
  publisher    = {SciTePress},
  year         = {2014},
  url          = {https://doi.org/10.5220/0004882100260037},
  doi          = {10.5220/0004882100260037},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/enase/JonesJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/0002J14,
  author       = {Christopher Jones and
                  Xiaoping Jia},
  editor       = {Leszek A. Maciaszek and
                  Joaquim Filipe},
  title        = {Using a Domain Specific Language for Lightweight Model-Driven Development},
  booktitle    = {Evaluation of Novel Approaches to Software Engineering - 9th International
                  Conference, {ENASE} 2014, Lisbon, Portugal, April 28-30, 2014. Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {551},
  pages        = {46--62},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-27218-4\_4},
  doi          = {10.1007/978-3-319-27218-4\_4},
  timestamp    = {Tue, 16 Aug 2022 23:04:41 +0200},
  biburl       = {https://dblp.org/rec/conf/enase/0002J14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/JiaJ12,
  author       = {Xiaoping Jia and
                  Christopher Jones},
  editor       = {Slimane Hammoudi and
                  Marten van Sinderen and
                  Jos{\'{e}} Cordeiro},
  title        = {{AXIOM:} {A} Model-driven Approach to Cross-platform Application Development},
  booktitle    = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
                  Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
  pages        = {24--33},
  publisher    = {SciTePress},
  year         = {2012},
  url          = {https://doi.org/10.5220/0004022500240033},
  doi          = {10.5220/0004022500240033},
  timestamp    = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/JiaJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/JiaJ11,
  author       = {Xiaoping Jia and
                  Christopher Jones},
  editor       = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
                  Boris Shishkov and
                  Jos{\'{e}} Cordeiro},
  title        = {Dynamic Languages as Modeling Notations in Model Driven Engineering},
  booktitle    = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
                  Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
                  2011},
  pages        = {220--225},
  publisher    = {SciTePress},
  year         = {2011},
  timestamp    = {Wed, 24 Apr 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/JiaJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/LiuJ10,
  author       = {Hongming Liu and
                  Xiaoping Jia},
  title        = {Model Transformation Using a Simplified Metamodel},
  journal      = {J. Softw. Eng. Appl.},
  volume       = {3},
  number       = {7},
  pages        = {653--660},
  year         = {2010},
  url          = {https://doi.org/10.4236/jsea.2010.37075},
  doi          = {10.4236/JSEA.2010.37075},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsea/LiuJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/HuangJLGL10,
  author       = {Honghui Huang and
                  Xiaoping Jia and
                  Qin Lin and
                  Genxi Guo and
                  Yong Liu},
  editor       = {Maozhen Li and
                  Qilian Liang and
                  Lipo Wang and
                  Yibin Song},
  title        = {Application of Adaptive Neuro-Fuzzy Inference System to carrying capacity
                  assessment for cage fish farm in Daya Bay, China},
  booktitle    = {Seventh International Conference on Fuzzy Systems and Knowledge Discovery,
                  {FSKD} 2010, 10-12 August 2010, Yantai, Shandong, China},
  pages        = {815--818},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/FSKD.2010.5569213},
  doi          = {10.1109/FSKD.2010.5569213},
  timestamp    = {Sat, 25 Jun 2022 17:37:25 +0200},
  biburl       = {https://dblp.org/rec/conf/fskd/HuangJLGL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/KeenanSJ10,
  author       = {Ed Keenan and
                  Adam Steele and
                  Xiaoping Jia},
  title        = {Simulating Global Software Development in a Course Environment},
  booktitle    = {5th {IEEE} International Conference on Global Software Engineering,
                  {ICGSE} 2010, Princeton, NJ, USA, 23-26 August, 2010},
  pages        = {201--205},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICGSE.2010.31},
  doi          = {10.1109/ICGSE.2010.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icgse/KeenanSJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ike/SteeleJ08,
  author       = {Adam Steele and
                  Xiaoping Jia},
  editor       = {Hamid R. Arabnia and
                  Ray R. Hashemi},
  title        = {Adversary Centered Design: Threat Modeling Using Anti-Scenarios, Anti-Use
                  Cases and Anti-Personas},
  booktitle    = {Proceedings of the 2008 International Conference on Information {\&}
                  Knowledge Engineering, {IKE} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {367--370},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Mon, 09 Feb 2009 15:28:43 +0100},
  biburl       = {https://dblp.org/rec/conf/ike/SteeleJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/JiaLQS08,
  author       = {Xiaoping Jia and
                  Hongming Liu and
                  Lizhang Qin and
                  Adam Steele},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza},
  title        = {Metamodel based Model Transformation Framework},
  booktitle    = {Proceedings of the 2008 International Conference on Software Engineering
                  Research {\&} Practice, {SERP} 2008, July 14-17, 2008, Las Vegas
                  Nevada, USA, 2 Volumes},
  pages        = {496--502},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Mon, 09 Feb 2009 10:28:35 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/JiaLQS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/LiuJQS08,
  author       = {Hongming Liu and
                  Xiaoping Jia and
                  Lizhang Qin and
                  Adam Steele},
  editor       = {Ulrich Ultes{-}Nitsche and
                  Daniel Moldt and
                  Juan Carlos Augusto},
  title        = {A Model Transformation Framework for Model Driven Engineering},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 6th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
                  Spain, June 2008},
  pages        = {59--70},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 15:10:09 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/LiuJQS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/JiaSQLJ07,
  author       = {Xiaoping Jia and
                  Adam Steele and
                  Lizhang Qin and
                  Hongming Liu and
                  Christopher Jones},
  title        = {Executable visual software modeling - the {ZOOM} approach},
  journal      = {Softw. Qual. J.},
  volume       = {15},
  number       = {1},
  pages        = {27--51},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11219-006-9002-3},
  doi          = {10.1007/S11219-006-9002-3},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sqj/JiaSQLJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/LiuQJS07,
  author       = {Hongming Liu and
                  Lizhang Qin and
                  Xiaoping Jia and
                  Adam Steele},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza},
  title        = {Model Transformation Framework Supported by {ZOOM}},
  booktitle    = {Proceedings of the 2007 International Conference on Software Engineering
                  Research {\&} Practice, {SERP} 2007, Volume I, June 25-28, 2007,
                  Las Vegas Nevada, {USA}},
  pages        = {151--158},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 11:31:52 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/LiuQJS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KurtzFEYSJ07,
  author       = {Barry L. Kurtz and
                  James B. Fenwick Jr. and
                  Christopher C. Ellsworth and
                  Xiaohong Yuan and
                  Adam Steele and
                  Xiaoping Jia},
  editor       = {Ingrid Russell and
                  Susan M. Haller and
                  J. D. Dougherty and
                  Susan H. Rodger},
  title        = {Inter-University software engineering using web services},
  booktitle    = {Proceedings of the 38th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2007, Covington, Kentucky, USA, March 7-11, 2007},
  pages        = {464--468},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227310.1227467},
  doi          = {10.1145/1227310.1227467},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/KurtzFEYSJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/LiuQJS06,
  author       = {Hongming Liu and
                  Lizhang Qin and
                  Xiaoping Jia and
                  Adam Steele},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza},
  title        = {Model Transformation Based on Meta Templates},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Research and Practice {\&} Conference on Programming Languages
                  and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
                  Volume 2},
  pages        = {547--553},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Wed, 29 Nov 2006 15:18:21 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/LiuQJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/JiaSQLJ05,
  author       = {Xiaoping Jia and
                  Adam Steele and
                  Lizhang Qin and
                  Hongming Liu and
                  Christopher Jones},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza},
  title        = {Executable Visual Software Modeling - The {ZOOM} Approach},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
                  2005, Volume 1},
  pages        = {182--188},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 24 Apr 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serp/JiaSQLJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/JiaSLQJ04,
  author       = {Xiaoping Jia and
                  Adam Steele and
                  Hongming Liu and
                  Lizhang Qin and
                  Christopher Jones},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza},
  title        = {Using {ZOOM} Approach to Support {MDD}},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Research and Practice, {SERP} '04, June 21-24, 2004, Las Vegas, Nevada,
                  USA, Volume 1},
  pages        = {144--150},
  publisher    = {{CSREA} Press},
  year         = {2004},
  timestamp    = {Wed, 24 Apr 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serp/JiaSLQJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/QinJL04,
  author       = {Lizhang Qin and
                  Xiaoping Jia and
                  Hongming Liu},
  editor       = {Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {A Hypothesis-Based Approach to Detecting Runtime Violations},
  booktitle    = {Verification and Validation of Enterprise Information Systems, Proceedings
                  of the 2nd International Workshop on Verification and Validation of
                  Enterprise Information Systems, {VVEIS} 2004, In conjunction with
                  {ICEIS} 2004, Porto, Portugal, April 2004},
  pages        = {60--65},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Fri, 25 Jun 2004 15:11:15 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/QinJL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/SkevoulisJ00,
  author       = {Sotiris Skevoulis and
                  Xiaoping Jia},
  title        = {Generic Invariant-Based Static Analysis Tool for Detection of Runtime
                  Errors in Java Programs},
  booktitle    = {{TOOLS} Pacific 2000: 37th International Conference on Technology
                  of Object-Oriented Languages and Systems, Sydney, Australia, November
                  2000},
  pages        = {36--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/TOOLS.2000.891356},
  doi          = {10.1109/TOOLS.2000.891356},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/SkevoulisJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JiaS99,
  author       = {Xiaoping Jia and
                  Sotiris Skevoulis},
  title        = {A Generic Approach of Static Analysis for Detecting Runtime Errors
                  in Java Programs},
  booktitle    = {23rd International Computer Software and Applications Conference {(COMPSAC}
                  '99), 27-19 October 1999, Phoenix, AZ, {USA}},
  pages        = {67--72},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/CMPSAC.1999.812678},
  doi          = {10.1109/CMPSAC.1999.812678},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JiaS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JiaSZS99,
  author       = {Xiaoping Jia and
                  Sushant Sawant and
                  Jiangyu Zhou and
                  Sotiris Skevoulis},
  title        = {Detecting Null Pointer Violations in Java Programs},
  booktitle    = {23rd International Computer Software and Applications Conference {(COMPSAC}
                  '99), 27-19 October 1999, Phoenix, AZ, {USA}},
  pages        = {456--461},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/CMPSAC.1999.814326},
  doi          = {10.1109/CMPSAC.1999.814326},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JiaSZS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JiaS98,
  author       = {Xiaoping Jia and
                  Sotiris Skevoulis},
  title        = {Code Synthesis Based on Object-Oriented Design Models and Formal Specifications},
  booktitle    = {{COMPSAC} '98 - 22nd International Computer Software and Applications
                  Conference, August 19-21, 1998, Vienna, Austria},
  pages        = {393--399},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CMPSAC.1998.716686},
  doi          = {10.1109/CMPSAC.1998.716686},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JiaS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Jia97,
  author       = {Xiaoping Jia},
  title        = {A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development},
  booktitle    = {21st International Computer Software and Applications Conference {(COMPSAC}
                  '97), 11-15 August 1997, Washington, DC, {USA}},
  pages        = {240--245},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/CMPSAC.1997.624804},
  doi          = {10.1109/CMPSAC.1997.624804},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Jia97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Jia95,
  author       = {Xiaoping Jia},
  title        = {An approach to animating {Z} specifications},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {108--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524767},
  doi          = {10.1109/CMPSAC.1995.524767},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Jia95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Jia93,
  author       = {Xiaoping Jia},
  title        = {Model-based formal specification directed testing of abstract data
                  types},
  booktitle    = {Seventeenth Annual International Computer Software and Applications
                  Conference, {COMPSAC} 1993, Proceedings, Phoenix, AZ, USA, 1-5 November,
                  1993},
  pages        = {360--366},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/CMPSAC.1993.404241},
  doi          = {10.1109/CMPSAC.1993.404241},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Jia93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/YauJB92,
  author       = {Stephen S. Yau and
                  Xiaoping Jia and
                  Doo{-}Hwan Bae},
  title        = {Software design methods for distributed computing systems},
  journal      = {Comput. Commun.},
  volume       = {15},
  number       = {4},
  pages        = {213--224},
  year         = {1992},
  url          = {https://doi.org/10.1016/0140-3664(92)90104-M},
  doi          = {10.1016/0140-3664(92)90104-M},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/YauJB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/YauJB91,
  author       = {Stephen S. Yau and
                  Xiaoping Jia and
                  Doo{-}Hwan Bae},
  title        = {{PROOF:} {A} Parallel Object-Oriented Functional Computation Model},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {12},
  number       = {3},
  pages        = {202--212},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-7315(91)90125-S},
  doi          = {10.1016/0743-7315(91)90125-S},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/YauJB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YauJBCO91,
  author       = {Stephen S. Yau and
                  Xiaoping Jia and
                  Doo{-}Hwan Bae and
                  Madhan Chidambaram and
                  Gil{-}Ho Oh},
  title        = {An object-oriented approach to software development for parallel processing
                  systems},
  booktitle    = {Proceedings of the Fifteenth Annual International Computer Software
                  and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
                  1991},
  pages        = {453--458},
  publisher    = {{IEEE}},
  year         = {1991},
  url          = {https://doi.org/10.1109/CMPSAC.1991.170221},
  doi          = {10.1109/CMPSAC.1991.170221},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/YauJBCO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/YauJ88,
  author       = {Stephen S. Yau and
                  Xiaoping Jia},
  title        = {Visual languages and software specifications},
  booktitle    = {1988 Internation Conference on Computer Languages, October 9-13, 1988,
                  Miami, Florida, {USA}},
  pages        = {322--328},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/ICCL.1988.13080},
  doi          = {10.1109/ICCL.1988.13080},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccl/YauJ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics