639 | -- | 674 | Joshua Amavi, Béatrice Bouchou, Agata Savary. On Correcting XML Documents with Respect to a Schema |
675 | -- | 692 | Rekai González-Alberquilla, Fernando Emmanuel Frati, Luis Piñuel, Karin Strauss, Luis Ceze. Data Race Detection with Minimal Hardware Support |
693 | -- | 707 | Victor Khomenko, Andrey Mokhov. Direct Construction of Complete Merged Processes |
708 | -- | 730 | Chao Zhu, Qiang Zhu, Calisto Zuzarte. Optimization of Monotonic Linear Progressive Queries Based on Dynamic Materialized Views |
731 | -- | 743 | Kuei-Hao Chen, Guan-Shieng Huang, Richard Chia-Tung Lee. Bit-Parallel Algorithms for Exact Circular String Matching |
744 | -- | 758 | Lijun Lun, Xin Chi, Hui Xu. The Relationship between Forward Slicing and Backward Slicing for Software Architecture |
759 | -- | 774 | Patrick J. Graydon, Iain Bate. Realistic Safety Cases for the Timing of Systems |
775 | -- | 795 | Rada Chirkova. Combined-Semantics Equivalence and Minimization of Conjunctive Queries |