PROMESAS
PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
English     |     Español
mid
Descripción
Investigación
  Publicaciones
  Herramientas desarrolladas
Participación de la empresa
Personal
Charlas & Eventos
Ofertas de empleo
Poster
Brochure
Links institucionales
Contacto
Support
Comunidad de Madrid EU flag

Publicaciones que presentan los resultados del projecto PROMESAS


Las publicaciones se han clasificado teniendo en cuenta cuatro bases de datos diferentes sobre rankings (de revistas y/o congresos): JCR, la lista CORE, la lista de impactos CiteSeer (ver también la lista actualizada CiteSeerX) y la CS Conference Rankings. las cuales son también las propuestas por el Ministerio en la última convocatoria (diciembre 2007) para la evaluación de la calidad de la investigación ("sexenios"). Cada una de estas bases de datos (excepto CORE) le asigna a cada revista/congreso un número entre 0 y 1 (0 -- 100 absoluta que ocupa la revista/congreso en la lista, dividida por el número total de elementos en ella (mejor cuanto más baja sea la posición). A diferencia de las otras, CORE clasifica las revistas/congresos en cuatro categorías: A+, A, B y C. Para poder comparar con las otras bases de datos y calcular medias aritméticas, se ha utilizado la siguiente asignación de valores numéricos a las diferentes categorías de CORE: A+ = 10%, A = 33%, B = 66% y C = 100%. Con estos valores se ha creado un ranking numérico global para cada publicación calculando la media aritmética de todos los rankings disponibles para dicha publicación (algunas revistas/congresos no aparecen en todas las bases de datos), y se han clasificado las publicaciones según esta media. Las publicaciones con un ranking medio en el rango 0-33% se han considerado de primer nivel, las del rango 33-66%, de segundo nivel, y el resto se han considerado de tercer nivel. Para cada publicación también se muestran los rankings individuales disponibles de la correspondiente revista/congreso, así como la media global en forma de porcentaje.

Artículos con Revisión Estricta en Congresos y Revistas de Primer Nivel:

  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), páginas 25--28, ACM Press, Enero 2010.
    CORE: A. Citeseer: 65/1221 (5%), impacto 1.47. CS Conf Rankings: 0.91. posición media: 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, páginas 281--295, Springer-Verlag, Julio 2009.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, Núm. 5649, 15 páginas, Springer-Verlag, Julio 2009.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, Núm. 5418, páginas 224--238, Springer-Verlag, Enero 2009.
    CORE: A. Citeseer: 351/1221 (28%), impacto 0.87. CS Conf Rankings: 0.88. posición media: top 24%.
  5. G. Puebla, G. Vidal. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09). 200 páginas, ACM Digital Library, Enero 2009.
    CORE: A. Citeseer: 65/1221 (5%), impacto 1.47. CS Conf Rankings: 0.91. posición media: 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, páginas 370--386, Springer, 2009.
    CORE: A. CS Conf Rankings: 0.97. posición media: 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, páginas 1388--1393, Cognitive Science Society, 2009.
    JCR: posición (media) top 24%, impacto (media) 2.15, tema(s): PSYCHOLOGY, EXPERIMENTAL. PSYCHOLOGY, EXPERIMENTAL -- CORE: A. Citeseer: 135/1221 (11%), impacto 1.38. posición media: top 22%.
  8. Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo. Event Based Choreography. Science of Computer Programming, En Prensa, 2009. To appear..
    JCR: posición (media) top 39%, impacto (media) 0.77, tema(s): COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING. COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING -- CORE: A. Citeseer: 185/1221 (15%), impacto 1.22. posición media: 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, páginas 380--390, Springer, 2009.
    CORE: A. posición media: 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, páginas 302--316, Springer-Verlag, Diciembre 2008.
    CORE: A. posición media: 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, Núm. 5366, páginas 301--316, Springer-Verlag, Diciembre 2008.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 795--800, Springer Verlag, Diciembre 2008. Short paper.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 651--666, Springer-Verlag, Diciembre 2008.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: top 15%.
  14. M. J. Gabbay, A. Mathijssen. One-and-a-halfth-order Logic (journal version). Journal of Logic and Computation, Vol. 18, Núm. 4, páginas 521--562, Noviembre 2008.
    JCR: posición (media) top 49%, impacto (media) 0.68, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 155/1221 (12%), impacto 1.29. posición media: 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, páginas 221--237, Springer-Verlag, Julio 2008.
    CORE: A. Citeseer: 145/1221 (11%), impacto 1.35. CS Conf Rankings: 0.9. posición media: 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 páginas, Springer, Abril 2008.
    CORE: A. Citeseer: 370/1221 (30%), impacto 0.83. CS Conf Rankings: 0.95. posición media: 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, Núm. 4905, páginas 172--187, Springer-Verlag, Enero 2008.
    CORE: A. posición media: 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, páginas 198--213, Springer-Verlag, Enero 2008.
    CORE: A. Citeseer: 351/1221 (28%), impacto 0.87. CS Conf Rankings: 0.88. posición media: 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, Enero 2008.
    CORE: A. Citeseer: 65/1221 (5%), impacto 1.47. CS Conf Rankings: 0.91. posición media: 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, páginas 18--34, Springer Verlag, Enero 2008.
    CORE: A. Citeseer: 351/1221 (28%), impacto 0.87. CS Conf Rankings: 0.88. posición media: 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, páginas 230--247, Springer-Verlag, Enero 2008.
    CORE: A. Citeseer: 351/1221 (28%), impacto 0.87. CS Conf Rankings: 0.88. posición media: 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), páginas 61--70, ACM Press, Enero 2008.
    CORE: A. Citeseer: 65/1221 (5%), impacto 1.47. CS Conf Rankings: 0.91. posición media: top 15%.
  23. M. J. Gabbay, A. Mathijssen. Capture-Avoiding Substitution as a Nominal Algebra. Formal Aspects of Computing, Vol. 20, Núm. 4-5, páginas 451--479, Springer, Enero 2008.
    CORE: A. Citeseer: 257/1221 (21%), impacto 1.06. posición media: 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, páginas 112--115, Springer, 2008.
    CORE: A. Citeseer: 87/1221 (7%), impacto 1.58. CS Conf Rankings: 0.92. posición media: 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. posición media: 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, En Prensa, 2008.
    CORE: A. Citeseer: 197/1221 (16%), impacto 1.18. posición media: 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), Octubre 2007.
    CORE: A+. Citeseer: 81/1221 (6%), impacto 1.62. CS Conf Rankings: 0.97. posición media: top 6%.
  28. P. Pietrzak, M. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, Núm. 4670, páginas 333--347, Springer-Verlag, Septiembre 2007.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 425--427, Springer-Verlag, Septiembre 2007.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 272--289, Springer, Junio 2007.
    Citeseer: 179/1221 (14%), impacto 1.23. posición media: 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, Núm. 4583, páginas 272--289, Springer-Verlag, Junio 2007.
    Citeseer: 179/1221 (14%), impacto 1.23. posición media: 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, Núm. 4354, páginas 124--139, Springer-Verlag, Enero 2007.
    CORE: A. Citeseer: 351/1221 (28%), impacto 0.87. CS Conf Rankings: 0.88. posición media: 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, Núm. 4354, páginas 140--154, Springer-Verlag, Enero 2007.
    CORE: A. Citeseer: 351/1221 (28%), impacto 0.87. CS Conf Rankings: 0.88. posición media: top 24%.
  34. C. Ochoa, G. Puebla. Poly-Controlled Partial Evaluation in Practice. ACM Partial Evaluation and Program Manipulation (PEPM'07), páginas 164--173, ACM Press, Enero 2007.
    CORE: A. Citeseer: 65/1221 (5%), impacto 1.47. CS Conf Rankings: 0.91. posición media: 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, páginas 348--363, Springer, 2007.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 285--309, 2007.
    JCR: posición (media) top 24%, impacto (media) 2.15, tema(s): PSYCHOLOGY, EXPERIMENTAL. PSYCHOLOGY, EXPERIMENTAL -- CORE: A. Citeseer: 135/1221 (11%), impacto 1.38. posición media: 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, páginas 420--435, Springer, 2007.
    CORE: A. posición media: top 33%.
  38. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo. Strategies and simulations in a semantic framework. Journal of Algorithms, Vol. 62, Núm. 3-4, páginas 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%), impacto 1.42. posición media: 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, páginas 345--363, Springer, Noviembre 2006.
    Citeseer: 186/1221 (15%), impacto 1.22. posición media: 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, Núm. 4079, páginas 431--432, Springer-Verlag, Agosto 2006.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: top 15%.
  41. G. Puebla, E. Albert, M. Hermenegildo. Abstract Interpretation with Specialized Definitions. The 13th International Static Analysis Symposium (SAS'06), LNCS, Núm. 4134, páginas 107--126, Springer, Agosto 2006.
    CORE: A. Citeseer: 145/1221 (11%), impacto 1.35. CS Conf Rankings: 0.9. posición media: 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, Núm. 4079, páginas 163--178, Springer-Verlag, Agosto 2006.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 421--422, Springer, 2006.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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, páginas 421--422, Springer, 2006.
    CORE: A. Citeseer: 118/1221 (9%), impacto 1.47. CS Conf Rankings: 0.97. posición media: 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), páginas 843--849, NIC Series (John von Neumann Institute for Computing). NIC-Directors, 2006.
    CORE: A. posición media: 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, páginas 461--476, Springer, 2006.
    CORE: A. posición media: top 33%.


