A. Lescaylle and Villanueva, A.,
“Using tccp for the Specification of Communication Protocols”,
Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 301–310, 2007.
A. Lescaylle and Villanueva, A.,
“Using tccp for the Specification and Verification of Communication Protocols”,
Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.
S. Flores, Lucas, S., and Villanueva, A.,
“Using Maude for the Formal Verification of Websites”,
Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 71–80, 2007.
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. Falaschi, Policriti, A., and Villanueva, A.,
“Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language”,
Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.
S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 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.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“Automatic Synthesis of Specifications for First Order Curry Programs”,
Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“Automatic Synthesis of Specifications for Curry Programs”,
Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”,
Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.