PROMESAS
Program in Methods for the Development of Dependable, High-Quality, and Secure Software
(PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro)
English     |     Español
mid
About
Research
  Publications
  Tools Developed
Industrial Participation
People
Talks & Events
Open Positions
Poster
Brochure
Institutional Links
Contact Us
Support
Comunidad de Madrid EU flag

Publications presenting results of the PROMESAS project


Publications are classified according to four ranking databases: JCR (using for each publication venue the average position in the list in 1998-2006), the CORE listings, the CiteSeer impact listings (see also the upgraded CiteSeerX listing) and the CS Conference Rankings. Each of these databases (except CORE) maps venues to a number between 0 and 1 (or 0 and 100%) which corresponds to the position of the corresponding venue divided by the total number of ranked venues (the lower the position the better). CORE classifies venues, instead, into four discrete ranking categories: A+, A, B and C. In order to have a numerical figure with which to compare to the other databases and be able to compute an average value, we have mapped CORE's A+ to top 10%, A to 33%, B to 66% and C to 100%. We obtain an overall numerical ranking for each publication as the extbfaverage of all available rankings for the corresponding venue (some venues do not appear in all ranking databases). Finally, publications are classified according to this average. Publications with average ranking 0-33% are considered as first level, 33-66% are considered as second level and the rest are considered as third level. In the listings, for each publication we report the individual rankings available for the corresponding venue, as well as the global average position, in the form of a percentage.

