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

CLIP Group's Publications in 2014


Articles in First-Level Refereed Conferences and Journals:

  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.

    CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

  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.

    CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

  3. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract). Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, On-line Supplement, Cambridge U. Press, July 2014.

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

  4. G.J. Duck, R. Haemmerlé, M. Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, Vol. 14, Num. 4-5, pages 619-632, Cambridge U. Press, 2014.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  5. A. Serrano, P. Lopez-Garcia, M. Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, Vol. 14, Num. 4-5, pages 739-754, Cambridge U. Press, 2014.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.


Articles in Second-Level Refereed Conferences and Journals:

  1. R. Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), 12 pages, ACM Press, September 2014.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  2. N. Stulova, J. F. Morales, M. V. Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), 15 pages, ACM Press, September 2014.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  3. Dave Barker-Plummer, Nik Swoboda, Michael D. Murray. An Example HyperVenn Proof. Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings, pages 51-53, July 2014.

    CiteseerX position (ave) top 61%, impact (ave) 0.055. Average position: top 61%.

  4. U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M.V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 8901, pages 72-90, Springer, 2014.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.


Books and Monographs:

  1. R. Haemmerlé, J. Sneyers. Proceedings of the Eleventh Workshop on Constraint Handling Rules (CHR 2014). CoRR abs/1406.1510, 2014.


Articles in Books and Other Collections:

  1. K. Georgiou, U. Liqat. Towards LLVM-Based Energy Consumption Analysis of Programs. ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16-17, July 2014.


Publications in Refereed Workshops:

  1. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Pre-proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), 15 pages, September 2014.

  2. J.F. Morales, M. V. Hermenegildo. Towards Pre-Indexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014.


Technical Reports and Manuals:

  1. R. Haemmerlé. On the Confluence of the Analytical Semantics of CHR. Num. CLIP2/2014.0, 12 pages, Technical University of Madrid (UPM), July 2014.

  2. N. Stulova, J. F. Morales, M. V. Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, 25 pages, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].

Last updated on Fri Apr 28 13:09:24 CEST 2017