CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Distributed/Internet Execution, Agents, and WWW


Articles in Refereed Journals:

  1. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha. Parallel Logic Programming: A Sequel. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. 22, Num. 6, pages 905-973, Cambridge U. Press, March 2022.

  2. D. Cabeza, M. Hermenegildo. Distributed WWW Programming using (Ciao) Prolog and the PiLLoW Library (also available in ps). Theory and Practice of Logic Programming, Vol. 1, Num. 3, pages 251-282, Cambridge U. Press, May 2001.

  3. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in CLP Languages (also available in ps). ACM Transactions on Programming Languages and Systems, Vol. 22, Num. 2, pages 269-339, ACM Press, March 2000.


Articles in Refereed Conferences:

  1. Dragan Ivanovic, Manuel Carro. Transforming Service Compositions into Cloud-Friendly Actor Networks. Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings, LNCS, Vol. 8831, pages 291-305, Springer Verlag, November 2014.

  2. Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn. Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. Service-Oriented Computing - 12th International Conference, ICSOC, LNCS, Vol. 8831, pages 394-402, Springer Verlag, November 2014.

  3. D. Ivanovic, M. Carro, M. V. Hermenegildo. A Constraint-Based Approach to Quality Assurance in Service Choreographies. 10th International Conference on Service Oriented Computing, ICSOC'12, LNCS, Vol. 7637, Springer Verlag, November 2012.

  4. D. Ivanovic, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Service-Oriented Computing - ICSOC 2011, LNCS, Vol. 7084, pages 62-76, Springer Verlag, December 2011. Best paper award.

  5. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Proceedings of the 8th IEEE Conference on Services Computing SCC 2011, pages 120-127, IEEE Press, July 2011.

  6. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Service-Oriented Computing - ICSOC 2010, LNCS, Vol. 6470, pages 350-364, Springer Verlag, 2010.

  7. Mohamed Anis Zemni, Salima Benbernou, M. Carro. A Soft Constraint-Based Approach to QoS-Aware Service Selection. Service-Oriented Computing - ICSOC 2010, LNCS, Vol. 6470, pages 596-602, Springer Verlag, 2010.

  8. D. Ivanovic, M. Carro, M. V. Hermenegildo. Towards Data-Aware QoS-Driven Adaptation for Service Orchestrations. Proceedings of the 2010 IEEE International Conference on Web Services (ICWS 2010), Miami, FL, USA, 5-10 July 2010, pages 107-114, IEEE, 2010.

  9. M. Carro, M. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. 1999 International Conference on Logic Programming, pages 320-334, MIT Press, Cambridge, MA, USA, November 1999.

  10. M. Hermenegildo, D. Cabeza, M. Carro. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Proc. of the Twelfth International Conference on Logic Programming, pages 631-645, MIT Press, June 1995.

  11. P. Lopez-Garcia, M. V. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.

  12. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System (also available in ps). Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 123-133, Springer-Verlag, May 1994.

  13. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 130-146, MIT Press, Cambridge, MA, October 1993.


Books and Monographs:

  1. J. Navas. CoLogNetWS: Desarrollo de un Sitio Web con Actualización Distribuida de las Bases de Datos en varios nodos . Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 196 pages, December 2003.

  2. L. Sterling, L. Naish, M. V. Hermenegildo. Theory and Practice of Logic Programming - Special Issue: Logic Programming and the INTERNET. Vol. 1, Num. 3, 131 pages, Cambridge U. Press, May 2001.

  3. P. Lopez-Garcia. Non-failure Analysis and Granularity Control in Parallel Execution of Logic Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2000.

  4. J.M. Gómez. WebDB: Un Interfaz WWW a Bases de Datos Genérico. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 156 pages, September 1999.


Invited Papers and Tutorials:

  1. D. Ivanovic, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. 22nd Workshop on Logic-based Methods in Programming Environments, 1 pages, September 2012. (abstract of invited talk).

  2. The Ciao Development Team. The Ciao Multiparadigm Language and Program Development Environment. 6 pages, November 2006. The ALP Newsletter 19(3). The Association for Logic Programming..

  3. F. Bueno, D. Cabeza, M. Carro, J. Correas, J. Gómez, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla, C. Vaucheret. Agent Programming in Ciao Prolog (also available in ps). 10 th. Portuguese Conference on Artificial Intelligence (EPIA), LNAI, Num. 2258, 2 pages, Springer-Verlag, December 2001.