Articles in First-Level Refereed Conferences and Journals:

  1. 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), pages 25--28, ACM Press, January 2010.
    CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
  2. E. Mera, P. López-García, M. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. International Conference on Logic Programming (ICLP), LNCS, Vol. 5649, pages 281--295, Springer-Verlag, July 2009.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  3. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings. International Conference on Logic Programming (ICLP 2009), LNCS, Num. 5649, 15 pages, Springer-Verlag, July 2009.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  4. Pablo Chico de Guzmán Huerta, Manuel Carro, Manuel Hermenegildo. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), LNCS, Num. 5418, pages 224--238, Springer-Verlag, January 2009.
    CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
  5. G. Puebla, G. Vidal. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09). 200 pages, ACM Digital Library, January 2009.
    CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
  6. E. Albert, P. Arenas, S. Genaim, G. Puebla. Field-Sensitive Value Analysis by Field-Insensitive Analysis. 16th International Symposium on Formal Methods, FM'09, Lecture Notes in Computer Science, Vol. 5850, pages 370--386, Springer, 2009.
    CORE: A. CS Conf Rankings: 0.97. Average position: top 18%.
  7. Bradley Walker, Nicolas Fay, Shane Rogers, Nik Swoboda. Experimental Investigation of the Role of Collaboration in the Evolution of Communication Systems. Proceedings of the 31st Annual Conference of the Cognitive Science, pages 1388--1393, Cognitive Science Society, 2009.
    JCR: position (ave) top 24%, impact (ave) 2.15, subject(s): PSYCHOLOGY, EXPERIMENTAL. PSYCHOLOGY, EXPERIMENTAL -- CORE: A. Citeseer: 135/1221 (11%), impact 1.38. Average position: top 22%.
  8. Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo. Event Based Choreography. Science of Computer Programming, To Appear, 2009. To appear..
    JCR: position (ave) top 39%, impact (ave) 0.77, subject(s): COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING. COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING -- CORE: A. Citeseer: 185/1221 (15%), impact 1.22. Average position: top 29%.
  9. Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Unification and Narrowing in Maude 2.4. Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, Lecture Notes in Computer Science, Vol. 5595, pages 380--390, Springer, 2009.
    CORE: A. Average position: top 33%.
  10. Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou. Sound Multi-party Business Protocols for Service Networks. Proceedings of the Sixth International Conference on Service Oriented Computing, LNCS, Vol. 5364, pages 302--316, Springer-Verlag, December 2008.
    CORE: A. Average position: top 33%.
  11. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo. Negative Ternary Set-Sharing. International Conference on Logic Programming, ICLP, LNCS, Num. 5366, pages 301--316, Springer-Verlag, December 2008.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  12. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Int'l. Conference on Logic Programming, LNCS, Vol. 5366, pages 795--800, Springer Verlag, December 2008. Short paper.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  13. A. Casas, M. Carro, M. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. 24th International Conference on Logic Programming (ICLP'08), LNCS, Vol. 5366, pages 651--666, Springer-Verlag, December 2008.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  14. M. J. Gabbay, A. Mathijssen. One-and-a-halfth-order Logic (journal version). Journal of Logic and Computation, Vol. 18, Num. 4, pages 521--562, November 2008.
    JCR: position (ave) top 49%, impact (ave) 0.68, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 155/1221 (12%), impact 1.29. Average position: top 31%.
  15. Elvira Albert, Puri Arenas, Samir Genaim, German Puebla. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 15-17, 2008, Proceedings, Lecture Notes in Computer Science, Vol. 5079, pages 221--237, Springer-Verlag, July 2008.
    CORE: A. Citeseer: 145/1221 (11%), impact 1.35. CS Conf Rankings: 0.9. Average position: top 18%.
  16. M. Marron, M. Hermenegildo, D. Kapur, D. Stefanovic. Efficient Context-Sensitive Shape Analysis with Graph-Based Heap Models. International Conference on Compiler Construction (CC 2008), Lecture Notes in Computer Science, 15 pages, Springer, April 2008.
    CORE: A. Citeseer: 370/1221 (30%), impact 0.83. CS Conf Rankings: 0.95. Average position: top 22%.
  17. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing Analysis for Java-style Programs. 9th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'08), LNCS, Num. 4905, pages 172--187, Springer-Verlag, January 2008.
    CORE: A. Average position: top 33%.
  18. P. Chico de Guzmán, M. Carro, M. Hermenegildo, Claudio Silva, Ricardo Rocha. An Improved Continuation Call-Based Implementation of Tabling. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 198--213, Springer-Verlag, January 2008.
    CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
  19. I. Mastroeni, D. Zanardini. Data Dependencies and Program Slicing: from Syntax to Abstract Semantics. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), ACM Press, New York, January 2008.
    CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
  20. Guillem Marpons, Julio Mariño, M. Carro, Ángel Herranz, Juan José Moreno-Navarro, Lars-Åke Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 18--34, Springer Verlag, January 2008.
    CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
  21. A. Casas, M. Carro, M. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 230--247, Springer-Verlag, January 2008.
    CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
  22. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61--70, ACM Press, January 2008.
    CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
  23. M. J. Gabbay, A. Mathijssen. Capture-Avoiding Substitution as a Nominal Algebra. Formal Aspects of Computing, Vol. 20, Num. 4-5, pages 451--479, Springer, January 2008.
    CORE: A. Citeseer: 257/1221 (21%), impact 1.06. Average position: top 27%.
  24. S. Estévez-Martín, A.J. Fernández, F. Sáenz-Pérez. Playing with TOY: Constraints and Domain Cooperation. ESOP 2008, Proceedings, Lecture Notes in Computer Science, Vol. 4960, pages 112--115, Springer, 2008.
    CORE: A. Citeseer: 87/1221 (7%), impact 1.58. CS Conf Rankings: 0.92. Average position: top 16%.
  25. Christiano Braga. From Access Control Policies to an Aspect-based Infrastructure: A Metamodel-based Approach. Proceedings of MODELS 2008 Workshops and Symposia, Lecture Notes in Computer Science, Springer, 2008.
    CORE: A. Average position: top 33%.
  26. Viviane Silva. From the Specification to the Implementation of Norms: An Automatic Approach to Generate Rules from Norms to Govern the Behaviour of Agents. International Journal of Autonomous Agents and Mult-Agent Systems, Special Issue on Norms, To Appear, 2008.
    CORE: A. Citeseer: 197/1221 (16%), impact 1.18. Average position: top 24%.
  27. L-Å. Fredlund, H. Svensson. McErlang: a model checker for a distributed functional programming language. Proceedings of the 12th ACM SIGPLAN International conference on functional programming (ICFP 2007), October 2007.
    CORE: A+. Citeseer: 81/1221 (6%), impact 1.62. CS Conf Rankings: 0.97. Average position: top 6%.
  28. P. Pietrzak, M. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, Num. 4670, pages 333--347, Springer-Verlag, September 2007.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  29. R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda. Declarative Debugging of Missing Answers in Constraint Functional- Logic Programming. 23rd International Conference on Logic Programming (ICLP 2007), LNCS, pages 425--427, Springer-Verlag, September 2007.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  30. J. Lipton, S. Nieva. Higher-Order Logic Programming Languages with Constraints: A Semantics. Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, Vol. 4583, pages 272--289, Springer, June 2007.
    Citeseer: 179/1221 (14%), impact 1.23. Average position: top 14%.
  31. J. Lipton, S. Nieva. Higher-Order Logic Programming Languages with Constraints: A Semantics. 8th International Conference Typed Lambda Calculi and Applications (TLCA 2007), LNCS, Num. 4583, pages 272--289, Springer-Verlag, June 2007.
    Citeseer: 179/1221 (14%), impact 1.23. Average position: top 14%.
  32. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs. Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), LNCS, Num. 4354, pages 124--139, Springer-Verlag, January 2007.
    CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
  33. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Combining Static Analysis and Profiling for Estimating Execution Times. Ninth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 4354, pages 140--154, Springer-Verlag, January 2007.
    CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
  34. C. Ochoa, G. Puebla. Poly-Controlled Partial Evaluation in Practice. ACM Partial Evaluation and Program Manipulation (PEPM'07), pages 164--173, ACM Press, January 2007.
    CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
  35. J. Navas, E. Mera, P. López-García, M. Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. 23rd International Conference on Logic Programming (ICLP'07), LNCS, Vol. 4670, pages 348--363, Springer, 2007.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  36. Patrick G.T. Healey, Nik Swoboda, Ichiro Umata, James King. Graphical Language Games: Interactional constraints on representational form. Cognitive Science, Vol. 31, pages 285--309, 2007.
    JCR: position (ave) top 24%, impact (ave) 2.15, subject(s): PSYCHOLOGY, EXPERIMENTAL. PSYCHOLOGY, EXPERIMENTAL -- CORE: A. Citeseer: 135/1221 (11%), impact 1.38. Average position: top 22%.
  37. David Basin, Jürgen Doser, Manuel Clavel, Marina Egea. A Metamodel-Based Approach for Analyzing Security-Design Models. Model Driven Engineering Languages and Systems-- 10th International Conference --MoDELS 2007, Lecture Notes for Computer Science, Vol. 4735, pages 420--435, Springer, 2007.
    CORE: A. Average position: top 33%.
  38. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo. Strategies and simulations in a semantic framework. Journal of Algorithms, Vol. 62, Num. 3-4, pages 95--116, 2007. Special number associated to the Brazilian Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2006.
    CORE: A. Citeseer: 126/1221 (10%), impact 1.42. Average position: top 21%.
  39. M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. A Static Heap Analysis for Shape and Connectivity. Languages and Compilers for Parallel Computing (LCPC'06), Lecture Notes in Computer Science, Vol. 4382, pages 345--363, Springer, November 2006.
    Citeseer: 186/1221 (15%), impact 1.22. Average position: top 15%.
  40. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 431--432, Springer-Verlag, August 2006.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  41. G. Puebla, E. Albert, M. Hermenegildo. Abstract Interpretation with Specialized Definitions. The 13th International Static Analysis Symposium (SAS'06), LNCS, Num. 4134, pages 107--126, Springer, August 2006.
    CORE: A. Citeseer: 145/1221 (11%), impact 1.35. CS Conf Rankings: 0.9. Average position: top 18%.
  42. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 163--178, Springer-Verlag, August 2006.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  43. R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda. Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP 2006, Lecture Notes in Computer Science, Vol. 4079, pages 421--422, Springer, 2006.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  44. R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda. Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. Proc. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Vol. 4079, pages 421--422, Springer, 2006.
    CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
  45. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio. Towards Improving Skeletons in Eden. Parallel Computing: Current & Future Issues of High-End Computing (Proc. of the Int. Conf. ParCo 2005), pages 843--849, NIC Series (John von Neumann Institute for Computing). NIC-Directors, 2006.
    CORE: A. Average position: top 33%.
  46. Fernando Rosa-Velardo, David de Frutos-Escrig. Symbolic Semantics for the verification of security properties of mobile Petri Nets. Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA'06, LNCS, Vol. 4218, pages 461--476, Springer, 2006.
    CORE: A. Average position: top 33%.


Articles in Second-Level Refereed Conferences and Journals:

  1. G. Puebla, E. Albert, M. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks. Theory and Practice of Logic Programming, To Appear, Cambridge U. Press, 2010.
    JCR: position (ave) top 31%, impact (ave) 1.23, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING. COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impact 0.66. Average position: top 34%.
  2. D. Cabeza, M. Hermenegildo. Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, Vol. 46, Num. 410, pages 4704--4723, Elsevier Science, October 2009.
    JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
  3. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Type-based Homeomorphic Embedding for Online Termination. Information Processing Letters, Vol. 109, pages 879--886, Elsevier, July 2009.
    JCR: position (ave) top 65%, impact (ave) 0.66, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS. COMPUTER SCIENCE, INFORMATION SYSTEMS -- CORE: B. Citeseer: 551/1221 (45%), impact 0.58. Average position: top 58%.
  4. E. Albert, S. Genaim, M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. 8th international symposium on Memory management, pages 129--138, ACM Press, June 2009.
    CORE: B. Citeseer: 117/1221 (9%), impact 1.47. Average position: top 37%.
  5. M. Marron, D. Kapur, M. Hermenegildo. Identification of Logically Related Heap Regions. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.
    CORE: B. Citeseer: 117/1221 (9%), impact 1.47. Average position: top 37%.
  6. E. Albert, M. Gómez-Zamalloa, G. Puebla. Test Data Generation of Bytecode by CLP Partial Evaluation. 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08), LNCS, Num. 5438, pages 4--23, Springer-Verlag, March 2009.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  7. E. Albert, P. Arenas, D. Alonso, S. Genaim, G. Puebla. Asymptotic Resource Usage Bounds. The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09), Lecture Notes in Computer Science, Springer, 2009.
    CORE: B. CS Conf Rankings: 0.93. Average position: top 36%.
  8. Vincenzo Ciancia, Ugo Montanari. Symmetries, Local Names and Dynamic (De)-allocation of Names. Information and Computation, To Appear, 2009. To appear..
    JCR: position (ave) top 39%, impact (ave) 0.82, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impact 1.48. Average position: top 49%.
  9. José Meseguer, Miguel Palomino, Narciso Mart&\acute;i-Oliet. Algebraic Simulations. Journal of Logic and Algebraic Programming, Vol. 79, Num. 2, 2009.
    JCR: position (ave) top 37%, impact (ave) 1.06, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Average position: top 35%.
  10. Fernando Rosa-Velardo, David de Frutos-Escrig. Decidability results for restricted models of Petri nets with name creation and replication. 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2009, Lecture Notes in Computer Science, Vol. 5606, pages 63--82, Springer, 2009. Best paper award.
    CORE: B. Citeseer: 427/1221 (34%), impact 0.74. CS Conf Rankings: 0.54. Average position: top 48%.
  11. M. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur. Sharing Analysis of Arrays, Collections, and Recursive Structures. ACM WS on Program Analysis for Software Tools and Engineering (PASTE'08), ACM, November 2008.
    CORE: B. Citeseer: 235/1221 (19%), impact 1.1. Average position: top 42%.
  12. J. Mariño, J. J. Moreno-Navarro, S. Muñoz. Implementing Constructive Intensional Negation. New Generation Computing, Vol. 27, Num. 1, November 2008.
    JCR: position (ave) top 58%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURE. COMPUTER SCIENCE, HARDWARE & ARCHITECTURE -- CORE: B. Citeseer: 305/1221 (24%), impact 0.97. Average position: top 49%.
  13. J. Morales, M. Carro, M. Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 32--43, ACM Press, July 2008.
    CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
  14. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174--184, ACM Press, July 2008.
    CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
  15. J. Garrigue, M. Hermenegildo. Functional and Logic Programming, 9th International Symposium, FLOPS'08. LNCS, Num. 4989, Springer, April 2008.
    CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
  16. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Removing Useless Variables in Cost Analysis of Java Bytecode. ACM Symposium on Applied Computing (SAC) - Software Verification Track (SV08), pages 368--375, ACM Press, New York, March 2008.
    CORE: B. Citeseer: 782/1221 (64%), impact 0.31. CS Conf Rankings: 0.85. Average position: top 48%.
  17. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), LNCS, Vol. 4915, pages 23--42, Springer-Verlag, February 2008.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  18. M. J. Gabbay. A study of substitution, using nominal techniques and Fraenkel-Mostowski sets. Theoretical Computer Science, To Appear, 2008.
    JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
  19. M. J. Gabbay, M. Hofmann. Nominal renaming sets. LPAR'08, pages 158--173, 2008.
    CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
  20. R. Caballero, M. Rodríguez-Artalejo, C.A.Romero-Díaz. Similarity-based reasoning in qualified logic programming. Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 185--194, ACM, 2008.
    CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
  21. S. Estévez-Martín, A.J. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda. Cooperation of Constraint Domains in the TOY System. PPDP'08: Proceedings of the 12th ACM SIGPLAN international conference on Principles and practice of declaritive programming, pages 258--268, ACM Press, 2008. .
    CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
  22. F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández. Rewriting and Call-time choice: the HO case. Proc. 9th International Symposium on Functional and Logic Programming (FLOPS'08), LNCS, Vol. 4989, pages 147--162, Springer, 2008.
    CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
  23. S. Nieva, F. Sáenz-Pérez, J. Sánchez. Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation. Proc. 9th International Symposium on Functional and Logic Programming (FLOPS'08), LNCS, Vol. 4989, pages 289--304, Springer, 2008.
    CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
  24. M. Rodríguez-Artalejo, C.A. Romero-Díaz. Quantitative Logic Programming Revisited. Functional and Logic Programming (FLOPS'08), LNCS, Vol. 4989, pages 272--288, Springer Verlag, 2008.
    CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
  25. C. Segura, I. Pita, R. del Vado-Vírseda, A.I. Saiz, P. Soler. Interactive Learning of Data Structures and Algorithmic Schemes. ICCS '08: Proceedings of the 8th International Conference on Computational Science, Lecture Notes in Computer Science, Vol. 5101, pages 800--809, Springer, 2008.
    CORE: A. Citeseer: 1116/1221 (91%), impact 0.05. Average position: top 62%.
  26. C. Segura, I. Pita, R. del Vado-Vírseda, A.I. Saiz, P. Soler. Interactive Learning of Data Structures and Algorithmic Schemes. ICCS '08: Proceedings of the 8th International Conference on Computational Science, Lecture Notes in Computer Science, Vol. 5101, pages 800--809, Springer, 2008.
    CORE: A. Citeseer: 1116/1221 (91%), impact 0.05. Average position: top 62%.
  27. David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino. Ready to preorder: an algebraic and general proof. Journal of Logic and Algebraic Programming, Vol. 78, Num. 7, pages 539--551, 2008.
    JCR: position (ave) top 37%, impact (ave) 1.06, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Average position: top 35%.
  28. José Meseguer, Miguel Palomino, Narciso Mart&\acute;i-Oliet. Equational Abstractions. Theoretical Computer Science, Vol. 403, Num. 2-3, pages 239--264, 2008.
    JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
  29. Manuel Montenegro, Ricardo Peña, Clara Segura. An Inference Algorithm for Guaranteeing Safe Destruction. 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR'08, Lecture Notes in Computer Science, Vol. 5438, pages 135--151, 2008.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  30. E. Albert, S. Genaim, M. Gómez-Zamalloa. Heap Space Analysis for Java Bytecode. Proceedings of the 6th International Symposium on Memory Management (ISMM'07), pages 105--116, ACM Press, October 2007.
    CORE: B. Citeseer: 117/1221 (9%), impact 1.47. Average position: top 37%.
  31. M. Méndez-Lojo, J. Navas, M. Hermenegildo. A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007), LNCS, Num. 4915, pages 154--168, Springer-Verlag, August 2007.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  32. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), LNCS, Num. 4915, pages 138--153, Springer-Verlag, August 2007.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  33. J.F. Morales, M. Carro, M. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Logic-Based Program Synthesis and Transformation (LOPSTR'06), LNCS, Num. 4407, pages 77--93, July 2007.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  34. M. Marron, D. Stefanovic, M. Hermenegildo, D. Kapur. Heap Analysis in the Presence of Collection Libraries. ACM WS on Program Analysis for Software Tools and Engineering (PASTE'07), ACM, June 2007.
    CORE: B. Citeseer: 235/1221 (19%), impact 1.1. Average position: top 42%.
  35. Viviane Silva, Carlos Lucena. Modeling Multi-Agent Systems. Communications of the ACM, Vol. 50(5), pages 103--108, May 2007.
    CORE: B. Average position: top 66%.
  36. G. Puebla. Logic Based Program Synthesis and Transformation (LOPSTR'06). LNCS, Num. 4407, 237 pages, Springer, March 2007.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  37. J. Mariño, A. Herranz, J. J. Moreno-Navarro. Demandedness Analysis with Partial Predicates. Theory and Practice of Logic Programming, Vol. 7, Num. 1-2, pages 153--182, January 2007.
    JCR: position (ave) top 31%, impact (ave) 1.23, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING. COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impact 0.66. Average position: top 34%.
  38. M. J. Gabbay. A general mathematics of names. Information and Computation, Vol. 205, Num. 7, pages 982--1011, 2007.
    JCR: position (ave) top 39%, impact (ave) 0.82, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impact 1.48. Average position: top 49%.
  39. M. Fernández, M. J. Gabbay. Nominal Rewriting (journal version). Information and Computation, Vol. 205, Num. 6, pages 917--965, 2007.
    JCR: position (ave) top 39%, impact (ave) 0.82, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impact 1.48. Average position: top 49%.
  40. L-Å. Fredlund, H. Svensson. McErlang: a model checker for a distributed functional programming language. ACM SIGPLAN Notices, Vol. 42, Num. 9, pages 125--136, 2007.
    Citeseer: 786/1221 (64%), impact 0.31. Average position: top 64%.
  41. R. del Vado-Vírseda. A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. ICTAC, Lecture Notes in Computer Science, Vol. 4711, pages 169--184, Springer, 2007.
    CORE: B. Average position: top 66%.
  42. A.J. Fernández, T. Hortalá-González, F. Sáenz-Pérez, R. del Vado-Vírseda. Constraint Functional Logic Programming over Finite Domains. Theory and Practice of Logic Programming, Vol. 7, Num. 5, pages 537--582, Cambridge University Press, 2007.
    JCR: position (ave) top 31%, impact (ave) 1.23, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING. COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impact 0.66. Average position: top 34%.
  43. F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández. A simple rewrite notion for call-time choice semantics. Principles and Practice of Declarative Programming (PPDP 2007), pages 197--208, 2007.
    CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
  44. F.J. López-Fraguas, M. Rodríguez-Artalejo, R. del Vado-Vírseda. A new generic scheme for functional logic programming with constraints. Higher-Order and Symbolic Computation, Vol. 20, Num. 1-2, pages 73--122, 2007.
    CORE: C. Citeseer: 193/1221 (15%), impact 1.19. Average position: top 57%.
  45. Manuel Clavel, José Meseguer, Miguel Palomino. Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn-Logic with Equality, and Rewriting Logic. Theoretical Computer Science, Vol. 373, Num. 1-2, pages 70--91, Elsevier, 2007.
    JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
  46. David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez. New Bisimulation Semantics for Distributed Systems. Formal Techniques for Networked and Distributed Systems, FORTE 2007, Lecture Notes in Computer Science, Vol. 4574, pages 143--159, Springer, 2007.
    CORE: A. Citeseer: 497/1221 (40%), impact 0.66. Average position: top 36%.
  47. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén. To be or not to be lazy. 19th Intl. Symposium on the Implementation of Functional Languages (IFL 2007), pages 89--106, University of Kent, Canterbury (UK), 2007.
    Citeseer: 546/1221 (44%), impact 0.58. Average position: top 44%.
  48. Fernando Rosa-Velardo, David de Frutos-Escrig. Name Creation vs. Replication in Petri Net Systems. 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Lecture Notes in Computer Science, Vol. 4546, pages 402--422, Springer, 2007.
    CORE: B. Citeseer: 427/1221 (34%), impact 0.74. CS Conf Rankings: 0.54. Average position: top 48%.
  49. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), LNCS, Num. 4246, pages 377--391, Springer-Verlag, November 2006.
    CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
  50. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Num. 4246, pages 392--406, Springer-Verlag, November 2006.
    CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
  51. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Num. 4246, pages 392--406, Springer-Verlag, November 2006.
    CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
  52. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo. High-Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271--281, ACM Press / Sheridan, October 2006.
    CORE: A. Citeseer: 618/1221 (50%), impact 0.5. CS Conf Rankings: 0.81. Average position: top 34%.
  53. M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, P. Lopez-Garcia, M. Méndez-Lojo, G. Puebla. Advanced Program Development Using Abstract Interpretation. ACM SAC'06, ACM Symposium in Applied Computing (keynote address), April 2006.
    CORE: B. Citeseer: 782/1221 (64%), impact 0.31. CS Conf Rankings: 0.85. Average position: top 48%.
  54. J. Correas, G. Puebla, M. Hermenegildo, F. Bueno. Experiments in Context-Sensitive Analysis of Modular Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 163--178, Springer-Verlag, April 2006.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  55. G. Puebla, C. Ochoa. Poly-Controlled Partial Evaluation. 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), pages 261--271, ACM Press, 2006.
    CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
  56. J.M. Cleva, I. Pita. Verification of CRWL Programs with Rewriting Logic. Journal of Universal Computer Science, Vol. 12, Num. 11, pages 1594--1617, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
  57. J. Sánchez-Hernández. Constructive Failure in Functional-Logic Programming: From Theory to Implementation. Journal of Universal Computer Science, Vol. 12, Num. 11, pages 1574--1593, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
  58. J. Sánchez-Hernández. Constructive Failure in Functional-Logic Programming: from Theory to Implementation. Journal of Universal Computer Science, Vol. 12, Num. 11, pages 1574--1593, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
  59. Manuel Clavel, Miguel Palomino, Adriá Riesco. Introducing the ITP Tool: a Tutorial. Journal of Universal Computer Science, Vol. 12, Num. 11, pages 1618--1650, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
  60. David de Frutos-Escrig, Carlos Gregorio-Rodríguez. Process Equivalences as Global Bisimulations. Journal of Universal Computer Science, Vol. 12, Num. 11, pages 1521--1550, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
  61. José Miguel Cleva, Isabel Pita. Verification of CRWL Programs with Rewriting Logic. Journal of Universal Computer Science, Vol. 12, Num. 11, pages 1594--1617, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
  62. José-Ramón Sánchez-Couso, María-Inés Fernández-Camacho. Reductions in binary search trees. Theoretical Computer Science, Vol. 355(3), pages 327--353, 2006.
    JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
  63. Alberto Verdejo, Narciso Martí-Oliet. Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming, Vol. 67, pages 226--293, 2006.
    JCR: position (ave) top 37%, impact (ave) 1.06, subject(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Average position: top 35%.


Books and Monographs:

  1. E. Albert, S. Genaim. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation. Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 1--2, Elsevier - North Holland, March 2009.
  2. G. Puebla, G. Vidal. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09). 200 pages, ACM Digital Library, January 2009.
    CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
  3. José-Ramón Sánchez-Couso . Análisis de características en el modelo BST. Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Fac. CC Matemáticas, Universidad Complutense de Madrid, 2009.
  4. A. Casas. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. Ph.D. Thesis, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA), September 2008.
  5. M. Méndez-Lojo. A Generic Approach to Bytecode Analysis. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.
  6. J. Navas. Analysis and Inference of Resource Usage Information. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.
  7. J. Correas. Analysis and Verification of Modular Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2008.
  8. J. Correas. Análisis y Verificación de Programas Modulares. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2008.
  9. J. Garrigue, M. Hermenegildo. Functional and Logic Programming, 9th International Symposium, FLOPS'08. LNCS, Num. 4989, Springer, April 2008.
    CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
  10. M. Hermenegildo. ACM SIGPLAN-Intel Workshop on Declarative Aspects of Multicore Programming, DAMP'08, Informal Proceedings. January 2008.
  11. D. Krizanc, J. Lipton. Formal Treatment of Secure Protocols. pages 74--91, IOS Press, 2008.
  12. Marina Egea. An executable formal semantics for OCL with Applications to Formal Analysis and Validation-Draft Version. Ph.D. Thesis, Universidad Complutense de Madrid, 2008.
  13. L. Sánchez-Gil. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. Ms. Thesis, Universidad Complutense de Madrid (Departamento de Sistemas Informáticos y Computación), 2008.
  14. Fernando Rosa-Velardo. Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos. Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, November 2007.
  15. F. Sáenz-Pérez. DES: un recurso para el aprendizaje de bases de datos deductivas. Thomson, July 2007.
  16. G. Puebla. Logic Based Program Synthesis and Transformation (LOPSTR'06). LNCS, Num. 4407, 237 pages, Springer, March 2007.
    CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
  17. R. Caballero, T. Hortalá, N. Martí, S. Nieva, A. Pareja, M. Rodríguez. Matemática Discreta para Informáticos. Pearson Publicaciones, 2007.
  18. S. Estévez-Martín, A. Fernández, F. Sáenz-Pérez. About Implementing a Constraint Functional Logic Programming System with Solver Cooperation. pages 57--71, Proceedings of Ciclops'07, 2007.
  19. F.J. López-Fraguas (editor). Special issue with Proc. WFLP 2006. Electronic Notes in Theoretical Computer Science, Vol. 177, Num. , Elsevier Science, 2007.
  20. F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández. Bundles Pack Tighter than Lists. 2007.
  21. Christiano Braga (editor). Special number associated to the Brazilian Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2006. Elsevier, 2007.
  22. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln and Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. All About Maude: A High-Performance Logical Framework. Lecture Notes in Computer Science, Vol. 4350, Springer, 2007.
  23. Dave Barker-Plummer, Richard Cox, Nik Swoboda. Diagrammatic Representation and Inference. Lecture Notes in Artificial Intelligence, Num. 4045, 300 pages, Springer, June 2006.
  24. A. Sarasa, R. del Vado-Vírseda. Propositional Logic Learning Objects. pages 183--186, Universidad de Salamanca, 2006.


Invited Papers and Tutorials:

  1. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.
  2. J. Martinez, I. Pérez, S. Muñoz, D. Lancho. Thin Client Technology in the Academic Environment. IV Congreso Universidad y Cooperación al Desarrollo, November 2008.
  3. M. Freire Morán, J. Mariño. Voto Útil. Num. 193, 2008.
  4. J. Mariño, O. Martín Sánchez. Las luces de la escalera. Num. 191, pages 72--74, 2008.
  5. C. Pareja, J. Mariño. Papiroflexia. Vol. 1, Num. 189, pages 73--75, September 2007.
  6. G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard. MOBIUS: Mobility, Ubiquity, Security: Objectives and progress report. Trustworthy Global Computing'06, LNCS, Num. 4661, pages 10--29, March 2007.
  7. The Ciao Development Team. The Ciao Multiparadigm Language and Program Development Environment. 6 pages, November 2006. The ALP Newsletter 19(3). The Association for Logic Programming..
  8. G. Puebla, E. Albert, P. Arenas, M. Hermenegildo. On Abstraction-Carrying Code and Certificate-Size Reduction. 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), 15 pages, March 2006.


