Discrete mathematical structures for computer science (2nd ed.)

Context-free series on trees

Information and Computation

A Neural Network Approach to CSG-Based 3-D Object Recognition

IEEE Transactions on Pattern Analysis and Machine Intelligence

Critical tokenization and its properties

Computational Linguistics

Integration and Efficient Lookup of Compressed XML Accessibility Maps

IEEE Transactions on Knowledge and Data Engineering

Indicating ontology data quality, stability, and completeness throughout ontology evolution: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice

Extended static checking in JML4: benefits of multiple-prover support

Proceedings of the 2009 ACM symposium on Applied Computing

Faster and More Complete Extended Static Checking for the Java Modeling Language

Journal of Automated Reasoning