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 Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. Z. Bankovic, P. Lopez-Garcia. Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips. Neurocomputing, Vol. 150, Num. 0, pages 82-89, Elsevier, February 2015. To Appear.

    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 Jan 12 14:44:12 CET 2015