CLIP Group's Publications in 2013
Articles in First-Level Refereed Conferences and
Journals:
- A. Serrano, P. Lopez-Garcia, F. Bueno, M. Hermenegildo.
Sized Type Analysis for Logic Programs (Technical Communication).
Theory and Practice of Logic Programming,
29th Int'l. Conference on Logic Programming (ICLP'13) Special Issue,
On-line Supplement,
To Appear, Cambridge U. Press,
August
2013.
To Appear.
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%.
- Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertesz, Michael Parkin, Manuel Carro.
A Survey on Service Quality Description.
ACM Computing Surveys,
To Appear, 2013.
JCR: position (ave) top 11%, impact (ave) 4.59, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 195/1221 (top 16%), impact 1.19. Average position: top 11%.
Articles in Second-Level Refereed Conferences and
Journals:
- 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.
CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.
- P. Chico de Guzmán, and M. Carro, M. Hermenegildo.
Supporting Pruning in Tabled LP.
Practical Aspects of Declarative Languages (PADL'13),
LNCS,
Springer Verlag,
January
2013.
CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.
Articles in Third-Level (or Non-Indexed) Refereed Conferences
and Journals:
- Manuel Carro, Ángel Herranz, Julio Mariño.
A Model-Driven Approach to Teaching Concurrency.
ACM Transactions on Computer Education,
Vol. 13,
Num. 1,
2013.
Last updated on Sun Jun 16 10:44:52 CEST 2013
