Items where author is "Rossi, Francesca"

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

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. and Rossi, Francesca (1998). Partial order and contextual net semantics for atomic and locally atomic CC programs. "Science of Computer Programming", v. 30 (n. 1-2); pp. 51-82. ISSN 0167-6423. https://doi.org/10.1016/S0167-6423(97)00007-5.

Van Hentenryck, Pascal and Saraswat, Vijay A. and Borning, Alan and Brodsky, Alexander and Codognet, Philippe and Dechter, Rina and Dincbas, Mehmet and Freuder, Eugene and Hermenegildo, Manuel V. and Jaffar, Joxan and Kasif, Simón and Lassez, Jean-Louis and McAllester, David and McAloon, Ken and Mackworth, Alan and Montanari, Ugo and Older, William and Puget, Jean- Francois and Ramakrishnan, Raghu and Rossi, Francesca and Smolka, Gert and Wachter, Ralph (1996). Strategic directions in constraint programming. "ACM Computing Surveys", v. 28 (n. 4); pp. 701-726. ISSN 0360-0300. https://doi.org/10.1145/242223.242279.

Hermenegildo, Manuel V. and Rossi, Francesca (1995). Strict and non-strict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions.. "Journal of logic programming", v. 22 (n. 1); pp. 1-45. ISSN 1567-8326. https://doi.org/10.1016/0743-1066(93)00007-F.

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. and Montanari, Ugo and Rossi, Francesca (1994). From eventual to atomic and locally atomic CC programs: A concurrent semantics. In: "Algebraic and Logic Programming, 4th International Conference, ALP'94", September 14-16, 1994, Madrid, Spain. ISBN 3540584315.

Montanari, Ugo and Rossi, Francesca and Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. (1994). Towards a concurrent semantics-based analysis of CC and CLP: principles and practice of constraint programming. In: "Second International Workshop, PPCP '94", May 2 - 4, 1994, Rosario, Orcas Island, WA, USA,. ISBN 9783540586012.

Hermenegildo, Manuel V. and Rossi, Francesca (1990). Non-strict independent and-parallelism. In: "Seventh International Conference of Logic Programming", June 18-20, 1990, Jerusalem, Israel. ISBN 0262730901.

Hermenegildo, Manuel V. and Rossi, Francesca (1989). On the correctness and efficiency of independent and-parallelism in logic programs. In: "1989 north american conference in logic programming", October 16-20, 1989, Cleveland, Ohio. ISBN 0262620642.

  • 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