1

Quasi-Classical Description Logics and Paraconsistent Tabbleau Calculus for Reasoning with Acyclic Tbox

吴尽昭

Journal University of Electronic Science & Technology Of China/2009

2

Process Algebra with Chaos Executing Policy for Unhealthy Systems

吴尽昭

Journal of Computers/2009

3

Real Time Process Algebra with Urgency Executing Policy

吴尽昭

Journal of Software/2009

4

Ontology Reasoning and Services Composition Verification towards O-RGPS Requirement Meta-Model

吴尽昭

The 3rd International Conference on Advanced Computer Theory and Engineering /2010

5

Approximate Equivalence and Optimization for High-level Datapath

吴尽昭

Journal of Computational Information Systems/2011

6

Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm for Fixed Point Equation

吴尽昭

Journal of Information and Computational Science/2011

7

Stochastic Process Algebra with Value-Passing and Weak Time Restrictions

吴尽昭

Journal of Software/2011

8

A Novel Numerical Computation Method Based on Particle Swarm Optimization Algorithm

周永权

Journal of Computers/2010

9

Population Migration Algorithm Description Method and Application Based on Unified Framework of Swarm Intelligence

周永权

Journal of Networks/2010

10

An artificial glowworm swarm optimization algorithm based on Powell local optimization method

周永权

Pattern Recognition and Artificial Intelligence/2011