| a |
| ALCCTL | Incremental Construction of Counterexamples in Model Checking Web Documents |
| Algebraic Specification Methods | Specifying Hyperdocuments with Algebraic Methods |
| c |
| conference management | EasyChair |
| counterexamples | Incremental Construction of Counterexamples in Model Checking Web Documents |
| CTL | Incremental Construction of Counterexamples in Model Checking Web Documents |
| d |
| document management | Temporal Patterns for Document Verification |
| document verification | Temporal Patterns for Document Verification |
| e |
| easychair | EasyChair |
| g |
| GIS | Development of a Query Language for GML based on XPath |
| GML | Development of a Query Language for GML based on XPath |
| h |
| HTML Filtering | Reconstructing Information Retrieved from Multiple Websites |
| Hyperdocument Engineering | Specifying Hyperdocuments with Algebraic Methods |
| i |
| Information Retrieval | Reconstructing Information Retrieved from Multiple Websites |
| k |
| KML | Development of a Query Language for GML based on XPath |
| m |
| model checking | Incremental Construction of Counterexamples in Model Checking Web Documents |
| p |
| PostGIS | Development of a Query Language for GML based on XPath |
| t |
| temporal description logics | Incremental Construction of Counterexamples in Model Checking Web Documents |
| temporal specification patterns | Temporal Patterns for Document Verification |
| w |
| Web accessibility | Specifying Hyperdocuments with Algebraic Methods |
| Web documents | Temporal Patterns for Document Verification |
| Web Services | EasyChair |
| Webpages visualization | Reconstructing Information Retrieved from Multiple Websites |
| x |
| XPath | Development of a Query Language for GML based on XPath |
