You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 94 results:

BibTex

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, Falaschi, M., and Villanueva, A., “A Symbolic Model checker for tccp Programs”, in Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.

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., and Falaschi, M., “An Automated Tool for Web Sites Verification”, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, vol. 3229. Springer, pp. 726–729, 2004.

Pages