Segueix
Sonia Estévez Martín
Sonia Estévez Martín
Profesora en la Facultad de Informática UCM, Madrid
Correu electrònic verificat a fdi.ucm.es
Títol
Citada per
Citada per
Any
On the Cooperation of the Constraint Domains H, R and FD in CFLP
S Estévez-Martín, T HortalÁ-gonzÁlez, R del Vado-Vírseda, ...
Arxiv preprint arXiv:0904.2136, 2009
25*2009
A proposal for the cooperation of solvers in constraint functional logic programming
S Estévez-Martín, AJ Fernández, T Hortalá-González, ...
Electronic Notes in Theoretical Computer Science 188, 37-51, 2007
152007
A tool-supported framework for work planning on construction sites based on constraint programming
A Camacho, PC Cañizares, S Estévez, M Núñez
Automation in Construction 86, 190-198, 2018
142018
años de historia de las Empresas de Participación
G Lejarriaga, S Martin, A Muñoz
Madrid: Editorial Verbum, 40
1340
Las sociedades laborales
G Lejarriaga, S Martín
La Economía Social en España en el año, 335-404, 2008
122008
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
S Estévez Martín, AJ Fernández, MT Hortalá González, ...
Electronic Notes in Theoretical Computer Science 177, 235-252, 2007
112007
Estudio para la ordenación de la actividad extractiva del tramo bajo del Río Jarama
I Bardají, P Cabra, JP Calvo, RG de Mingo, S Martín, J Mogrovejo, ...
Agencia de Medioambiente (Comunidad de Madrid). Servicio de Estudios y …, 1990
81990
Designing an efficient computation strategy in CFLP(FD) using definitional trees
SE Martín, R del Vado Vírseda
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
72005
Cooperation of constraint domains in the TOY system
S Estévez-Martín, AJ Fernández, T Hortalá-González, ...
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
62008
Mobile applications for people with Parkinson's disease: a systematic search in app stores and content review
S Estévez Martín, E Cambronero Piqueras, Y García Ruiz, LF Llana Díaz
Know-Center, 2019
52019
Extending the System with the ECL i PS e Solver over Sets of Integers
S Estévez-Martín, J Correas Fernández, F Sáenz-Pérez
International Symposium on Functional and Logic Programming, 120-135, 2012
52012
Manual de Educación Patrimonial
O Fontal, S Pérez, S Martín
Gijón: Ediciones Trea, 2012
52012
Cooperation of the finite domain and set solvers in TOY
SE Martín, AF Caballero, FS Pérez
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE …, 2009
52009
Creación de un curso sobre Metodología y Tecnología de la Información para su uso en un Campus Virtual
A Sarasa Cabezuelo, S Estévez Martín, FJ Crespo Yáñez
Editorial Complutense, 2005
52005
El libro del huevo
A Sastre, RM Ortega, F Tortuero, G Suárez, G Vergara, C López, ...
Instituto del Huevo. Madrid, España, 2003
52003
Enhancing set constraint solvers with bound consistency
J Correas, SE Martín, F Sáenz-Pérez
Expert Systems with Applications 92, 485-494, 2018
42018
SINPA: SupportINg the automation of construction PlAnning
PC Cañizares, S Estévez-Martín, M Núñez
Expert Systems with Applications 190, 116149, 2022
32022
Playing with: Constraints and Domain Cooperation
S Estévez-Martín, AJ Fernández, F Sáenz-Pérez
European Symposium on Programming, 112-115, 2008
32008
Respiratory Distress Syndrome: A Suggestive Pattern of Shunt Effect Detected by Means of Macroparticles
A Maldonado, M Domper, MJ Garcia, J Arbizu, S Martin, J Richter
Clinical nuclear medicine 18 (1), 19-21, 1993
31993
TOY: a CFLP language and system
I Castiñeiras, J Correas, S Estévez-Martín, F Sáenz-Pérez
The Association for Logic Programming, 2012
22012
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20