|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haihe Shi, Jinyun Xue |
A Generative Approach to Searching Algorithmic Programs Development.  |
TASE  |
2011 |
DBLP DOI BibTeX RDF |
generative techniques, PAR method, generic domain component, searching algorithm |
| 1 | Haihe Shi, Jinyun Xue |
Formal Derivation of Two Algorithms Involving Sequences. |
ACIS-ICIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Jinyun Xue |
A problem reduction based approach to discrete optimization algorithm design. |
Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen You, Jinyun Xue, Shi Ying |
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. |
FAW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Haihe Shi, Jinyun Xue |
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. |
ICWL Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haihe Shi, Jinyun Xue |
Generating Provably Correct Algorithmic Programs from Formal Specifications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Jinquan Wang, Jinyun Xue |
A-Team Based Supply Chain Management Agent Architecture. |
International Journal on Artificial Intelligence Tools |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Chuanqing Xu, Jinyun Xue |
A simple greedy algorithm for a class of shuttle transportation problems. |
Optimization Letters |
2009 |
DBLP DOI BibTeX RDF |
Shuttle transportation problems, Combinatorial optimization, Greedy algorithm |
| 1 | Xiaotie Deng, John E. Hopcroft, Jinyun Xue (eds.) |
Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings |
FAW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Changjing Wang, Jinyun Xue |
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. |
FAW |
2009 |
DBLP DOI BibTeX RDF |
High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid |
| 1 | Yujun Zheng, Jinyun Xue, Zhengkang Zuo |
Toward an Automatic Approach to Greedy Algorithms. |
FAW |
2009 |
DBLP DOI BibTeX RDF |
PAR method, problem singleton, greedy algorithm, Combinatorial optimization problems |
| 1 | Yujun Zheng, Qimin Hu, Jinyun Xue |
Implementing Templated Design Patterns: A Category Theoretic Approach. |
I. J. Comput. Appl. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jinyun Xue, Bo Yang, Zhengkang Zuo |
A Linear In-situ Algorithm for the Power of Cyclic Permutation. |
FAW |
2008 |
DBLP DOI BibTeX RDF |
Linear In-situ Algorithm, PAR platform, abstract structure, power of a cyclic permutation, twin ring |
| 1 | Anquan Jie, Lan Wan, Zhizhang Hua, Jinyun Xue |
The Research and Application of Apla-Java Reusable Components. |
ISCSCT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haihe Shi, Dawei Du, Jinyun Xue |
Generating Algorithms plus Loop Invariants by Formal Derivation. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haihe Shi, Jinyun Xue, Dawei Du |
A Mechanical Approach for Deriving Algorithmic Programs. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Jinyun Xue, Qimin Hu |
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. |
JDIM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yujun Zheng, Haihe Shi, Jinyun Xue |
From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Haihe Shi, Jinyun Xue |
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. |
SNPD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Jinquan Wang, Jinyun Xue |
Agent Based Framework for Emergency Rescue and Assistance Planning. |
PAISI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Jinyun Xue, Weibo Liu |
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Qimin Hu, Jinyun Xue |
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. |
ISDA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue |
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Meihua Xiao, Jinyun Xue |
Formal automatic verification of security protocols. |
GrC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujun Zheng, Lianlai Wang, Jinyun Xue |
An A-Team Based Architecture for Constraint Programming. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyun Xue |
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jinyun Xue |
Formal derivation of graph algorithmic programs using partition-and-recur. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyun Xue, Ruth Davis |
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. |
Software - Concepts and Tools |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jinyun Xue |
A unified approach for developing efficient algorithmic programs. |
J. Comput. Sci. Technol. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyun Xue, Ruth Davis |
A Simple Program whose Derivation and Proof is Also. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jinyun Xue |
Two new strategies for developing loop invariants and their applications. |
J. Comput. Sci. Technol. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyun Xue, David Gries |
Developing a Linear Algorithm for Cubing a Cyclic Permutation. |
Sci. Comput. Program. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Jinyun Xue |
Generating a Random Cycle Permutation. |
BIT |
1988 |
DBLP BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")