Source: http://cliplab.org/clippubsbyyear/node11.html
Timestamp: 2019-04-23 21:58:58+00:00

Document:
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez. From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis. Static Analysis Symposium (SAS'10), LNCS, pages 100-116, Springer, September 2010.
P. López-García, L. Darmawan, F. Bueno. A Framework for Verification and Debugging of Resource Usage Properties. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 104-113, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.
M. Gómez-Zamalloa, E. Albert, G. Puebla. Test Case Generation for Object-Oriented Imperative Languages in CLP. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 659-674, Cambridge U. Press, July 2010.
P. Chico de Guzmán, M. Carro, David S. Warren. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 401-416, Cambridge U. Press, July 2010.
E. Albert, S. Genaim, M. Gómez-Zamalloa. Parametric Inference of Memory Requirements for Garbage Collected Languages. 9th International Symposium on Memory Management (ISMM'10), pages 121-130, ACM Press, June 2010.
D. Ivanovic, M. Carro, M. V. Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Service-Oriented Computing - ICSOC 2010, LNCS, Vol. 6470, pages 350-364, Springer Verlag, 2010.
Mohamed Anis Zemni, Salima Benbernou, M. Carro. A Soft Constraint-Based Approach to QoS-Aware Service Selection. Service-Oriented Computing - ICSOC 2010, LNCS, Vol. 6470, pages 596-602, Springer Verlag, 2010.
A. Stivala, P. J. Stuckey, M. García de la Banda, M. V. Hermenegildo, A. Wirth. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol. 70, Num. 8, pages 839-848, Elsevier, 2010.
JCR: position (ave) top 57%, impact (ave) 0.62, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 356/1221 (top 29%), impact 0.86. Average position: top 30%.
Nicolas Fay, Simon Garrod, Leo Roberts, Nik Swoboda. The Interactive Evolution of Human Communication Systems. Cognitive Science, Vol. 34, pages 351-386, 2010.
JCR: position (ave) top 25%, impact (ave) 2.18, subject(s): PSYCHOLOGY, EXPERIMENTAL Citeseer: position 135/1221 (top 11%), impact 1.38. Average position: top 18%.
Simon Garrod, Nicolas Fay, Shane Rogers, Bradley Walker, Nik Swoboda. Can Iterated Learning Explain the Emergence of Graphical Symbols?. Interaction Studies, Vol. 11, pages 33-50, 2010.
JCR: position (ave) top 23%, impact (ave) 1.36, subject(s): COMMUNICATIONLINGUISTICS Average position: top 23%.
D. Ivanovic, M. Carro, M. V. Hermenegildo. Towards Data-Aware QoS-Driven Adaptation for Service Orchestrations. Proceedings of the 2010 IEEE International Conference on Web Services (ICWS 2010), Miami, FL, USA, 5-10 July 2010, pages 107-114, IEEE, 2010.
CORE: A. Average position: top 33%.
D. Ivanovic, M. Treiber, M. Carro, S. Dustdar. Building Dynamic Models of Service Compositions With Simulation of Provision Resources. Proceedings of the 29th International Conference on Conceptual Modeling (ER 2010), Vancouver, Canada, 1-5 November 2010, LNCS 6412, pages 344-358, Springer, 2010.
E. Albert, M. Gómez-Zamalloa, G. Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM'10), pages 25-28, ACM Press, 2010.
P. López-García, F. Bueno, M. V. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information. New Generation Computing, Vol. 28, Num. 2, pages 117-206, Ohmsha, Ltd. and Springer, 2010.
Martin Leucker, César Sánchez. Regular Linear-Time Temporal Logic. Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), pages 3-5, IEEE Computer Society, 2010.
CORE: A. CiteseerX position (ave) top 51%, impact (ave) 0.135. Average position: top 42%.
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez. Analyzing the Impact of Change in Multi-threaded Programs. Proc. of the 13th Int'l Conf. on Fundamental Approaches to Software Engineering (FASE'10), LNCS, Vol. 6013, pages 293-307, Springer, 2010.
Alejandro Sánchez, César Sánchez. Decision Procedures for the Temporal Verification of Concurrent Lists. Proc. of the 12th Int'l Conf. on Formal Engineering Methods (ICFEM'10), LNCS, Vol. 6447, pages 74-89, Springer, 2010.
CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.142. Average position: top 54%.
E. Mera. A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2010.
M. V. Hermenegildo, T. Schaub. Theory and Practice of Logic Programming. 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue. Vol. 10 (4-6), pages 361-778, Cambridge University Press, July 2010.
M. V. Hermenegildo, T. Schaub. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10). Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.
J.F. Morales. Advanced Compilation Techniques for Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.
M. V. Hermenegildo, J. Palsberg. Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010). ACM, January 2010.
M. Carro, R. Peña-Marí. Practical Aspects of Declarative Languages - 12th. International Symposium, PADL 2010. LNCS, Vol. 5937, Springer-Verlag, January 2010.
G. Barthe, M. V. Hermenegildo. Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010. LNCS, Vol. 5944, Springer, January 2010.
M. V. Hermenegildo, T. Schaub. Introduction to the 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue. Vol. 10, Num. 4-6, pages 361-364, Cambridge University Press, July 2010.
M. V. Hermenegildo, T. Schaub. Introduction to Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10). Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 8-11, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.
Elvira Albert. From Termination to Cost (in Object-Oriented Languages). Workshop on Termination (WST'10), 1 pages, July 2010.
A. Metzger, S. Benbernou, M. Carro, M. Driss, G. Kecskemeti, R. Kazhamiakin, K. Krytikos, A. Mocci, E. Di Nitto, B. Wetzstein, et al.. Analytical Quality Assurance. Service Research Challenges and Solutions for the Future Internet, LNCS, Vol. 6500, pages 209-270, Springer Verlag, 2010.
S. Benbernou, I. Brandic, C. Cappiello, M. Carro, M. Comuzzi, A. Kertész, K. Kritikos, M. Parkin, B. Pernici, P. Plebani. Modeling and Negotiating Service Quality. Service Research Challenges and Solutions for the Future Internet, LNCS, Vol. 6500, pages 157-208, Springer Verlag, 2010.
E. Albert, P. Arenas, S. Genaim, I. Herraiz, G. Puebla. Comparing Cost Functions in Resource Analysis. 1st International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'09), Lecture Notes in Computer Science, Vol. 6234, pages 1-17, Springer, 2010.
D. Ivanovic, M. Carro, M. V. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. International Workshops, ICSOC/ServiceWave 2009, Revised Selected Papers, LNCS, Num. 6275, Springer, September 2010.
E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla. Towards Compositional CLP-based Test Data Generation for Imperative Languages. 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'10), pages 47-57, July 2010. Extended Abstract.
R. Haemmerlé. (Co)inductive Semantics for Constraint Handling Rules. Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2010.
D. Ivanovic, M. Carro, M. V. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Num. CLIP5/2010.0, Technical University of Madrid (UPM), December 2010.
D. Ivanovic, M. Carro, M. V. Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Num. CLIP4/2010.0, 15 pages, Technical University of Madrid (UPM), June 2010. Submitted.
E. Mera, T. Trigo, P. López-García, M. V. Hermenegildo. An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Num. CLIP3/2010.0, 29 pages, Technical University of Madrid (UPM), March 2010.
D. Ivanovic, M. Carro, M. V. Hermenegildo, P. López, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.1, Technical University of Madrid (UPM), March 2010.
P. López-García, L. Darmawan, F. Bueno, M. V. Hermenegildo. Towards a Framework for Resource Usage Verification and Debugging in the CiaoPP System. Num. CLIP1/2010.0, Technical University of Madrid (UPM), February 2010. Available at http://cliplab.org/papers/resource-verif-10-tr.pdf.

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