| Publication | Date of Publication | Type |
|---|
Modeling and verifying time sensitive security protocols with constraints
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
A novel derivation framework for definite logic program
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Method of Constructing Two-Way Alternating Automata for PSL and Translation to Nondeterministic Automata
Journal of Software | 2011-02-05 | Paper |
Constraints Solution for Time Sensitive Security Protocols
Frontiers in Algorithmics | 2009-03-10 | Paper |
scientific article; zbMATH DE number 5525649 (Why is no real title available?)
| 2009-03-06 | Paper |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Constraint Abstraction in Verification of Security Protocols
Frontiers in Algorithmics | 2008-06-19 | Paper |
The multi-criteria minimum spanning tree problem based genetic algorithm
Information Sciences | 2007-10-18 | Paper |
Representing Wholes by Structure
Conceptual Structures: Inspiration and Application | 2007-09-06 | Paper |
SPVT: an efficient verification tool for security protocols
| 2006-10-10 | Paper |
An improved algorithm to solve the multi-criteria minimum spanning tree problem
| 2006-07-12 | Paper |
On construction sequence optimization of cascaded hydroelectric stations
| 2006-03-01 | Paper |
scientific article; zbMATH DE number 2220126 (Why is no real title available?)
| 2005-10-28 | Paper |
scientific article; zbMATH DE number 2202222 (Why is no real title available?)
| 2005-09-05 | Paper |
scientific article; zbMATH DE number 2013397 (Why is no real title available?)
| 2003-12-04 | Paper |
An interlingua-based Chinese-English MT system
Journal of Computer Science and Technology | 2003-04-23 | Paper |
A solution to a problem of Marek and Truszcyński
| 2002-08-05 | Paper |
Two alternative notions of 'possibility' satisfying Halpern's conditions
Journal Of Logic And Computation | 2001-03-13 | Paper |
scientific article; zbMATH DE number 1444738 (Why is no real title available?)
| 2001-01-29 | Paper |
Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus
Science in China. Series E | 2000-06-13 | Paper |
Universal abstract consistency class and universal refutation
Journal of Computer Science and Technology | 1999-09-13 | Paper |
scientific article; zbMATH DE number 1267265 (Why is no real title available?)
| 1999-06-20 | Paper |
Verifying automata specification of distributed probabilistic real-time systems
Journal of Computer Science and Technology | 1999-03-02 | Paper |
scientific article; zbMATH DE number 1223732 (Why is no real title available?)
| 1999-02-14 | Paper |
Argumentation in disjunctive logic programming
Science in China. Series E | 1998-12-14 | Paper |
scientific article; zbMATH DE number 1222412 (Why is no real title available?)
| 1998-11-11 | Paper |
The least fixpoint transformation for disjunctive logic programs
Journal of Computer Science and Technology | 1998-11-10 | Paper |
Credolous argumentation with the disjunctive stable semantics
Science in China. Series E | 1998-10-06 | Paper |
scientific article; zbMATH DE number 1088279 (Why is no real title available?)
| 1997-11-17 | Paper |
PTL sequent calculus system
Science in China. Series A | 1995-08-16 | Paper |
On the relationship between TMS and logic programs
Journal of Computer Science and Technology | 1994-10-17 | Paper |
scientific article; zbMATH DE number 67479 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 3799626 (Why is no real title available?)
| 1981-01-01 | Paper |