Artículos con Revisión Estricta en Congresos y Revistas de Segundo Nivel:

  1. G. Puebla, E. Albert, M. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks. Theory and Practice of Logic Programming, En Prensa, Cambridge U. Press, 2010.
    JCR: posición (media) top 31%, impacto (media) 1.23, tema(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING. COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impacto 0.66. posición media: top 34%.
  2. D. Cabeza, M. Hermenegildo. Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, Vol. 46, Núm. 410, páginas 4704--4723, Elsevier Science, Octubre 2009.
    JCR: posición (media) top 60%, impacto (media) 0.57, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impacto 0.91. posición media: 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, páginas 879--886, Elsevier, Julio 2009.
    JCR: posición (media) top 65%, impacto (media) 0.66, tema(s): COMPUTER SCIENCE, INFORMATION SYSTEMS. COMPUTER SCIENCE, INFORMATION SYSTEMS -- CORE: B. Citeseer: 551/1221 (45%), impacto 0.58. posición media: 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, páginas 129--138, ACM Press, Junio 2009.
    CORE: B. Citeseer: 117/1221 (9%), impacto 1.47. posición media: 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, Junio 2009.
    CORE: B. Citeseer: 117/1221 (9%), impacto 1.47. posición media: 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, Núm. 5438, páginas 4--23, Springer-Verlag, Marzo 2009.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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. posición media: top 36%.
  8. Vincenzo Ciancia, Ugo Montanari. Symmetries, Local Names and Dynamic (De)-allocation of Names. Information and Computation, En Prensa, 2009. To appear..
    JCR: posición (media) top 39%, impacto (media) 0.82, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impacto 1.48. posición media: top 49%.
  9. José Meseguer, Miguel Palomino, Narciso Mart&\acute;i-Oliet. Algebraic Simulations. Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, 2009.
    JCR: posición (media) top 37%, impacto (media) 1.06, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. posición media: 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, páginas 63--82, Springer, 2009. Best paper award.
    CORE: B. Citeseer: 427/1221 (34%), impacto 0.74. CS Conf Rankings: 0.54. posición media: 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, Noviembre 2008.
    CORE: B. Citeseer: 235/1221 (19%), impacto 1.1. posición media: top 42%.
  12. J. Mariño, J. J. Moreno-Navarro, S. Muñoz. Implementing Constructive Intensional Negation. New Generation Computing, Vol. 27, Núm. 1, Noviembre 2008.
    JCR: posición (media) top 58%, impacto (media) 0.54, tema(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURE. COMPUTER SCIENCE, HARDWARE & ARCHITECTURE -- CORE: B. Citeseer: 305/1221 (24%), impacto 0.97. posición media: 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), páginas 32--43, ACM Press, Julio 2008.
    CORE: B. Citeseer: 421/1221 (34%), impacto 0.75. posición media: 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), páginas 174--184, ACM Press, Julio 2008.
    CORE: B. Citeseer: 421/1221 (34%), impacto 0.75. posición media: top 50%.
  15. J. Garrigue, M. Hermenegildo. Functional and Logic Programming, 9th International Symposium, FLOPS'08. LNCS, Núm. 4989, Springer, Abril 2008.
    CORE: A. Citeseer: 468/1221 (38%), impacto 0.69. posición media: 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), páginas 368--375, ACM Press, New York, Marzo 2008.
    CORE: B. Citeseer: 782/1221 (64%), impacto 0.31. CS Conf Rankings: 0.85. posición media: 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, páginas 23--42, Springer-Verlag, Febrero 2008.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: top 41%.
  18. M. J. Gabbay. A study of substitution, using nominal techniques and Fraenkel-Mostowski sets. Theoretical Computer Science, En Prensa, 2008.
    JCR: posición (media) top 60%, impacto (media) 0.57, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impacto 0.91. posición media: top 40%.
  19. M. J. Gabbay, M. Hofmann. Nominal renaming sets. LPAR'08, páginas 158--173, 2008.
    CORE: A. Citeseer: 469/1221 (38%), impacto 0.69. posición media: 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), páginas 185--194, ACM, 2008.
    CORE: B. Citeseer: 421/1221 (34%), impacto 0.75. posición media: 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, páginas 258--268, ACM Press, 2008. .
    CORE: B. Citeseer: 421/1221 (34%), impacto 0.75. posición media: 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, páginas 147--162, Springer, 2008.
    CORE: A. Citeseer: 468/1221 (38%), impacto 0.69. posición media: 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, páginas 289--304, Springer, 2008.
    CORE: A. Citeseer: 468/1221 (38%), impacto 0.69. posición media: 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, páginas 272--288, Springer Verlag, 2008.
    CORE: A. Citeseer: 468/1221 (38%), impacto 0.69. posición media: 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, páginas 800--809, Springer, 2008.
    CORE: A. Citeseer: 1116/1221 (91%), impacto 0.05. posición media: 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, páginas 800--809, Springer, 2008.
    CORE: A. Citeseer: 1116/1221 (91%), impacto 0.05. posición media: 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, Núm. 7, páginas 539--551, 2008.
    JCR: posición (media) top 37%, impacto (media) 1.06, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. posición media: top 35%.
  28. José Meseguer, Miguel Palomino, Narciso Mart&\acute;i-Oliet. Equational Abstractions. Theoretical Computer Science, Vol. 403, Núm. 2-3, páginas 239--264, 2008.
    JCR: posición (media) top 60%, impacto (media) 0.57, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impacto 0.91. posición media: 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, páginas 135--151, 2008.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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), páginas 105--116, ACM Press, Octubre 2007.
    CORE: B. Citeseer: 117/1221 (9%), impacto 1.47. posición media: 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, Núm. 4915, páginas 154--168, Springer-Verlag, Agosto 2007.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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, Núm. 4915, páginas 138--153, Springer-Verlag, Agosto 2007.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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, Núm. 4407, páginas 77--93, Julio 2007.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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, Junio 2007.
    CORE: B. Citeseer: 235/1221 (19%), impacto 1.1. posición media: top 42%.
  35. Viviane Silva, Carlos Lucena. Modeling Multi-Agent Systems. Communications of the ACM, Vol. 50(5), páginas 103--108, Mayo 2007.
    CORE: B. posición media: top 66%.
  36. G. Puebla. Logic Based Program Synthesis and Transformation (LOPSTR'06). LNCS, Núm. 4407, 237 páginas, Springer, Marzo 2007.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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, Núm. 1-2, páginas 153--182, Enero 2007.
    JCR: posición (media) top 31%, impacto (media) 1.23, tema(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING. COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impacto 0.66. posición media: top 34%.
  38. M. J. Gabbay. A general mathematics of names. Information and Computation, Vol. 205, Núm. 7, páginas 982--1011, 2007.
    JCR: posición (media) top 39%, impacto (media) 0.82, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impacto 1.48. posición media: top 49%.
  39. M. Fernández, M. J. Gabbay. Nominal Rewriting (journal version). Information and Computation, Vol. 205, Núm. 6, páginas 917--965, 2007.
    JCR: posición (media) top 39%, impacto (media) 0.82, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impacto 1.48. posición media: top 49%.
  40. L-Å. Fredlund, H. Svensson. McErlang: a model checker for a distributed functional programming language. ACM SIGPLAN Notices, Vol. 42, Núm. 9, páginas 125--136, 2007.
    Citeseer: 786/1221 (64%), impacto 0.31. posición media: 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, páginas 169--184, Springer, 2007.
    CORE: B. posición media: 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, Núm. 5, páginas 537--582, Cambridge University Press, 2007.
    JCR: posición (media) top 31%, impacto (media) 1.23, tema(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING. COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impacto 0.66. posición media: 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), páginas 197--208, 2007.
    CORE: B. Citeseer: 421/1221 (34%), impacto 0.75. posición media: 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, Núm. 1-2, páginas 73--122, 2007.
    CORE: C. Citeseer: 193/1221 (15%), impacto 1.19. posición media: 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, Núm. 1-2, páginas 70--91, Elsevier, 2007.
    JCR: posición (media) top 60%, impacto (media) 0.57, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impacto 0.91. posición media: 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, páginas 143--159, Springer, 2007.
    CORE: A. Citeseer: 497/1221 (40%), impacto 0.66. posición media: 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), páginas 89--106, University of Kent, Canterbury (UK), 2007.
    Citeseer: 546/1221 (44%), impacto 0.58. posición media: 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, páginas 402--422, Springer, 2007.
    CORE: B. Citeseer: 427/1221 (34%), impacto 0.74. CS Conf Rankings: 0.54. posición media: 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, Núm. 4246, páginas 377--391, Springer-Verlag, Noviembre 2006.
    CORE: A. Citeseer: 469/1221 (38%), impacto 0.69. posición media: 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, Núm. 4246, páginas 392--406, Springer-Verlag, Noviembre 2006.
    CORE: A. Citeseer: 469/1221 (38%), impacto 0.69. posición media: 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, Núm. 4246, páginas 392--406, Springer-Verlag, Noviembre 2006.
    CORE: A. Citeseer: 469/1221 (38%), impacto 0.69. posición media: 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, páginas 271--281, ACM Press / Sheridan, Octubre 2006.
    CORE: A. Citeseer: 618/1221 (50%), impacto 0.5. CS Conf Rankings: 0.81. posición media: 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), Abril 2006.
    CORE: B. Citeseer: 782/1221 (64%), impacto 0.31. CS Conf Rankings: 0.85. posición media: 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, Núm. 3901, páginas 163--178, Springer-Verlag, Abril 2006.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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), páginas 261--271, ACM Press, 2006.
    CORE: B. Citeseer: 421/1221 (34%), impacto 0.75. posición media: top 50%.
  56. J.M. Cleva, I. Pita. Verification of CRWL Programs with Rewriting Logic. Journal of Universal Computer Science, Vol. 12, Núm. 11, páginas 1594--1617, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impacto 0.34. posición media: 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, Núm. 11, páginas 1574--1593, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impacto 0.34. posición media: 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, Núm. 11, páginas 1574--1593, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impacto 0.34. posición media: top 63%.
  59. Manuel Clavel, Miguel Palomino, Adriá Riesco. Introducing the ITP Tool: a Tutorial. Journal of Universal Computer Science, Vol. 12, Núm. 11, páginas 1618--1650, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impacto 0.34. posición media: top 63%.
  60. David de Frutos-Escrig, Carlos Gregorio-Rodríguez. Process Equivalences as Global Bisimulations. Journal of Universal Computer Science, Vol. 12, Núm. 11, páginas 1521--1550, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impacto 0.34. posición media: top 63%.
  61. José Miguel Cleva, Isabel Pita. Verification of CRWL Programs with Rewriting Logic. Journal of Universal Computer Science, Vol. 12, Núm. 11, páginas 1594--1617, 2006.
    CORE: B. Citeseer: 755/1221 (61%), impacto 0.34. posición media: 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), páginas 327--353, 2006.
    JCR: posición (media) top 60%, impacto (media) 0.57, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impacto 0.91. posición media: top 40%.
  63. Alberto Verdejo, Narciso Martí-Oliet. Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming, Vol. 67, páginas 226--293, 2006.
    JCR: posición (media) top 37%, impacto (media) 1.06, tema(s): COMPUTER SCIENCE, THEORY & METHODS. COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. posición media: top 35%.


