Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Verification of a production cell controller using symbolic timing diagrams
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
ACM Computing Surveys (CSUR)
Yin and yang in computer science
Communications of the ACM
Competitive non-preemptive call control
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Scheduling multicasts on unit-capacity trees and meshes
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Uniform generation in spatial constraint databases and applications (Extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Symbolic guided search for CTL model checking
Proceedings of the 37th Annual Design Automation Conference
Dynamic programming: a method for taking advantage of technical terminology in Japanese documents
IRAL '00 Proceedings of the fifth international workshop on on Information retrieval with Asian languages
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Minds and Machines
Graph Voronoi Regions for Interfacing Planar Graphs
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Improved Boneh-Shaw Content Fingerprinting
CT-RSA 2001 Proceedings of the 2001 Conference on Topics in Cryptology: The Cryptographer's Track at RSA
2D-Structure Drawings of Similar Molecules
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Approximating Call-Scheduling Makespan in All-Optical Networks
WG '00 Proceedings of the 26th International Workshop on Graph-Theoretic Concepts in Computer Science
Automatic Verification of Recursive Procedures with One Integer Parameter
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Automatic verification of recursive procedures with one integer parameter
Theoretical Computer Science - Mathematical foundations of computer science
Spatial geometric constraint solving based on k-connected graph decomposition
Proceedings of the 2006 ACM symposium on Applied computing
Uniform generation in spatial constraint databases and applications
Journal of Computer and System Sciences
Area-efficient planar straight-line drawings of outerplanar graphs
Discrete Applied Mathematics
On finding spanning trees with few leaves
Information Processing Letters
Information and Computation
Parallel computation: models and complexity issues
Algorithms and theory of computation handbook
Lower bounds on the computational power of an optical model of computation
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Attribute value reordering for efficient hybrid OLAP
Information Sciences: an International Journal
A new model for classifying DNA code inspired by neural networks and FSA
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
Discrete Optimization
| Hi-index | 0.02 |