Items where author is "Stuckey, P.J."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Article

Stivala, A. and Stuckey, P.J. and García de la Banda, M. and Hermenegildo, Manuel V. and Wirth, A. (2010). Lock-free Parallel Dynamic Programming. "Journal of parallel and distributed computing", v. 70 (n. 8); pp. 839-848. ISSN 0743-7315.

Hermenegildo, Manuel V. and Marriott, K. and Puebla Sánchez, Alvaro Germán and Stuckey, P.J. (2000). Incremental analysis of constraint logic programs. "ACM transactions on programming languages and systems", v. 22 (n. 2); pp. 187-223. ISSN 0164-0925. https://doi.org/10.1145/349214.349216.

Book Section

Puebla Sánchez, Alvaro Germán and Correas Fernandez, Jesús and Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and García de la Banda, M. and Marriott, K. and Stuckey, P.J. (2004). A generic framework for context-sensitive analysis of modular programs. In: "Program Development in Computational Logic". Lecture Notes in Computer Science (3049). Springer Berlin Heidelberg, pp. 233-260. ISBN 978-3-540-22152-4. https://doi.org/10.1007/978-3-540-25951-0_8.

Monograph

Hermenegildo, Manuel V. and Marriott, K. and Stuckey, P.J. (1994). Incremental analysis of logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Presentation at Congress or Conference

Carro Liñares, Manuel and Hermenegildo, Manuel V. and Chico de Guzmán, Pablo and Stuckey, P.J. (2012). A general implementation framework for tabled CLP. In: "11th International Symposium, FLOPS 2012", 23/05/2012 - 25/05/2012, Kobe, Japan. ISBN 978-3-642-29821-9. pp. 104-119.

Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. and López García, Pedro and Mera, E. and Stuckey, P.J. (2011). Towards resource usage analysis of miniZinc models. In: "The 1st International Workshop on MiniZinc (MZN 2011)", 12 September 2011, Perugia, Italy.

Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. and Marriott, K. and Puebla Sánchez, Alvaro Germán and Stuckey, P.J. (2001). A model for inter-module analysis and optimizing compilation. In: "10th International Workshop, LOPSTR 2000", July 24-28, 2000, London, UK. ISBN 9783540421276.

Puebla Sánchez, Alvaro Germán and García de la Banda, M. and Marriott, K. and Stuckey, P.J. (1997). Optimization of logic programs with dynamic scheduling. In: "ourteenth International Conference on Logic Programming", July 8-11, 1997, Leuven, Belgium. ISBN 0-262-64035-X.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM