1. A high-level approach to web content verification;Alexandre;Advances in Computer Science, Engineering & Applications, Advances in Intelligent and Soft Computing,2012
2. VERDI: An automated tool for web sites verification;Alpuente,2004
3. A rewriting-based framework for web sites verification;Alpuente;ENTCS,2005
4. Rule-based verification of web sites;Alpuente;Software Tools for Technology Transfer,2006
5. An abstract generic framework for web site verification;Alpuente,2008