Libros y Monografías:

  1. E. Albert, S. Genaim. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation. Electronic Notes in Theoretical Computer Science, Vol. 253, Núm. 5, páginas 1--2, Elsevier - North Holland, Marzo 2009.
  2. G. Puebla, G. Vidal. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09). 200 páginas, ACM Digital Library, Enero 2009.
    CORE: A. Citeseer: 65/1221 (5%), impacto 1.47. CS Conf Rankings: 0.91. posición media: top 15%.
  3. José-Ramón Sánchez-Couso . Análisis de características en el modelo BST. Tesis Doctoral, 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. Tesis Doctoral, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA), Septiembre 2008.
  5. M. Méndez-Lojo. A Generic Approach to Bytecode Analysis. Tesis Doctoral, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), Agosto 2008.
  6. J. Navas. Analysis and Inference of Resource Usage Information. Tesis Doctoral, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), Agosto 2008.
  7. J. Correas. Analysis and Verification of Modular Programs. Tesis Doctoral, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, Junio 2008.
  8. J. Correas. Análisis y Verificación de Programas Modulares. Tesis Doctoral, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, Junio 2008.
  9. J. Garrigue, M. Hermenegildo. Functional and Logic Programming, 9th International Symposium, FLOPS'08. LNCS, Núm. 4989, Springer, Abril 2008.
    CORE: A. Citeseer: 468/1221 (38%), impacto 0.69. posición media: top 35%.
  10. M. Hermenegildo. ACM SIGPLAN-Intel Workshop on Declarative Aspects of Multicore Programming, DAMP'08, Informal Proceedings. Enero 2008.
  11. D. Krizanc, J. Lipton. Formal Treatment of Secure Protocols. páginas 74--91, IOS Press, 2008.
  12. Marina Egea. An executable formal semantics for OCL with Applications to Formal Analysis and Validation-Draft Version. Tesis Doctoral, Universidad Complutense de Madrid, 2008.
  13. L. Sánchez-Gil. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. Tesis de Licenciatura, 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. Tesis Doctoral, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Noviembre 2007.
  15. F. Sáenz-Pérez. DES: un recurso para el aprendizaje de bases de datos deductivas. Thomson, Julio 2007.
  16. G. Puebla. Logic Based Program Synthesis and Transformation (LOPSTR'06). LNCS, Núm. 4407, 237 páginas, Springer, Marzo 2007.
    CORE: B. Citeseer: 363/1221 (29%), impacto 0.85. CS Conf Rankings: 0.72. posición media: 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. páginas 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, Núm. , 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, Núm. 4045, 300 páginas, Springer, Junio 2006.
  24. A. Sarasa, R. del Vado-Vírseda. Propositional Logic Learning Objects. páginas 183--186, Universidad de Salamanca, 2006.


Artíulos Invitados y Tutoriales:

  1. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 páginas, Junio 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, Noviembre 2008.
  3. M. Freire Morán, J. Mariño. Voto Útil. Núm. 193, 2008.
  4. J. Mariño, O. Martín Sánchez. Las luces de la escalera. Núm. 191, páginas 72--74, 2008.
  5. C. Pareja, J. Mariño. Papiroflexia. Vol. 1, Núm. 189, páginas 73--75, Septiembre 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, Núm. 4661, páginas 10--29, Marzo 2007.
  7. The Ciao Development Team. The Ciao Multiparadigm Language and Program Development Environment. 6 páginas, Noviembre 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 páginas, Marzo 2006.


Artículos en Libros y Otras Colecciones:

  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, Núm. 5705, páginas 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, Núm. 5065, páginas 209--237, Springer-Verlag, Junio 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, páginas 174--193, Springer, 2008.


Artículos con Revisión Estricta en Congresos y Revistas de Tercer Nivel:

  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, En Prensa, 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, páginas 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, páginas 4--9, Springer, 2010.
  4. Fernando Rosa-Velardo, David de Frutos-Escrig. (Un)decidability in Petri Nets with Name Creation and Replication. submitted, En Prensa, 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, páginas 1409--1427, Elsevier, Octubre 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, páginas 109--121, Elsevier, Septiembre 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, páginas 196--211, Springer, Agosto 2009.
  9. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 páginas, Junio 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, Núm. 5, páginas 815--831, 2009.
  12. Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci. A presheaf environment for the calculus of explicit fusions. Submitted, En Prensa, 2009.
  13. Vincenzo Ciancia, Alexander Kurz, Ugo Montanari. Families of symmetries for the semantics of programming languages. Submitted, En Prensa, 2009.
  14. Vincenzo Ciancia, Emilio Tuosto. A novel class of automata for languages on infinite alphabets. Submitted, En Prensa, 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, páginas 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, páginas 243--267, Elsevier, 2009.
  17. David de Frutos-Escrig, Carlos Gregorio-Rodríguez. (Bi)simulations up-to characterise process semantics. Inf. Comput., Vol. 207, Núm. 2, páginas 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, páginas 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, páginas 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, Núm. WP09-06, páginas 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, páginas 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, Noviembre 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, Octubre 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, páginas 135--146, Octubre 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), páginas 239--248, IEEE Computer Society, Septiembre 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, Septiembre 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), Julio 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, páginas 116--121, Springer, Julio 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, páginas 2--18, Springer-Verlag, Berlin, Junio 2008.
    CORE: C. posición media: 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, páginas 43--54, Junio 2008.
  33. E. Albert, G. Puebla, M. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, Vol. 26, Núm. 2, páginas 171--204, Marzo 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, En Prensa, Enero 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, páginas 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, páginas 2--18, Springer, 2008.
    CORE: C. posición media: 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, páginas 169--183, Springer, 2008.
  39. M. J. Gabbay, M. Gabbay. a-logic with arrows (journal version). Electronic Notes in Theoretical Computer Science, Vol. 216, páginas 3--29, 2008.
  40. M. J. Gabbay, M. Gabbay. Substitution for Fraenkel-Mostowski foundations. Proceedings of the 2008 AISB Symposium on Computing and Philosophy, páginas 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, En Prensa, 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, Núm. 1, páginas 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, páginas 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, páginas 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, páginas 218--231, Springer, 2008.
  49. Fernando Rosa-Velardo,, David de Frutos-Escrig. Name creation vs. replication in Petri net systems. Fundamenta Informaticae, Vol. 88, Núm. 3, páginas 329--356, 2008.
  50. David de Frutos-Escrig, Carlos Gregorio-Rodríguez. Universal Coinductive Characterisations of Process Semantics. IFIP TCS, páginas 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, páginas 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, páginas 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, páginas 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), páginas 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, páginas 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, Núm. 2, páginas 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, páginas 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, páginas 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, páginas 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, páginas 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, páginas 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, Núm. 1, páginas 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), páginas 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, páginas 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), páginas 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, En Prensa, 2008.
  68. G. Puebla. Scenarios for Proof Carrying Code. Formal Methods for Components and Objects, FMCO'2007, Noviembre 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, páginas 814--831, Springer, Noviembre 2007.
  70. D. Zanardini. Analyzing Non-Interference with respect to Classes. Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS), World Scientific, Octubre 2007.
    CORE: C. Citeseer: 1119/1221 (91%), impacto 0.05. posición media: top 95%.
  71. F. Sáenz-Pérez. ACIDE: An Integrated Development Environment Configurable for LaTeX. The PracTeX Journal, Vol. 2007, Núm. 3, Agosto 2007.
  72. F. Sáenz-Pérez. Bib Manager and Word Citer: Bibliography Management and Citation Extraction. The PracTeX Journal, Vol. 2007, Núm. 3, Agosto 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), páginas 19--34, Agosto 2007.
    CORE: C. posición media: 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, Núm. 4529, páginas 635--645, Springer, Junio 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), páginas 16--19, IEEE Computer Society, Mayo 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, páginas 340--345, Abril 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), páginas 542--547, Abril 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), páginas 542--547, Abril 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, Núm. 4661, páginas 10--29, Marzo 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, Núm. 5382, páginas 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, Núm. 2, páginas 356--387, 2007.
  83. M. J. Gabbay. Hierarchical Nominal Terms and their Theory of Rewriting. Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 5, páginas 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, páginas 162--176, 2007.
  85. P. Nogueira. When is an Abstract Data Type a Functor?. Trends in Functional Programming, páginas 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, páginas 269--285, 2007.
  87. R. Caballero, Y. García-Ruiz. Implementing Dynamic Cut in Toy. Electronic Notes in Theoretical Computer Science, Vol. 177, páginas 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, páginas 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, En Prensa, , 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, En Prensa, , 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, páginas 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, páginas 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, páginas 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, páginas 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, páginas 253--267, 2007.
  96. J. Rodríguez-Hortalá, J. Sánchez-Hernández. Lazy Functional Prolog: a Practical Approach. Proc. PROLE'07, páginas 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, páginas 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, páginas 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, páginas 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), páginas 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, páginas 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, páginas 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, páginas 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, páginas 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), páginas 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), páginas 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, páginas 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, páginas 368--373, Springer, 2006.
    CORE: C. posición media: 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), páginas 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], páginas 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, páginas 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, páginas 158--168, Springer, 2006.


