| 1 | -- | 2 | María Alpuente, Santiago Escobar, Moreno Falaschi. Preface |
| 3 | -- | 9 | Shadi Abou-Zahra. A Data Model to Facilitate the Automation of Web Accessibility Evaluations |
| 11 | -- | 17 | Demis Ballis, Javier García-Vivó. A Rule-based System for Web site Verification |
| 19 | -- | 34 | Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. Verification of Web Services with Timed Automata |
| 35 | -- | 40 | Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana. Web Categorisation Using Distance-Based Decision Trees |
| 41 | -- | 46 | Shriram Krishnamurthi. Web Verification: Perspective and Challenges |
| 47 | -- | 65 | Temur Kutsia. Context Sequence Matching for XML |
| 67 | -- | 78 | Luigi Liquori, Furio Honsell, Rekha Redamalla. A Language for Verification and Manipulation of Web Documents: (Extended Abstract) |
| 79 | -- | 85 | Salvador Lucas. Rewriting-Based Navigation of Web Sites: Looking for Models and Logics |
| 87 | -- | 100 | Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez. Web Accessibility Evaluation Tools: A Survey and Some Improvements |
| 101 | -- | 118 | Martin Karusseit, Tiziana Margaria. Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service |
| 119 | -- | 132 | Frédéric Rioux, Patrice Chalin. Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study |
| 133 | -- | 146 | Claude Kirchner, Hélène Kirchner, Anderson Santana. Anchoring Modularity in HTML |
| 147 | -- | 166 | Bo Hu, Florian Lauck, Jan Scheffczyk. How Recent is a Web Document? |
| 167 | -- | 185 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini. Modeling Web Applications by the Multiple Levels of Integrity Policy |
| 187 | -- | 192 | Josep Silva. Slicing XML Documents |
| 193 | -- | 205 | R. G. Stone. Validating Scripted Web-Pages |
| 207 | -- | 211 | Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? |