The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2013

Articles in Refereed Journals:

  1. D. Ivanovic, M. Carro, M. V. Hermenegildo. A Sharing-Based Approach to Supporting Adaptation in Service Compositions. Computing, Vol. 95, Num. 6, pages 453-492, Springer Wien, June 2013.

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

  3. Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertesz, Michael Parkin, M. Carro. A Survey on Service Quality Description. ACM Computing Surveys, Vol. 46, Num. 1, 2013.

Articles in Refereed Conferences:

  1. A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Sized Type Analysis for Logic Programs. Theory and Practice of Logic Programming, 29th Int'l. Conference on Logic Programming (ICLP'13) Special Issue, On-line Supplement (technical communication), Vol. 13, Num. 4-5, pages 1-14, Cambridge U. Press, August 2013.

  2. Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL'13), LNCS, Vol. 7752, Springer, January 2013.

  3. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Supporting Pruning in Tabled LP. Practical Aspects of Declarative Languages (PADL'13), LNCS, Springer Verlag, January 2013.

  4. Z. Bankovic, P. Lopez-Garcia. Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. Hybrid Artificial Intelligent Systems (HAIS 2013), Lecture Notes in Computer Science, Vol. 8073, pages 401-410, Springer, 2013.

Books and Monographs:

  1. Nataliia Stulova. Dynamic Checking of Assertions for Higher-order Predicates. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 73 pages, July 2013.

  2. Dragan Ivanovic. Analysis of Service-Oriented Computing Systems. Ph.D. Thesis, School of Computer Science, UPM, January 2013.

  3. R. Haemmerlé, J.F. Morales. Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). CoRR abs/1308.2055, 2013.

Articles in Books and Other Collections:

  1. Kerstin Eder, Steve Kerrison, John Gallagher, Pedro Lopez-Garcia. Whole Systems Energy Transparency. Num. 6, pages 67-68, August 2013.

Publications in Refereed Workshops:

  1. 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. Pre-proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13), September 2013.

  2. A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), 15 pages, August 2013. CoRR abs/1308.3940.

  3. D. Ivanovic, P. Kaowichakorn, M. Carro. Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Environment Models. 5th International Workshop on Principles of Engineering Service-Oriented Systems, May 2013.

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Fri Jul 12 04:48:08 PM CEST 2024