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

Publications in Other Topics and General Publications


Articles in First-Level Refereed Conferences and Journals:

  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.

    CORE: A. Average position: top 33%.

  2. M. 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.

    CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.

  3. 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.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.


Articles in Second-Level Refereed Conferences and Journals:

  1. 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.

    JCR: position (ave) top 59%, impact (ave) 0.60, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 338/1221 (top 28%), impact 0.91. Average position: top 36%.

  2. C. Carreras, M. 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.

    CORE: B. CiteseerX position (ave) top 43%, impact (ave) 0.092. Average position: top 54%.


Books and Monographs:

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

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

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

  4. M. 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.

  5. M. 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.

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

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

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

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

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

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

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

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

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

  15. M. Hermenegildo, G. Puebla. Static Analysis - 9th. International Symposium. LNCS, Num. 2477, 528 pages, Springer-Verlag, September 2002.

  16. 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.

  17. 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.

  18. 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 http://www.cliplab.org/lpnet/proceedings97/index.html.

  19. 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 http://www.cliplab.org/miscdocs/lp-internet/archive.html.

  20. 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.

  21. P. López-García, M. Hermenegildo. Proceedings of the Third COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 108 pages, U. of Utrecht, September 1995.

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

  23. 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.

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

  25. M. Bruynooghe, S.K. Debray, M. 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.

  26. 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.

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

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

  29. 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. 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.

  2. M. 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.

  3. 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 http://www.ati.es/novatica/.

  4. 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 http://www.ati.es/novatica/.

  5. 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 http://www.ati.es/novatica/.

  6. 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 http://www.ati.es/novatica/.

  7. 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 http://www.ati.es/novatica/.

  8. 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 http://www.ati.es/novatica/.

  9. 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 http://www.ati.es/novatica/.

  10. 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 http://www.ati.es/novatica/.

  11. F. Bueno, D. Cabeza, M. Carro, J. Correas, J. Gómez, M. Hermenegildo, P. López, 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.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and 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. 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.

    CiteseerX position (ave) top 71%, impact (ave) 0.024. Average position: top 71%.

  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.


Publications in Refereed Workshops:

  1. M. 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. 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, ETSII, 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. 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. 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.

Last updated on Sat May 6 10:59:12 CEST 2017