序号 | 成果名称 | 作者 | 发表刊物名称/年份 |
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 |