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

Publications in Other Topics and General Publications


Articles in Refereed Journals:

  1. M. Carro, Ángel Herranz, Julio Mariño. A Model-Driven Approach to Teaching Concurrency. ACM Transactions on Computer Education, Vol. 13, Num. 1, 2013.

  2. Stacy E. Finkelstein, Peter Freyd, James Lipton. A New Framework for Declarative Programming. Theoretical Computer Science, Vol. 300, Num. 1-3, pages 91-160, Elsevier Science, May 2003.


Articles in Refereed Conferences:

  1. Nik Swoboda, Juan Bekios-Calfa, Luis Baumela, Javier de Lope. An Introduction to AI Course with Guide Robot Programming Assignments. Proceedings of the 42nd ACM Technical Symposium on Computer Science Education, pages 231-236, ACM, ACM SIGCSE, 2011.

  2. Ruben Vazquez, Nik Swoboda. Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping. OTM Conferences (1), Lecture Notes in Computer Science, Vol. 4803, pages 814-831, Springer, November 2007.

  3. M. Carro, J. Mariño, A. Herranz, J.J. Moreno-Navarro. Teaching How to Derive Correct Concurrent Programs from State-Based Specifications. Symposium on Teaching Formal Methods 2004, Lecture Notes in Computer Science, Num. 3294, pages 85-106, Springer Verlag, Formal Methods Europe, November 2004.

  4. C. Carreras, M. V. Hermenegildo. Grid-based Histogram Arithmetic for the Probabilistic Analysis of Functions (also available in ps). Symposium on Abstraction, Reformulation and Approximation (SARA-2000), LNAI, Springer-Verlag, July 2000.

  5. M. V. Hermenegildo. A Documentation Generator for (C)LP Systems (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 1345-1361, Springer-Verlag, July 2000.

  6. G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte. Tools and Environments for Constraint Logic Programming. International Logic Programming Symposium, pages 417-418, October 1997. Workshop abstract.


Books and Monographs:

  1. B, Accattoli, M. V. Hermenegildo (Eds.). Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM ICPS Proceedings, 187 pages, ACM, September 2022.

  2. Manuel V. Hermenegildo, Pedro Lopez-Garcia, Alberto Pettorossi, Maurizio Proietti (Eds.). Fundamenta Informaticae, Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Vol. 177, Num. 3-4, IOS Press, December 2020.

  3. M. V. Hermenegildo, P. Lopez-Garcia (Eds.). Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science, Num. 10184, 330 pages, Springer, July 2017.

  4. Manuel Carro, Andy King (Eds.). 32nd International Conference on Logic Programming. Vol. 16, Num. 5-6, Cambridge University Press, September 2016.

  5. A. Zaks, M. V. Hermenegildo. Proceedings of the 25th International Conference on Compiler Construction (CC 2016). ACM, March 2016.

  6. M. Carro, D. Karastoyanova, G. A. Lewis, A. Liu. Third International Workshop on Principles of Enginering Service-Oriented Systems (PESOS 2011). ACM, May 2011.

  7. M. Carro, J.H. Reppy. ACM SIGPLAN Proceedings of the Workshop on Declarative Aspects of Multicore Programming. ACM, January 2011.

  8. M. V. Hermenegildo, T. Schaub. Theory and Practice of Logic Programming. 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue. Vol. 10 (4-6), pages 361-778, Cambridge University Press, July 2010.

  9. M. V. Hermenegildo, T. Schaub. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10). Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

  10. M. V. Hermenegildo, J. Palsberg. Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010). ACM, January 2010.

  11. M. Carro, R. Peña-Marí. Practical Aspects of Declarative Languages - 12th. International Symposium, PADL 2010. LNCS, Vol. 5937, Springer-Verlag, January 2010.

  12. G. Barthe, M. V. Hermenegildo. Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010. LNCS, Vol. 5944, Springer, January 2010.

  13. G. Puebla, G. Vidal. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09). 200 pages, ACM Digital Library, January 2009.

  14. J. Garrigue, M. V. Hermenegildo. Functional and Logic Programming, 9th International Symposium, FLOPS'08. LNCS, Num. 4989, Springer, April 2008.

  15. M. V. Hermenegildo. ACM SIGPLAN-Intel Workshop on Declarative Aspects of Multicore Programming, DAMP'08, Informal Proceedings. January 2008.

  16. G. Puebla. Logic Based Program Synthesis and Transformation (LOPSTR'06). LNCS, Num. 4407, 237 pages, Springer, March 2007.

  17. M. Hermenegildo, D. Cabeza. Practical Aspects of Declarative Languages - 7th. International Symposium, PADL 2005. LNCS, Num. 3350, 278 pages, Springer-Verlag, January 2005.

  18. M. Leuschel, F. Bueno. Preproceedings of the International Workshop on Logic Based Program Development and Transformation. 304 pages, Facultad de Informatica, September 2002.

  19. I. de Castro Dutra, M. Carro, V. Santos Costa, G. Gupta, E. Pontelli, F. Silva (editors). Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science Publishers, 1999.

  20. G. Puebla, M. Comini, W. Drabent, M. Ducasse, M. Fabris, M. Meier, Ch. Schulte. Proceedings of the ILPS'97 Workshop on Tools and Environments for Constraint Logic Programming. Num. CLIP7/97.1, 180 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), October 1997.

  21. P. Tarau, K. De Bosschere, M. Hermenegildo. Proceedings of the 2nd Workshop on Logic Programming Tools for INTERNET Applications. 140 pages, K.U. Leuven, July 1997. Available from https://www.cliplab.org/lpnet/proceedings97/index.html.

  22. P. Tarau, A. Davison, K. De Bosschere, M. Hermenegildo. Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications. 122 pages, U. of Moncton, Canada, September 1996. Available from https://www.cliplab.org/miscdocs/lp-internet/archive.html.

  23. M. Carro, E. Pontelli. Proceedings of the Fourth COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Languages. 235 pages, Computer Science Department, Technical University of Madrid, September 1996.

  24. P. Lopez-Garcia, M. V. Hermenegildo. Proceedings of the Third COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 108 pages, U. of Utrecht, September 1995.

  25. M. Hermenegildo, D. Swierstra. Programming Languages: Implementations, Logics, and Programs - Proc. of the 1995 Conference. LNCS, Num. 982, 466 pages, Springer-Verlag, September 1995.

  26. M. García de la Banda, M. Hermenegildo. Proceedings of the Second COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 96 pages, FIM/UPM, Madrid, Spain, September 1994.

  27. M. Hermenegildo, J. Penjam. Programming Language Implementation and Logic Programming - Proc. of the 1994 Conference. LNCS, Num. 844, 468 pages, Springer-Verlag, September 1994.

  28. M. Bruynooghe, S.K. Debray, M. V. Hermenegildo, M. Maher. The Journal of Logic Programming - Special Issue: Ten Years of Logic Programming. Vol. 19/20, 714 pages, Elsevier - North-Holland, May 1994.

  29. F. Bueno, M. Hermenegildo, J. Moreno-Navarro. Proceedings of the First COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 78 pages, FIM/UPM, Madrid, Spain, May 1993.

  30. M. Hermenegildo, J. Moreno-Navarro. Actas del Primer Congreso Nacional de Programaci'on Declarativa. 398 pages, FIM/UPM, Madrid, Spain, September 1992.

  31. S. K. Debray, M. V. Hermenegildo. Logic Programming - Proc. of the North American Conference. 850 pages, MIT Press, Cambridge, MA, October 1990.

  32. M. Hermenegildo. Proc. of the Workshop on Future Directions in Logic Programming. 210 pages, MCC, Austin, TX, April 1987.


Invited Papers and Tutorials:

  1. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. How to Best Teach Prolog. July 2023. Invited talk at ICLP Special Session: Teaching Prolog: the Next 50 Years and Prolog Education Group. https://www.youtube.com/watch?v=yn3YvNMpr28Video at the LP Education group.

  2. Manuel V. Hermenegildo, Pedro Lopez-Garcia, Alberto Pettorossi, Maurizio Proietti. Preface, Fundamenta Informaticae, Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Vol. 177, Num. 3-4, pages 1-3, IOS Press, December 2020.

  3. M. V. Hermenegildo, T. Schaub. Introduction to the 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue. Vol. 10, Num. 4-6, pages 361-364, Cambridge University Press, July 2010.

  4. M. V. Hermenegildo, T. Schaub. Introduction to Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10). Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 8-11, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

  5. M. Carro, M. Freire . Saldando Cuentas. Novática, Num. 186-187, 3 pages, Asociación de Técnicos en Informática, January 2007. Available at https://www.ati.es/novatica/.

  6. M. Carro, M. Freire . Programas equivalentes. Novática, Num. 178-179, 3 pages, Asociación de Técnicos en Informática, January 2006. Available at https://www.ati.es/novatica/.

  7. O. Martínez, M. Carro. Subsecuencias de la secuencia mira-y-nombra. Novática, Num. 167-168, 8 pages, Asociación de Técnicos en Informática, January 2004. Available at https://www.ati.es/novatica/.

  8. M. Carro, O. Martínez. ¿Dónde está mi interrupción?. Novática, Num. 165-166, 8 pages, Asociación de Técnicos en Informática, September 2003. Available at https://www.ati.es/novatica/.

  9. A. Herranz, P. Sánchez, M. Carro, J. Mariño. Almejas gigantes e interfaces de usuario. Novática - Revista de la Asociación de Técnicos en Informática, Num. 160-161, 8 pages, Asociación de Técnicos en Informática, November 2002. Journal available at https://www.ati.es/novatica/.

  10. A. Herranz, J. Mariño, M. Carro, P. Sánchez. No taléis el bosque por culpa de los árboles. Novática - Revista de la Asociación de Técnicos en Informática, Num. 158-159, 10 pages, Asociación de Técnicos en Informática, July 2002. Journal available at https://www.ati.es/novatica/.

  11. M. Carro, P. Sánchez, J. Mariño, A. Herranz. ¡Queso!. Novática - Revista de la Asociación de Técnicos en Informática, Num. 156-157, 7 pages, Asociación de Técnicos en Informática, March 2002. Journal available at https://www.ati.es/novatica/.

  12. M. Carro, A. Herranz, J. Mariño, P. Sánchez. Configuración de un aeropuerto. Novática - Revista de la Asociación de Técnicos en Informática, Num. 155-156, 7 pages, Asociación de Técnicos en Informática, January 2002. Journal available at https://www.ati.es/novatica/.

  13. 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. Angel Borrego, Nik Swoboda. Images from www.wordww.net. Cárcel de amor: relatos culturales sobre la violencia de género, pages 306-307, Museo Nacional Centro de Arte Reina Sofía, 2005.

  2. M. Hermenegildo. The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. Knowledge Oriented Software Design, pages 207-221, North-Holland, September 1993.


