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

Junyan Qian (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


20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu: Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. PRICAI 2010: 384-396
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Automatic Construction of Complete Abstraction by Abstract Interpretation. ACIS-ICIS 2009: 927-932
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu: An ASP Based Solution to Mechanical Assembly Sequence Planning. WGEC 2009: 205-208
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Formula-Dependent Abstraction for CTL Model Checking. ICCSA (2) 2008: 1035-1048
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: Test frame updating in CPM testing of Prolog programs. Software Quality Journal 16(2): 277-298 (2008)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. APLAS 2007: 105-121
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian: Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. TASE 2007: 261-272
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: On the New Application of Call Patterns to CPM Testing of Prolog Programs. Australian Conference on Artificial Intelligence 2006: 1265-1270
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: Designing Prolog Semantics for a Class of Observables. PRICAI 2006: 1052-1057
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. SEKE 2006: 359-362
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Base for Achieving Semantics for Prolog with Cut for Correct Observables. Software Engineering Research and Practice 2006: 664-670

Selection of 11 from 21 records - Junyan Qian has 10 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