Journal of Computer Science and Technology

Title Publication Date Language Citations
An object-oriented transaction model1993/10/01English
DGLa: A distributed graphics language1994/04/01English
The complexity of recognition in the single-layered PLN network with feedback connections1993/10/01English
A new local control spline with shape parameters for CAD/CAM1993/07/01English
OOMMS: A module management system based on an object-oriented model1993/04/01English
On local stratifiability of logic programs and databases1993/04/01English
Design rationale for a wide spectrum specification language FGSPEC1993/04/01English
A standard model-theoretic approach to operational semantics of recursive programs1993/04/01English
Madet—A machine-description table based instruction scheduler in TH-RISC for exploiting instruction level parallelism1994/04/01English
A form-correcting system of Chinese characters using a model of correcting procedures of calligraphists1995/01/01English
Some results on default logic1994/07/01English
Bottom-up evaluation of datalog with negation1994/07/01English
Real-time collision-free path planning for robots in configuration space1994/01/01English
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-Hoc Networks2006/01/01English
P-Tree Structures and Event Horizon: Efficient Event-Set Implementations2006/01/01English
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking2006/01/01English
A Yield-Driven Gridless Router2007/09/01English
Next High Performance and Low Power Flash Memory Package Structure2007/07/01English
A Model of Grid Service Capacity2007/07/01English
Simultaneous Minimization of Capacity and Conflict Misses2007/07/01English
An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving2007/07/01English
Barbed Congruence of Asymmetry and Mismatch2007/07/01English
Linguistic Theory Based Contextual Evidence Mining for Statistical Chinese Co-Reference Resolution2007/07/01English
Short Group Signatures Without Random Oracles2007/11/01English
A Protocol for a Private Set-Operation2007/11/01English
Smart Proactive Caching Scheme for Fast Authenticated Handoff in Wireless LAN2007/05/01English
Cryptanalysis of Achterbahn-Version 1 and -Version 22007/05/01English
Complete Multiple Description Mesh-Based Video Coding Scheme and Its Performance2005/05/01English
Preface2008/01/01English
Preface2018/05/01English