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, 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., 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, 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, 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.

Pages