Publicaciones

Informe Proyecto (2007)

REFERENCIAS

[1] H. Garavel, F. Lang, and R. Mateescu. An overview of CADP. EASST Newsletter, 4:13-24, 2002.
[ bib ]
[2] G.J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
[ bib ]
[3] S. Lucas. Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming, 1998(1), 1998.
[ bib ]
[4] M. Stal. Web services: Beyond component-based computing. Communications of the ACM, 45(10):71-76, 2002.
[ bib ]
[5] S. Lucas. Context-sensitive rewriting strategies. Information and Computation, 178(1):294-343, 2002.
[ bib ]
[6] E. Contejean, C. Marché, B. Monate, and X. Urbain. Proving termination of rewriting with CiME. In Proc. of the 6th International Workshop on Termination, WST'03, pages 71-73, 2003. http://cime.lri.fr.
[ bib | http ]
[7] R. Peña and C. Segura. A First-Order Functional Language for Reasoning about Heap Consumption. In Actas de las IV Jornadas de Programación y Lenguajes, PROLE'04, pages 153-162, 2004.
[ bib ]
[8] R. Peña and C. Segura. A First-Order Functional Language for Reasoning about Heap Consumption. In Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL'04. Technical Report 0408, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, pages 64-80, 2004.
[ bib ]
[9] P. Julián, G. Moreno, and J. Penabad. Unfolding Fuzzy Logic Programs. Technical Report DIAB-04-03-2, Departamento de Informática, Universidad de Castilla-La Mancha, Marzo 2004. Accesible en URL: http://www.info-ab.uclm.es/˜personal/gmoreno/gmoreno.htm.
[ bib ]
[10] P. Julián, G. Moreno, and J. Penabad. Unfolding-based Improvements on Fuzzy Logic Programs. In Salvador Lucas, editor, Proc. of IV Jornadas sobre Programación y Lenguajes, PROLE'2004, Málaga, Spain, November 11-12, pages 241-254. University of Málaga, 2004.
[ bib ]
[11] P. Julián, G. Moreno, and J. Penabad. Unfolding Fuzzy Logic Programs. In Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA'04 (Sponsored by IEEE). Budapest (Hungary), August 26-28, pages 595-600, 2004.
[ bib ]
[12] M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science, Elsevier, 311(1-3):479-525, Jan. 2004.
[ bib ]
[13] S. González and G. Moreno. Improved Tupling for Optimizing Multi-Paradigm Declarative Programs. In C. Lemaitre, C.A. Reyes, and J.A. González, editors, Proc. of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA'2004. Puebla, México, November 22-26, pages 419-429. Springer LNAI 3315, 2004.
[ bib ]
[14] S. González and G. Moreno. Integrated Transformation Strategies for Integrated Declarative Programs. In Salvador Lucas, editor, Proc. of IV Jornadas sobre Programación y Lenguajes, PROLE'2004. Málaga, Spain, November 11-12, pages 255-258. University of Málaga, 2004.
[ bib ]
[15] S. González and G. Moreno. Incremental Tupling with Simplification Pre-process. Technical Report DIAB-04-05-1, Departamento de Informática, Universidad de Castilla-La Mancha, Mayo 2004. Accesible en URL: http://www.info-ab.uclm.es/personal/gmoreno/gmoreno.htm.
[ bib ]
[16] S. González and G. Moreno. Combining Composition and Tupling for Optimizing Declarative Programs. Technical Report DIAB-04-03-1, Departamento de Informática, Universidad de Castilla-La Mancha, Marzo 2004. Accesible en URL: http://www.info-ab.uclm.es/personal/gmoreno/gmoreno.htm.
[ bib ]
[17] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Aprendizaje de árboles de decisión basados en distancias. In Tendencias de la Minería de Datos, pages 425-436. Digital 3D, 2004.
[ bib ]
[18] S. Lucas. , a tool for proving termination of context-sensitive rewriting. In V. van Oostrom, editor, Rewriting Techniques and Applications, RTA'04, volume 3091 of Lecture Notes in Computer Science, pages 200-209, Aachen, Germany, 2004. Springer-Verlag, Berlin. http://www.dsic.upv.es/~slucas/csr/termination/muterm/.
[ bib ]
[19] J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. AProVE: A system for proving termination. In V. van Oostrom, editor, Rewriting Techniques and Applications, RTA'04, volume 3091 of Lecture Notes in Computer Science, pages 210-220, Aachen, Germany, 2004. Springer-Verlag, Berlin. http://www-i2.informatik.rwth-aachen.de/AProVE.
[ bib ]
[20] Antonio J. Fernández and Patricia M. Hill. An interval constraint system for lattice domains. ACM Trans. Program. Lang. Syst., 26(1):1-46, 2004.
[ bib ]
[21] M.M Gallardo, J. Martí nez, P. Merino, and E. Pimentel. αspin: A tool for abstract model checking. International Journal on Software Tool for Technology Transfer, 5:165 - 184, 2004.
[ bib ]
[22] S. Amaro, E. Pimentel, and A.M. Roldán. A preliminary comparative study on the expressive power of reo and linda. In Proc. of Foclasa'04. FOCLASA'04, August 2004.
[ bib ]
[23] R. Peña and C. Segura. A Sharing Analysis Guaranteeing Safe Destruction in a First-Order Functional Language. In Actas de las V Jornadas de Programación y Lenguajes, PROLE'05, pages 3-12. Thomson-Paraninfo, 2005.
[ bib ]
[24] G. Moreno and V. Pascual. Designing Declarative Languages with Laziness and Fuzziness. Technical Report DIAB-05-11-1, Departamento de Informática, Universidad de Castilla-La Mancha, Noviembre 2005. Accesible en URL: http://www.info-ab.uclm.es/personal/gmoreno/gmoreno.htm.
[ bib ]
[25] G. Moreno and V. Pascual. Functional Logic Programming with Similarity. In F. Lopez-Fraguas, editor, Proc. of V Jornadas sobre Programación y Lenguajes, PROLE'2005. Granada, Spain, September 14-16, pages 121-126. University of Granada, 2005.
[ bib ]
[26] P. Julián, G. Moreno, and J. Penabad. Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. In F. López-Fraguas, editor, Proc. of V Jornadas sobre Programación y Lenguajes, PROLE'2005, Granada, Spain, September 14-16, pages 239-248. University of Granada, 2005.
[ bib ]
[27] P. Julián, G. Moreno, and J. Penabad. On Fuzzy Unfolding. A Multi-Adjoint Approach. Fuzzy Sets and Systems, Elsevier, 154:16-33, 2005.
[ bib ]
[28] P. Julián, G. Moreno, and J. Penabad. Unfolding-based Improvements on Fuzzy Logic Programs. In Salvador Lucas, editor, Electronic Notes in Theoretical Computer Science, volume 137, pages 69-103. Elsevier, 2005.
[ bib ]
[29] Alberto Domínguez and P. Julián. Incompleteness of program transformers to inductively sequential term rewriting systems. In F. López-Fraguas, editor, Proc. of V Jornadas sobre Programación y Lenguajes, PROLE'2005, Granada, Spain, September 14-16, pages 249-258. University of Granada, 2005.
[ bib ]
[30] S. Escobar, C. Meadows, and J. Meseguer. A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation. In Proceedings of 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'05), pages 1-12. ACM Press, 2005.
[ bib ]
[31] M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva. A Semantic Framework for the Abstract Model Checking of tccp programs (extended abstract). In F.J. López-Fraguas, editor, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005, pages 97-100, 2005.
[ bib ]
[32] M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva. Verifying Real-Time Properties of tccp Programs. In F.J. López-Fraguas, editor, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005, pages 85-94, 2005.
[ bib ]
[33] M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva. Abstract Model Checking of tccp programs. In A. Cerone and A. di Pierro, editors, Proceedings of the Second Workshop on Quantitative Aspects of Programming, volume 112 of Electronic Notes in Theoretical Computer Science, pages 19-36. Elsevier Science, 2005.
[ bib ]
[34] M. Alpuente, M. Falaschi, and A. Villanueva. A Symbolic Model Checker for tccp programs. In N. Guelfi, editor, Selected papers of 1st International Workshop on Rapid Integration of Software Engineering Techniques, volume 3475 of Lecture Notes in Computer Science, pages 45-56. Springer-Verlag, 2005.
[ bib ]
[35] D. Ballis and J. García Vivó. A Rule-based System for Web Site Verification. In Proc. of 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05), volume 157(2). ENTCS, Elsevier, 2005.
[ bib ]
[36] D. Ballis. Rule-based Software Verification and Correction. PhD thesis, University of Udine and Technical University of Valencia, 2005.
[ bib ]
[37] M. Alpuente, D. Ballis, and M. Falaschi. A Rewriting-based Framework for Web Sites Verification. Electronic Notes in Theoretical Computer Science, 124(1):41-61, 2005.
[ bib ]
[38] C. Ferri, P. Flach, J. Hernández-Orallo, and A. Senad. Modifying ROC Curves to Incorporate Predicted Probabilities. In Proceedings of 2nd International Workshop on ROC Analysis in Machine Learning, pages 33-40, 2005.
[ bib ]
[39] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Web Categorisation Using Distance-Based Decision Trees. In M. Alpuente, S. Escobar, and M. Falaschi, editors, Proceedings of 1st International Workshop on Automated Specification and Verification of Web Sites, WWV'05, pages 77-82, 2005.
[ bib ]
[40] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Distance Based Generalisation. In Proceedings of 15th International Conference on Inductive Logic Programming, ILP 2005, volume 3625 of Lecture Notes in Computer Science. Springer Verlag, 2005. Best Student Paper ILP 2005.
[ bib ]
[41] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. A survey of (pseudo-distance) functions for structured-data. In III Taller de Minería de Datos y Aprendizaje (TAMIDA 2005), pages 233-242, 2005.
[ bib ]
[42] R. Blanco, J. Hernández-Orallo, and M. J. Ramírez-Quintana. La técnica mimética en ausencia de datos originales: aprendizaje y revisión de modelos. In III Taller de Minería de Datos y Aprendizaje (TAMIDA 2005), pages 213-222, 2005.
[ bib ]
[43] R. Blanco, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Knowledge Acquisition through Machine Learning: minimising expert's effort. In Proceedings of 4th International Conference on Machine Learning and Applications, pages 49-54. IEEE Computer Society, 2005.
[ bib ]
[44] J. Hernández-Orallo, R. Blanco, C. Ferri, and M. J. Ramírez-Quintana. Modelos en Minería de Datos: interpretación, combinación y adaptación. In Minería de Datos: Técnicas y Aplicaciones, pages 35-66. Ediciones del Departamento de Informática de la UCLM, 2005.
[ bib ]
[45] D. Dowe, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Towards costing Logic Programs for Inductive Inference. Technical report, Departamento de Sistemas Informáticos y computación, UPV, 2005.
[ bib ]
[46] J. Alapont, A. Bella, C. Ferri, J. Hernández-Orallo, J. D. Llopis, and M. J. Ramírez-Quintana. Specialised Tools for Automating Data Mining for Hospital Management. In Proc. First East European Conference on Health Care Modelling and Computation, pages 7-19, 2005.
[ bib ]
[47] A. A. Gámez, I. García-Varea, and J. Hernández-Orallo, editors. Minería de Datos: Técnicas y Aplicaciones. Ediciones del Departamento de Informática de la UCLM, 2005.
[ bib ]
[48] M.P. Singh and M.N. Hunh. Service Oriented Computing. John Wiley & sons, 2005.
[ bib ]
[49] N. Hirokawa and A. Middeldorp. Tyrolean termination tool. In J. Giesl, editor, Rewriting Techniques and Applications, RTA'05, volume 3467 of Lecture Notes in Computer Science, pages 175-184, Nara, Japan, 2005. Springer-Verlag, Berlin. http://cl2-informatik.uibk.ac.at.
[ bib ]
[50] S. Lucas. A note on completeness of conditional context-sensitive rewriting. In R. di Cosmo and Y. Toyama, editors, 5th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'05, pages 3-15, Nara, Japan, 2005. University of Tokyo.
[ bib ]
[51] S. Lucas. Report on the use of polynomials with real and rational coefficients in proofs of termination. In F.J. López-Fraguas, editor, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005, pages 105-108, Granada, Spain, 2005. Thomson-Paraninfo, Madrid.
[ bib ]
[52] S. Lucas and J. Meseguer. Termination of fair computations in term rewriting. In G. Sutcliff and A. Voronkov, editors, 12th International Conference on Logic for Programming, Artificial intelligence and Reasoning, LPAR'05, volume 3835 of Lecture Notes in Artificial Intelligence, pages 184-198, Montego Bay, Jamaica, 2005. Springer-Verlag, Berlin.
[ bib ]
[53] S. Lucas, C. Marché, and J. Meseguer. Operational termination of conditional term rewriting systems. Information Processing Letters, 95:446-453, 2005.
[ bib ]
[54] S. Lucas. Polynomials over the reals in proofs of termination: from theory to practice. RAIRO Theoretical Informatics and Applications, 39:547-586, 2005.
[ bib ]
[55] S. Escobar, J. Meseguer, and P. Thati. Natural rewriting for general term rewriting systems. In Sandro Etalle, editor, Proc. of the International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR 2004), volume 3573 of Lecture Notes in Computer Science, pages 101-116. Springer-Verlag, Berlin, 2005.
[ bib ]
[56] S. Escobar, J. Meseguer, and P. Thati. Natural narrowing for general term rewriting systems. In Juergen Giesl, editor, Proc. of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005), volume 3467 of Lecture Notes in Computer Science, pages 279-293. Springer-Verlag, Berlin, 2005.
[ bib ]
[57] M. Alpuente and S. Lucas. Connecting remote tools: Do it by yourself! ERCIM News, 61:48-49, 2005.
[ bib ]
[58] B. Alarcón and S. Lucas. Crossing the rubicon: from haskell to .net through com. ERCIM News, 63:51-52, 2005.
[ bib ]
[59] B. Alarcón and S. Lucas. Integración de componentes haskell en .net. Technical Report DSIC-II/06/05, DSIC, Universidad Politécnica de Valencia, 2005.
[ bib ]
[60] M. Alpuente, S. Escobar, and S. Lucas. A note on syntactic annotations for narrowing. In F.J. López-Fraguas, editor, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005, pages 25-30. Thomson, 2005.
[ bib ]
[61] B. Alarcón. Desarrollo, integración y uso de herramientas avanzadas de análisis de programas en .NET. Master's thesis, Facultad de Informática, Universidad Politécnica de Valencia, 2005.
[ bib ]
[62] S. Escobar M. Alpuente and M. Falaschi (eds.). Automated Specification and Verification of Web Systems. IEEE Computer Society Press, 2005.
[ bib ]
[63] S. Amaro, E. Pimentel, and A.M. Roldán. Coordinating behavioral descriptions of components. Journal of Universal Computer Science, 11(10):1676-1694, 2005.
[ bib ]
[64] Pablo López, Frank Pfenning, Jeff Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In PPDP, pages 35-46, Lisbon, Portugal, jul 2005. ACM Press.
[ bib ]
[65] Pablo López and Jeff Polakow. Implementing efficient resource management for linear logic programming. In LPAR, pages 528-543, 2005.
[ bib ]
[66] Antonio J. Fernández and Patricia M. Hill. A Chaotic Iteration View for Interval Constraint Solving over Lattices. In Francisco J. López-Fraguas, editor, PROLE'05 - V Jornadas sobre Programación y Lenguajes (Simposio 10 del I Congreso Español de Informática (CEDI'05)), pages 43-52, Granada, España, 2005. Thomson.
[ bib ]
[67] Antonio J. Fernández and Patricia M. Hill. An Interval Constraint Branching Scheme for Lattice Domains . In Francisco J. López-Fraguas, editor, PROLE'05 - V Jornadas sobre Programación y Lenguajes (Simposio 10 del I Congreso Español de Informática (CEDI'05)), pages 33-42, Granada, España, 2005. Thomson.
[ bib ]
[68] Antonio J. Fernández, Teresa Hortalá-González, and Fernando Sáenz-Pérez. Using the TOY(FD) Constraint Functional Logic System. In Francisco J. López-Fraguas, editor, PROLE'05 - V Jornadas sobre Programación y Lenguajes (Simposio 10 del I Congreso Español de Informática (CEDI'05)), pages 115-120, Granada, España, 2005. Thomson.
[ bib ]
[69] Antonio J. Fernández, Maria Teresa Hortalá-González, and Fernando Sáenz-Pérez. Solving fd constraints in toy(fd). In Carmen Gervet Francisco Azevedo and Enrico Pontelli, editors, First International Workshop on Constraint Programming Beyond Finite Integer Domains (as part of CP'05), pages 1-15, Sitges, Spain, 2005.
[ bib ]
[70] Peter van Beek, editor. Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, volume 3709 of Lecture Notes in Computer Science. Springer, 2005.
[ bib ]
[71] Antonio J. Fernández, Maria Teresa Hortalá-González, and Fernando Sáenz-Pérez. Programming with toy(fd). In van Beek [70], pages 878-878.
[ bib ]
[72] Antonio J. Fernández. Programación declarativa con restricciones. Revista Iberoamericana de Inteligencia Artificial, 9(27):1137-3601, 2005.
[ bib ]
[73] Antonio J. Fernández. Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo. Revista Iberoamericana de Inteligencia Artificial, 9(27):125-128, 2005.
[ bib ]
[74] M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva. A Semantic Framework for the Abstract Model Checking of tccp programs. Theoretical Computer Science, 346:58-95, 2005.
[ bib ]
[75] M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva. A Semantic Framework for the Abstract Model Checking of tccp programs. In Actas de las V Jornadas sobre Programación y Lenguajes, PROLE05, pages 95-100, 2005.
[ bib ]
[76] M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva. Verifying Real-Time Properties of tccp Programs. In Actas de las V Jornadas sobre Programación y Lenguajes, PROLE05, pages 85-94, 2005.
[ bib ]
[77] M. M. Gallardo, P. Merino, J. Martí nez, and E. Pimentel. Abstracting UML behavioral diagrams for verification, pages 296-320. Idea Group Publisher, 2005.
[ bib ]
[78] M. Yagüe, M. M. Gallardo, and A. Ma na. Semantic Access Control Model: A Formal Specification. In Proceedings of the 10th European Symposium on Research in Computer Security, number 3679 in Lecture Notes in Computer Science, pages 24-43, 2005.
[ bib ]
[79] P. de-la Cámara, M. M. Gallardo, P. Merino, and D. Sanán. SocketMC: A tool to verify C code. In Actas de la XIII Jornadas de Concurrencia y Sistemas Distribuidos, pages 193-204, 2005.
[ bib ]
[80] M. M. Gallardo, C. Joubert, and P. Merino. Implementing Influence Analysis using Parameterised Boolean Equation Systems. In Proc. of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2005.
[ bib ]
[81] M. M. Gallardo, J. Martí nez, and P. Merino. Model Checking Active Network with SPIN. Computer Communication, 28:609-622, 2005.
[ bib ]
[82] M. Alpuente, M.M. Gallardo, E. Pimentel, and A. Villanueva. A Semantic Framework for the Abstract Model Checking of tccp programs. Theoretical Computer Science, 346:58-95, 2005.
[ bib ]
[83] J. Martí nez. Un enfoque basado en estándares para la integración de técnicas y herramientas de Ingenierí a de Protocolos. PhD thesis, University of Málaga, 2005.
[ bib ]
[84] M.A. Pérez Toledano, A. Navasa, J.M. Murillo, and C. Canal. Síntesis de patrones de interacción a partir de diagramas de secuencia de UML. In X Jornadas en Ingeniería del Software y Bases de Datos (JISBD’2005), pages 83-90. Thompson, 2005.
[ bib ]
[85] M.A. Pérez Toledano, A. Navasa, C. Canal, and J.M. Murillo. Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia. In VIII Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS’05), pages 229-240. En Actas, 2005.
[ bib ]
[86] A. Bracciali, A. Brogi, and C. Canal. A Formal Approach to Component Adaptation. Journal of Systems and Software, 74(1):45-54, 2005.
[ bib ]
[87] P. de-la Cá mara, M. M. Gallardo, P. Merino, and D. Sanán. Model Checking Software with well-defined APIs: The Socket case. In T. Margaria & M. Massink, editor, Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS05)., pages 17-26, September 2005.
[ bib ]
[88] R. Peña and C. Segura. Formally Deriving a Compiler for SAFE. In Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06. Technical Report 2006-S01.Eotvos Loránd University, pages 429-446, 2006.
[ bib ]
[89] R. Peña, C. Segura, and M. Montenegro. A Sharing Analysis for SAFE. In Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP'06, pages 205-221, 2006.
[ bib ]
[90] R. Peña and C. Segura. Formally deriving a compiler for SAFE. In Actas de las VI Jornadas de Programación y Lenguajes, PROLE'06, pages 65-76. CIMNE, 2006.
[ bib ]
[91] G. Moreno and V. Pascual. Soft Computing with Strict Similar Equality. In K. Sirlantzis, editor, 6th International Conference on Recent Advances in Soft Computing, RASC'2006. Canterbury, UK, July 10-12, pages 24-29. University of Kent, 2006.
[ bib ]
[92] G. Moreno and V. Pascual. Formal Properties of Needed Narrowing with Similarity Relations. In P. Lucio, editor, Actas de las VI Jornadas sobre Programación y Lenguajes, PROLE'2006, Sitges, Spain, Octubre 10-12, pages 114-128. Universidad Politécnica de Barcelona, 2006.
[ bib ]
[93] G. Moreno and V. Pascual. Programando con Igualdad Similar Estricta. In A. Fernández, editor, Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, pages 712-724. Universidad de Castilla-La Mancha, 2006. An extended version has been submitted to the journal: Applied Soft Computing.
[ bib ]
[94] G. Moreno. Building a Fuzzy Transformation System. In J. Wiedermann, G. Tel, J. Pokorný, M. Bieliková, and J. Stuller, editors, Proc. of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM'2006. Merin, Czech Republic, January 21-27, pages 409-418. Springer LNCS 3831, 2006.
[ bib ]
[95] P. Julián-Iranzo and C. Rubio-Manzano. A wam implementation for flexible query answering. In A.P. del Pobil, editor, In Proc. of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing (ASC 2006), August 28-30, 2006, Palma de Mallorca, pages 262-267. ACTA Press, 2006.
[ bib ]
[96] P. Julián-Iranzo and C. Rubio-Manzano. Introducing fuzzy unification into the warren abstract machine. In K. Sirlantzis, editor, In Proc. of the 6th International Conference on Recent Advances in Soft Computing, RASC'2006. Canterbury, UK, July 10-12, pages 36-41. University of Kent, 2006.
[ bib ]
[97] P. Julián, G. Moreno, and J. Penabad. Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. In P. Lucio, editor, Actas de las VI Jornadas sobre Programación y Lenguajes, PROLE'2006, Sitges, Spain, Octubre 10-12, pages 275-289. Universidad Politécnica de Barcelona, 2006.
[ bib ]
[98] P. Julián, G. Moreno, and J. Penabad. Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. Journal of Universal Computer Science, 12:1679-1699, 2006. Extended version of [26].
[ bib ]
[99] P. Julián, G. Moreno, and J. Penabad. Evaluación Parcial de Programas Lógicos Multi-adjuntos y Aplicaciones. In A. Fernández, editor, Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, pages 712-724. Universidad de Castilla-La Mancha, 2006. An extended version has been submitted to the journal: Fuzzy Sets and Systems.
[ bib ]
[100] G. Moreno and V. Pascual. Programming with Fuzzy Logic and Mathematical Functions. In I. Bloch, A. Petrosino, and A. Tettamanzi, editors, Proc. of the 6th International Conference on Fuzzy Logic and Applications, WILF'2005. Crema, Italy, September 15-17, 2005, pages 89-98. Springer LNAI 3849, 2006. An extended version has been submitted to the journal: Fuzzy Sets and Systems.
[ bib ]
[101] Santiago Escobar, Catherine Meadows, and José Meseguer. The maude-nrl protocol analyzer: A rewriting-based inference system for equational cryptographic reasoning. In Actas de las VI Jornadas de Programación y Lenguajes, PROLE'06. Universidad Politécnica de Cataluña, 2006.
[ bib ]
[102] Santiago Escobar, Catherine Meadows, and José Meseguer. The maude-nrl protocol analyzer: A rewriting-based inference system for equational cryptographic reasoning. In Proc. of Midwest Security Workshop (MSW'2006), Urbana, IL, USA. University of Illinois at Urbana-Champaign, 2006.
[ bib ]
[103] Santiago Escobar, Catherine Meadows, and José Meseguer. Equational cryptographic reasoning in the Maude-NRL Protocol Analyzer. In Proc. of the First International Workshop on Security and Rewriting Techniques (SecReT 2006), Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2006. To appear.
[ bib ]
[104] Santiago Escobar, Catherine Meadows, and José Meseguer. A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science, 367(1-2):162-202, 2006.
[ bib ]
[105] M. Alpuente, B. Gramlich, and A. Villanueva. Timed Concurrent Constraint Programming with Instantaneous Computations. In F. Lucio and F. Orejas, editors, Actas de las VI Jornadas de Programación y Lenguajes (PROLE'06), pages 253-262, 2006.
[ bib ]
[106] M. Alpuente, M.M. Gallardo, E. Pimentel, and A. Villanueva. Verifying Real-Time Properties of tccp Programs. The Jounal of Universal Computer Science, 12(11):1551-1573, 2006.
[ bib ]
[107] P. Ojeda. Verificación automática de sistemas Web usando Maude, 2006. BSc Thesis, DSIC-UPV.
[ bib ]
[108] M. Alpuente, D. Ballis, M. Falaschi, and D. Romero. GVERDI-R A Tool for Repairing Faulty Web Sites. In Proc. VI Jornadas sobre Programación y Lenguajes (PROLE'06). Sitges, Spain, pages 221-230. CIMNE Barcelona, 2006.
[ bib ]
[109] M. Alpuente, D. Ballis, M. Falaschi, and D. Romero. A Semi-automatic Methodology for Reparing Faulty Web Sites. In Proc. of the 4th IEEE Int'l Conference on Software Engineering and Formal Methods(SEFM'06). Pune, India, pages 31-40. IEEE Computer Society Press, 2006.
[ bib ]
[110] D. Ballis and D. Romero. Filtering of XML documents. Proc of 2nd Int'l Workshop on Automated Specification and Verification of Web Systems. Paphos, Cyprus, pages 503-009, 2006.
[ bib ]
[111] D. Ballis and D. Romero. Fixing web sites using correction strategies. Proc of 2nd Int'l Workshop on Automated Specification and Verification of Web Systems. Paphos, Cyprus, pages 495-502, 2006.
[ bib ]
[112] M. Alpuente, D. Ballis, and M. Falaschi. Rule-based Verification of Web sites. Int'l Journal on Software Tools for Technology Transfer, 8:565-585, 2006.
[ bib ]
[113] M. Alpuente, M. Comini, S. Escobar, and Falaschi. A Compact fixpoint semantics for Term Rewriting Systems, 2006. Submitted for publication.
[ bib ]
[114] S. Escobar, J. Meseguer, and P. Thati. Narrowing and rewriting logic: from foundations to applications. In F. López-Fraguas, editor, Proc. of the 15th Int'l Workshop on Functional and (Constraint) Logic Programming WFLP'06, volume to appear of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2006.
[ bib ]
[115] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Distance-based generalisation operator for graphs. In Proceedings of International Workshop on Mining and Learning with Graphs, pages 133-140, 2006.
[ bib ]
[116] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. On the specificity of distance-based generalisation operators. In Proceedings of International Workshop on Inductive Logic Programming, 2006.
[ bib ]
[117] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Similarity Functions for Structured Data. An application to decision trees. Inteligencia Artificial. Revista Iberoamericana de IA, 29:109-121, 2006.
[ bib ]
[118] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Some results about generalisation of graphs embedded in metric spaces. Technical report, DSIC, UPV, 2006. http://www.dsic.upv.es/~flip/#Papers.
[ bib ]
[119] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. On the relationship between distance and generalisation. Technical report, DSIC, UPV, 2006. http://www.dsic.upv.es/~flip/#Papers.
[ bib ]
[120] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Classifying Web Sites Using Distance-Based Decision Trees. Electronic Notes in Theoretical Computer Science, 157(2), 2006.
[ bib ]
[121] R. Blanco, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Estimating the class probability threshold without training data. In 3rd International Workshop on ROC Analysis in Machine Learning, pages 9-16, 2006.
[ bib ]
[122] R. Blanco, J. Hernández-Orallo, and M. J. Ramírez-Quintana. La técnica mimética en ausencia de datos originales: aprendizaje y revisión de modelos. Inteligencia Artificial. Revista Iberoamericana de IA, 29:59-68, 2006.
[ bib ]
[123] S. Lucas. Rewriting-based navigation of web sites: Looking for models and logics. Electronic Notes in Theoretical Computer Science, 157:79-85, 2006.
[ bib ]
[124] B. Gramlich and S. Lucas. Generalizing newman's lemma for left-linear rewrite systems. In Frank Pfenning, editor, Proc. of the 17th International Conference on Rewriting Techniques and Applications (RTA 2006), volume 4098 of Lecture Notes in Computer Science, pages 66-80. Springer-Verlag, Berlin, 2006.
[ bib ]
[125] M. Alpuente, S. Escobar, B. Gramlich, and S. Lucas. On-demand strategy annotations revisited: An improved on-demand evaluation strategy, 2006. Submitted for journal publication.
[ bib ]
[126] B. Alarcón and S. Lucas. Building .net guis for haskell applications. In Proc. of the 4th International Conference on .NET Technologies, pages 57-66. University of West-Bohemia, 2006.
[ bib ]
[127] B. Alarcón, R. Gutiérrez, and S. Lucas. Improving the context-sensitive dependency graph. Submitted for journal publication, 2006.
[ bib ]
[128] B. Alarcón, R. Gutiérrez, and S. Lucas. Dependency pairs for context-sensitive rewriting. Technical Report DSIC-II/07/06, DSIC, Universidad Politécnica de Valencia, 2006.
[ bib ]
[129] B. Alarcón, R. Gutiérrez, and S. Lucas. Context-sensitive dependency pairs. In Proc. of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science, volume 4337 of Lecture Notes in Computer Science, pages 297-308. Springer-Verlag, Berlin, 2006.
[ bib ]
[130] B. Alarcón, R. Gutiérrez, J. Iborra, and S. Lucas. Proving termination of context-sensitive rewriting with mu-term. In Actas de las VI Jornadas de Programación y Lenguajes, PROLE'06, pages 57-66. Universidad Politécnica de Cataluña, 2006.
[ bib ]
[131] S. Lucas. Proving termination of context-sensitive rewriting by transformation. Information and Computation, 204(12):1782-1846, 2006.
[ bib ]
[132] S. Escobar M. Alpuente and M. Falaschi (eds.). Automated Specification and Verification of Web Sites. Elsevier Science, Electronic Notes in Theoretical Computer Science 157(2), 2006.
[ bib ]
[133] S. Amaro, E. Pimentel, and A.M. Roldán. Reo based interaction model. Electr. Notes in Theor. Comput. Sci., 160:3-14, 2006.
[ bib ]
[134] S. Estévez-Martín, A. J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, and R. del Vado-Vírseda. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. In Francisco J. López-Fraguas, editor, WFLP'06 - 15th Workshop on Functional and (Constraint) Logic Programming, pages 211-227, Madrid, Spain, 2006.
[ bib ]
[135] Antonio J. Fernández and Patricia M. Hill. An interval constraint branching scheme for lattice domains. Journal of Universal Computer Science, 12(11):1466-1499, 2006.
[ bib ]
[136] M. M. Gallardo, J. Martí nez, P. Merino, and E. Pimentel. On the Evolution of Reliability Methods for Critical Software. In Proceedings of the Ninth World Conference on Integrated Design & Process Technology, 2006.
[ bib ]
[137] M. M. Gallardo, J. Martí nez, P. Merino, P. Nú nez, and E. Pimentel. PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. Science of Computer Programming Journal (in press),doi:10.1016/j.scico.2006.08.006, 2006.
[ bib ]
[138] J. Cámara, C. Canal, and J. Cubo. Issues in the formalization of Web Service Orchestrations. In ECOOP’2005 Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT’05), pages 81-88. TR 119/2005 LaMI UMR 8042, CNRS / Université d’Évry, 2006.
[ bib ]
[139] J. Cmara, C. Canal, J. Cubo, and J.M. Murillo. AOP and Dynamic Software Adaptation. In JISDB'2006. Taller de Desarrollo de Software Orientado a Aspectos (DSOA'06), pages 27-34. Informe Técnico TR 24/06. Escuela Politécnica, Universidad de Extremadura, 2006.
[ bib ]
[140] M.A. Pérez Toledano, A. Navasa, J.M. Murillo, and C. Canal. Evolución de sistemas orientados a aspectos utilizando patrones de interacción. In XI Jornadas en Ingeniería del Software y Bases de Datos (JISBD’2006), pages 514-519. CINME, 2006.
[ bib ]
[141] C. Canal, P. Poizat, and G. Salaün. Adaptation de composants logiciels: une approche automatisée basée sur des expressions règuliéres de vecteurs de synchronisation. In Premiére Confèrence Francophone sur les Architectures Logicielles (CAL'2006), pages 59-70. Editions Hermes Sciences / Lavoisier, 2006.
[ bib ]
[142] J. Cámara, C. Canal, J. Cubo, and J.M. Murillo. An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. In ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'06). TR 13-2006, Fakultät für Informatik, Otto-von-Guericke Universität Magdeburg, 2006.
[ bib ]
[143] J. Cámara, C. Canal, J. Cubo, and E. Pimentel. Dynamic Adaptation Using Contextual Environments. In ECOOP’2006 Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT’06), pages 35-42. Technical Report IBISC RR 2006-03, IBISC - FRE 2873, CNRS / Université d’Évry, 2006.
[ bib ]
[144] M.A. Pérez Toledano, A. Navasa, J.M. Murillo, and C. Canal. Making Aspect-Oriented System Evolution Safer. In ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'06), pages 23-34. TR 13-2006, Fakultät für Informatik, Otto-von-Guericke Universität Magdeburg, 2006.
[ bib ]
[145] J. Cámara, C. Canal, J. Cubo, and A. Vallecillo. Formalizing wsbpel business processes using process algebra. In CONCUR’2005 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’05), volume 154(1) of ENTCS, pages 159-–173. Elsevier, 2006.
[ bib ]
[146] C. Canal, P. Poizat, and G. Salaün. Synchronizing Behavioural Mismatch in Software Composition. In Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), volume 4037 of Lecture Notes in Computer Science, pages 63-77. Springer, 2006.
[ bib ]
[147] C. Canal, J. M. Murillo, and P. Poizat. Software Adaptation: an Introduction. L'Objet, 12(1):9-–31, 2006.
[ bib ]
[148] A. Brogi, C. Canal, and E. Pimentel. On the Semantics of Software Adaptation. Science of Computer Programming, 61(2):136-151, 2006.
[ bib ]
[149] A. Brogi, C. Canal, and E. Pimentel. Component Adaptation Through Flexible Subservicing. Science of Computer Programming, 63:39-56, 2006.
[ bib ]
[150] S. Lucas. On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting. Applicable Algebra in Engineering, Communication and Computing, 17:49-73, March 2006.
[ bib ]
[151] P. de-la Cámara, M. M. Gallardo, and P. Merino. Abstract Matching for Software Model Checking. In 13th International Workshop on Model Checking of Software (SPIN06), volume 3925 of Lecture Notes in Computer Science, pages 182-200, Vienna, Austria, April 2006.
[ bib ]
[152] M. M. Gallardo, P. Merino, and D. Sanán. Towards Model Checking C Code with OPEN/CAESAR. In Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'06), Paphos, Cyprus, May 2006.
[ bib ]
[153] M.M. Gallardo, J. Martí nez, P. Merino, P. Nú nez, and E. Pimentel. PiXL: Applying XML Standards to Support the Integration of Analysis Tools. In Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'06), Paphos, Cyprus, May 2006.
[ bib ]
[154] Purificación Arenas, Antonio J. Fernández, Ana Gil, Francisco López-Fraguas, Mario Rodríguez-Artalejo, and Fernando Sáenz-Pérez. Toy, a multiparadigm declarative language. versión 2.2.3. Manual, June 2006.
[ bib ]
[155] Sonia Estévez-Martín, Antonio Fernández, and Fernando Sáenz-Pérez. Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation. Research Report LCC ITI 06-8, Universidad de Málaga, November 2006.
[ bib ]
[156] R. Peña, C. Segura, and M. Montenegro. A Sharing Analysis for SAFE. In Trends in Functional Programming (Volume 7) Selected Papers of the Seventh Symposium on Trends in Functional Programming, TFP'06. 20 pages. To appear. Intellect, 2007.
[ bib ]
[157] M. Montenegro, R. Pe na, and C. Segura. An Inference Algorithm for Guaranteeing Safe Destruction. In Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP'07, page to appear, 2007.
[ bib ]
[158] G. Moreno and V. Pascual. Formal Properties of Needed Narrowing with Similarity Relations. In P. Lucio, editor, Electronic Notes in Theoretical Computer Science, page 15. Elsevier, 2007. Extended version of [92].
[ bib ]
[159] P. Julián, G. Moreno, and J. Penabad. Efficient reductants calculi using partial evaluation techniques with thresholding. In P. Lucio, editor, Electronic Notes in Theoretical Computer Science, pages 69-103. Elsevier, 2007. Extended version of [97].
[ bib ]
[160] M. Alpuente, S. Escobar, and S. Lucas. Removing Redundant Arguments Automatically. Theory and Practice of Logic Programming, 7(1):1-33, 2007.
[ bib ]
[161] M. Alpuente, B. Gramlich, and A. Villanueva. A Framework for Timed Concurrent Constraint Programming with Arithmetic Computations. In F. Lucio and F. Orejas, editors, Actas de las VI Jornadas de Programación y Lenguajes (PROLE'06), Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2007. To appear.
[ bib ]
[162] M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda, and D. Romero. A Fast Algebraic Engine for Web Site Verification, 2007. Submitted for Publication.
[ bib ]
[163] M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, P. Ojeda, and D. Romero. Un motor algebraico para la verificación de sistemas Web en Gverdi. Technical Report DSIC-II/02/07, DSIC, UPV, 2007.
[ bib ]
[164] V. Estruch, C. Ferri, J. Hernández-Orallo, and M. J. Ramírez-Quintana. Minimal distance-based generalisation operators for first-order objects. Accepted for publication in Lecture Notes in Artificial Intelligence, 2007.
[ bib ]
[165] F. Durán, S. Lucas, C. Marché, J. Meseguer, and X. Urbain. Proving Operational Termination of Membership Equational Programs. Higher-Order and Symbolic Computation, 2007. to appear.
[ bib ]
[166] B. Alarcón, R. Gutiérrez, J. Iborra, and S. Lucas. Proving termination of context-sensitive rewriting with mu-term. In Actas de las VI Jornadas de Programación y Lenguajes, PROLE'06, Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2007. To appear.
[ bib ]
[167] Sonia Estévez-Martín, Antonio Fernández, Teresa Hortalá-González, Mario Rodríguez-Artalejo, and Rafael del Vado-Vírseda. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electronics Notes in Theorical Computer Science, 2007. In Press.
[ bib ]
[168] Sonia Estévez-Martín, Antonio Fernández, Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, and Rafael del Vado-Vírseda. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. Electronics Notes in Theorical Computer Science, 2007. In Press.
[ bib ]
[169] Antonio J. Fernández, Teresa Hortalá-González, Fernando Sáenz-Pérez, and Rafael del Vado-Vírseda. Constraint functional logic programming over finite domains. Theory and Practice of Logic Programming (TPLP), 2007. In press.
[ bib ]
[170] A Brogi, C. Canal, and E. Pimentel. Behavioural types for service integration: achievements and challenges. In CONCUR’2004 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’04), Electronic Notes in Theoretical Computer Science. Elsevier, 2007. (in print).
[ bib ]
[171] J. Cámara, C. Canal, J. Cubo, and E. Pimentel. Dynamic contextual adaptation. In CONCUR’2006 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’06), Electronic Notes in Theoretical Computer Science. Elsevier, 2007. (in print).
[ bib ]
[172] S. Becker, C. Canal, N. Diakov, J. M. Murillo, and P. Poizat. Coordination and Adaptation Techniques: Bridging the Gap between Design and Implementation. In Object-Oriented Technology. ECOOP 2006 Workshop Reader, Lecture Notes in Computer Science. Springer, 2007. (in print).
[ bib ]

This file has been generated by bibtex2html 1.79