Journal Article
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”,
Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G.,
“Abstract Diagnosis”,
Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
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.
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. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Iborra, J.,
“A Compact Fixpoint Semantics for Term Rewriting Systems”,
Theoretical Computer Science, 2010.
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.
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, 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.
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, 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. 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 Semantic Framework for the Abstract Model Checking of tccp programs”,
{Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.
A. Lescaylle and Villanueva, A.,
“The tccp Interpreter”,
Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.