Browse by Creator

Article

Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. Lecture Notes in Computer Science, 5366 . 651- 666. ISSN 0302-9743

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Lecture Notes in Computer Science, 5366 . 795- 800. ISSN 0302-9743

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente and Silva, Cláudio and Rocha, Ricardo (2008) An Improved Continuation Call-Based Implementation of Tabling. Lecture Notes in Computer Science, 4902 . 197- 213. ISSN 0302-9743

Mancioppi, Michele and Carro Liñares, Manuel and Van den Heuvel, Willem-Jan and Papazoglou, Mike P. (2008) Sound Multi-Party Business Protocols for Service Networks. Lecture Notes In Computer Science, 5364 . 302- 316. ISSN 0302-9743

Presentation at Congress or Day

Anis Zemni, Mohamed and Benberno, Salima and Carro Liñares, Manuel (2010) A Soft Constraint-Based Approach to QoS-Aware Service Selection. In: 8th International Conference, ICSOC 2010, 07/12/2010 - 10/12/2010, San Francisco, EEUU.

Casas Cuadrado, Amadeo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. In: 10th International Symposium on Practical Aspects of Declarative Languages, PADL'08, 07/01/2008-08/01/2008, San Francisco, USA.

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2009) A Tabling Implementation Based on Variables with Multiple Bindings. In: 25th International Conference on Logic Programming, ICLP '09, 14/07/2009 - 17/07/2009, Pasadena, California, EEUU.

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2009) Towards a Complete Scheme for Tabled Execution Based on Program Transformation. In: 11th International Symposium Practical Aspects of Declarative Languages, PADL 2009, 19/01/2009 - 20/01/2009, Savannah, Georgia, EEUU.

Hermenegildo Salinas, Manuel Vicente and Bueno Carrillo, Francisco and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and López García, Pedro and Morales, J. and Mera, E. and Navas, J. and Haemmerlé, R. and Mendez, M. and Casas, Amadeo and Correas Fernandez, Jesús and Albert Albiol, Elvira and Arenas Sánchez, Purificación (2010) Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP. In: Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop, 17/09/2010 - 17/09/2010, Perpignan, France.

Herranz Nieva, Ángel and Mariño Carballo, Julio and Carro Liñares, Manuel and Moreno Navarro, Juan José (2009) Modeling Concurrent Systems with Shared Resources. In: 14th International Workshop on Formal Methods for Industrial Critical Systems, 02/11/2009 - 03/11/2009, Eindhoven, Holanda.

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel de (2010) An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. In: 2009 international conference on Service-oriented computing ICSOC/ServiceWave'09, 23/11/2009 - 27/11/2009, Estocolmo, Suecia.

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel de (2010) Automatic Fragment Identification in Workflows Based on Sharing Analysis. In: ICSOC 2010, 07/12/2010 - 10/12/2010, San Francisco, EEUU.

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel de (2010) Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. In: IEEE International Conference on Web Services, ICWS 2010, 05/07/2010 - 10/07/2010, Miami, Florida, EEUU.

Ivanovic, Dragan and Treiber, Martin and Carro Liñares, Manuel and Dustdar, Schahram (2010) Building Dynamic Models of Service Compositions With Simulation of Provision Resources. In: 29th international conference on Conceptual modeling, 01/11/2010 - 04/11/2010, Vancouver, Canadá.

Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) Comparing Tag Scheme Variations Using an Abstract Machine Generator. In: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2008, 15/07/2008-17/07/2008, Valencia, España.