Journal Article
A. Lescaylle and Villanueva, A.,
“The tccp Interpreter”,
Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“A Semantic Framework for the Abstract Model Checking of tccp programs”,
{Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.
M. Alpuente, Ballis, D., and Falaschi, M.,
“Rule-based Verification of Web Sites”,
International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“A Real-Time Logic for tccp verification”,
Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.
M. Baggi,
“An Ontology-based System for Semantic Filtering of XML Data”,
Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”,
Theoretical Computer Science, vol. 411, no. 47, 2010.
S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”,
Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Iborra, J.,
“A Compact Fixpoint Semantics for Term Rewriting Systems”,
Theoretical Computer Science, 2010.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“Abstract Model Checking of tccp programs”,
Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.
M. Comini, Gori, R., Levi, G., and Volpe, P.,
“Abstract Interpretation based Verification of Logic Programs”,
Science of Computer Programming, vol. 49, pp. 89–123, 2003.