M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“Using Datalog and Boolean Equation Systems for Program Analysis”,
Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.
M. Alpuente, Ballis, D., Falaschi, M., and Romero, D. O.,
“A Semi-Automatic Methodology for Repairing Faulty Web Sites”,
4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Semantic Verification of Web System Contents”,
ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
M. Alpuente, Ballis, D., and Falaschi, M.,
“A Rewriting-based Framework for Web Sites Verification”,
Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.
M. Comini, Damiani, F., and Vrech, S.,
“On Polymorphic Recursion, Type Systems, and Abstract Interpretation”,
Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“A Fast Algebraic Web Verification Service”,
Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“Defining Datalog in Rewriting Logic”,
Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“Correction of Functional Logic Programs”,
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Completeness of Unfolding for Rewriting Logic Theories”,
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.