Publications My DBLP link.

Proceedings and special ssues

  1. M. Blesa, C. Blum, C. Cotta, A.J. Fernández Leiva, J.E. Gallardo, A. Roli, M. Sampels, Hybrid Metaheuristics, Lecture Notes in Computer Science 5296, Springer-Verlag, Berlin Heidelberg, 2008
  2. C. Cotta, A.J. Fernández, R. Schaefer, K. Cetnarowicz, Inteligencia Artificial, special issue Agent Days’2005, vol. 28, 2005

Journals

  1. Antonio J. Fernández Leiva and Amparo C. Civila Salas. Practices of Advanced Programming: Tradition vs. Innovation, Computer Applications in Engineering Education In Press, 2010. © Wiley Periodicals Inc.
  2. S. Estévez-Martín, M.T. Hortalá-González, M. Rodríguez-Artalejo, R. del Vado Vírseda, F.Sáenz-Pérez, A.J. Fernández, On the cooperation of the constraint domains, R, and F in CFLP . Theory and Practice of Logic Programming (TPLP) 9(4): 415-527 (2009). © Cambridge University Press. A previous version can be found here.
  3. Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez, TOY: A System for Experimenting with Cooperation of Constraint Domains,. Electronics Notes in Theoretical Computer Science 258(1): 79-91 (2009). Elsevier Science.
  4. J.E. Gallardo, C. Cotta, A.J. Fernández, Finding Low Autocorrelation Binary Sequences with Memetic Algorithms, Applied Soft Computing, 2009, DOI: doi:10.1016/j.asoc.2009.03.005
  5. J.E. Gallardo, C. Cotta, A.J. Fernández, Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms, Journal of Artificial Intelligence Research 35:533-555, 2009
  6. C. Cotta, I. Dotú, A.J. Fernández, P. Van Hentenryck, Local Search-Based Hybrid Algorithms for Finding Golomb Rulers, Constraints, 12(3):263-291, 2007. © Kluwer Academic Publishers. DOI: 10.1007/s10601-007-9020-1
  7. 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) 7(5): 537-582 (2007). © Cambridge University Press. A previous version (almost the same) can be found in here
  8. J.E. Gallardo, C. Cotta, A.J. Fernández, On the Hybridization of Memetic Algorithms with Branch-and-Bound Techniques, IEEE Transactions on Systems, Man and Cybernetics, Part B 37(1):77-83, 2007. DOI: 10.1109/TSMCB.2006.883266
  9. S, Estéve-Martín, Antonio J. 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 188:37-51 (2007). Elsevier Science.
  10. S, Estéve-Martín, Antonio J. 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. 177: 235-252 (2007) Elsevier Science.
  11. 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.
  12. Antonio J. Fernández. Programación declarativa con restricciones. Inteligencia Artificial, Revista Iberoamericana, 9(27): 73-100, 2005
  13. Antonio J. Fernández. Un enfoque genérico y colaborativo para la resolución de restricciones de Intervalo. Inteligencia Artificial, Revista Iberoamericana , 9(27):7-8, 2005.
  14. Carlos Cotta, Antonio J. Fernández, Robert Schaefer, and Krzysztof Cetnarowics. Fifth Meeting on Multiagent Systems and New Trends in Soft Computing: Introduction. Inteligencia Artificial, Revista Iberoamericana , 9(28):7-8, 2005.
  15. Antonio J. Fernández. A Generic, Collaborative Framework for Interval Constraint Solving. AI Communications (17)3:171-174, 2004 © IOS Press.
  16. Antonio J. Fernández and Pat Hill. An Interval Constraint System for Lattice Domains ACM Transactions on Programming languages and Systems (26)1:1-46, January, 2004. © ACM Publisher
  17. Antonio J. Fernández y Jesús Millán Sánchez. CGRAPHIC: Educational Software for Learning the Foundations of Programming, Computer Applications in Engineering Education (11)4:167-178, 2003. © Wiley and Sons, Inc
  18. Antonio J. Fernández and Pat Hill. " A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains. In Constraints 5(3): 279-305, 2000. © Kluwer academic publishers.
    A slightly different previous version (mainly modified in its first part) is available as Research Report in the School of Computer Studies of Leeds, University of Leeds, Ref. Number 98.19, 1998.

    A "response" to this paper was published (4 years later) in the same Journal. Here you have the reference:

    Mark Wallace, Joachim Schimpf, Kish Shen and Warwick Harvey
    On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains",
    Constraints 9(1):5-34, 2004.
    © Kluwer academic publishers.

Books

  • Antonio J. Fernández A Generic, Collaborative Framework for Interval Constraint Solving, PhD Thesis, Dpto. Lenguajes y Ciencias de la Computación, Universidad de Málaga, January 2002. IN ENGLISH.

    A summarised version of my PhD Thesis written In spanish (with no proofs, less number of examples, without the introduction chapters and other things) is also available here: Un Enfoque Genérico y Cooperativo para la resolución de restricciones de intervalo.

    • Book Chapters

    1. C. Cotta, A.J. Fernández, J.E. Gallardo Memetic Algorithms and Complete Techniques, Handbook of Memetic Algorithms, F. Neri, C. Cotta y P. Moscato(eds.), Springer, In Press (2010)
    2. Amparo Civila Salas, Antonio J. Fernández Leiva, Pablo Guerrero García, El congreso académico nos sirva para evaluar sin examinar, Sistemas de evaluación, Francisca Vergara (ed.), En prensa, 2010
    3. Antonio J. Fernández, Pablo Guerrero García, Jornadas de alumnos de informática sobre Juegos. Una metáfora de congreso docente como sistema de evaluación dentro del marco del EEES, La docencia en el nuevo escenario del Espacio Europeo de Educación Superior, En prensa, 2010
    4. Amparo Civila Salas, Antonio J. Fernández Leiva, Pablo Guerrero García, El congreso académico como herramienta para la evaluación de alumnos, Premios de Innovación educativa de la Univeridad de Málaga, Ángel Blanco (ed.), En prensa, 2010
    5. F. Colomine Duran, C. Cotta, A.J. Fernández, Evolutionary Optimization for Multiobjective Portfolio Selection Under Markowitz's Model with Application to the Caracas Stock Exchange, Nature Inspired Algorithms for Optimisation, R. Chiong (ed.), Studies in Computational Intelligence, Vol. 193, pp: 489-509,Springer-Verlag, 2009
    6. C. Cotta, A.J. Fernández, Solving Constrained Optimization Problems wiht HEAs, Optimization Techniques for Solving Complex Problems, Wiley Series on Parallel and Distributed Computing, pp. 101-122, E. Alba, C. Blum, P. Isasi, C. León, and J.A. Gómez (eds.), Wiley Inc., (2009)
    7. C. Cotta, A.J. Fernández, J.E. Gallardo, G. Luque, E. Alba, Metaheuristics in Bioinformatics: DNA Sequencing and Reconstruction, Optimization Techniques for Solving Complex Problems, Wiley Series on Parallel and Distributed Computing pp. 265-286, E. Alba, C. Blum, P. Isasi, C. León, and J.A. Gómez (eds.), Wiley Inc., (2009)
    8. J.E. Gallardo, C. Cotta, A.J. Fernández, Exact, Metaheuristic and Hybrid Approaches to Multi-dimensional Knapsack Problems, Optimization Techniques for Solving Complex Problems, Wiley Series on Parallel and Distributed Computing pp. 365-384, E. Alba, C. Blum, P. Isasi, C. León, and J.A. Gómez (eds.), Wiley Inc., (2009)
    9. C. Blum, C. Cotta, A.J. Fernández, J.E. Gallardo, Hybridizations of Metaheuristics With Branch & Bound Derivates, Hybrid metaheuristics-An emergent approach for optimization, pp. 85-116, C. Blum, M.J. Blesa, A. Roli, M. Sampels (eds.), Studies in Computational Intelligence, vol 114, Springer-Verlag, 2008
    10. C. Cotta, A.J. Fernández, Memetic Algorithms in Planning, Scheduling and Timetabling, Evolutionary Scheduling, pp. 1-30, K. Dahal, K.-C. Tan, P.I. Cowling (eds.), Springer-Verlag, Berlin-Heidelberg, 2007. DOI:10.1007/978-3-540-48584-1_1
    11. J.E. Gallardo, C. Cotta, A.J. Fernández, Reconstructing Phylogenies with Memetic Algorithms and Branch-and-Bound, Analysis of Biological Data: A Soft Computing Approach, pp. 59-84, S. Bandyopadhyay, U. Maulik, J.T.L. Wang (eds.), World Scientific, 2007
    12. Carlos Cotta, Antonio J.Fernández, José L. Pastrana, Enrique Soler, Mariemma. Yagüe. Proyecto APICE Y SUMA: Adaptación de la Programación en Informática al EEES en la Universidad de Málaga. In Jornadas de Innovación Educativa, Á. Blanco López (ed.), pp. 1-14, Servicio de Innovación Educativa UMA, Málaga, 2005.
    13. Antonio J. Fernández and Javier Jiménez González. Action Games: Evolutive Experiences, In Advances in Soft Computing Series, editor Bernd Reusch, pp:487-501, Springer, 2005. © Springer.
    14. Amparo C. Civila and Antonio J. Fernández. "Compartiendo con los ordenadores: Estudio de casos". In Nuevos desafíos de la educación (selección del X Congreso Interuniversitario de Teoría de la Educación "Nuevos espacios, nuevos entornos de la educación", S. PEIRó i GREGORY (ed) Editorial Club Universitario, pp:257-265, 2005.
    15. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. A Constraint Functional Logic Language for Solving Combinatorial Problems, Research and Development in Intelligent Systems XIX, pp: 167-178, BCS Series Springer, 2003. © Springer
    16. M.V. Belmonte, C. Cotta, A.J. Fernández, I. Gómez, J.L. Pastrana, F.Rus, Foundations of Programming: A Teaching Improvement, M. Ortega, J. Bravo (eds.), Computers in Education: Towards an Inter-connected Society, pp. 81-91, © Kluwer academic publishers, 2001

    Reviewed Conferences and Symposia

    1. J.E. Amaya, C. Cotta, A.J. Fernández Leiva, A Memetic Cooperative Optimization Schema and its Application to the Tool Switching Problem, 10th International Conference on Parallel Problem Solving from Nature (PPSN2010), Lecture Notes in Computer Science series, © Springer, Berlin Heidelberg, 2010. Accepted for publication
    2. J.E. Amaya, C. Cotta, A.J. Fernández Leiva, Hybrid cooperation models for the ToSP, International Workshop on Nature Inspired Cooperative Strategies for Optimization (NICSO 2010), Series on Studies in Computational Intelligence, pp: 39-52, © Springer, 2010.
    3. F. Colomine, C. Cotta, A.J. Fernández, On the Use of Sharpe's Index in Evolutionary Portfolio Optimization Under Markowitz's Model, Adaptive and Emergent Behaviour and Complex Systems 2009, Edinburgh, UK, 2009 (in press)
    4. S. Estévez-Martín, A. J. Fernández y F. Sáenz-Pérez. TOY: A System for Experimenting with Cooperation of Constraint Domain, In Proc. of IX Jornadas sobre Programación y Lenguajes (PROLE'09), Paqui Lucio, Ginés Moreno and Ricardo Peña (ed.), pp:119-128, San Sebastián, España, 2009.
    5. S. Estévez-Martín, A. J. Fernández y F. Sáenz-Pérez. Cooperation of the Finite Domain and Set Solvers in TOY , In Proc. of IX Jornadas sobre Programación y Lenguajes (PROLE'09), Paqui Lucio, Ginés Moreno and Ricardo Peña (ed.), pp:217-226, San Sebastián, España, 2009.
    6. Antonio J. Fernández y Pablo Guerrero García, Jornadas de alumnos de informática sobre Juegos. Una metáfora de congreso docente como sistema de evaluación dentro del marco del EEES, I Congreso de Docencia Universitaria, Libro de resúmenes, Vigo, España (2009).
    7. Antonio J. Fernández y Pablo Guerrero García, El congreso académico como herramienta para la evaluación de alumnos, III JORNADAS DE INNOVACIÓN EDUCATIVA Y ENSEÑANZA VIRTUAL EN LA UNIVERSIDAD DE MÁLAGA, Ángel Blanco (editor), CD-Rom, Málaga, España, 2009, (In Press).
    8. D. Rodríguez, C. Cotta, A.J. Fernández, Finding Balanced Incomplete Block Design with Metaheuristics, Evolutionary Computation in Combinatorial Optimization, C. Cotta, P. Cowling (eds.), pp. 156-167, Lecture Notes in Computer Science 5482, © Springer, Berlin Heidelberg, 2009
    9. Antonio J. Fernández, Pablo Guerrero García y Amparo Civila, Jornadas de alumnos de informática sobre Juegos: el congreso académico como innovación educativa, 1ªs Jornadas Andaluzas de Innovación Docente Universitaria , Agencia Andaluza de Evaluación, CD-Rom (978-84-692-7263-3), Córdoba, España (2009).
    10. F. Colomine Duran, C. Cotta, A.J. Fernández, Algoritmos Evolutivos Multiobjetivo para Selección de Carteras de Inversión con Restricciones de Cardinalidad, VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, E. Alba et al. (eds.), pp. 223-230, Málaga (Spain), 2009.
    11. J.E. Amaya, C. Cotta, A.J. Fernández, Algoritmos Genéticos y Búsquedas Locales para el Problema de la Conmutación de Herramientas, VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, E. Alba et al. (eds.), pp. 199-206, Málaga (Spain), 2009.
    12. D. Rodríguez, C. Cotta, A.J. Fernández, Una Comparativa de Metaheuristicas para el Problema del Diseño de Bloques Incompletos Equilibrados, VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, E. Alba et al. (eds.), pp. 191-198, Málaga (Spain), 2009.
    13. Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda, Cooperation of constraint domains in the TOY system, 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP'2008, Sergio Antoy and Elvira Albert (editosr), pp. 258-268, © ACM, 2008.
    14. J.E. Amaya, C. Cotta, A.J. Fernández, A Memetic Algorithm for the Tool Switching Problem, Hybrid Metaheuristics 2008, M.J. Blesa Aguilera, C. Blum, C. Cotta, A.J. Fernández, J.E. Gallardo, A. Roli, M. Sampels (eds.), pp. 190-202, Lecture Notes in Computer Science 5296, © Springer, Berlin Heidelberg, 2008.
    15. Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez, Playing with TOY: Constraints and Domain Cooperation, 17th European Symposium on Programming, ESOP 2008, Sophia Drossopoulou (editor), pp. 112-115, Lecture Notes in Computer Science 4960, © Springer, 2008.
    16. Antonio J: Fernández, Carlos Cotta and Rafael Campaña Ceballos, Generating emergent team strategies in football simulation videogames via genetic algorithms, 9th International Conference on Intelligent Games and Simulation, V. Botti, A.Barella and C. Carrascosa (eds.), pp. 120-125, Valencia, Spain, 2007.
    17. J.E. Amaya, C. Cotta, A. Fernández, Cooperación de Agentes Basados en Búsqueda Local en el Problema de Código de Corrección de Errores, I Jornadas sobre Algoritmos Evolutivos y Metaheurísticas, E. Alba et al. (eds.), pp. 293-300, Zaragoza, 2007
    18. J.L. Pastrana, M.V. Belmonte, C. Cotta, A.J. Fernández, E. Soler, M.I. Yagüe, Estudio, Implantación y Resultados de la Adaptación al Espacio Europeo de Educación Superior en las Asignaturas de Programación de la Titulación de Informática de la Universidad de Málaga, M. Kong, J.A. Pow-Sang, M. Tupia Anticona, L.A. Flores García (Eds.), VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, pp. 435-443, Lima, Perú, 2007.
    19. J. Gallardo, C. Cotta, A. Fernández, Memetic Algorithms Endowed with Exact Techniques, Optimization 2007 (Book of abstracts), pp. 63, J.F. Golçalves et al. (Eds.), Universidade do Porto, Porto (Portugal), 2007
    20. J.E. Gallardo, C. Cotta, A.J. Fernández, A Memetic Algorithm for the Low Autocorrelation Binary Sequence Problem, Proceedings of the 2007 Genetic and Evolutionary Computation Conference,Hod Lipson (Ed.), ACM Press, London, UK, pp. 1226-1233, 2007
    21. J.E. Gallardo, C. Cotta, A.J. Fernández, Un Algoritmo Híbrido Multi-Nivel para el Problema de los Patrones Estables, V Conferencia sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, pp. 261-268, F. Almeida, B. Melián, J.A. Moreno, J.M. Moreno (Eds.), Universidad de la Laguna, Tenerife, 2007
    22. J.E. Amaya, C. Cotta, A.J. Fernández, Tackling the Error Correcting Code Problem via the Cooperation of Local-Search-Based Agents, Nature Inspired Problem-Solving Methods in Knowledge Engineering, J. Mira, J.R. Álvarez (Eds.), pp. 490-500 Lecture Notes in Computer Science 4528, © Springer, Berlin Heidelberg, 2007
    23. C. Blum, C. Cotta, A.J. Fernández, J.E. Gallardo, A Probabilistic Beam Search Approach to the Shortest Common Supersequence Problem, Evolutionary Computation in Combinatorial Optimization, C. Cotta, J. van Hemert (eds.), pp. 36-47, Lecture Notes in Computer Science 4446, © Springer, Berlin Heidelberg, 2007
    24. Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez, About Implementing a Constraint Functional Logic Programming System with Solver Cooperation, 7th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS’07), Francisco Aevedo, Carmen Gervet and Enrico Pontelli (eds.), pp. 57-71, Sitges, Barcelona, 2007.
    25. C. Cotta, I. Dotú, A. Fernández, P. Van Hentenryck, Scheduling Social Golfers with Memetic Evolutionary Programming, Hybrid Metaheuristics, F. Almeida et al., pp. 150-161, Lecture Notes in Computer Science 4030, © Springer-Verlag, Berlin Heidelberg, 2006
    26. J.E. Gallardo, C. Cotta, A. Fernández, A Multi-Level Memetic/Exact Hybrid Algorithm for the Still Life Problem, Parallel Problem Solving from Nature IX, T. Runarsson et al., pp. 212-221, Lecture Notes in Computer Science 4193, © Springer, Berlin Heidelberg, 2006
    27. C. Cotta, I. Dotú, A. Fernández, P. Van Hentenryck, A Memetic Approach to Golomb Rulers, Parallel Problem Solving from Nature IX, T. Runarsson et al., pp. 252-261, Lecture Notes in Computer Science 4193, © Springer, Berlin Heidelberg, 2006
    28. J.E. Gallardo, C. Cotta, A.J. Fernández, A Memetic Algorithm with Bucket Elimination for the Still Life Problem, Evolutionary Computation in Combinatorial Optimization J. Gottlieb, G. Raidl (eds.), pp. 73-85, Lecture Notes in Computer Science 3906, © Springer, Berlin Heidelberg, 2006
    29. Sonia Estéve-Martín, Antonio J. 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. 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06), Francisco J. López-Fraguas (ed), pp:211-227, Madrid, Spain, 2006
    30. S, Estéve-Martín, Antonio J. 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. In VI Jornadas sobre Programación y Lenguajes (PROLE'06) Paqui Lucio and Fernando Orejas (ed.), pps: 171-182, CIMNE, Sitges, Spain, 2006.
    31. Amparo C. Civila and Antonio J. Fernández Informática educativa: una forma de igualar las oportunidades de aprendizaje;. VI Congreso Internacional Virtual de Educación. E.R. Carratalá and M.S. Salva (editors), CD-ROM, 2006.
    32. M.V. Belmonte, C. Cotta, A.J. Fernández, J.L. Pastrana, E. Soler, M.I. Yagüe, Experiencias y resultados de la implantación del EEES en las asignaturas de programación de primer curso de la Ingeniería Técnica en Informática, I Jornadas sobre Experiencias Piloto de Implantación del Cédito Europeo en las Universidades Andaluzas, Servivio de Publicaciones Universidad de Cádiz, Cádiz, 2006
    33. J.E. Gallardo, C. Cotta, A.J. Fernández, Hibridación de un algoritmo evolutivo con el método de ramificación y acotación para el problema de la mochila múltiple , IV Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, M.G. Arenas et al., pp. 415-422, Granada, España, 2005
    34. J.E. Gallardo, C. Cotta, A.J. Fernández, A Hybrid Model of Evolutionary Algorithms and Branch-and-Bound for Combinatorial Optimization Problems, 2005 Congress on Evolutionary Computation, pp. 2248-2254, David Corne et al. (editors),IEEE Press, Edinburgh, UK, 2005
    35. J. Gallardo, C. Cotta, A. Fernández, Solving the Multidimensional Knapsack Problem Using an Evolutionary Algorithm Hybridized with Branch and Bound, Artificial Intelligence and Knowledge Engineering Applications: a Bioinspired Approach, J. Mira, J.R. Álvarez (eds.), pp. 21-30, Lecture Notes in Computer Science 3562, © Springer, 2005
    36. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. Programming with TOY(FD). In Proc. of the 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Peter van Beek (ed.), Lecture Notes in Computer Science 3709, pps:878-878, Springer, © Springer, Sitges, Spain, 2005
    37. C. Cotta and Antonio J. Fernández, Analyzing Fitness Landscapes for the Optimal Golomb Ruler Problem. In Proc. of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP'2005), J. Gottlieb, G. Raidl (eds.), Lecture Notes in Computer Science 3448, pps:58-67, Springer, © Springer,Lausanne, Switzerland, 2005
    38. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. Solving FD constraints in TOY(FD). In Proc. of First International Workshop on Constraint Programming Beyond Finite Integer Domains (as part of {CP'05}), Francisco Azevedo, Carmen Gervet and Enrico Pontelli (eds.), , © Springer, Sitges, Spain, 2005
    39. Amparo C. Civila and Antonio J. Fernández. Compartiendo con los ordenadores: estudio de casos, In Proc. of X Congreso Interuniversitario de Teoría de la Educación, Alicante, Spain, 2005.
    40. Antonio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez. Using the TOY(FD) Constraint Functional Logic System, In Proc. of V Jornadas sobre Programación y Lenguajes (PROLE'05), Simposio 10 del I Congreso Español de Informática (CEDI'05), Thomson, Francisco J. López-Fraguas (ed.), pp:115-120, Granada, Spain, 2005.
    41. Antonio J. Fernández and Patricia M. Hill. An Interval Constraint Branching Scheme for Lattice Domains, In Proc. of V Jornadas sobre Programación y Lenguajes (PROLE'05), Simposio 10 del I Congreso Español de Informática (CEDI'05), Thomson, Francisco J. López-Fraguas (ed.), pp:33-42, Granada, Spain, 2005.
    42. Antonio J. Fernández and Patricia M. Hill. A Chaotic Iteration View for Interval Constraint Solving over Lattices, In Proc. of V Jornadas sobre Programación y Lenguajes (PROLE'05), Simposio 10 del I Congreso Español de Informática (CEDI'05), Thomson, Francisco J. López-Fraguas (ed.), pp:43-52, Granada, Spain, 2005.
    43. Antonio J. Fernández and Javier Jiménez González. Action Games: Evolutive Experiences;, In Proc. of the International Conference on Computational Intelligence (Fuzzy Days'04), pp: 1-10, Dortmund, Germany, September 2004.
    44. Antonio J. Fernández and Carlos Cotta. A Hybrid GRASP - Evolutionary Algorithm Approach to Golomb Ruler Search, In Proc. of the The 8th International Conference on Parallel Problem Solving from Nature VIII (PPSN'04), X. Yao et al. editors pp: 481-490, Lecture Notes inComputer Science LNCS, 3242 Springer, 2004, Birmingham, UK, September 2004. © Springer.
    45. Antonio J. Fernández and Javier Jiménez González. Experiencias Evolutivas en Mundos dinámicos de un VideoJuego con "Pathfinding", In Proc. of Tercer Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'04), pp: 75-82, Córdoba, Febrero, 2004.
    46. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. TOY(FD): Sketch of Operational Semantics, In Proc. of the International Symposium on Practical Aspects of Declarative Languages (CP''03), pp: 827-831 , Lecture Notes in Computer Science LNCS 2833, Springer, 2003, Cork, Ireland, September 2003. © Springer
    47. Antonio J. Fernández and Jesús Millán sánchez. CGRAPHIC: Una herramienta gráfica para la enseñanza de los fundamentos de la programación (usando C). In Proc. of XIX Jornadas sobre la Enseñanza Universitaria en Informática (JENUI'03), pp:589-592, © Thompson Educational Publishing Inc., Cádiz, Spain, July, 2003.
    48. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. "Solving Combinatorial Problems with a Constraint Functional Logic Language, In Proc. of the International Symposium on Practical Aspects of Declarative Languages (PADL'03), pp: 320-339 , Lecture Notes inComputer Science LNCS 2652, Springer, 2003, New Orleáns, USA, January 2003. © Springer
    49. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. A Constraint Functional Logic Language for Solving Combinatorial Problems, International Conference on Knowledge Based Systems and Applied Artificial Intelligence (ES’02), pp: 337-350, BCS Series Springer, 2003.
    50. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. A Functional Logic Language with Finite Domains Constraints, In Proc. of the International Joint Conference on Declarative Programming (APPIA-GULP-PRODE'02), pp:7-22, Madrid, España, September, 2002.
    51. Antonio J. Fernández, Teresa Hortalá-González y Fernando Sáenz-Pérez. A Constraint Functional Logic Language over Finite Domains, In Proc. of the Segundas Jornadas sobre Programación y Lenguajes (PROLE'02), pp:119-134, El Escorial, Madrid, España, Noviembre, 2002.
    52. Antonio J. Fernández and Pat Hill. Branching: The Essence of Constraint Solving. In Proc. of the 6th Compulog-ERCIM workshop, Praga, Czech Republic, Junio, 2001.
    53. Antonio J. Fernández, M. Belmonte, C. Cotta, I, Gómez, J.L. Pastrana, J.A.Pedreira, F.Rus, J.Sánchez y E. Soler. Foundations of Programming: a Teaching Improvement. In Proc. of 2nd International Symposium on Computers in Education, Editors M. Ortega y J. Bravo, pps:1-10, November, Puertollano, Spain, 2001.
    54. Mari Carmen Aranda, Antonio J. Fernández, Mónica Trella, y Pepe Galindo. Nuevas Tecnologías y Metodologías para la Enseñanza de una Introducción a la Programación de Ordenadores en Ingenierías. In Proc. of III Congreso Chileno de Educación Superior en Computación, Valparaíso, Chile, Noviembre, 2001.
    55. Antonio J. Fernández, Mónica Trella, Mari Carmen Aranda y Pepe Galindo. Valoracion del Marco Docente de la Informatica en la Ingenieria Tecnica Industrial: Propuesta de una Nueva Metodologia. In Proc. of VII Jornadas sobre la Enseñanza Universitaria en Informática (JENUI'01), pp:143-148, Palma de Mallorca, Spain, July, 2001.
    56. Antonio J. Fernández and Pat Hill. Constraint Propagation on Multiple Domains, In Proc. of 9th International International Workshop on Functional and Logic Programming (WFLP'2000), Maria Alpuente (editors), UPV, pp: 455-469, Benicàssim, Valencia, España, September, 2000.
    57. Antonio J. Fernández and Pat Hill. An Interval Lattice-Based Constraint Solving Framework for Lattices, In Proc. of 4th International Symposium of Functional and Logic Programming (FLOPS'99), Art.Middeldorp and T.Sato (editors), LNCS 1722, pp: 194-208, "© Springer-Verlag",Tsukuba, November, Japan, 1999.
    58. Antonio J. Fernández and Pat Hill. Interval Constraint Solving over Lattices using Chaotic Iterations, In Proc. of the Compulog-ERCIM workshop, Paphos, Cyprus, October, 1999.
    59. Antonio J. Fernández and Pat Hill. Constraint Solving on Lattices,In Proc. of the International Joint Conference on Declarative Programming, APPIA-GULP-PRODE'99, L'Aquila, Italia, Septembre, 1999.
    60. Antonio J. Fernández and Pat Hill. Extending CLP(FD) By Negative Constraint Solving. In Proc. of the International Joint Conference on Declarative Programming, APPIA-GULP-PRODE'99, L'Aquila, Italia, Septembre, 1999.
    61. Antonio J. Fernández and Pat Hill.. A design for a generic constraint solver for ordered domains, In Proc. of TCLP'98 (Types for Constraint Logic Programming), a JICSLP'98 post conference WORKSHOP, Manchester,UK,June, 1998.
    62. Antonio J. Fernández and Pat Hill. An Impartial Efficiency Comparison of FD Constraints Systems, In Proceedings of CP'98 Fourth International Conference on Principles and Practice of Constraint Programming, Pisa, Italy, LNCS 1520, October, 1998, "© Springer-Verlag". An extended version is available as Research Report, School of Computer Studies of Leeds, University of Leeds, Ref. Number 98.18, 1998, Compressed postscript file.
    63. Antonio J. Fernández and Pat Hill. Finite Domain solvers compared using Self Referential Quizzes. In Proc. of Poster session of JFPLC'97, Orleans (France), May, 1997.
    64. Antonio J. Fernández. Towards a typed glass-box CLP language In Proc. of the fourth AISB Workshop on Automated Reasoning, Manchester (England), 7-8 April, 1997.
    65. Antonio J. Fernández and Pat Hill.. Boolean and Finite Domain solvers compared using Self Referential Quizzes, In Proc of APPIA-GULP-PRODE 97 (AGP'97), June, Grado(Udine).
    66. Antonio J. Fernández and Blas C. Ruiz. Una semántica operacional para CProlog. In Proc. of the II Jornadas de Informática.. Almuñecar(Granada). July 1996.

    Technical Reports and similar

    1. Sonia Estévez-Martín, Antonio J. Fernández and F. Sáenz-Pérez. "Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation". Research Report (Dpto. Lenguajes y Ciencias de la Computación, Universidad de Málaga), Ref: LCC ITI 06-8, November 2006
    2. Purificación Arenas, Antonio J. Fernández, Ana Gil, Francisco López-Fraguas, Mario Rodríguez-Artalejo, and F. Sáenz-Pérez. "TOY, A Multiparadigm Declarativ language. Versión 2.2.3". Rafael caballero y Jaime Sánchez (eds.), UCM (University Complutense of Madrid), System Manual, Junio 2006
    3. Antonio J. Fernández and Pat Hill.. "A Constraint System for Lattice (Interval) Domains". Research Report (Dpto. Lenguajes y Ciencias de la Computación, Universidad de Málaga), Ref: LCC-ITI 2001/1, January, 2001.
    4. Antonio J. Fernández and Pat Hill.. "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". Research Report Series of the School of Computer Studies at Leeds University, ref. 98.19, September, 1998.
    5. Antonio J. Fernández and Pat Hill. " An Impartial Efficiency Comparison of FD Constraints Systems ". Research Report, School of Computer Studies of Leeds, University of Leeds, Ref. Number 98.18, 1998, Compressed postscript file..

      A link to the comparison in the web: A Comparison summary.

    6. Antonio J. Fernández and Pat Hill.. "A Generic Execution Model for CLP(X)". Technical Report of the Department of Languages and Computer Science, Málaga, LCC-ITI 98/16, August, 1998.
    7. Antonio J. Fernández and Pat Hill. "Finite Domain solvers compared using Self Referential Quizzes". Research Report, School of Computer Studies of Leeds, University of Leeds, Ref. Number 97.03, 1997.
    8. Antonio J. Fernández.. A type classes system for logic programming. Initial report submitted as proposal for my PhD, 1997 (sorry because it is probably full of english errors :-)
    9. Antonio J. Fernández y Blas C. Ruiz. "Un sistema de tipos bidireccional". Technical Report of the Department of Languages and Computer Science, Málaga, August, LCC-ITI 96/10, 1996.