Publications in Refereed Workshops:

  1. M. V. Hermenegildo. A System for Automatically Generating Documentation for (C)LP Programs. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 4, March 2000.

  2. M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems (also available in ps). ICLP'99 Workshop on Logic Programming Environments, pages 80-97, N.M. State University, December 1999.

  3. I. Walker, M. Hermenegildo. An application of AI techniques and parallel implementation technology to the trajectory planning problem for redundant robot manipulators. 1987 IEEE International Workshop on Robotics: Trends, Technology, and Applications, pages 53-61, ETSIInf, IEEE, February 1988.


Technical Reports and Manuals:

  1. M. DeMarco, J. Lipton. Uniform Algebras. Num. CLIP16/2004.0, 20 pages, Technical University of Madrid, October 2004.

  2. M. DeMarco, J. Lipton. Completeness and Cut Elimination in Church's Intuitionistic Theory of Types. Num. CLIP15/2004.0, 32 pages, Technical University of Madrid, August 2004.

  3. M. V. Hermenegildo, D. Cabeza, M. Rodriguez. Using Ciao inside GNU Emacs. Num. CLIP4/2000.1, 18 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  4. M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems. Num. CLIP10/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

next up previous Clip_button.gif
Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Research Policy
Last updated on Thu Dec 12 10:26:47 AM CET 2024
Contents
Institutional links