Articles in Books and Other Collections:

  1. M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85, Nova Science, April 1999.


Publications in Refereed Workshops:

  1. D. Ivanovic, M. Carro, M. V. Hermenegildo. Exploring the Impact of Inaccuracy and Imprecision of QoS Assumptions on Proactive Constraint-Based QoS Prediction for Service Orchestrations. Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2012, pages 931-937, IEEE Press, June 2012.

  2. D. Ivanovic, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almería, 2012.

  3. D. Ivanovic, M. Carro, M. V. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. International Workshops, ICSOC/ServiceWave 2009, Revised Selected Papers, LNCS, Num. 6275, Springer, September 2010.

  4. D. Ivanovic, M. Carro, M. V. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Proactive Monitoring. Pre-proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+), November 2009.

  5. M. Hermenegildo, The Ciao Development Team. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages MPOOL 2007, July 2007.

  6. J. Correas, F. Bueno. A Configuration Framework for Distributed Logic Applications (also available in ps). Proc. of the AGP'2002 Joint Conference on Declarative Programming, pages 123-137, Facultad de Informatica, September 2002.

  7. M. Carro, M. Hermenegildo. A Simple Approach to Distributed Objects in Prolog. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

  8. J. Correas, F. Bueno. A Configuration Framework to Develop and Deploy Distributed Logic Applications (also available in ps). ICLP01 Colloquium on Implementation of Constraint and LOgic Programming Systems, 15 pages, November 2001.

  9. D. Cabeza, M. V. Hermenegildo. WWW Programming using Computational Logic Systems (and the PiLLoW/Ciao Library) (also available in ps). Proceedings of the Workshop on Logic Programming and the WWW at WWW6, April 1997.

  10. D. Cabeza, M. V. Hermenegildo, S. Varma. The PiLLoW/Ciao Library for INTERNET/WWW Programming using Computational Logic Systems (also available in ps). Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, pages 72-90, September 1996. Text and code available from http://www.cliplab.org/miscdocs/pillow/pillow.html.

  11. D. Cabeza, M. V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System (also available in ps). Proc. of the AGP'96 Joint conference on Declarative Programming, pages 67-78, U. of the Basque Country, July 1996. Available from http://www.cliplab.org/.

  12. D. Cabeza, M. V. Hermenegildo. Distributed Concurrent Constraint Execution in the CIAO System. Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, U. Utrecht / T.U. Madrid, September 1995. Available from http://www.cliplab.org/.

  13. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Proc. of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies, 15 pages, U. of Madrid, September 1994. Also provided as attachment UPM-1 of deliverable D4.3/2.

  14. P. Lopez-Garcia, M. V. Hermenegildo. Towards Dynamic Term Size Computation via Program Transformation. Second Spanish Conference on Declarative Programming, pages 73-93, IIIA/CSIC, September 1993.