Publicaciones en Workshops con Revisión:

  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, páginas 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+), Noviembre 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, páginas 181--196, Springer, Noviembre 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), Septiembre 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), páginas 65--74, Septiembre 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 páginas, Elsevier - North Holland, Marzo 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), páginas 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, páginas 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), Núm. 3, páginas 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, páginas 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, páginas 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, páginas 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, páginas 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), páginas 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, páginas 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, páginas 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, páginas 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 páginas, University of Udine, Diciembre 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, páginas 245--249, Octubre 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, Septiembre 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), páginas 61--73, ACM Press, Septiembre 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, Agosto 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, Agosto 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, Julio 2008.
  30. S. Genaim, F. Spoto. Constancy Analysis. 10th Workshop on Formal Techniques for Java-like Programs, Julio 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 páginas, Julio 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), Julio 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, Julio 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), Abril 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, Abril 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, Núm. 3, páginas 145--161, Elsevier, Marzo 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, Marzo 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), páginas 61--70, ACM Press, Enero 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), páginas 61--70, ACM Press, Enero 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), páginas 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, páginas 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, páginas 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, páginas 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), Noviembre 2007.
  46. H. Svensson, L-Å. Fredlund. Programming distributed Erlang applications: pitfalls and recipes. Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, Octubre 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, Septiembre 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 páginas, Universidade do Porto, Septiembre 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), Septiembre 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 páginas, U. of Evora, Septiembre 2007.
  51. Dave Barker-Plummer, Nik Swoboda. A Sequent Based Logic for Coincidence Grid. CEUR Workshop Proceedings, Vol. 274, páginas 1--12, Septiembre 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), Agosto 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), Agosto 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 páginas, Julio 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, páginas 85--101, Elsevier - North Holland, Julio 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, páginas 67--83, Elsevier - North Holland, Julio 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, Julio 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, Junio 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, páginas 137--151, Elsevier, Junio 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), Junio 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, páginas 79--92, Junio 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), páginas 16--19, IEEE Computer Society, Mayo 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, Mayo 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, Marzo 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, páginas 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, páginas 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, Núm. 176, páginas 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, páginas 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), páginas 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), páginas 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 páginas, Octubre 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, páginas 45--60, University of Namur, Institut d'Informatique, Agosto 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 páginas, Agosto 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 páginas, Agosto 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 páginas, Agosto 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 páginas, Marzo 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, páginas 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, Núm. 1, páginas 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, páginas 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, páginas 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.