Articles in Books and Other Collections:

  1. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Resource Usage Analysis and its Application to Resource Certification. 9th Internation School on Foundations of Security Analysis and Design (FOSAD'09), Lecture Notes in Computer Science, Num. 5705, pages 258--288, Springer, 2009.
  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Num. 5065, pages 209--237, Springer-Verlag, June 2008.
  3. Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo. Declarative debugging of membership equational logic specifications. Concurrency, Graphs and Models, Ugo Montanari's Festschrift, Lecture Notes for Computer Science, Vol. 5065, pages 174--193, Springer, 2008.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. P. López-García, F. Bueno, M. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information. New Generation Computing, To Appear, 2010.
  2. David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer. Automatic Generation of Smart, Security-Aware GUI Models. Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings, Lecture Notes in Computer Science, pages 201--217, Springer, 2010.
  3. Narciso Martí-Oliet. An introduction to Maude and some of its applications. Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, Lecture Notes in Computer Science, Vol. 5937, pages 4--9, Springer, 2010.
  4. Fernando Rosa-Velardo, David de Frutos-Escrig. (Un)decidability in Petri Nets with Name Creation and Replication. submitted, To Appear, 2010.
  5. Fernando Rosa-Velardo, Giorgio Delzanno. A Language-based Comparison of Nets with Black Tokens, Pure Names and Ordered Data. 4th International Conference on Language and Automata Theory and Applications, LATA 2010, Lecture Notes in Computer Science, Vol. to appear, 2010.
  6. M. Gómez-Zamalloa, E. Albert, G. Puebla. Decompilation of Java Bytecode to Prolog by Partial Evaluation. Information and Software Technology, Vol. 51, pages 1409--1427, Elsevier, October 2009.
  7. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramirez, G. Román, D. Zanardini. Termination and Cost Analysis with COSTA and its User Interfaces. Spanish Conference on Programming and Computer Languages (PROLE'09 ), ENTCS, Vol. 258, pages 109--121, Elsevier, September 2009.
  8. J. de Dios, R. Peña. Formal Certification of a Resource-Aware Language Implementation. 22nd Int. Conf. on Theorem Proving in Higher Order Logics, TPHOL'09, Munich (Germany), Lecture Notes in Computer Science, Vol. 5674, pages 196--211, Springer, August 2009.
  9. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.
  10. 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), 2009.
  11. David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea. Automated analysis of security-design models. Information & Software Technology, Vol. 51, Num. 5, pages 815--831, 2009.
  12. Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci. A presheaf environment for the calculus of explicit fusions. Submitted, To Appear, 2009.
  13. Vincenzo Ciancia, Alexander Kurz, Ugo Montanari. Families of symmetries for the semantics of programming languages. Submitted, To Appear, 2009.
  14. Vincenzo Ciancia, Emilio Tuosto. A novel class of automata for languages on infinite alphabets. Submitted, To Appear, 2009.
  15. de Frutos Escrig, David, Carlos Gregorio- Rodr&\acute;iguez, Miguel Palomino. On the unification of semantics for processes: observational semantics. SOFSEM 09: Theory and Practice of Computer Science. 35th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml ýn, Czech Republic, January 24--30, 2009, Proceedings, Lecture Notes in Computer Science, Vol. 5404, pages 279--290, Springer, 2009.
  16. de Frutos Escrig, David, Carlos Gregorio- Rodr&\acute;iguez, Miguel Palomino. On the unification of semantics for processes: equational semantics. Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, Vol. 249, pages 243--267, Elsevier, 2009.
  17. David de Frutos-Escrig, Carlos Gregorio-Rodríguez. (Bi)simulations up-to characterise process semantics. Inf. Comput., Vol. 207, Num. 2, pages 146--170, Elsevier, 2009.
  18. Ignacio Fábregas, Miguel Palomino, de Frutos-Escrig, David. Non-strongly stable orders also define interesting simulation relations. Algebra and Coalgebra in Computer Science, Third conference CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, Lecture Notes in Computer Science, Vol. 5728, pages 221--235, Springer, 2009.
  19. Baldoino Neto, Andrew Costa, Manoel Teixeira, Carlos Lucena and Viviane Silva. JAAF-S: A Framework to implement Autonomic Agents able to deal with web services. 4th International Conference on Software and Data Techniques (ICSOFT), 2009.
  20. Baldoino Neto, Andrew Costa, Manoel Teixeira, Viviane Silva and Carlos Lucena . JAAF: A Framework to Implement Self-Adaptive Agents. 21st International Conference on Software Engineering and Knowledge Engineering (SEKE), 2009.
  21. L. Sánchez-Gil, M. Hidalgo-Herrero, Y. Ortega-Mallén. An Operational Semantics for Distributed Lazy Evaluation. Tenth symposium on Trends in Functional Programming, TFP'09, pages 222--239, Eötvös Loránd University, 2009.
  22. M. Schläpfer, M. Egea, D. Basin, M. Clavel. Automatic Generation of Security-Aware GUI Models. European Workshop on Security in Model Driven Arquitecture 2009 (SEC-MDA 2009), Workshop Proceedings Series, Num. WP09-06, pages 42--56, CTIT, Enschede, the Netherlands, 2009.
  23. Viviane Silva, Ramón Hermoso, Roberto Centeno. A Hybrid Reputation Model Based on the Use of Organization. Coordination, Organizations, Institutions, and Norms in Agent Systems III, Lecture Notes in Computer Science, Vol. 5429, pages 111--125, Springer, 2009.
  24. F. Escudero, S. Muñoz, D. Pérez, F. Suarez. C&D-learning: B-learning eficiente adaptado a paises en desarrollo con bajos recursos. IV Congreso Universidad y Cooperación al Desarrollo, November 2008.
  25. G. Marpons, J. Mariño, M. Carro, A. Herranz, L-Å. Fredlund, J. J. Moreno Navarro, A. Polo. A Coding Rule Conformance Checker Integrated into GCC. VIII Jornadas sobre Programación y Lenguajes, PROLE'08, October 2008.
  26. I. Pérez, A. Herranz, S. Muñoz, J. J. Moreno Navarro. Modelling Mash-Up Resources. 13th Conference on Software Engineering and Databases, JISBD'08, pages 135--146, October 2008.
  27. M. Gómez-Zamalloa, E. Albert, G. Puebla. Modular Decompilation of Low-Level Code by Partial Evaluation. 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08), pages 239--248, IEEE Computer Society, September 2008.
  28. D. Zanardini. The Semantics of Abstract Program Slicing. 8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08), IEEE Computer Society, September 2008.
  29. E. J. Gallego Arias, J. Lipton, J. Mariño, P. Nogueira. First-order Unification Using Variable-free Relational Algebra. Proceedings of the 22nd International Conference on Unification (UNIF'08), July 2008.
  30. Adrián Riesco, Alberto Verdejo, Narciso Martí- Oliet and Rafael Caballero. A declarative debugger for Maude. Algebraic Methodology and Software Technology --- 12th International Conference, AMAST 2008, Lecture Notes in Computer Science, Vol. 5140, pages 116--121, Springer, July 2008.
  31. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Lecture Notes in Computer Science, Vol. 5051, pages 2--18, Springer-Verlag, Berlin, June 2008.
    CORE: C. Average position: top 100%.
  32. G. Marpons, J. Mariño, A. Polo. Adding Coding Rule Checking Capabilities to the GCC Toolchain. Proceedings of the GCC Developers' Summit 2008, pages 43--54, June 2008.
  33. E. Albert, G. Puebla, M. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, Vol. 26, Num. 2, pages 171--204, March 2008.
  34. A. de la Encina, R. Peña. From Natural Semantics to C: A Formal Derivation of two STG Machines. Journal of Functional Programming, Vol. 19, Num. 1, Cambridge University Press, To Appear, January 2008.
  35. E. Albert, P. Arenas, S. Genaim, G. Puebla. Cost Relation Systems: a Language--Independent Target Language for Cost Analysis. 8th Spanish Conference on Programming and Computer Languages (PROLE'08), Electronic Notes in Theoretical Computer Science, Vol. 17615, Elsevier, 2008.
  36. Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda. Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrammatic Representation and Inference, Lecture Notes in Artificial Intelligence, Vol. 5223, pages 347--349, Springer, 2008.
  37. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Lecture Notes in Computer Science, Vol. 5051, pages 2--18, Springer, 2008.
    CORE: C. Average position: top 100%.
  38. O. Hermant, J. Lipton. A constructive semantic approach to cut elimination in type theories with axioms. Computer Science Logic, Lecture Notes in Computer Science, Vol. 5213, pages 169--183, Springer, 2008.
  39. M. J. Gabbay, M. Gabbay. a-logic with arrows (journal version). Electronic Notes in Theoretical Computer Science, Vol. 216, pages 3--29, 2008.
  40. M. J. Gabbay, M. Gabbay. Substitution for Fraenkel-Mostowski foundations. Proceedings of the 2008 AISB Symposium on Computing and Philosophy, pages 65--72, 2008.
  41. C. Benac Earle, L-Å. Fredlund, J. Iglesias, A. Ledezma. Verifying Robocup Teams. In Proceedings of the 2008 workshop on Model Checking and Artificial Intelligence (MochART), 2008.
  42. O. Hermant. Skolemization in various intuitionistic logics. Archive for Mathematical Logic, To Appear, Springer, 2008.
  43. M. Rodríguez-Artalejo, C.A.Romero-Díaz. Qualified Logic Programming with Bivalued Predicates. Proceedings of PROLE'08, 2008.
  44. Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal and Ismael Rodríguez, Fernando Rubio. Testing the Behaviour of Entities in a Cognitive Language. International Journal of Cognitive Informatics and Natural Intelligence, Vol. 2, Num. 1, pages 29--43, 2008.
  45. Manuel Clavel, Viviane Silva, Christiano Braga, Marina Egea. Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA '08: Proceedings of Model Driven Architecture - Industrial Track, Lecture Notes in Computer Science, Vol. 5095, pages 327--338, Springer-Verlag, 2008.
  46. Andrew Costa, Carlos Lucena, Viviane Silva, Sergio Azevedo and Favio Soares. Computing Reputation in the Art Context: Agent Design to Handle Negotiation Challenges. Trust in Agent Societies, 2008.
  47. Cristóbal Pareja Flores, Jaime Urquiza Fuentes y J. Ángel Velázquez Iturbide. Web-Based Algorithm and Program Visualization for Education. Web-based Education: Learning from Experience, pages 4093--4098, Idea Group Publishing, 2008.
  48. Fernanda Duran, Viviane Silva, Carlos Lucena. Using Testimonies to Enforce the Behavior of Agents. Coordination, Organizations, Institutions, and Norms in Agent Systems III, Lecture Notes in Artificial Inteligence, Vol. 4870, pages 218--231, Springer, 2008.
  49. Fernando Rosa-Velardo,, David de Frutos-Escrig. Name creation vs. replication in Petri net systems. Fundamenta Informaticae, Vol. 88, Num. 3, pages 329--356, 2008.
  50. David de Frutos-Escrig, Carlos Gregorio-Rodríguez. Universal Coinductive Characterisations of Process Semantics. IFIP TCS, pages 397--412, Springer, 2008.
  51. de Frutos-Escrig, David, Miguel Palomino, Ignacio Fábregas. Multiset Bisimulation as a Common Framework for Ordinary and Probabilistic Bisimulations. Formal Techniques for Networked and Distributed Systems --- FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, Lecture Notes in Computer Science, Vol. 5048, pages 283--298, Springer, 2008.
  52. de Frutos-Escrig, David, Carlos Gregorio- Rodr&\acute;iguez, Miguel Palomino. Coinductive characterisations reveal nice relations between preorders and equivalences. The First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Electronic Notes in Theoretical Computer Science, Vol. 212, pages 149--162, Elsevier, 2008.
  53. Jose Guedes, Viviane Silva, Carlos Lucena. A Reputation Model Based on testimonies. Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop, Lecture Notes in Artificial Inteligence, Vol. 4898, pages 37--52, Springer-Verlag, 2008.
  54. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén. Calculational Reasoning for Parallel Functional Programming.. 9th Intl. Symposium on Trends in Functional Programming (TFP 2008), pages 377--395, Radboud University Nijmegen, The Netherlands, 2008.
  55. J. Ángel Velázquez-Iturbide, Cristóbal Pareja-Flores and Jaime Urquiza-Fuentes. An Instructors' Guide to Design Web-Based Algorithm Animations. 6th International Conference on Web Based Learning - ICWL 2007, Lecture Notes in Computer Science, Vol. 4823, Springer-Verlag, 2008.
  56. Salvador Lucas, Ricardo Pe na. Rewriting Techniques for Analysing Termination and Complexity Bounds of Safe Programs. Pre-Proceedings of LOPSTR 2008: The 18th International Symposium on Logic-Based Program Synthesis and Transformation, pages 43--57, 2008.
  57. Hermenegilda Maci`a, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig. A congruence relation for sPBC. Formal Methods in System Design, Vol. 32, Num. 2, pages 85--128, Springer, 2008.
  58. Narciso Mart&\acute;i-Oliet, José Meseguer, Miguel Palomino. Algebraic Stuttering Simulations. Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007), Electronic Notes in Theoretical Computer Science, Vol. 206, pages 91--110, Elsevier, 2008.
  59. Manuel Montenegro, Ricardo Peña, Clara Segura. An Inference Algorithm for Guaranteeing Safe Destruction. Pre-Proceedings of LOPSTR 2008: The 18th International Symposium on Logic-Based Program Synthesis and Transformation, pages 13--27, 2008.
  60. Manuel Montenegro, Ricardo Peña, Clara Segura. A Type System for Safe Memory Management and its Proof of Correctness. 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pages 152--162, ACM Press, 2008.
  61. Manuel Montenegro, Ricardo Peña, Clara Segura. A Simple Region Inference Algorithm for a First-Order Functional Language. VIII Jornadas sobre Programación y Lenguajes, PROLE'08, pages 141--150, 2008.
  62. M. Montenegro, R. Peña, C. Segura. A Simple Region Inference Algorithm for a First-Order Functional Language. 9th Symposium on Trends in Functional Programming, TFP'08, pages 194--208, 2008.
  63. Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide. An Approach to Effortless Construction of Program Animations. Computers and Education, Vol. 50, Num. 1, pages 329--356, Elsevier, 2008.
  64. Ricardo Peña, Delfín Rupérez. A Certified Implementation of a Functional Virtual Machine on top of the Java Virtual Machine. VIII Jornadas sobre Programación y Lenguajes (PROLE'08), pages 131--140, 2008.
  65. Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores. A gentle introduction to mutual recursion. Annual Joint Conference on Integrating Technology into Computer Science Education, ITiCSE'08, pages 235--239, ACM Press, 2008.
  66. Clara Segura, Isabel Pita, Rafael del Vado, Ana Isabel Saiz, Pablo Soler. Interactive Learning of Data Structures and Algorithmic Schemes. Computational Science - ICCS 2008, 8th International Conference, Lecture Notes in Computer Science, Vol. 5101(1), pages 800--809, Springer-Verlag, 2008.
  67. Viviane Silva, Ricardo Choren, Carlos Lucena. MAS-ML: A Multi-Agent System Modelling Language. International Journal of Agent-Oriented Software Engineering, To Appear, 2008.
  68. G. Puebla. Scenarios for Proof Carrying Code. Formal Methods for Components and Objects, FMCO'2007, November 2007.
  69. Ruben Vazquez, Nik Swoboda. Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping. OTM Conferences (1), Lecture Notes in Computer Science, Vol. 4803, pages 814--831, Springer, November 2007.
  70. D. Zanardini. Analyzing Non-Interference with respect to Classes. Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS), World Scientific, October 2007.
    CORE: C. Citeseer: 1119/1221 (91%), impact 0.05. Average position: top 95%.
  71. F. Sáenz-Pérez. ACIDE: An Integrated Development Environment Configurable for LaTeX. The PracTeX Journal, Vol. 2007, Num. 3, August 2007.
  72. F. Sáenz-Pérez. Bib Manager and Word Citer: Bibliography Management and Citation Extraction. The PracTeX Journal, Vol. 2007, Num. 3, August 2007.
  73. Viviane Silva, Fernanda Duran, Jose Guedes, Carlos Lucena. Governing Multi-Agent Systems. Journal of Brazilian Computer Society -- Special Issue on Software Engineering for Multi-Agent Systems, Vol. 2(13), pages 19--34, August 2007.
    CORE: C. Average position: top 100%.
  74. S. Muñoz, W. S. Wiguna. Fuzzy Cognitive Layer in RoboCupSoccer. 12th International Fuzzy Systems Association World Congress (IFSA 2007). Foundations of Fuzzy Logic and Soft Computing, LNAI, Num. 4529, pages 635--645, Springer, June 2007.
  75. Nik Swoboda, Patrick G.T. Healey, Gonzalo Berrocal Noguerales. A prototype body orientation based drawing system. First International Workshop on Pen-Based Learning Technologies (PLT 2007), pages 16--19, IEEE Computer Society, May 2007.
  76. S. Muñoz, W. S. Wiguna. Fuzzy Prolog as Cognitive Layer in RoboCupSoccer. IEEE Symposium on Computational Intelligence and Games (2007 IEEE Symposia Series in Computational Intelligence), IEEE, pages 340--345, April 2007.
  77. T. Taibi, A. Herranz. Automatic Proof of Refinement among Design Patterns using the TLC. Proceedings of the 6th WSEAS International Conference on Applied Computer Science (ACOS'07), pages 542--547, April 2007.
  78. T. Taibi, A. Herranz. Automatic Proof of Refinement among Design Patterns using the TLC. Proceedings of the 6th WSEAS International Conference on Applied Computer Science (ACOS 2006), pages 542--547, April 2007.
  79. G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard. MOBIUS: Mobility, Ubiquity, Security: Objectives and progress report. Trustworthy Global Computing'06, LNCS, Num. 4661, pages 10--29, March 2007.
  80. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. 6th International Symposioum on Formal Methods for Components and Objects (FMCO'08), Lecture Notes in Computer Science, Num. 5382, pages 113--133, Springer, 2007.
  81. G. Marpons, J. Mariño, A. Herranz, L-Å. Fredlund, M. Carro, J. J. Moreno Navarro. Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR, Vol. abs/0711.0344, 2007.
  82. M. J. Gabbay. Fresh Logic: proof-theory and semantics for FM and nominal techniques. Journal of Applied Logic, Vol. 5, Num. 2, pages 356--387, 2007.
  83. M. J. Gabbay. Hierarchical Nominal Terms and their Theory of Rewriting. Electronic Notes in Theoretical Computer Science, Vol. 174, Num. 5, pages 37--52, 2007.
  84. M. J. Gabbay, A. Mathijssen. A Formal Calculus for Informal Equality with Binding. Proceedings of WOLLIC'07, Lecture Notes in Computer Science, Vol. 4576, pages 162--176, 2007.
  85. P. Nogueira. When is an Abstract Data Type a Functor?. Trends in Functional Programming, pages 217--231, Intellect, 2007. Winner of Best Student Paper Award.
  86. E. J. Gallego Arias, J. Mariño, J. M. Rey Poza. A Proposal for Disequality Constraints in Curry. Electr. Notes Theor. Comput. Sci., Vol. 177, pages 269--285, 2007.
  87. R. Caballero, Y. García-Ruiz. Implementing Dynamic Cut in Toy. Electronic Notes in Theoretical Computer Science, Vol. 177, pages 153--168, Elsevier Science, 2007.
  88. R. Caballero, C. Hermanns, H. Kuchen. Algorithmic Debugging of Java Programs. Electronic Notes in Theoretical Computer Science, Vol. 177, pages 75--89, Elsevier Science, 2007.
  89. J.M. Cleva, F.J. López-Fraguas. Semantic determinism and functional logic program properties. Electronic Notes in Theoretical Computer Science, To Appear, , 2007.
  90. J. Dios-Castro, F.J. López-Fraguas. Extra Variables can be Eliminated from Functional Logic Programs. Electronic Notes in Theoretical Computer Science, To Appear, , 2007.
  91. S. Estévez-Martín, A. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, R. del Vado-Vírseda. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electronic Notes in Theoretical Computer Science, Vol. 177, pages 235--252, Elsevier Science, 2007.
  92. S. Estévez-Martín, A.J. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. Electronic Notes in Theoretical Computer Science, Vol. 188, pages 37--51, Elsevier Science, 2007.
  93. S. Estévez-Martín, A.J. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, R. del Vado-Vírseda. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electronic Notes in Theoretical Computer Science, Vol. 177, pages 235--252, 2007.
  94. R. González-del Campo, F. Sáenz-Pérez. Programmed Search in a Timetabling Problem over Finite Domains. Electronic Notes in Theoretical Computer Science, Vol. 177, pages 253--267, Elsevier Science, 2007.
  95. R. González-del Campo, F. Sáenz-Pérez. Programmed Search in a Timetabling Problem over Finite Domains. Electronic Notes in Theoretical Computer Science, Vol. 177, pages 253--267, 2007.
  96. J. Rodríguez-Hortalá, J. Sánchez-Hernández. Lazy Functional Prolog: a Practical Approach. Proc. PROLE'07, pages 121--135, 2007.
  97. F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández. Bundles: a data structure for lazy non-determinism. Proc. PROLE'07, pages 195--204, Thompson, 2007.
  98. Anarosa Brandão, Viviane Silva, Carlos Lucena. Observed-MAS: An Ontology-based Method for Analyzing Multi-Agent Systems Design Models. Agent-Oriented Software Engineering, Lecture Notes in Computer Science, Vol. 4405, pages 122--139, Springer, 2007.
  99. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Ölveczky. The Maude Formal Tool Environment. Algebra and Coalgebra in Computer Science--Second International Conference--CALCO 2007, Lecture Notes for Computer Science, Vol. 4624, pages 173--178, Springer, 2007.
  100. María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso. Binary Search Trees, Recurrent Properties and Wave Equations. Fundamenta Informaticae, Vol. 81(4), pages 409--439, 2007.
  101. Ignacio Fábregas, Miguel Palomino, de Frutos-Escrig, David. Reflection and preservation of properties in coalgebraic (bi)simulations. Theoretical Aspects of Computing --- ICTAC 2007. 4th International Colloquium, Macao, China, September 2007, Proceedings, Lecture Notes in Computer Science, Vol. 4711, pages 231--245, Springer, 2007.
  102. Ricardo Peña, Clara Segura, Manuel Montenegro. A Sharing Analysis for SAFE. Trends in Functional Programming (Volume 7) Selected Papers of the Seventh Symposium on Trends in Functional Programming, TFP'06, pages 205--221, Intellect, 2007.
  103. Ricardo Peña, Clara Segura, Manuel Montenegro. An Inference Algorithm for Guaranteeing Safe Destruction. Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP'07, 2007.
  104. Adrián Riesco, Alberto Verdejo. Distributed applications implemented in Maude with parameterized skeletons. Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, Lecture Notes for Computer Science, Vol. 4468, pages 91--106, SV, 2007.
  105. Fernando Rosa-Velardo. Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association. Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Lecture Notes in Computer Science, Vol. 4611, pages 1148--1158, Springer, 2007.
  106. Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso. On the expressiveness of Mobile Synchronizing Petri Nets. Proceedings of the 3rd International Workshop on Security Issues in Concurrency, SECCO'05, Electronic Notes in Theoretical Computer Science, Vol. 180(1), pages 77--94, Elsevier, 2007.
  107. R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez. Towards a Set Oriented Calculus for Logic Programming. Proceedings of VI Jornadas of PROgramación y LEnguajes (Prole 2006), CINME, 2006.
  108. J. Dios, F.J. López-Fraguas. Elimination of Extra Variables from Functional Logic Programs. VI Jornadas sobre Programación y Lenguajes (PROLE 2006), pages 121--135, CINME, 2006.
  109. F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández. Relating Two Semantic Descriptions of Functional Logic Programs. VI Jornadas sobre Programación y Lenguajes (PROLE 2006), CINME, 2006.
  110. S. Nieva, F. Sáenz-Pérez, J. Sánchez. Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas. Sextas Jornadas de Programación y Lenguajes, PROLE, pages 171--182, 2006.
  111. Manuel Clavel, Marina Egea. ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Proceedings, Lecture Notes in Computer Science, Vol. 4019, pages 368--373, Springer, 2006.
    CORE: C. Average position: top 100%.
  112. Manuel Clavel, Adrián Riesco. The Web ITP: a quick overview. Proceedings of the Second International Congress on Tools for Teaching Logic (SICTTL), pages 15--20, Universidad de Salamanca, 2006.
  113. Mercedes Hidalgo-Herrero, Fernando Rubio, Yolanda Ortega-Mallén. An Integrated Framework for Comparing Alternative Semantics for Functional Parallel Languages. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages [IFL'06], pages 62--80, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers (Technical Report No: 2006-S01), 2006.
  114. Ricardo Peña, Clara Segura. Formally Deriving a Compiler for SAFE. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06. Technical Report 2006-S01.Eotvos Loránd University, pages 429--446, 2006.
  115. Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso. Replicated Ubiquitous Nets. Computational Science and Its Applications - ICCSA 2006, Lecture Notes in Computer Science, Vol. 3983, pages 158--168, Springer, 2006.


Publications in Refereed Workshops:

  1. M. Montenegro, R. Peña, C. Segura. A Simple Region Inference Algorithm for a First-Order Functional Language. Proceedings of the 18th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2009, Lecture Notes in Computer Science, Springer, 2010.
  2. Adrián Riesco, J. Rodríguez-Hortalá. Programming with Singular and Plural Non-deterministic Functions. PEPM '10: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, pages 83--92, ACM, 2010.
  3. Fernando Rosa-Velardo. Multiset rewriting: a Semantic Framework for Concurrency with Name Binding. 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, Lecture Notes in Computer Science, Vol. to appear, 2010.
  4. D. Ivanović, M. Carro, M. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Proactive Monitoring. Pre-proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+), November 2009.
  5. J. de Dios, R. Peña. A Certified Implementation on top of the Java Virtual Machine. 14th Int. Workshop on Formal Method in Industrial Critical Systems, FMICS'09, Eindhoven (The Netherlands), Lecture Notes in Computer Science, Vol. 5825, pages 181--196, Springer, November 2009.
  6. L. Scandolo, C. Kunz, G. Barthe, M.V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), September 2009.
  7. J. de Dios, R. Peña, M. Montenegro. Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. Proceedings of IX Jornadas sobre Programación y Lenguajes, PROLE'09, San Sebastián (Spain), pages 65--74, September 2009.
  8. J. Navas, M. Méndez-Lojo, M. Hermenegildo. User-Definable Resource Usage Bounds Analysis for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09), Electronic Notes in Theoretical Computer Science, 17 pages, Elsevier - North Holland, March 2009.
  9. 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), 2009.
  10. Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo. A declarative debugger for Maude functional modules. Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Electronic Notes in Theoretical Computer Science, Vol. 238(3), pages 63--81, Elsevier, 2009.
  11. Roberto Centeno, Viviane Silva, Ramón Hermoso. A Reputation Model for Organisational Supply Chain Formation. Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems III, 2009.
  12. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén. To be or not to be lazy (In a Parallel Context) . Selected papers of IX Jornadas sobre Programación y Lenguajes, PROLE'09, Electronic Notes in Theoretical Computer Science, Vol. 258, pages 21--39, Elsevier, 2009.
  13. Narciso Martí-Oliet, José Meseguer, Alberto Verdejo. A Rewriting Semantics for Maude Strategies. Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Electronic Notes in Theoretical Computer Science, Vol. 238(3), Num. 3, pages 227--247, Elsevier, 2009.
  14. M. Montenegro, R. Peña, C. Segura. A Space Consumption Analysis by Abstract Interpretation. Proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, pages 2--17, Technical Report CIS-R09008, Radboud University Nijmegen, 2009.
  15. M. Montenegro, R. Peña, C. Segura. Experiences in developing a compiler for Safe using Haskell. Actas del I Taller de Programación Funcional, TPF 2009, pages 31--38, 2009.
  16. Manuel Montenegro, Ricardo Peña, Clara Segura. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Electronic Notes in Theoretical Computer Science, Vol. 246, pages 167--182, Elsevier, 2009.
  17. M. Montenegro, R. Peña, C. Segura. A Simple Region Inference Algorithm for a First-Order Functional Language. Pre-Proceedings of the 18th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2009, pages 63--77, 2009.
  18. Adrián Riesco, J. Rodríguez-Hortalá. A natural implementation of Plural Semantics in Maude. Proceedings Ninth International Workshop on Language Descriptions Tools and Applications LDTA 2009, Electronic Notes in Theoretical Computer Science, Elsevier, 2009.
  19. Adrián Riesco, Alberto Verdejo. Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Electronic Notes in Theoretical Computer Science, Vol. 238(3), pages 249--266, Elsevier, 2009.
  20. Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet. Declarative Debugging of Rewriting Logic Specifications. Recent Trends in Algebraic Development Techniques (WADT 2008), Lecture Notes in Computer Science, Vol. 5486, pages 308--325, Springer, 2009.
  21. L. sSánchez-Gil, M. Hidalgo-Herrero, Y. Ortega-Mallén. An Operational Semantics for Distributed Lazy Evaluation. XVII Jornadas de Concurrencia y Sistemas Distribuidos, JCSD'09, pages 195--213, Universidad Politécnica de Valencia, 2009.
  22. L. Sánchez-Gil, M. Hidalgo-Herrero, Y. Ortega-Mallén. Properties of an Operational Semantics for Distributed Lazy Evaluation. IX Jornadas sobre Programación y Lenguajes, PROLE'09, pages 329--338, Gr áficas Michelena, 2009.
  23. P. Chico de Guzmán, M. Carro, M. Hermenegildo. A Program Transformation for Continuation Call-Based Tabled Execution. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, University of Udine, December 2008.
  24. Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo. A Coding Rule Conformance Checker Integrated into GCC. VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245--249, October 2008.
  25. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini. Upper Bounds of Resource Usage for Java Bytecode using COSTA and its Web Interface. Workshop on Resource Analysis, September 2008.
  26. P. Nogueira. Bialgebra Views: A Way for Polytypic Programming to Cohabit with Data Abstraction. Proceedings of the ACM SIGPLAN Workshop on Generic Programming (ICFP-WGP'08), pages 61--73, ACM Press, September 2008.
  27. M. Méndez-Lojo, O. Lhoták, M. Hermenegildo. Efficient Set Sharing using ZBDDs. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.
  28. M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.
  29. E. Albert, P. Arenas, S. Genaim, G. Puebla. Dealing with Numeric Fields in Termination Analysis of Java-like Languages. 10th Workshop on Formal Techniques for Java-like Programs, July 2008.
  30. S. Genaim, F. Spoto. Constancy Analysis. 10th Workshop on Formal Techniques for Java-like Programs, July 2008.
  31. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo. Two Efficient Representations for Set-Sharing Analysis in Logic Programs . 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP'08, 15 pages, July 2008.
  32. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini. The COSTA Cost and Termination Analyzer for Java Bytecode and its Web Interface (Tool Demo). 22nd European Conference on Object-Oriented Programming (ECOOP'08), July 2008.
  33. Rémy Haemmerlé, Hariolf Betz. Verification of Constraint Handling Rules using Liner Logic Phase Semantics. Proceeding of CHR 2008, Report Series 08-10, RICS-Linz, July 2008.
  34. J. Navas, M. Méndez-Lojo, M. Hermenegildo. Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. The Sixth NASA Langley Formal Methods Workshop (LFM 08), April 2008. Extended Abstract.
  35. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: A Cost and Termination Analyzer for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'08), Electronic Notes in Theoretical Computer Science, Elsevier, April 2008. To appear.
  36. C. Ochoa, G. Puebla. Oracle-Based Poly-Controlled Partial Evaluation. ETAPS Workshop on Quantitative Aspects of Programming Languages (QAPL'08), Vol. 220, Num. 3, pages 145--161, Elsevier, March 2008.
  37. R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez. A Theoretical Framework for the Declarative Debugging of Datalog Programs. International Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), LNCS, Springer, March 2008.
  38. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61--70, ACM Press, January 2008.
  39. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61--70, ACM Press, January 2008.
  40. M. Gómez-Zamalloa, E. Albert, G. Puebla. On the Generation of Test Data for Prolog by Partial Evaluation. Workshop on Logic-based methods in Programming Environments (WLPE'08), pages 26--43, 2008. Report number: WLPE/2008/06.
  41. M. Gómez-Zamalloa, E. Albert, G. Puebla. Towards Modular Interpretive Decompilation of Low-Level Code to Prolog. 8th Spanish Conference on Programming and Computer Languages (PROLE'08), 2008.
  42. M. J. Gabbay, D. P. Mulligan. One-and-a-halfth Order Terms: Curry-Howard for Incomplete Derivations. Proceedings of Workshop on Logic, Language and Information in Computation (WoLLIC 2008), Lecture Notes in Artificial Intelligence, Vol. 5110, pages 179--193, 2008.
  43. Manuel Montenegro, Ricardo Peña, Clara Segura. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. Pre-Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, pages 47--61, 2008.
  44. Viviane Silva, Ricardo Choren, Carlos Lucena. Using MAS-ML Dynamic Diagrams to Model MAS Behavioral Properties. Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop, Lecture Notes in Artificial Inteligence, Vol. 4898, pages 1--18, Springer, 2008.
  45. A. García Pérez, N. Medinilla Martínez. The Ambiguity Criterion in Software Design. International Workshop on Living with Uncertainties (IWLU'07), November 2007.
  46. H. Svensson, L-Å. Fredlund. Programming distributed Erlang applications: pitfalls and recipes. Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, October 2007.
  47. Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro. Automatic Coding Rule Conformance Checking Using Logic Programs. 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, September 2007.
  48. P. Chico de Guzmán, M. Carro, M. Hermenegildo, Claudio Silva, Ricardo Rocha. Some Improvements over the Continuation Call Tabling Implementation Technique. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, Universidade do Porto, September 2007.
  49. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. A Generic Framework for the Cost Analysis of Java Bytecode. Spanish Conference on Programming and Computer Languages (PROLE'07), September 2007.
  50. A. Casas, M. Carro, M. Hermenegildo. Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07, ICLP associated workshop), 15 pages, U. of Evora, September 2007.
  51. Dave Barker-Plummer, Nik Swoboda. A Sequent Based Logic for Coincidence Grid. CEUR Workshop Proceedings, Vol. 274, pages 1--12, September 2007. Available online http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-274/.
  52. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Typed-based Homeomorphic Embedding for Online Termination. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), August 2007. Extended Abstract.
  53. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Applications of Static Slicing in Cost Analysis of Java Bytecode. 3rd International Workshop on Programming Language Interference and Dependence (PLID'07), August 2007.
  54. J. Navas, M. Méndez-Lojo, M. Hermenegildo. An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, 12 pages, July 2007.
  55. M. Gómez-Zamalloa, E. Albert, G. Puebla. Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, pages 85--101, Elsevier - North Holland, July 2007.
  56. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Experiments in Cost Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, pages 67--83, Elsevier - North Holland, July 2007.
  57. M. Hermenegildo, The Ciao Development Team. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages MPOOL 2007, July 2007.
  58. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. 9th International Workshop on Termination, WST'07, June 2007.
  59. C. Ochoa, G. Puebla. A Study on the Practicality of Poly-Controlled Partial Evaluation. Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06), Electronic Notes in Theoretical Computer Science, Vol. 177, pages 137--151, Elsevier, June 2007.
  60. E. J. Gallego Arias, J. Mariño, J. M. Rey Poza. A Generic Semantics for Constraint Functional Logic Programming. Proc. of the 16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), June 2007.
  61. R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez. A New Proposal for Debugging Datalog Programs. 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP'07), ENCS, Vol. 216, pages 79--92, June 2007.
  62. Nik Swoboda, Patrick G.T. Healey, Gonzalo Berrocal Noguerales. A prototype body orientation based drawing system. First International Workshop on Pen-Based Learning Technologies (PLT 2007), pages 16--19, IEEE Computer Society, May 2007.
  63. Viviane Silva. Implementing Norms that Govern Non-Dialogical Actions. Workshop on Coordination, Organization, Institutions and Norms in agent systems at the International Conference on Autonomous Agents and Multi-Agent Systems, May 2007.
  64. M. Méndez-Lojo, J. Navas, M. Hermenegildo. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007), Electronic Notes in Theoretical Computer Science, Elsevier - North Holland, March 2007.
  65. F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández. Narrowing for non-determinism with call-time choice semantics. Proc. Workshop on Logic Programming (WLP'07), Tech. Rep. 434 Univ. Wurzburg, pages 224--233, 2007.
  66. Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg. A Formal Semantics for a Qualitity of Service Contract Language. Proceedings of Formal Foundations of Embedded Software and Component-Based Software Architectures FESCA'07, Satellite workshop of ETAPS'07, Electronic Notes in Theoretical Computer Science, Elsevier, 2007.
  67. Christiano Braga, Alberto Verdejo. Modular Structural Operational Semantics with Strategies. Proceedings of the 3rd Workshop on Structural Operational Semantics (SOS 2006), Electronic Notes in Theoretical Computer Science, Vol. 175, pages 3--17, Elsevier, 2007.
  68. Fabricio Chalub, Christiano Braga. Maude MSOS Tool. Proceedings of 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Num. 176, pages 133--146, Elsevier, 2007.
  69. Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo. Deduction, Strategies, and Rewriting. 6th International Workshop on Strategies in Automated Deduction, STRATEGIES'06, Part of FLOC 2006, Electronic Notes in Theoretical Computer Science, Elsevier, 2007.
  70. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio. Comparing Alternative Evaluation Strategies for Stream-Based Functional Languages. Proceedings of the 20th International Workshop on Implementation of Functional Languages, (IFL'06 selected papers), Lecture Notes in Computer Science, Vol. 4449, pages 55--72, Springer, 2007.
  71. Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén. Using Maude and its strategies for defining a framework for analyzing Eden semantics. The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS'06, Electronic Notes in Theoretical Computer Science, Vol. 174(10), pages 119--137, Elsevier, 2007.
  72. Gustavo Santos-Garc&\acute;ia, Miguel Palomino. Solving Sudoku Puzzles with Rewriting Rules. Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA'06, Vienna, Austria, April 1--2, 2006, Electronic Notes in Theoretical Computer Science, Vol. 176(4), pages 79--93, Elsevier, 2007.
  73. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Generation of Reduced Certificates in Abstraction-Carrying Code. VI Jornadas Programación y Lenguajes (PROLE'06), 10 pages, October 2006.
  74. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. 16th Workshop on Logic Programming Environments, pages 45--60, University of Namur, Institut d'Informatique, August 2006.
  75. E. Albert, P. Arenas, G. Puebla. Some Issues on Incremental Abstraction-Carrying Code. 16th Workshop on Logic-Based Methods in Programming Environments (WLPE'06) , 15 pages, August 2006.
  76. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Towards Verification of Java Bytecode using Tools for Logic Programming. International Workshop on Software Verification and Validation (SVV 2006), 15 pages, August 2006.
  77. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Towards Verification of Java Bytecode using Tools for Logic Programming. International Workshop on Software Verification and Validation (SVV 2006), 15 pages, August 2006.
  78. E. Albert, P. Arenas, G. Puebla. Incremental Certificates and Checkers for Abstraction-Carrying Code. Sixth Workshop on Issues in the Theory of Security, 16 pages, March 2006.
  79. Manuel Clavel, Marina Egea. Using Reflection to Implement in Maude a Rewriting-BasedValidation Tool for UML+OCL Static Class Diagrams. Proceedings of the First International Workshop on AlgebraicFoundations for OCL and Applications (WAFOCA), Universidad Politécnica de Valencia, 2006.
  80. Francisco Durán, Adrián Riesco, Alberto Verdejo. A distributed implementation of Mobile Maude. Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006, Electronic Notes in Theoretical Computer Science, pages 35--55, Elsevier, 2006.
  81. Fernando Rosa-Velardo. Coding Mobile Synchronizing Nets into Rewriting Logic. Proceedings of the 7th International Workshop on Rule-Based Programming, RULE'06, Electronic Notes in Theoretical Computer Science, Vol. 174, Num. 1, pages 83--98, 2006.
  82. Fernando Rosa-Velardo, Olga Marroquín-Alonso, David de Frutos-Escrig. Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05, Electronic Notes in Theoretical Computer Science, Vol. 150, pages 103--126, Elsevier, 2006.
  83. Clara Segura, Carmen Torrano. Using Template Haskell for Abstract Interpretation. 15th Workshop on Functional and (Constraint) Logic Programming, WFLP'06, pages 183--196, 2006.
  84. Viviane Silva, Beatriz de Maria, Carlos Lucena. A MDE-Based Approach for Developing Multi-Agent Systems. Third Workshop on Software Evolution through Transformations: Embracing the Change, Electronic Communications, Vol. 3, EASST: European Association of Software Science and Technology, 2006.


Technical Reports and Manuals:

  1. P. López-García, L. Darmawan, F. Bueno. 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.
  2. D. Ivanović, M. Carro, M. Hermenegildo. Sharing-Based Independence-Driven Fragment Identification for Service Orchestrations. Num. CLIP7/2009.0, Technical University of Madrid (UPM), December 2009.
  3. D. Ivanović, M. Carro, M. Hermenegildo, P. López, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.0, Technical University of Madrid (UPM), November 2009.
  4. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.
  5. D. Ivanović, M. Carro, M. Hermenegildo. Towards Data-Aware Resource Analysis for Service Orchestrations. Num. CLIP3/2009.0, Technical University of Madrid (UPM), June 2009.
  6. E. Mera, P. López-García, M. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.
  7. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Num. CLIP2/2009.0, Technical University of Madrid (UPM), February 2009.
  8. Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet. A Declarative Debugger for Maude Specifications - User Guide. Num. SIC-7-09, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. (available online).
  9. Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. Declarative Debugging of Missing Answers in Rewriting Logic. Num. SIC-6-09, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. (available online).
  10. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Cost Analysis of Object-Oriented Bytecode Programs. Num. CLIP7/2008.0, Technical University of Madrid (UPM), September 2008.
  11. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo. Efficient Representations for Set-Sharing Analysis. Num. CLIP9/2008.0, University of New Mexico and Technical University of Madrid, September 2008.
  12. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. Bridge Program Transformation for the CCall Tabling Scheme. Num. CLIP6/2008.0, Technical University of Madrid (UPM), September 2008.
  13. A. Casas, M. Carro, M. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. Num. TR-CS-2008-10, University of New Mexico (UNM), September 2008.
  14. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.
  15. D. Zanardini. The Semantics of Abstract Program Slicing. Num. CLIP4/2008.0, Technical University of Madrid (UPM), June 2008.
  16. M. Méndez-Lojo, O. Lhoták, M. Hermenegildo. Fast Set Sharing using ZBDDs. University of New Mexico, June 2008.
  17. J. Navas, M. Méndez-Lojo, M. Hermenegildo. Customizable Resource Usage Analysis for Java Bytecode. Num. UNM TR-CS-2008-02 - CLIP1/2008.0, University of New Mexico, January 2008.
  18. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Mart&\acute;i-Oliet, José Meseguer, Carolyn Talcott. Maude Manual (Version 2.4). oct 2008.
  19. Manuel Montenegro, Ricardo Peña, Clara Segura. A Type System for Safe Memory Management and its Proof of Correctness. SIC-5-08. Universidad Complutense de Madrid, 2008.
  20. Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet. Declarative debugging of Maude modules. Num. SIC-6/08, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008.
  21. G. Román-Díez, G. Puebla. Java Bytecode Timing Cost Models. Num. CLIP12/2007.0, Technical University of Madrid, December 2007.
  22. A. Casas, M. Carro, M. Hermenegildo. Automatic Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP11/2007.0, Technical University of Madrid (UPM), December 2007. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).
  23. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing for Java-style Programs (and proofs). Num. CLIP2/2007.1, Technical University of Madrid (UPM), November 2007.
  24. J. Mariño, A. Herranz, L-Å. Fredlund, M. Carro, V-P. Ceruelo, G. Marpons, J. J. Moreno Navarro . Study of existing coding rule formalisms and compendium of common hazards. Use of Coding Rules in Software Industry. Facultad de Informática, Universidad Politécnica de Madrid, November 2007.
  25. A. Casas, M. Carro, M. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. Num. TR-CS-2007-16, University of New Mexico (UNM), October 2007.
  26. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. TR-CS-2007-14, University of New Mexico (UNM), September 2007.
  27. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.
  28. Guillem Marpons, Julio Mariño, M. Carro, Ángel Herranz, Juan José Moreno-Navarro, Lars-Åke Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. Num. CLIP6/2007.0, Technical University of Madrid (UPM), August 2007.
  29. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. An Improved Continuation Call-Based Implementation of Tabling. Num. CLIP9/2007.0, Technical University of Madrid (UPM), August 2007.
  30. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism. Num. CLIP7/2007.0, Technical University of Madrid (UPM), August 2007.
  31. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP5/2007.0, Technical University of Madrid (UPM), June 2007.
  32. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing and Nullity Analysis for Java-style Programs. Num. CLIP2/2007.0, Technical University of Madrid (UPM), February 2007.
  33. M. Gómez-Zamalloa, E. Albert, G. Puebla. Partial Evaluation Types for Improving the Decompilation of Java Bytecode to Prolog. Num. CLIP1/2007.0, Technical University of Madrid (UPM), February 2007.
  34. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Num. CLIP3/2007.0, Technical University of Madrid (UPM), February 2007.
  35. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. Maude Manual (Version 2.3). January 2007.
  36. Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo. Declarative debugging of Maude functional modules. Num. 4/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.
  37. Adrián Riesco, Alberto Verdejo. The EIGRP Protocol in Maude. Num. 3/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.
  38. Adrián Riesco, Alberto Verdejo. Parameterized skeletons in Maude. Num. TR 1/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.
  39. M. Méndez-Lojo, J. Navas, M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Num. CLIP9/2006.0, Technical University of Madrid (UPM), December 2006.
  40. J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.
  41. M. Hermenegildo, The Ciao Development Team. Why Ciao? --An Overview of the Ciao System's Design Philosophy. Num. CLIP7/2006.0, 6 pages, Technical University of Madrid (UPM), December 2006. Available from: (available online).
  42. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Resource Bounds Analysis. Num. CLIP6/2006.0, 19 pages, Technical University of Madrid (UPM), November 2006.
  43. S. Estévez-Martín, A. Fernández, F. Sáenz-Pérez. Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation. Num. LCC ITI 06-8, Universidad de M?laga, November 2006.
  44. P. Pietrzak, M. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Num. CLIP11/2006.0, Technical University of Madrid, September 2006.
  45. A. Kostenko, M. Carro. A Preliminary DHT Infrastructure for Ciao. Num. CLIP12/2006.0, Technical University of Madrid (UPM), August 2006.
  46. R. Caballero, J. Sanchez (eds.). TOY: A Multiparadigm Declarative Language, Version 2.2.3. UCM, Madrid, July 2006.
  47. E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo. Towards Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs. Num. CLIP5/2006.0, 15 pages, Technical University of Madrid (UPM), April 2006.
  48. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.
  49. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. Num. CLIP3/2006, 16 pages, Technical University of Madrid (UPM), March 2006.
  50. R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda. Algorithmic Debugging of Wrong Answers in Constraint Functional Logic Programming. Num. 02/06, Facultad de Informática, Universidad Complutense de Madrid, 2006.
  51. R. Caballero-Roldán, M. Rodríguez-Artalejo, R. del Vado-Vírseda. Algorithmic Debugging of Wrong Answers in Constraint Functional-Logic Programming. Num. 3/06, Departamento de Sistemas Informáticos y Programación. Universidad Complutense de Madrid, 2006.
  52. R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez. A Set Oriented Calculus for Logic Programming. Num. 02/06, Facultad de Informática, Universidad Complutense de Madrid, 2006.

contact the webmaster