Source: http://cliplab.org/clippubsbyyear/node16.html
Timestamp: 2019-04-23 22:52:10+00:00

Document:
J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. International Conference on Logic Programming, LNCS, Num. 3668, pages 21-36, Springer Verlag, October 2005.
G. Puebla, E. Albert, M. V. Hermenegildo. A Generic Framework for the Analysis and Specialization of Logic Programs. International Conference on Logic Programming (ICLP 2005), LNCS, Num. 3668, pages 407-409, Springer, October 2005. Extended Abstract.
D. Zanardini. Higher-Order Abstract Non-Interference. Int. Conf. on Typed Lambda Calculi and Applications (TLCA), Lecture Notes in Computer Science, Vol. 3461, Springer-Verlag, Berlin, April 2005.
Citeseer: position 179/1221 (top 15%), impact 1.23. Average position: top 15%.
Mary DeMarco, James Lipton. Completeness and Cut Elimination in Church's Intuitionistic Theory of Types. J. of Logic and Computation, Vol. 15, Num. 6, pages 821-854, 2005.
JCR: position (ave) top 53%, impact (ave) 0.68, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 155/1221 (top 13%), impact 1.29. Average position: top 28%.
G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 149-165, Springer-Verlag, August 2005.
P. López-García, F. Bueno, M. V. Hermenegildo. Determinacy Analysis for Logic Programs Using Mode and Type Information. Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 19-35, Springer-Verlag, August 2005.
E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code . 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), LNAI, Num. 3452, pages 380-397, Springer-Verlag, March 2005.
CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.
M. Hermenegildo, D. Cabeza. Practical Aspects of Declarative Languages - 7th. International Symposium, PADL 2005. LNCS, Num. 3350, 278 pages, Springer-Verlag, January 2005.
G. Puebla, E. Albert, M. Hermenegildo. Abstract Interpretation-based Verification/Certification in the CiaoPP System. Mobile Code Safety and Program Verification Using Computational Logic Tools (MoveLog'05), 9 pages, October 2005.
M. V. Hermenegildo, E. Albert, P. López-García, G. Puebla. Abstraction Carrying Code and Resource-Awareness. 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'05), pages 1-11, ACM Press, July 2005.
Angel Borrego, Nik Swoboda. Images from www.wordww.net. Cárcel de amor: relatos culturales sobre la violencia de género, pages 306-307, Museo Nacional Centro de Arte Reina Sofía, 2005.
Nik Swoboda, Gerard Allwein. Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electronic Notes in Theoretical Computer Science, Vol. 134, pages 153-187, June 2005. Available online http://www.sciencedirect.com/science/journal/15710661.
CORE: C. CiteseerX position (ave) top 38%, impact (ave) 0.203. Average position: top 69%.
A. Casas, D. Cabeza, M. V. Hermenegildo. Functional Notation and Lazy Evaluation in Ciao. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'05, ICLP associated workshop), pages 25-36, October 2005.
G. Puebla, E. Albert, M. V. Hermenegildo. A Generic Framework for the Analysis and Specialization of Logic Programs . The 15th Workshop on Logic-Based Methods in Programming Environments, WLPE'05, 15 pages, October 2005.
E. Albert, G. Puebla, J. Gallagher. A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer. 5th International Workshop on the Implementation of Logics (WIL'04), 9 pages, March 2005.
E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. Num. CLIP8/2005.0, 19 pages, Technical University of Madrid (UPM), October 2005.
F. Bueno. Solving set equations. Num. CLIP9/2005.3(2008), Technical University of Madrid (UPM), September 2005.
E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. Num. CLIP7/2005.0, 30 pages, Technical University of Madrid, July 2005.
G. Puebla, E. Albert, M. V. Hermenegildo. Abstract Interpretation with Specialized Definitions. Num. CLIP6/2005.0, Technical University of Madrid, July 2005.
J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. Num. CLIP3/2005.0, 21 pages, Technical University of Madrid (UPM), May 2005.
E. Albert, G. Puebla, J. Gallagher. A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer. Num. CLIP1/2005.0, 9 pages, Technical University of Madrid, February 2005.
G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. Num. CLIP2/2005.0, Technical University of Madrid, February 2005.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.