Technical Reports and Manuals:

  1. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Num. CLIP5/2010.0, Technical University of Madrid (UPM), December 2010.

  2. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Num. CLIP4/2010.0, 15 pages, Technical University of Madrid (UPM), June 2010. Submitted.

  3. D. Ivanovic, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.1, Technical University of Madrid (UPM), March 2010.

  4. D. Ivanovic, M. Carro, M. V. Hermenegildo. Sharing-Based Independence-Driven Fragment Identification for Service Orchestrations. Num. CLIP7/2009.0, Technical University of Madrid (UPM), December 2009.

  5. D. Ivanovic, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.0, Technical University of Madrid (UPM), November 2009. Replaced by a later version.

  6. D. Ivanovic, M. Carro, M. V. Hermenegildo. Towards Data-Aware Resource Analysis for Service Orchestrations. Num. CLIP3/2009.0, Technical University of Madrid (UPM), June 2009.

  7. M. Hermenegildo, The Ciao Development Team. Why Ciao? -An Overview of the Ciao System's Design Philosophy. Num. CLIP7/2006.0, 6 pages, Technical University of Madrid (UPM), December 2006. Available from: http://cliplab.org/papers/ciao-philosophy-note-tr.pdf.

  8. A. Kostenko, M. Carro. A Preliminary DHT Infrastructure for Ciao. Num. CLIP12/2006.0, Technical University of Madrid (UPM), August 2006.

  9. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.). The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), June 2004. System and on-line version of the manual available at http://ciao-lang.org.

  10. J. Navas, D. Cabeza, M. V. Hermenegildo. CoLogNetWS: Development of a Web Site with Database Multinode Distributed Update. Num. CLIP6/2003.0, 157 pages, CoLogNet Project, November 2003.

  11. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.8). Num. CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM), May 2002. System and on-line version of the manual available at http://ciao-lang.org.

  12. F. Bueno, J. Correas. Active Module Service. Num. CLIP4/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  13. M. Carro, M. Hermenegildo. Remote Execution and Mobile Objects in Ciao Prolog. Num. CLIP3/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  14. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.6). Num. CLIP5/2000.1, School of Computer Science, Technical University of Madrid (UPM), July 2000. System and on-line version of the manual available at http://ciao-lang.org.

  15. Per Cederberg, The CLIP Group. Flexible Layout and Styling - The LaSt Language. Num. D2.2.M3 CLIP 3/99.0, 32 pages, RADIOWEB Project, June 1999.

  16. Per Cederberg, The CLIP Group. The LaSt Engine. Num. D3.3.M3 CLIP 4/99.0, 42 pages, RADIOWEB Project, June 1999.

  17. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.0). Num. CLIP11/99.1, School of Computer Science, Technical University of Madrid (UPM), June 1999. System and on-line version of the manual available at http://ciao-lang.org.

  18. D. Cabeza, S. Genaim, C. Taboch. WOF Interpreter and GDA Installation Guide and Demo. Num. D3.1.M2-A4, 10 pages, RADIOWEB Project, December 1998.

  19. I. Caballero, D. Cabeza, S. Genaim, J.M. Gomez, M. V. Hermenegildo. persdb_sql: SQL Persistent Database Interface. Num. CLIP10/98.0, 39 pages, December 1998.

  20. J.M. Gomez, D. Cabeza, M. V. Hermenegildo. WebDB: A Database WWW Interface. Num. CLIP11/98.0, 32 pages, December 1998.

  21. D. Cabeza, M. V. Hermenegildo, S. Genaim, C. Taboch. Design of a Generic, Homogeneous Interface to Relational Databases. Num. D3.1.M1-A1, CLIP7/98.0, 10 pages, September 1998.

  22. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V0.6). Num. CLIP12/98.1, School of Computer Science, Technical University of Madrid (UPM), July 1998. System and on-line version of the manual available at http://ciao-lang.org.

  23. D. Cabeza, M. V. Hermenegildo. A WWW Database Management Interface for Prolog. Num. CLIP2/98.0, School of Computer Science, Technical University of Madrid (UPM), June 1998.

  24. D. Cabeza, S. Genaim, C. Taboch. WOF Design. Num. D2.1.M2, 14 pages, RADIOWEB Project, January 1998.

  25. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http://ciao-lang.org.

  26. The RADIOWEB Project Partners. RADIOWEB EP25562: Automatic Generation of Web Sites for the Radio Brodcasting Industry - Project Description / Technical Annex. 70 pages, RADIOWEB Project, July 1997.

  27. D. Cabeza, M. V. Hermenegildo. html.pl: An HTML Package for (C)LP systems. Technical University of Madrid, March 1996. Available from http://www.cliplab.org/miscdocs/.

  28. M. Hermenegildo. A WWW Interface Library for LP and CLP Systems. Num. CLIP16/95.0, School of Computer Science, Technical University of Madrid (UPM), December 1995.

  29. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Num. CLIP 5/94.0, 17 pages, School of Computer Science, Technical University of Madrid (UPM), June 1994. Presented at the ILPS'94 Post Conference Workshop on Design and Implementation of Parallel Logic Programming Systems, Available from http://www.cliplab.org/.

  30. M. Hermenegildo. A Simple, Distributed Version of the &-Prolog System. School of Computer Science, Technical University of Madrid (UPM), April 1994. Available from http://www.cliplab.org/.

  31. M. V. Hermenegildo, P. Lopez-Garcia. A Technique for Dynamic Term Size Computation via Program Transformation. Num. CLIP 8/93.1(94), School of Computer Science, Technical University of Madrid, March 1994.

  32. P. Lopez-Garcia, M. V. Hermenegildo. Dynamic Term Size Computation in Logic Programs via Program Transformation. Num. CLIP 8/93.0, T.U. of Madrid (UPM), April 1993. Presented at the 1993 COMPULOG Area Meeting on Parallelism and Implementation Technologies.

next up previous Clip_button.gif
Next: Publications in (Parallel) Computer Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Parallel Execution
Last updated on Mon Apr 15 06:11:09 PM CEST 2024
Contents
Institutional links