dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jinyun Xue (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Haihe Shi, Jinyun Xue: A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. ICWL Workshops 2010: 237-245
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinyun Xue: A problem reduction based approach to discrete optimization algorithm design. Computing 88(1-2): 31-54 (2010)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinyun Xue, Zhengkang Zuo: Toward an Automatic Approach to Greedy Algorithms. FAW 2009: 302-313
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinquan Wang, Jinyun Xue: A-Team Based Supply Chain Management Agent Architecture. International Journal on Artificial Intelligence Tools 18(6): 801-823 (2009)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Chuanqing Xu, Jinyun Xue: A simple greedy algorithm for a class of shuttle transportation problems. Optimization Letters 3(4): 491-497 (2009)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Qimin Hu, Jinyun Xue: Implementing Templated Design Patterns: A Category Theoretic Approach. I. J. Comput. Appl. 15(3): 169-176 (2008)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Haihe Shi, Jinyun Xue: From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. International Conference on Computational Science (3) 2007: 469-476
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinquan Wang, Jinyun Xue: Agent Based Framework for Emergency Rescue and Assistance Planning. PAISI 2007: 70-81
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinyun Xue, Qimin Hu: Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. JDIM 5(3): 115-122 (2007)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue: Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. FM 2006: 190-204
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Qimin Hu, Jinyun Xue: Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. ISDA (1) 2006: 759-764
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Lianlai Wang, Jinyun Xue: An A-Team Based Architecture for Constraint Programming. PRIMA 2006: 552-557
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujun Zheng, Jinyun Xue, Weibo Liu: Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. TAMC 2006: 601-610

Selection of 13 from 34 records - Jinyun Xue has 24 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page