Informes Técnicos y Manuales:

  1. P. López-García, L. Darmawan, F. Bueno. Towards a Framework for Resource Usage Verification and Debugging in the CiaoPP System. Núm. CLIP1/2010.0, Technical University of Madrid (UPM), Febrero 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. Núm. CLIP7/2009.0, Technical University of Madrid (UPM), Diciembre 2009.
  3. D. Ivanović, M. Carro, M. Hermenegildo, P. López, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Núm. CLIP5/2009.0, Technical University of Madrid (UPM), Noviembre 2009.
  4. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Núm. CLIP4/2009.0, Technical University of Madrid (UPM), Octubre 2009.
  5. D. Ivanović, M. Carro, M. Hermenegildo. Towards Data-Aware Resource Analysis for Service Orchestrations. Núm. CLIP3/2009.0, Technical University of Madrid (UPM), Junio 2009.
  6. E. Mera, P. López-García, M. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Núm. CLIP1/2009.0, 19 páginas, Technical University of Madrid (UPM), Marzo 2009.
  7. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Núm. CLIP2/2009.0, Technical University of Madrid (UPM), Febrero 2009.
  8. Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet. A Declarative Debugger for Maude Specifications - User Guide. Núm. 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. Núm. 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. Núm. CLIP7/2008.0, Technical University of Madrid (UPM), Septiembre 2008.
  11. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo. Efficient Representations for Set-Sharing Analysis. Núm. CLIP9/2008.0, University of New Mexico and Technical University of Madrid, Septiembre 2008.
  12. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. Bridge Program Transformation for the CCall Tabling Scheme. Núm. CLIP6/2008.0, Technical University of Madrid (UPM), Septiembre 2008.
  13. A. Casas, M. Carro, M. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. Núm. TR-CS-2008-10, University of New Mexico (UNM), Septiembre 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. Núm. CLIP5/2008.0, Technical University of Madrid (UPM), Julio 2008.
  15. D. Zanardini. The Semantics of Abstract Program Slicing. Núm. CLIP4/2008.0, Technical University of Madrid (UPM), Junio 2008.
  16. M. Méndez-Lojo, O. Lhoták, M. Hermenegildo. Fast Set Sharing using ZBDDs. University of New Mexico, Junio 2008.
  17. J. Navas, M. Méndez-Lojo, M. Hermenegildo. Customizable Resource Usage Analysis for Java Bytecode. Núm. UNM TR-CS-2008-02 - CLIP1/2008.0, University of New Mexico, Enero 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. Núm. 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. Núm. CLIP12/2007.0, Technical University of Madrid, Diciembre 2007.
  22. A. Casas, M. Carro, M. Hermenegildo. Automatic Unrestricted Independent And-Parallelism in Logic Programs. Núm. CLIP11/2007.0, Technical University of Madrid (UPM), Diciembre 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). Núm. CLIP2/2007.1, Technical University of Madrid (UPM), Noviembre 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, Noviembre 2007.
  25. A. Casas, M. Carro, M. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. Núm. TR-CS-2007-16, University of New Mexico (UNM), Octubre 2007.
  26. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Núm. TR-CS-2007-14, University of New Mexico (UNM), Septiembre 2007.
  27. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Núm. CLIP8/2007.0, Technical University of Madrid (UPM), Agosto 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. Núm. CLIP6/2007.0, Technical University of Madrid (UPM), Agosto 2007.
  29. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. An Improved Continuation Call-Based Implementation of Tabling. Núm. CLIP9/2007.0, Technical University of Madrid (UPM), Agosto 2007.
  30. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism. Núm. CLIP7/2007.0, Technical University of Madrid (UPM), Agosto 2007.
  31. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Núm. CLIP5/2007.0, Technical University of Madrid (UPM), Junio 2007.
  32. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing and Nullity Analysis for Java-style Programs. Núm. CLIP2/2007.0, Technical University of Madrid (UPM), Febrero 2007.
  33. M. Gómez-Zamalloa, E. Albert, G. Puebla. Partial Evaluation Types for Improving the Decompilation of Java Bytecode to Prolog. Núm. CLIP1/2007.0, Technical University of Madrid (UPM), Febrero 2007.
  34. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Núm. CLIP3/2007.0, Technical University of Madrid (UPM), Febrero 2007.
  35. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. Maude Manual (Version 2.3). Enero 2007.
  36. Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo. Declarative debugging of Maude functional modules. Núm. 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. Núm. 3/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.
  38. Adrián Riesco, Alberto Verdejo. Parameterized skeletons in Maude. Núm. 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. Núm. CLIP9/2006.0, Technical University of Madrid (UPM), Diciembre 2006.
  40. J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Núm. CLIP8/2006.0, 43 páginas, Technical University of Madrid (UPM), Diciembre 2006.
  41. M. Hermenegildo, The Ciao Development Team. Why Ciao? --An Overview of the Ciao System's Design Philosophy. Núm. CLIP7/2006.0, 6 páginas, Technical University of Madrid (UPM), Diciembre 2006. Available from: (available online).
  42. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Resource Bounds Analysis. Núm. CLIP6/2006.0, 19 páginas, Technical University of Madrid (UPM), Noviembre 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. Núm. LCC ITI 06-8, Universidad de M?laga, Noviembre 2006.
  44. P. Pietrzak, M. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Núm. CLIP11/2006.0, Technical University of Madrid, Septiembre 2006.
  45. A. Kostenko, M. Carro. A Preliminary DHT Infrastructure for Ciao. Núm. CLIP12/2006.0, Technical University of Madrid (UPM), Agosto 2006.
  46. R. Caballero, J. Sanchez (eds.). TOY: A Multiparadigm Declarative Language, Version 2.2.3. UCM, Madrid, Julio 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. Núm. CLIP5/2006.0, 15 páginas, Technical University of Madrid (UPM), Abril 2006.
  48. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Núm. CLIP4/2006.0, 16 páginas, Technical University of Madrid, Abril 2006. Under consideration for publication.
  49. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. Núm. CLIP3/2006, 16 páginas, Technical University of Madrid (UPM), Marzo 2006.
  50. R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda. Algorithmic Debugging of Wrong Answers in Constraint Functional Logic Programming. Núm. 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. Núm. 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. Núm. 02/06, Facultad de Informática, Universidad Complutense de Madrid, 2006.

contact the webmaster