You are here

Publications

Export 37 results:
Filters: First Letter Of Last Name is A  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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, 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., An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). pp. 81–92, 2007.
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of OBJ-like Programs, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 2003.
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, 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., Correa, F., and Falaschi, M., A Multiparadigm Automatic Correction Scheme, Pre-Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002. 2002.
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., 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, Ballis, D., and Falaschi, M., Transformation and Debugging of Functional Logic Programs, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., Verifying Real-Time Properties of tccp Programs, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.
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, Ballis, D., Espert, J., and Romero, D. O., Backward Trace Slicing for Rewriting Logic Theories, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., An Abstract Generic Framework for Web Site Verification, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
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, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic. DSIC, Universidad Politécnica de Valencia, 2009.
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. 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, Gramlich, B., and Villanueva, A., Timed Concurrent Constraint Programming with Instantaneous Computations, Actas de las VI Jornadas de Programaci. Sitges, Barcelona, Spain, 2006.
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of First-Order Functional Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 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.
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., Abstract Diagnosis of Functional Programs, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
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, Feliú, M. A., Joubert, C., and Villanueva, A., Implementing Datalog in Maude, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
M. Alpuente, Ballis, D., and Falaschi, M., Automated Verification of Web Sites Using Partial Rewriting, Pre-Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004. pp. 81–88, 2004.
M. Alpuente, Ballis, D., and Romero, D. O., Specification and Verification of Web Applications in Rewriting Logic, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
M. Alpuente, Gramlich, B., and Villanueva, A., A Framework for Timed Concurrent Constraint Programming with External Functions, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.
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. 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. 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.

Pages