Sonia Estévez Martín

According to our database, Sonia Estévez Martín authored at least 12 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

SINPA: SupportINg the automation of construction PlAnning.

Pablo C. Cañizares, Sonia Estévez Martín, Manuel Núñez

Expert Syst. Appl., 2022

2019

Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review.

Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, Luis Llana

J. Univers. Comput. Sci., 2019

2018

Enhancing set constraint solvers with bound consistency.

Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez

Expert Syst. Appl., 2018

2012

Extending the TOY System with the ECLiPSe Solver over Sets of Integers.

Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2009

On the cooperation of the constraint domains , <i>R</i>, and <i>F</i> in CFLP.

Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández

Theory Pract. Log. Program., 2009

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

Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

On the Cooperation of the Constraint Domains H, R and FD in CFLP

Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández

CoRR, 2009

2008

Cooperation of constraint domains in the <i>TOY</i> system.

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

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Playing with TOY: Constraints and Domain Cooperation.

Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez

Proceedings of the Programming Languages and Systems, 2008

2006

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

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

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

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

2005

Designing an efficient computation strategy in <i>CFLP(FD)</i> using definitional trees.

Sonia Estévez Martín, Rafael del Vado Vírseda

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005