SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
Publicaciones (13) Publicaciones de SONIA ESTÉVEZ MARTÍN
2022
-
SINPA: SupportINg the automation of construction PlAnning
Expert Systems with Applications, Vol. 190
2019
-
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
-
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
-
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
-
TOY: A System for Experimenting with Cooperation of Constraint Domains
Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 79-91
-
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
-
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
-
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
-
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
-
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51
-
¿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
-
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
-
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