Publicaciones (13) Publicaciones de SONIA ESTÉVEZ MARTÍN

2022

  1. SINPA: SupportINg the automation of construction PlAnning

    Expert Systems with Applications, Vol. 190

2019

  1. Mobile applications for people with Parkinson’s disease: A systematic search in app stores and content review

    Journal of Universal Computer Science, Vol. 25, Núm. 7, pp. 740-763

2012

  1. Extending the TOY system with the ECL iPS e solver over sets of integers

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Cooperation of the finite domain and set solvers in TOY

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  2. TOY: A System for Experimenting with Cooperation of Constraint Domains

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 79-91

  3. TOY: a system for experimenting with cooperation of constraint domains

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

2008

  1. Cooperation of constraint domains in the toy system

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  2. Playing with TOY: Constraints and domain cooperation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme

    Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252

  2. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

    Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51

  3. ¿Debemos superar WebCT?: hacia un modelo basado en objetos de aprendizaje

    Innovación en el Campus virtual : metodologias y herramientas / III Jornada Campus virtual UCM

2005

  1. Creación de un curso sobre metodología y tecnología de la información para su uso en un campus virtual

    Cómo integrar investigación y docencia en el CV-UCM

  2. Designing an efficient computation strategy in CFLP(FD) using definitional trees

    WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming