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

CLIP Group's Publications in 2015


Articles in First-Level Refereed Conferences and Journals:

  1. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. FirstView, pages 1-58, Cambridge University Press, January 2015.

    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. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, 15 pages, Springer, 2015.

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


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. Zorana Bankovic, Pedro Lopez-Garcia. Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips. Neurocomputing, Vol. 150, pages 82-89, Elsevier, February 2015.

    JCR: position (ave) top 55%, impact (ave) 0.69, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE CORE: B. CiteseerX position (ave) top 86%, impact (ave) 0.037. Average position: top 68%.


Publications in Refereed Workshops:

  1. P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. V. Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2015), 2015.



Last updated on Mon Apr 13 15:46:53 CEST 2015