Babel Research Group > Publications

2013

[GNM13]: Álvaro García-Pérez, Pablo Nogueira, and Juan José Moreno-Navarro. Deriving Pierre Crégut's full-reducing Krivine machine from a small-step operational semantics of normal order. Boston, MA, USA, September 2013. Submitted for publication. [ bib ]
[Gar13]: Álvaro García Pérez. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. Talk at the weakly PL Entropy Meeting, February 7 2013. [ bib ]
[GN13b]: Álvaro García-Pérez and Pablo Nogueira. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. Science of Computer Programming, 2013. Submitted for publication. [ bib ]
[GN13c]: Álvaro García-Pérez and Pablo Nogueira. Towards Böhm trees for lambda-value: the operational and proof-theoretical machinery. Mathematical Structures in Computer Science, 2013. Submitted for publication. [ bib ]
[CHM13]: Manuel Carro, Ángel Herranz, and Julio Mariño. A model-driven approach to teaching concurrency. Trans. Comput. Educ., 13(1):5:1-5:19, January 2013. [ bib | DOI | http ]
[GN13a]: Álvaro García Pérez and Pablo Nogueira. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. In Proceedings of the ACM SIGPLAN 2013 Symposium on Partial Evaluation and Program Manipulation, PEPM '13, pages 107-116, New York, NY, USA, 2013. ACM. [ bib | DOI | http | Abstract ]
[GLM13]: Emilio Jesús Gallego Arias, James Lipton, and Julio Mariño. Constraint logic programming with a relational machine. Technical report, University of Pennsylvannia, Wesleyan University, and Universidad Politécnica de Madrid, 2013. In preparation. [ bib ]

2012

[FCL12a]: Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Adding distribution and fault tolerance to Jason. In Workshop on Programming based on Actors, Agents, and Decentralized Control 2012(AGERE! 2012), Tucson, Arizona (USA), October 21-22 2012. [ bib | .pdf | Abstract ]
[E12]: Sinan Eğilmez. A sound and efficient approach for the similarity concept in fuzzy logic. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, October 2012. Advisors: Susana Muñoz Hernández and Víctor Pablos Ceruelo, Calificación: Sobresaliente (9.5/10). [ bib | .html ]
[FCCL12]: Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, and Lars-Åke Fredlund. Static partial order reduction for probabilistic concurrent systems. In 9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012, London, United Kingdom, September 17-20 2012. [ bib | .pdf | Abstract ]
[FCL12c]: Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Erlang as an implementation platform for BDI languages. In Eleventh ACM SIGPLAN Erlang Workshop 2012(Erlang 12), Copenhagen, Denmark, September 14 2012. [ bib | .pdf | Abstract ]
[Her12]: Susana Muñoz Hernández. Socializing label translation for real multilingual software applications. In 17th Annual LRC Internationalisation & Localisation Conference: Social Localisation, University of Limerick, September 2012. [ bib | .pdf ]
[GN12b]: Álvaro García Pérez and Pablo Nogueira. Enfoque normal y enfoque spine para reducción en el cálculo lambda puro. In Luis Iribarne, Antonio Ruiz, María del Mar Gallardo, María Valeria de Castro, Mateu Villaret, and José M. Gómez, editors, Taller de Programación Funcional, Jornadas SISTEDES sobre Programación y Lenguajes 2012, page 116, Almería, September 2012. Sistedes, Universidad de Almería. [ bib | http | Abstract ]
[Nog12]: Pablo Nogueira. Los cálculos lambda y lambda-value y sus estrategias de reducción. In Luis Iribarne, Antonio Ruiz, María del Mar Gallardo, María Valeria de Castro, Mateu Villaret, and José M. Gómez, editors, Taller de Programación Funcional, Jornadas SISTEDES sobre Programación y Lenguajes 2012, page 115, Almería, September 2012. Sistedes, Universidad de Almería. [ bib | http | Abstract ]
[Mor12]: Juan José Moreno Navarro. Evolution of science in spain by subject areas. Technical Report UPM-BABEL-2012-001, Babel Group, Universidad Politécnica de Madrid, September 2012. [ bib ]
[Gal12]: Emilio Jesús Gallego Arias. Relational and Allegorical Semantics for Constraint Logic Programming. PhD thesis, Facultad de Informática, Universidad Politécnica de Madird, July 2012. Advisors: Jim Lipton and Julio Mariño. [ bib ]
[FCL12b]: Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. ejason: an implementation of Jason in Erlang. In 10th International Workshop on Programming Multi-Agent Systems (ProMAS 2012), Valencia, Spain, June 5 2012. Under evaluation to be included in LNCS. [ bib | .pdf | Abstract ]
[CL12]: Clara Benac Earle and Lars-Åke Fredlund. Verification of timed Erlang programs using McErlang. In 14th IFIP WG 6.1 International Conference FMOODS 2012 and 32nd IFIP WG 6.1 International Conference FORTE 2012, Stockholm, Sweden, 13-16 June, 2012, volume 7273 of IFIP-LNCS, June 2012. [ bib ]
[MAM12]: Susana Muñoz Hernández María Auxiliadora Montes, Miguel Ángel Peña. Distribution of municipal services access points over a territory in a scenario with restricted information. In Proceedings of the Second International Conference on Social Eco-Informatics (SOTICS 2012), Octubre 21-26, 2012, Venecia, Italia, 2012. [ bib ]
[SM12b]: Máximo Ramírez Robles Susana Muñoz Hernández. A software supported loan system for sustainability in education. In Proceedings of the 7th International Conference on ICT for Development, Education and Training, Mayo 23-25, 2012, Cotonou, Benin, 2012. [ bib ]
[SM12d]: Máximo Ramírez Robles Susana Muñoz Hernández. Uburyo: Open source software for managing micro-credits in education. In Proceedings of the International Conference EDUCON 20121. Collaboratative Learning & New Pedagogic Approaches in Engineering Education. IEEE Catalog Number: CFP12EDU-USB, Abril 17-20, 2012, Marrakesh, Marruecos, 2012. Premio al mejor artículo en la categoría de "Métodos educativos y menanismos de enseñanza en ingeniería". [ bib ]
[SM12c]: Máximo Ramírez Robles Susana Muñoz Hernández. Sustainable loans system: motivation,engagement besides an opportunity of education. In Proceedings of IDLELO 5 (Free and Open Source Foundation For Africa Conference)Theme: "Open Source Solutions for achieving Millenium Development Goals", Marzo 19-23, 2012, Abuja, Nigeria, 2012. [ bib ]
[SM12a]: Máximo Ramírez Robles Susana Muñoz Hernández. Evaluation of an application for managing microcredits in education. In Proceedings of the ACM DEV 2012 (the second annual Symposium on Computing for Development), Marzo 11-12, 2012, Atlanta, GA, EEUU, page 22. ACM, 2012. [ bib | DOI ]
[MM12]: Rubén Monjaraz and Julio Mariño. From the π-calculus to flat ghc. In Schreye et al. [SJK12], pages 163-172. [ bib ]
[SJK12]: Danny De Schreye, Gerda Janssens, and Andy King, editors. Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. ACM, 2012. [ bib ]
[GL12]: Emilio Jesús Gallego Arias and James Lipton. Logic programming in tabular allegories. In Agostino Dovier and Vítor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary, volume 17 of LIPIcs, pages 334-347. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [ bib ]
[GN12c]: Jeremy Gibbons and Pablo Nogueira, editors. Proceedings of the 11th International Conference on Mathematics of Program Construction, 25-27 June 2012, Madrid, Spain, volume 7342 of Lecture Notes in Computer Science. Springer, 2012. [ bib | http ]
[FMH12]: Ana María Fernández-Soriano, Julio Mariño, and Ángel Herranz. A tool for the integration of constraint programming in spreadsheets. Electronic Notes in Theoretical Computer Science, 282(0):35-45, 2012. Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011. [ bib | DOI | http | Abstract ]
[GN12a]: Murdoch J. Gabbay and Aleksandar Nanevski. Denotation of syntax and metaprogramming in contextual modal type theory. Submitted to the Journal of Applied Logic, 2012. [ bib ]
[Gab12]: Murdoch J. Gabbay. Meta-variables as infinite lists in nominal terms unification and rewriting. Logic Journal of the IGPL, 2012. In press. [ bib ]
[HM12]: Ángel Herranz and Julio Mariño. A verified implementation of priority monitors in Java. In Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov, editors, Proceedings 2nd. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS'11), Revised Lectures, volume 7421 of Lecture Notes in Computer Science. Springer, 2012. [ bib ]

2011

[Sil11]: Diego Nuñez Silva. Design and implementation of a media access component at Picsearch using a rigorous software engineering approach. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, November 2011 2011. Advisor: Lars-Åke Fredlund. Joint degree with Blekinge Institute of Technology, Sweden. [ bib ]
[Avr11]: Slavisa Avramovic. Design and implementation of a servlet and mobile client for adaptive location-based information retrieval. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, November 2011 2011. Advisor: Lars-Åke Fredlund. Joint degree with Technische Universität Kaiserslautern, Germany. [ bib ]
[Fre11b]: Lars-Åke Fredlund. McErlang. Tutorial talk at the Erlang User Conference 2011, November 4 2011. [ bib | http ]
[Fre11a]: Lars-Åke Fredlund. Erlang QuickCheck and Java. Tutorial talk at the Erlang User Conference 2011, November 4 2011. [ bib | http ]
[Gar11c]: Álvaro García Pérez. Estrategias del cálculo lambda e interderivación de artefactos semánticos. Charla impartida en el III Taller de Programación Funcional TPF 2011, September 5 2011. [ bib | http ]
[FMH11]: Ana María Fernández-Soriano, Julio Mariño, and Ángel Herranz. A tool for the integration of constraint logic programming in spreadsheets. In Purificación Arenas, Víctor M. Gulías, and Pablo Nogueira, editors, Actas XI Jornadas sobre Programación y Lenguajes, pages 243-252, A Coruña, Spain, September 2011. ISBN 978-84-9749-487-8. [ bib ]
[Fer11]: Álvaro Fernández Díaz. Static partial order reduction for probabilistic systems. Master's thesis, Fakultät für Informatik, Technische Universität Dresden, July 29 2011. Advisor: Christel Baier, Calificación: Sobresaliente. [ bib | .html | .pdf | Abstract ]
[Pol11]: Miguel Ángel Polo Mancera. Polimorfismo ad-hoc en un lenguaje lógico funcional. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, July 2011. Supervised by Julio Mariño (in Spanish). [ bib ]
[HM11a]: Ángel Herranz and Julio Mariño. Synthesis of logic programs from object-oriented formal specifications. In John P. Gallagher and Michael Gelfond, editors, Technical Communications of the 27th Int'l. Conference on Logic Programming (ICLP'11), volume 11 of Leibniz International Proceedings in Informatics (LIPIcs), pages 95-105, Dagstuhl, Germany, July 2011. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. [ bib | DOI | http ]
[PM11]: Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Introducing priorities in rfuzzy: Syntax and semantics. In CMMSE 2011 : Proceedings of the 11th International Conference on Mathematical Methods in Science and Engineering, volume 3, pages 918-929, Benidorm (Alicante), Spain, June 2011. [ bib | http | Abstract ]
[Gar11d]: Álvaro García Pérez. Full reduction in open strict calculus. Talk at IMDEA Software, Theory Lunch, May 24 2011. [ bib | .pdf | Abstract ]
[HBMM11]: Ángel Herranz, Clara Benac, Guillem Marpons, and Julio Mariño. Mechanising the validation of ERTMS requirements and new procedures. In 9th World Congress on Railway Research, page 33, May 2011. [ bib | .pdf ]
[Mar11b]: Guillem Marpons. Layered coding rule definition and enforcing using LLVM. Talk at IMDEA Software, Theory Lunch, April 26 2011. [ bib | .pdf | Abstract ]
[Gar11b]: Álvaro García Pérez. The beta cube. Talk at the Programming, Logic and Semantics Group, March 7 2011. [ bib | .pdf ]
[CEF⁺11]: D. Castro, C. Benac Earle, L. Fredlund, V. Gulías, and S. Rivas. A case study on verifying a supervisor component using McErlang. ENTCS, 271:23-40, March 2011. [ bib | DOI | Abstract ]
[Gar11a]: Álvaro García Pérez. The beta cube. Talk at the weakly PL Entropy Meeting, February 3 2011. [ bib | http ]
[Jin11]: Lu Jingwei. Extending fuzzy logic with characteristics similarity and quantification. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, February 2011. Advisors: Susana Muñoz Hernández and Víctor Pablos Ceruelo, Calificación: Sobresaliente (10/10). [ bib | .html ]
[Mar11a]: Julio Mariño, editor. Functional and Constraint Logic Programming, 19th International Workshop, Revised Selected Papers, volume 6559 of LNCS. Springer Verlag, 2011. [ bib ]
[Gab11]: Murdoch J. Gabbay. Festschrift in honour of Howard Barringer. chapter Stone Duality for First-order Logic: a Nominal Approach to Logic and Topology. 2011. [ bib ]
[HM11b]: Ángel Herranz and Julio Mariño. A verified implementation of priority monitors in Java. In Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov, editors, Papers presented at the 2nd. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS'11), number 26, pages 244-259, Turin, Italy, 2011. Karlsruhe Reports in Informatics. ISSN 2190-4782. [ bib ]
[Her11]: Ángel Herranz. An Object-Oriented Formal Notation: Executable Specifications in Clay. PhD thesis, Universidad Politécnica de Madrid, January 2011. [ bib ]
[MPS11]: Susana Muñoz-Hernández, Víctor Pablos-Ceruelo, and Hannes Strass. Rfuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Information Sciences, 181(10):1951 - 1970, 2011. Special Issue on Information Engineering Applications Based on Lattices. [ bib | DOI | http | Abstract ]
[GLMN11]: Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, and Pablo Nogueira. First-order unification using variable-free relational algebra. Logic Journal of IGPL, 19(6):790-820, 2011. [ bib | DOI | http | Abstract ]

2010

[Muñ10d]: Susana Muñoz-Hernández. Seminario "introducción al trabajo en equipo ii". October 19 2010. [ bib | .pdf ]
[FCL10]: Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Implementing a multiagent negotiation protocol in erlang. In Ninth ACM SIGPLAN Erlang Workshop, Erlang'10, pages 69-74, Baltimore, Maryland, USA, September 30 2010. ACM. [ bib | .pdf | Abstract ]
[Gar10b]: Álvaro García Pérez. El cubo beta. Charla impartida en el II Taller de Programación Funcional TPF 2010, September 7 2010. [ bib | http ]
[PFM10]: Víctor Pablos-Ceruelo, Álvaro Fernández Díaz, and Susana Muñoz-Hernández. Developing user-sensitive search engines from fuzzy concepts. In Actas XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'10), pages 175-186, Valencia, Spain, September 7-10 2010. http://www.dsic.upv.es/conferences/jisbd2010/articulos.shtml. [ bib ]
[Nog10]: Pablo Nogueira. Programación genérica funcional. In II Taller de Programación Funcional, X Jornadas sobre Programación y Lenguajes (PROLE), Congreso Español de Informática (CEDI'10), Valencia, September 7 2010. Sociedad Científica Informática de España, IEEE Sección España, Universidad Politécnica de Valencia. [ bib ]
[Muñ10a]: Susana Muñoz-Hernández. Mesa redonda "¿qué hace la universidad por el acercamiento de las culturas?". September 6 2010. [ bib ]
[Muñ10c]: Susana Muñoz-Hernández. Seminario "introducción al trabajo en equipo i". September 2 2010. [ bib | .pdf ]
[SEF10]: H. Svensson, C. Benac Earle, and L. Fredlund. A unified semantics for future erlang. In Ninth ACM SIGPLAN Erlang Workshop, Erlang'10, pages 23-32, Baltimore, Maryland, USA, September 2010. ACM. [ bib | .pdf ]
[CEF⁺10b]: D. Castro, C. Benac Earle, L. Fredlund, V. Gul}ias, and S. Rivas. A verification of a process supervisor with mcerlang. In PROLE 2010 - Jornadas sobre Programacion y Lenguajes, September 2010. [ bib | .pdf | Abstract ]
[Her10c]: Susana Muñoz Hernández. Internacionalización en los estudios de máster. July 14 2010. [ bib | .pdf ]
[GNG10]: Álvaro García, Pablo Nogueira, and Emilio Jesús Gallego Arias. The beta cube (extended abstract). In César Muñoz and Hélène Kirchner, editors, Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS'10), pages 3-7, Edinburgh, UK, July 9 2010. [ bib | .pdf | .pdf | Abstract ]
[Her10e]: Susana Muñoz Hernández. Tecnología para el desarrollo y la cooperación: visión crítica. July 7 2010. [ bib ]
[MMMPR10]: Jesús Martínez-Mateo, Susana Muñoz-Hernández, and David Pérez-Rey. A Discussion of Thin Client Technology for Computer Labs. In Boris Shishkov, George A. Tsihrintzis, and Maria Virvou, editors, First International Multi-Conference on Innovative Developments in ICT (INNOV 2010), pages 119-124. Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), July 2010. First International Conference on Technology-Enhanced Learning (ICTEL 2010). [ bib ]
[HM10]: Ángel Herranz and Julio Mariño. Executable specifications in an object oriented formal notation. In 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, pages 144-158, Hagenberg, Austria, July 2010. Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. [ bib | .pdf | Abstract ]
[CEF⁺10a]: D. Castro, C. Benac Earle, L. Fredlund, V. Gul}ias, and S. Rivas. Using McErlang to verify an Erlang process supervision component. In Trends in Functional Programming 2010, May 2010. [ bib | .pdf | Abstract ]
[Her10b]: Susana Muñoz Hernández. Experiéncias de tic en desarrollo. April 29 2010. [ bib | .pdf ]
[Her10d]: Susana Muñoz Hernández. Tecnologia para el desarrollo y la cooperacion (tedeco). April 28 2010. [ bib | .pdf ]
[FMP10]: Álvaro Fernández Díaz, Susana Muñoz-Hernández, and Víctor Pablos-Ceruelo. Developing user-sensitive e-commerce applications from fuzzy concepts. In Algebraic methods, soft computing, and program verification, International Center for Mathematical Meetings (CIEM), Castro Urdiales, Cantabria, Spain, April 21-23 2010. Julio Rubio (Univ. de La Rioja) and Manuel Ojeda-Aciego (Univ. de Málaga). Sponsored by: Ingenio2010, CIEM, Excmo. Ayuntamiento de Castro Urdiales. Keynote Speakers: Thomas Arts (Univ. of Gothenburg), Gilles Barthe (Madrid Institute for Advanced Studies (Software)), Stefan Berghofer (Technische Universität München), Mario de Jesús Pérez Jiménez (Univ. de Sevilla), José Luis Ruiz Reina (Univ. de Sevilla), Enric Trillas (European Centre for Soft Computing). [ bib ]
[MdRM10]: J.M. Mateo, D.P. del Rey, and Susana Muñoz-Hernández. Student motivation and cross-curricular development through e-learning applied to cooperation. In Education Engineering (EDUCON), 2010 IEEE, pages 913 -920, April 2010. [ bib | DOI | Abstract ]
[Gar10a]: Álvaro García Pérez. The beta cube, March 29 2010. Poster at the BRICS Retreat 2011. [ bib | .pdf | Abstract ]
[Mon10]: Rubén Monjaraz. From the π-calculus to Flat GHC. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, March 2010. Advisor: Julio Mariño. Joint degree with TU Dresden. [ bib ]
[HP10a]: Ángel Herranz and Iván Pérez. Communication models for resource mashups. Technical Report UPM-BABEL-2010-002, Babel Group, Universidad Politécnica de Madrid, March 2010. [ bib ]
[GM10]: Murdoch J. Gabbay and Dominic Mulligan. Curry-howard for incomplete first-order logic derivations using one-and-a-half level terms. Information and Computation, 208:230-258, March 2010. [ bib | DOI ]
[Her10a]: Susana Muñoz Hernández. Emerging free software market in developing countries. February 17 2010. [ bib | .pdf ]
[dlVLGM10]: T. Trigo de la Vega, P. Lopez-García, and Susana Muñoz-Hernández. Towards fuzzy granularity control in parallel/distributed computing. In Filipe and Kacprzyk [FK10], pages 43-55. [ bib ]
[FK10]: Joaquim Filipe and Janusz Kacprzyk, editors. ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2010. SciTePress, 2010. [ bib ]
[Muñ10b]: Susana Muñoz-Hernández. Robot Soccer, chapter RFuzzy: an Easy and Expressive Tool for Modelling the Cognitive Layer in RoboCupSoccer. InTech, 2010. [ bib | http ]
[HP10b]: Ángel Herranz and Iván Pérez. Compatible communication in mashups. Technical Report UPM-BABEL-2010-001, Babel Group, Universidad Politécnica de Madrid, January 2010. [ bib ]
[DWA⁺10]: John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Ake Fredlund, Victor Gulias, John Hughes, and Simon Thompson. Property-based testing - the protest project. 6286:250-271, 2010. [ bib | http ]
[GDEF10]: Qiang Guo, John Derrick, Clara Benac Earle, and Lars-Åke Fredlund. Model-checking erlang - a comparison between etomcrl2 and mcerlang. In Testing - practice and research techniques (TAIC PART 2010), number 6303, pages 23-3. LNCS, Springer Verlag, 2010. [ bib | Abstract ]

2009

[GM09b]: Murdoch J. Gabbay and Aad Mathijssen. Nominal universal algebra: equational logic with names and binding. Journal of Logic and Computation, 19(6):1455-1508, December 2009. [ bib | DOI ]
[GL09]: Murdoch J. Gabbay and Stéphane Lengrand. The lambda-context calculus (extended version). Information and Computation, 207:1369-1400, December 2009. [ bib | DOI ]
[Gar09a]: Álvaro García Pérez. Evaluation of the λ-calculus. generic evaluators. Talk at the Algebra of Programming Group meeting, October 23 2009. [ bib | http ]
[Pab09]: Víctor Pablos-Ceruelo. Negative non-ground queries in well founded semantics. Master's thesis, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, October 2009. Advisor: José Júlio Alves Alferes, Calificación: Notable. [ bib | .html | .pdf ]
[CRVP09]: Oscar Corcho, Catherine Roussey, Luis Manuel Vilches Blázquez, and Iván Pérez. Pattern-based OWL Ontology Debugging Guidelines. In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, and Vojtech Svatek., editors, Workshop on Ontology Patterns (WOP 2009), collocated with the 8th International Semantic Web Conference (ISWC-2009)., CEUR Workshop proceedings, pages 68-82, October 2009. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-516/. [ bib | http | Abstract ]
[PC09]: Iván Pérez and Oscar Corcho. Pattern Definitions and Semantically Annotated Instances. In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, and Vojtech Svatek, editors, Workshop on Ontology Patterns (WOP 2009), collocated with the 8th International Semantic Web Conference (ISWC-2009), CEUR Workshop proceedings, pages 131-138, October 2009. [ bib | http | Abstract ]
[BF09b]: Clara Benac Earle and Lars-Åke Fredlund. Rigorous software development using mcerlang. In 14th Conference on Software Engineering and Databases, JISBD'09, pages 335-338, San Sebastián, Spain, September 8-11 2009. [ bib ]
[San09]: Rahmat Bagas Santoso. Distributed osgi: service and semantic exposition. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, September 2009. Advisor: Lars-Ake Fredlund, Calificación: Sobresaliente cum laude. [ bib ]
[Pér09]: Iván Pérez. Gadget composition and automatic discovery in EzWeb. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, September 2009. Advisor: Susana Muñoz-Hernández, Calificación: Notable. [ bib ]
[TB09]: S. Thompson and Clara Benac Earle, editors. Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, September 2009. [ bib | Abstract ]
[Gar09b]: Álvaro García Pérez. Exploring the β-hypercube. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, September 2009. Advisor: Pablo Nogueira. [ bib ]
[MMC⁺09]: Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, and Álvaro Polo. A coding rule conformance checker integrated into GCC. ENTCS, 248:149-159, August 5 2009. [ bib | http | Abstract ]
[GG09a]: Michael Gabbay and Murdoch J. Gabbay. Term sequent logic. In Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2008), volume 246 of Electronic Notes in Theoretical Computer Science, pages 87-106, August 2009. [ bib | DOI ]
[GM09d]: Murdoch J. Gabbay and Dominic P. Mulligan. Two-level lambda-calculus. In Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2008), volume 246, pages 107-129, August 2009. [ bib | DOI ]
[Gar09d]: Álvaro García Pérez. A functional correspondence between parametric evaluators and which abstract machines? Talk at the Algebra of Programming Group meeting, June 6 2009. [ bib | .pdf ]
[MM09a]: Susana Muñoz-Hernández and Jesús Martínez-Mateo. An opportunity for libre software companies: Emerging market in developing countries. The European Journal for the Informatics Professional, X(3):51-53, June 2009. [ bib ]
[PSM09]: Víctor Pablos-Ceruelo, Hannes Strass, and Susana Muñoz-Hernández. Rfuzzy-a framework for multi-adjoint fuzzy logic programming. In Fuzzy Information Processing Society, 2009. NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society Annual Conference, pages 1-6, Cincinnati, Ohio, USA, June 2009. [ bib | DOI | http | Abstract ]
[Gar09c]: Álvaro García Pérez. A functional approach to the observer pattern. Talk at the Algebra of Programming Group meeting, May 29 2009. [ bib | .pdf ]
[MM09b]: Susana Muñoz-Hernández and Jesús Martínez-Mateo. Una oportunidad para las empresas de software libre: mercado emergente en los paises en vías de desarrollo. Novática, 1(199):44-46, May-June 2009. [ bib ]
[MMMPR09]: Jesús Martínez-Mateo, Susana Muñoz-Hernández, and David Pérez-Rey. c&d-learning Implementation Architecture: Adapting e-learning to Developing Countries. In First International Conference on Computer Supported Education (CSEDU), volume 1, pages 89-96, March 2009. [ bib ]
[THM09]: Toufik Taibi, Ángel Herranz, and Juan José Moreno-Navarro. Stepwise refinement validation of design patterns formalized in TLA+ using the TLC model checker. Journal of Object Technology (JOT, http://www.jot.fm/general/about/), 8(2):137-161, March 2009. [ bib | DOI | .pdf | Abstract ]
[Gab09a]: Murdoch J. Gabbay. Nominal algebra and the HSP theorem. Journal of Logic and Computation, 19(2):341-367, 2009. [ bib ]
[Gab09b]: Murdoch J. Gabbay. A study of substitution, using nominal techniques and Fraenkel-Mostowski sets. Theoretical Computer Science, 410(12-13):1159-1189, 2009. [ bib | DOI ]
[GM09c]: Murdoch J. Gabbay and Dominic Mulligan. Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables. In ACM International Conference Proceeding Series, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'09), pages 64-73, 2009. [ bib | DOI ]
[GM09a]: Murdoch J. Gabbay and Aad Mathijssen. A nominal axiomatisation of the lambda-calculus. Journal of Logic and Computation, 2009. Advance access (published online September 2009). [ bib | DOI ]
[DGM09]: Gilles Dowek, Murdoch J. Gabbay, and Dominic P. Mulligan. Permissive nominal terms and their unification. In Proceedings of the 24th Italian Conference on Computational Logic (CILC'09), 2009. [ bib ]
[EF09]: Clara Benac Earle and Lars-Åke Fredlund. Debugging and verification of multi-agent systems. In Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, volume 5717 of Lecture Notes in Computer Science, pages 263-270. Springer, 2009. [ bib | http ]
[SMP09]: Hannes Strass, Susana Muñoz-Hernández, and Víctor Pablos-Ceruelo. Operational semantics for a fuzzy logic programming system with defaults and constructive answers. In João Paulo Carvalho, Didier Dubois, Uzay Kaymak, and João Miguel da Costa Sousa, editors, IFSA/EUSFLAT Conf., pages 1827-1832, 2009. [ bib | .pdf ]
[BF09a]: Clara Benac Earle and Lars-Åke Fredlund. Recent improvements to the mcerlang model checker. In Thompson and Benac Earle [TB09], pages 93-100. [ bib | http | Abstract ]
[HMCM09]: Ángel Herranz, Julio Mariño, Manuel Carro, and Juan José Moreno-Navarro. Modeling concurrent systems with shared resources. In Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, volume 5825 of Lecture Notes in Computer Science, pages 102-116, 2009. [ bib | http | .pdf | Abstract ]
[BFIL09]: Clara Benac Earle, Lars-Åke Fredlund, J. Iglesias, and A. Ledezma. Verifying robocup teams. Electronic Notes in Theoretical Computer Science, 5348/2009:34-48, 2009. [ bib ]
[MPS09]: Susana Muñoz-Hernández, Víctor Pablos-Ceruelo, and Hannes Strass. Rfuzzy: An expressive simple fuzzy compiler. In Joan Cabestany, Francisco Sandoval, Alberto Prieto, and Juan M. Corchado, editors, IWANN (1), volume 5517 of Lecture Notes in Computer Science, pages 270-277. Springer, 2009. [ bib | DOI ]
[ALM09]: Gianluca Amato, James Lipton, and Robert McGrail. On the algebraic structure of declarative programming languages. Theoretical Computer Science, 410(46):4626-4671, 2009. [ bib | http ]
[MMM09]: Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. Implementing constructive intensional negation. New Generation Computing, 27(1):25-56, January 2009. [ bib ]
[GG09b]: Amaya García Pérez and Álvaro García Pérez. La afinación de la flauta tradicional de tres agujeros. Revista de Musicología, 22(2):343-361, 2009. [ bib ]

2008

[Mar08a]: Guillem Marpons. Checking coding rules in OO languages using CRISP. In COST Action IC0701 2nd Meeting, Madrid, Spain, December 2008. [ bib | .pdf ]
[HL08b]: Olivier Hermant and James Lipton. Cut elimination in the intuitionistic theory of types with axioms and rewriting cuts, constructively. In C. E. Benzmüller, C. E. Brown, J. Siekmann, and R. Statman, editors, Reasoning in Simple Type Theory. Festschrift in Honor of Peter B. Andrews on His 70th Birthday, volume 17 of Studies in Logic. Mathematical Logic and Foundations. College Publications, December 1 2008. [ bib ]
[PMS08]: Víctor Pablos-Ceruelo, Susana Muñoz-Hernández, and Hannes Strass. Rfuzzy framework. In Puri Arenas and Damiano Zanardini, editors, 18th Workshop on Logic-based methods in Programming Environments, WLPE 2008, pages 62-76, Udine, Italy, December 2008. [ bib | http | http | http | Abstract ]
[GM08b]: Murdoch J. Gabbay and Aad Mathijssen. The lambda-calculus is nominal algebraic. In C. E. Benzmüller, C. E. Brown, J. Siekmann, and R. Statman, editors, Reasoning in Simple Type Theory. Festschrift in Honor of Peter B. Andrews on His 70th Birthday, volume 17 of Studies in Logic. Mathematical Logic and Foundations. College Publications, December 1 2008. [ bib | .pdf ]
[MPML08]: Jesús Martinez, Iván Pérez, Susana Muñoz-Hernández, and Daniel Lancho. Thin client technology in the academic environment. In IV Congreso Universidad y Cooperación al Desarrollo, Barcelona, España, November 2008. [ bib ]
[EMPS08]: Francisco Escudero, Susana Muñoz-Hernández, David Pérez, and Fernándo Suarez. c&d-learning: b-learning eficiente adaptado a paises en desarrollo con bajos recursos. In IV Congreso Universidad y Cooperación al Desarrollo, Barcelona, España, November 2008. [ bib ]
[GG08c]: Amaya García Pérez and Álvaro García Pérez. La afinación de la flauta tradicional de tres agujeros. In VII Congreso de la Sociedad Española de Musicología, Cáceres, España, November 2008. Sociedad Española de Musicología. [ bib ]
[GM08c]: Murdoch J. Gabbay and Aad Mathijssen. One-and-a-halfth-order logic (journal version). Journal of Logic and Computation, 18(4):521-562, November 2008. [ bib | .pdf ]
[MMC⁺08b]: Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, and Álvaro Polo. A coding rule conformance checker integrated into GCC. In Jesús M. Almendros Jiménez and María José Suárez-Cabal, editors, VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245-249, Gijón, Spain, October 7-10 2008. [ bib | .pdf | Abstract ]
[PHMM08]: Iván Pérez, Ángel Herranz, Susana Muñoz-Hernández, and Juan José Moreno-Navarro. Modelling mash-up resources. In 13th Conference on Software Engineering and Databases, JISBD'08, pages 135-146, Gijón, Spain, October 7-10 2008. [ bib | .pdf ]
[NM08]: Pablo Nogueira and Juan José Moreno-Navarro. Bialgebra views: A way for polytypic programming to cohabit with data abstraction. In Ralf Hinze and Don Syme, editors, Proceedings of the 2nd ACM SIGPLAN Workshop on Generic Programming (ICFP-WGP'08), pages 61-73, Victoria (BC), Canada, September 20 2008. ACM Press. [ bib | .pdf | Abstract ]
[Mar08b]: Guillem Marpons. Tutorial: GGCC coding rules with CRISP. In Global GCC Project Seminar, MANDRIVA S.A., 43, rue d'Aboukir, 75002 Paris, France, September 10 2008. [ bib | .pdf ]
[GLMN08]: Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, and Pablo Nogueira. First-order unification using variable-free relational algebra. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification (UNIF'08), Hagenberg, Austria, July 18 2008. [ bib | Abstract ]
[BFIL08]: Clara Benac Earle, Lars-Åke Fredlund, J. Iglesias, and A. Ledezma. Verifying robocup teams. In In Proceedings of the 2008 workshop on Model Checking and Artificial Intelligence (MochART), July 2008. [ bib ]
[MMP08]: Guillem Marpons, Julio Mariño, and Álvaro Polo. Adding coding rule checking capabilities to the GCC toolchain. In Andrew J. Hutton, C. Craig Ross, and John W. Lockhart, editors, Proceedings of the GCC Developers' Summit 2008, pages 43-54, Ottawa, Canada, June 17-19 2008. [ bib | .pdf | Abstract ]
[FM08]: Manuel Freire Morán and Julio Mariño. Voto Útil. Novática, 1(193):74, May-June 2008. [ bib ]
[MMC⁺08a]: Guillem Marpons, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz, Juan José Moreno-Navarro, and Lars-Åke Fredlund. Automatic coding rule conformance checking using logic programming. In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, volume 4902 of Lecture Notes in Computer Science, pages 18-34, San Francisco CA, USA, January 7-8 2008. Springer. [ bib | http | Abstract ]
[Pér08]: Iván Pérez. Formalización de gramáticas paramétricas independientes de contexto e implementación en mtp (formalization of parametric context free grammar and its implementation in mtp). Master's thesis, Universidad Politécnica de Madrid, 2008. To obtain the Computer Science Engineer degree. [ bib ]
[Gui08]: Daniel Guimaraes Santos. Distributed implementation of functional logic programming. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, 2008. Advisor: Julio Mariño Carballo, Calificación: Notable. [ bib ]
[Str08]: Hannes Strasse. Fuzzy reasoning via logic programming. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, 2008. Advisor: Susana Muñoz Hernández, Calificación: Sobresaliente cum laude. [ bib ]
[Yu08]: Miao Yu. Translation of erlang programs for model checking. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, 2008. Advisor: Lars-Ake Fredlund, Calificación: Sobresaliente cum laude. [ bib ]
[HL08a]: Olivier Hermant and James Lipton. A constructive semantic approach to cut elimination in type theories with axioms. In Computer Science Logic, volume 5213 of Lecture Notes in Computer Science, pages 169-183. Springer, 2008. [ bib ]
[KL08]: Danny Krizanc and James Lipton. Formal treatment of secure protocols. In Evangelos Kranakis, Evgueni Haroutunian, and Elisa Shahbazian, editors, Aspects of Network and Information Security, pages 74-91. IOS Press, 2008. [ bib ]
[MM08]: Julio Mariño and Óscar Martín Sánchez. Las luces de la escalera. Novática, 1(191):72-74, January-February 2008. [ bib ]
[GM08a]: Murdoch J. Gabbay and Aad Mathijssen. Capture-avoiding substitution as a nominal algebra. Formal Aspects of Computing, 20(4-5):451-479, January 2008. [ bib | .pdf ]
[GL08]: Murdoch J. Gabbay and Stéphane Lengrand. The lambda-context calculus. ENTCS, 196:19-35, 2008. [ bib | DOI | .pdf ]
[GG08b]: Murdoch J. Gabbay and Michael J. Gabbay. a-logic with arrows (journal version). Electronic Notes in Theoretical Computer Science, 216:3-29, 2008. [ bib | .pdf ]
[GG08a]: Murdoch J. Gabbay and Michael Gabbay. Substitution for Fraenkel-Mostowski foundations. In Proceedings of the 2008 AISB Symposium on Computing and Philosophy, pages 65-72, 2008. [ bib | .pdf ]
[GM08d]: Murdoch J. Gabbay and Dominic P. Mulligan. One-and-a-halfth order terms: Curry-Howard for incomplete derivations. In Wilfrid Hodges and Ruy J. G. B. de Queiroz, editors, Proceedings of Workshop on Logic, Language and Information in Computation (WoLLIC 2008), volume 5110 of Lecture Notes in Artificial Intelligence, pages 179-193, 2008. [ bib | .pdf ]
[GH08]: Murdoch J. Gabbay and Martin Hofmann. Nominal renaming sets. In LPAR'08, volume 5330 of Lecture Notes in Computer Science, pages 158-173. Springer, 2008. [ bib | .pdf ]

2007

[MHF⁺07]: Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, Víctor Pablos-Ceruelo, Guillem Marpons, and Juan José Moreno-Navarro. Study of existing coding rule formalisms and compendium of common hazards. Use of coding rules in software industry. Technical report, Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain, November 2007. [ bib ]
[MMH⁺07a]: Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Automatic coding rule conformance checking using logic programs. CoRR, abs/0711.0344, November 2007. [ bib | http | Abstract ]
[GM07b]: Álvaro García Pérez and Nelson Medinilla Martínez. The ambiguity criterion in software design. International Workshop on Living with Uncertainties 2007 (IWLU'07), Co-located with the 22nd International conference on Automated Software engineering (ASE'07), November 2007. [ bib | .html ]
[Gal07]: Emilio Jesús Gallego Arias. Relational unification. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, October 2007. Advisor: James Lipton. [ bib ]
[FS07b]: Lars-Åke Fredlund and H. Svensson. McErlang: a model checker for a distributed functional programming language. In Proceedings of the 12th ACM SIGPLAN International conference on functional programming (ICFP 2007), October 2007. [ bib | Abstract ]
[SF07a]: H. Svensson and Lars-Åke Fredlund. A more accurate semantics for distributed Erlang. In Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, October 2007. [ bib | Abstract ]
[SF07b]: H. Svensson and Lars-Åke Fredlund. Programming distributed Erlang applications: pitfalls and recipes. In Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, October 2007. [ bib | Abstract ]
[TF07]: S. Thompson and Lars-Åke Fredlund, editors. Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, October 2007. [ bib | Abstract ]
[Nog07a]: Pablo Nogueira. When is an abstract data type a functor? In Henrik Nilsson, editor, Trends in Functional Programming, volume 7, chapter 13, pages 217-231. Intellect, September 30 2007. Winner of Best Student Paper Award. [ bib | .pdf | Abstract ]
[FC07]: Cristóbal Pareja Flores and Julio Mariño Carballo. Papiroflexia. Novática, 1(189):73-75, September 2007. [ bib ]
[MMH⁺07b]: Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Automatic coding rule conformance checking using logic programs. In Patricia Hill and Vim Vanhoof, editors, 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, page 47, Porto, Portugal, September 2007. [ bib | http | Abstract ]
[MMH⁺07c]: Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Towards checking coding rule conformance using logic programming, August 2007. Poster at the 14th International Static Analysis Symposium, SAS 2007. [ bib | .pdf | Abstract ]
[LN07]: James Lipton and Susana Nieva. Higher-order logic programming languages with constraints: A semantics. In Typed Lambda Calculi and Applications, volume 4583 of Lecture Notes in Computer Science, pages 272-289, Paris, France, June 26-28 2007. Springer. [ bib ]
[GMR07a]: Emilio Jesús Gallego Arias, Julio Mariño-Carballo, and José María Rey Poza. A generic semantics for constraint functional logic programming. In Proc. of the 16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), Paris, France, June 25 2007. [ bib ]
[MW07a]: Susana Muñoz-Hernández and Wiratna Sari Wiguna. Fuzzy cognitive layer in robocupsoccer. In 12th International Fuzzy Systems Association World Congress (IFSA 2007). Foundations of Fuzzy Logic and Soft Computing, pages 635-645, Cancún, México, June 2007. Springer. [ bib ]
[Nog07b]: Pablo Nogueira. When is an abstract data type a functor? In Henrik Nilsson, editor, Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06), pages 217-231, Nottingham, UK, April 19-21 2007. Intellect. Winner of Best Student Paper Award. [ bib | .pdf | Abstract ]
[MW07b]: Susana Muñoz-Hernández and Wiratna Sari Wiguna. Fuzzy prolog as cognitive layer in robocupsoccer. In IEEE Symposium on Computational Intelligence and Games (2007 IEEE Symposia Series in Computational Intelligence), IEEE, pages 340-345, Honolulu, Hawaii, April 2007. [ bib ]
[HM07]: Ángel Herranz and Juan José Moreno-Navarro. Design Pattern Formalization Techniques, chapter Modeling and Reasoning about Design Patterns in SLAM-SL. IGI Publishing, March 2007. Other ISBN: 978-1-59904-221-3. [ bib | .pdf | Abstract ]
[FS07a]: Lars-Åke Fredlund and J. Sánchez Penas. Model checking a video-on-demand server using mcErlang. In Proceedings of the 11th International Conference on Computer Aided Systems Theory (Eurocast 2007), volume 4739 of LNCS. Springer, February 2007. [ bib | Abstract ]
[Gab07a]: Murdoch J. Gabbay. Fresh logic: proof-theory and semantics for fm and nominal techniques. Journal of Applied Logic, 5(2):356-387, 2007. [ bib | .pdf | Abstract ]
[Gab07b]: Murdoch J. Gabbay. A general mathematics of names. Information and Computation, 205(7):982-1011, 2007. [ bib | .pdf | Abstract ]
[FG07]: Maribel Fernández and Murdoch J. Gabbay. Nominal rewriting (journal version). Information and Computation, 205(6):917-965, 2007. [ bib | .pdf | Abstract ]
[Gab07c]: Murdoch J. Gabbay. Hierarchical nominal terms and their theory of rewriting. Electronic Notes in Theoretical Computer Science, 174(5):37-52, 2007. [ bib | .pdf | Abstract ]
[GM07a]: Murdoch J. Gabbay and Aad Mathijssen. A formal calculus for informal equality with binding. In Proceedings of WOLLIC'07, volume 4576 of Lecture Notes in Computer Science, pages 162-176, 2007. [ bib | .pdf | Abstract ]
[MHM07]: Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Demandedness analysis with partial predicates. Theory and Practice of Logic Programming, 7(1-2):153-182, January 2007. [ bib ]
[GMR07b]: Emilio Jesús Gallego Arias, Julio Mariño-Carballo, and José María Rey Poza. A proposal for disequality constraints in curry. Electr. Notes Theor. Comput. Sci., 177:269-285, 2007. [ bib | Abstract ]
[FS07c]: Lars-Åke Fredlund and H. Svensson. McErlang: a model checker for a distributed functional programming language. ACM SIGPLAN Notices, 42(9):125-136, 2007. [ bib | Abstract ]

2006

[Fre06]: Lars-Åke Fredlund. Implementing WS-CDL. In Procedings of the II Jornadas Científico-Técnicas en Servicios Web (JSWEB 2006), pages 107-113, Santiago de Compostela, Spain, November 2006. [ bib | Abstract ]
[Nog06]: Pablo Nogueira. Context-parametric polykinded types. In Ralf Hinze, editor, Proceedings of the 1st ACM SIGPLAN Workshop on Generic Programming (ICFP-WGP'06), pages 45-54, Portland (OR), USA, September 16 2006. ACM Press. [ bib | .pdf | Abstract ]
[DNM06]: Louise A. Dennis, Pablo Nogueira, and Raul Monroy. Proof-directed debugging and repair. In Henrik Nilsson, editor, Local Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06), Nottingham, UK, April 19-21 2006. [ bib | .pdf | Abstract ]
[FB06]: Lars-Åke Fredlund and Clara Benac Earle. Model checking Erlang programs: The functional approach. In ACM Sigplan International Erlang Workshop, Portland, USA, 2006. [ bib ]

2005

[HN05]: Ángel Herranz and Pablo Nogueira. More than parsing. In Francisco Javier López Fraguas, editor, Spanish Conference on Programming and Languages (CEDI-PROLE'05), pages 193-202. Thomson Paraninfo, September 2005. [ bib | .pdf | Abstract ]
[Pér05]: Iván Pérez. Automatización de la obtención de claves públicas de confianza. In In Proceedings of the first Spanish Conference on Informatics (CEDI 2005), Information Security Symposium, Granada, September 2005. CEDI'05, Thomson Paraninfo. [ bib | .pdf ]
[MR05]: Julio Mariño and José María Rey. Adding constraints to curry via flat guards. In Michael Hanus, editor, First Workshop on Curry and Functional Logic Programming. ACM Press, September 2005. [ bib ]
[GM05a]: Emilio Jesús Gallego and Julio Mariño. An overview of the sloth2005 curry system. In Michael Hanus, editor, First Workshop on Curry and Functional Logic Programming. ACM Press, September 2005. [ bib ]
[DN05]: Louise A. Dennis and Pablo Nogueira. What can be learned from failed proofs of non-theorems? In J. Hurd, E. Smith, and A. Darbari, editors, Emerging Trends Proceedings of the 18th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'05), pages 45-58, Oxford, UK, August 22-25 2005. [ bib | .pdf | Abstract ]
[Nog05]: Pablo Nogueira. The gist of side effects in pure functional languages, June 28 2005. Tutorial. [ bib | .pdf | Abstract ]
[GM05b]: Emilio Jesús Gallego Arias and Julio Mariño. An overview of the Sloth2005 Curry system: system description. In WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, pages 66-69, New York, NY, USA, 2005. ACM Press. [ bib | DOI ]

2004

[CMHM04]: Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Teaching how to derive correct concurrent programs from state-based specifications. Full paper, September 2004. [ bib | .ps.gz | Abstract ]
[AHM04]: Ángel Herranz and Julio Mariño. Por otra ruta, por favor. Novática, 1(170):73-75, August 2004. Contribución a la columna "Programar es Crear". [ bib ]
[HM04]: Ángel Herranz and Julio Mariño. Por otra ruta, por favor (cupcam 2003, problema e, solución). Novatica, 1(170):73, July 2004. Sección “Programar es crear”. [ bib | .pdf ]
[LH04]: José A. Leiva and Ángel Herranz. Un refactorizador simple (cupcam 2003, problema d, solución). Novatica, 1(169):74, May 2004. Sección “Programar es crear”. [ bib | .pdf ]
[MMM04a]: Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. Constructive intensional negation. In Stuckey and Kameyama, editors, Functional and Logic Programming Symposium, number 2998 in LNCS, pages 39-54, Nara, Japan, April 2004. Springer. [ bib ]
[GMV04]: S. Guadarrama, Susana Muñoz-Hernández, and C. Vaucheret. Fuzzy prolog: a new approach using soft constraints propagation. Fuzzy Sets and Systems (FSS), 144(1):127 - 150, 2004. Possibilistic Logic and Related Issues. [ bib | DOI | http | Abstract ]
[MHMN04]: Susana Muñoz-Hernández and Juan José Moreno-Navarro. Implementation results in classical constructive negation. In Demoen and Lifschitz [DL04], pages 284-298. [ bib ]
[DL04]: Bart Demoen and Vladimir Lifschitz, editors. Logic Programming, 20th International Conference, ICLP 2004, Saint-Maló, France, September 6-10, 2004, Proceedings, volume 3132 of Lecture Notes in Computer Science (LNCS). Springer, 2004. [ bib ]
[MMM04b]: Susana Muñoz-Hernández, J. Mariño, and Juan José Moreno-Navarro. Constructive intensional negation. In Proceedings of the 7th International Symposiun in Functional and Logic Programming, FLOPS'04, number 2998 in LNCS, pages 39-54, Nara, Japan, 2004. [ bib ]
[CMAHM04]: Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Teaching how to derive correct concurrent programs (from state-based specifications and code patterns). In C.N. Dean and R.T. Boute, editors, Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, volume 3294 of LNCS, pages 85-106. Springer, 2004. ISBN 3-540-23611-2. [ bib ]

2003

[HM03a]: Ángel Herranz and Juan José Moreno-Navarro. Formal agility. how much of each? In Taller de Metodologías Ágiles en el Desarrollo del Software. VIII Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2003, pages 47-51, Alicante, España, November 2003. Grupo ISSI. [ bib | .ps.gz | Abstract ]
[HMM03]: Ángel Herranz, Noelia Maya, and Juan José Moreno-Navarro. From executable specifications to java. In Juan José Moreno-Navarro and Manuel Palomar, editors, III Jornadas sobre Programación y Lenguajes, PROLE 2003, pages 33-44, Alicante, España, November 2003. Departamento de Lenguajes y Sistemas Informáticos, Universidad de Alicante. Depósito Legal MU-2299-2003. [ bib | .ps.gz | Abstract ]
[HM03c]: Ángel Herranz and Juan José Moreno-Navarro. Rapid prototyping and incremental evolution using SLAM. In 14th IEEE International Workshop on Rapid System Prototyping, RSP 2003), San Diego, California, USA, June 2003. [ bib | .ps.gz | Abstract ]
[HM03b]: Ángel Herranz and Juan José Moreno-Navarro. Formal extreme (and extremely formal) programming. In Michele Marchesi and Giancarlo Succi, editors, 4th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2003, number 2675 in LNCS, pages 88-96, Genova, Italy, May 2003. [ bib | .pdf | Abstract ]
[AHCMS03]: Ángel Herranz, Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. Almejas gigantes e interfaces de usuario. Novática, 1(161):70-73, February 2003. Contribución a la columna "Programar es Crear". [ bib ]
[HMCS03]: Ángel Herranz, Julio Mariño, Manuel Carro, and Pablo Sanchez. Almejas gigantes e interfaces de usuario (solución del programa e). Novatica, 1(161):70, January 2003. Sección “Programar es crear”. [ bib | .pdf ]
[Rey03]: José María Rey. Demand analysis via the dynamic generation of finite domains. Available at http://babel.ls.fi.upm.es/publications, 2003. [ bib ]
[Muñ03]: Susana Muñoz-Hernández. A Negation System for Prolog. PhD thesis, Facultad de Informática, Universidad Politécnica de Madrid, 2003. [ bib ]
[MMM03]: Susana Muñoz-Hernández, J. Mariño, and Juan José Moreno-Navarro. Constructive intensional negation: a practical implementation. In WFLP'03, 2003. [ bib ]

2002

[HMM02b]: Ángel Herranz, Juan José Moreno-Navarro, and Noelia Maya. Declarative reflection and its application as a pattern language. In Marco Comini and Moreno Falaschi, editors, Electronic Notes in Theoretical Computer Science, volume 76. Elsevier Science Publishers, November 2002. [ bib | .pdf | .ps.gz | Abstract ]
[VGM02b]: C. Vaucheret, S. Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple general implementation using clp(r). In M. Baaz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, number 2514 in LNAI, pages 450-463, Tbilisi, Georgia, October 2002. Springer. [ bib ]
[AHCMS02]: Ángel Herranz, Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. No taléis el bosque por culpa de los árboles. Novática, 1(159):74-77, October 2002. Contribución a la columna "Programar es Crear". [ bib ]
[HMCS02]: Ángel Herranz, Julio Mariño, Manuel Carro, and Pablo Sanchez. No taléis el bosque por culpa de los árboles: solución. Novatica, 1(159):74, September 2002. Sección “Programar es crear”. [ bib | .pdf ]
[May02]: Noelia Maya. SLAM: Desarrollo de software a partir de especificaciones. análisis, tipos y compilación. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid, Spain, September 2002. In Spanish. [ bib | .ps.gz | Abstract ]
[MM02a]: Susana Muñoz-Hernández and Juan José Moreno-Navarro. Constructive negation for Prolog: A real implementation. In J.J. Moreno-Navarro and J. Mariño, editors, Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, pages 39-52, Madrid, Spain, September 2002. [ bib ]
[MVG02]: Susana Muñoz-Hernández, Claudio Vaucheret, and Sergio Guadarrama. Combining crisp and fuzzy logic in a Prolog compiler. In J.J. Moreno-Navarro and J. Mariño, editors, Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, pages 23-38, Madrid, Spain, September 2002. [ bib ]
[VGM02a]: C. Vaucheret, S. Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple general implementation using clp(r). In P.J. Stuckey, editor, International Conference in Logic Programming, ICLP 2002, number 2401 in LNCS, page 469, Copenhagen, Denmark, July/August 2002. Springer. [ bib ]
[HMM02a]: Ángel Herranz, Juan José Moreno-Navarro, and Noelia Maya. Declarative reflection and its application as a pattern language. In Marco Comini and Moreno Falaschi, editors, 11th. International Workshop on Functional and Logic Programming (WFLP'02), Grado, Italy, June 2002. University of Udine. [ bib | .ps.gz | Abstract ]
[HM02b]: Ángel Herranz and Juan José Moreno-Navarro. Specifying in the large: Object-oriented specifications in the software development process. In B. J. Krämer H. Ehrig and A. Ertas, editors, The Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT'02), volume 1, Pasadena, California, June 2002. Society for Design and Process Science. ISSN 1090-9389. [ bib | .ps.gz | Abstract ]
[CMS02b]: Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. ¡queso! Novática, 1(157):73-76, June 2002. Contribución a la columna "Programar es Crear". [ bib ]
[GHM02]: Carlos Gregorio, Ángel Herranz, and Raquel Martinez. Computing curricula 2001. Novática, 1(157):47-54, May 2002. In Spanish. [ bib | .ps.gz | .pdf | Abstract ]
[Mar02]: Julio Mariño. Semantics and Analysis of Functional Logic Programs. PhD thesis, Facultad de Informática, Universidad Politécnica de Madrid, May 2002. [ bib ]
[CMS02a]: Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. Configuración de un aeropuerto. Novática, 1(156):72-75, April 2002. Contribución a la columna "Programar es Crear". [ bib ]
[CHMS02]: Manuel Carro, Ángel Herranz, Julio Mariño, and Pablo Sánchez. Configuración de un aeropuerto: solución. Novatica, 1(156):72, March 2002. Sección “Programar es crear”. [ bib | .pdf ]
[HM02a]: Ángel Herranz and Juan José Moreno-Navarro. On the design of an object-oriented formal notation. In Fourth Workshop on Rigorous Object Oriented Methods, ROOM 4. King's College, London, March 2002. [ bib | .ps.gz | Abstract ]
[Mor02]: Juan José Moreno-Navarro. From specifications to programs or how to construct programs in the internet age. In International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet on the Internet (SSGRR'02), L'Aquila, Italy, January 2002. [ bib ]
[MM02b]: Susana Muñoz-Hernández and Juan José Moreno-Navarro. Intelligent agent to implement logic negation. In J.L. Perez de la Cruz and J. Pavon, editors, 4th Iberoamerican Workshop on Multi-Agent Systems, IBERAGENTS'02, Malaga (Spain), 2002. [ bib ]
[MMM02]: Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. A practical implementation of intensional negation. In María Alpuente, editor, Workshop on Functional and Logic Programming, pages i-j. Universidad Politécnica de Valencia, 2002. [ bib ]

2001

[HM01b]: Ángel Herranz and Juan José Moreno-Navarro. Design patterns as class operators. Workshop on High Integrity Software Development at V Spanish Conference on Software Engineering, JISBD'01, November 2001. [ bib | .ps.gz | Abstract ]
[HM01a]: Ángel Herranz and Juan José Moreno-Navarro. Declarative reflection and its application as a pattern language. In Fernando Orejas, Fernando Cuartero, and Diego Cazorla, editors, I Jornadas sobre Programación y Lenguajes, PROLE 2001, pages 179-197, Almagro, Spain, November 2001. [ bib | .ps.gz | Abstract ]
[MH01]: Juan José Moreno-Navarro and Ángel Herranz. Declarative reflection and its application as a pattern language. Invited Session on “Formalization of Object-Oriented Methods, Patterns, and Frameworks”, The Fifth Multi-Conference on Systemics, Cybernetics and Informatics (SCI'2001), July 2001. [ bib | .ps.gz | Abstract ]
[HM01c]: Ángel Herranz and Juan José Moreno-Navarro. Slam-sl Tutorial. Grupo Babel, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid, Spain, 2001. Draft based on Ángel Herranz's PhD. Thesis. [ bib | .ps.gz | Abstract ]
[MMH01]: Susana Muñoz-Hernández, Juan José Moreno-Navarro, and M. Hermenegildo. Efficient negation using abstract interpretation. In R.Nieuwenhuis and A. Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning, La Habana (Cuba), 2001. [ bib ]
[VGM01]: C. Vaucheret, S. Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple implementation using clp(R). In Constraints and Uncertainty, Paphos (Cyprus), 2001. [ bib | .ps ]

2000

[Nog00]: Pablo Nogueira. El lenguaje C-: Manual de referencia, tutorial y semántica formal. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid, Spain, November 2000. In Spanish. [ bib | .ps ]
[HM00c]: Ángel Herranz and Juan José Moreno-Navarro. Towards automating the iterative rapid prototyping process with the SLAM system. In V Spanish Conference on Software Engineering, pages 217-228, November 2000. [ bib | .ps.gz | Abstract ]
[HMM00]: Ángel Herranz, Juan José Moreno-Navarro, and Julio Mariño. Demand analysis with partial predicates. In 9th International Workshop on Functional and Logic Programming (WFLP 2000), Benicassim, Spain, September 2000. Universidad Politécnica de Valencia. [ bib ]
[HM00b]: Ángel Herranz and Juan José Moreno-Navarro. On the role of functional-logic languages for the debugging of imperative programs. In 9th International Workshop on Functional and Logic Programming (WFLP 2000), Benicassim, Spain, September 2000. Universidad Politécnica de Valencia. [ bib | .ps.gz | Abstract ]
[MM00a]: Julio Mariño and Juan José Moreno-Navarro. Partial predicates for demand analysis. In María Alpuente, editor, 8th. Workshop on Functional and Logic Programming, WFLP2000, pages 324-339. Universidad Politécnica de Valencia, September 2000. [ bib ]
[HM00a]: Ángel Herranz and Juan José Moreno-Navarro. Generation of and debugging with logical pre and post conditions. In M. Ducasse, editor, Automated and Algorithmic Debugging 2000. TU Munich, August 2000. [ bib | .ps.gz | Abstract ]
[MM00c]: Susana Muñoz-Hernández and Juan José Moreno-Navarro. How to incorporate negation in a Prolog compiler. In V. Santos Costa E. Pontelli, editor, 2nd International Workshop PADL'2000, volume 1753 of LNCS, pages 124-140, Boston, MA (USA), 2000. Springer. [ bib ]
[MMH00]: Susana Muñoz-Hernández, Juan José Moreno-Navarro, and M. Hermenegildo. Efficient implementation of general negation using abstract interpretation. In Joint Conference on Declarative Programming, La Habana (Cuba), 2000. [ bib | .ps.gz ]
[MM00b]: Julio Mariño and Juan José Moreno-Navarro. Using static analysis to compile non-sequential functional logic programs. In Enrico Pontelli and Vítor Santos Costa, editors, Practical Aspects of Declarative Programming (PADL 2000), volume 1753 of LNCS, pages 63-80. Springer, January 2000. [ bib ]

1998

[MM98b]: Juan José Moreno-Navarro and Susana Muñoz-Hernández. On the practical use of negation in a Prolog compiler. In M. Vilares-Ferro J.L. Freire-Nistal, M. Falaschi, editor, Joint Conference on Declarative Programming, pages 457-469, A Coruña (Spain), 1998. [ bib ]
[MM98a]: Julio Mariño and Juan José Moreno-Navarro. Recovering sequentiality in functional logic programs. In Vilares-Ferro, editor, APPIA-GULP-PRODE'98. Universidad de La Coruña, 1998. [ bib ]
[MR98]: Julio Mariño and José María Rey. The implementation of Curry via its translation into Prolog. In Kuchen, editor, 7th Workshop on Functional and Logic Programming (WFLP98), number 63 in Working Papers. Westfälische Wilhelms-Universität Münster, 1998. [ bib ]
[LM98]: James Lipton and Robert McGrail. Encapsulating data in logic programming via categorial constraints. In PLILP'98/ALP'98: Proceedings of the 10th International Symposium on Principles of Declarative Programming, pages 391-410, London, UK, 1998. Springer-Verlag. [ bib ]

1997

[Mor97]: Juan José Moreno-Navarro. An introduction to program systematic development. Educational Report, Facultad de Informática, Universidad Politécnica de Madrid, 1997. In Spanish. [ bib ]
[Muñ97]: Susana Muñoz-Hernández. Algunas técnicas para el tratamiento de información negativa en Prolog. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, 1997. [ bib ]
[RM97]: José María Rey and Julio Mariño. Implementación de Curry mediante su traducción a Prolog. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, 1997. In Spanish. [ bib ]

1996

[KLMR96]: Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, and Mario Rodríguez-Artalejo. The functional logic language BABEL and its implementation on a graph machine. New Generation Computing, 14(4):391-427, 1996. [ bib | .html | .ps.gz | Abstract ]
[MMM⁺96]: J.J. Moreno-Navarro, J. Mariño, J. García Martín, Ángel Herranz, and A. del Pozo. Adding type-classes to functional-logic languages. In M. Martelli and M. Navarro, editors, APPIA-GULP-PRODE'96, pages 427-438. Universidad del País Vasco, Summer Courses, Basque Country University, 1996. [ bib ]

1995

[MM95]: Julio Mariño and Juan José Moreno-Navarro. Magic set transforms for functional logic programs. In Workshop on Functional and Logic Programming, Baiersbronn-Schwarzenberg (Germany). University of Dortmund, January 1995. [ bib ]

1994

[Mor94]: Juan José Moreno-Navarro. Expressivity of functional-logic languages and their implementation. In M. Alpuente and R. Barbuti, editors, Joint Conference on Declarative Programming GULP-PRODE'94. GULP (Italian ALP Chapter), Universidad Politécnica de Valencia, Servicio de publicaciones Universidad Politécnica de Valencia, September 1994. [ bib | .ps.gz | Abstract ]

1993

[Her93]: Ángel Herranz. Interpretación abstracta de lenguajes lógico funcionales. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid, Spain, October 1993. In Spanish. [ bib | .ps.gz | Abstract ]
[MHM93]: Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Demandedness analysis with dependence information for lazy narrowing. In W. Winsborough and S. Michaylov, editors, Workshop on Global Compilation, International Logic Programming Symposium October 26-30, 1993, Vancouver, BC, Canada, pages 99-114. Association for Logic Programming and Simon Fraser University, October 1993. Penn State University Technical Report. [ bib ]
[MH93]: Julio Mariño and Ángel Herranz. Specialized compilation of lazy functional logic programs. In Segundo Congreso Nacional de Programación Declarativa - 2nd Spanish Conference on Declarative Programming (ProDe'93), pages 39-55. Instituto de Investigación en Inteligencia Artificial, CSIC, 1993. [ bib ]
[MKM⁺93]: Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño, Stephan Winkler, and Werner Hans. Efficient lazy narrowing using demandedness analysis. In 5th International Symposium on Programming Language Implementation and Logic Programming, PLILP'93, volume 714 of LNCS, pages 167-183. Springer, 1993. [ bib ]

1992

[KLFMR92]: H. Kuchen, F. López-Fraguas, Juan José Moreno-Navarro, and M. Rodríguez-Artalejo. Implementing a lazy functional logic language with disequality constraints. In K. Apt, editor, Joint International Confeence and Symposium on Logic Programming - JICSLP'92, Washington (USA), pages 207-221. Association for Logic Programming and University of Maryland, The MIT Press, November 1992. [ bib | .ps.gz | Abstract ]
[JMM92]: J. A. Jiménez, J. Mariño, and Juan José Moreno-Navarro. Efficient compilation of lazy narrowing into prolog. In T. Clement and Kung-Kiu Lau, editors, Workshop on Logic on Program Synthesis and Transformation - LOPSTR'92, Manchester (UK), page 14. University of Manchester, Workshops in Computer Science, Springer Verlag, January 1993., August 1992. [ bib | .ps.gz | Abstract ]
[MM92a]: Julio Mariño and Juan José Moreno-Navarro. Efficient compilation of lazy narrowing into Prolog. In Tim Clement and Kung Kiu Lau, editors, Workshop on Logic on Program Synthesis and Transformation - LOPSTR'92, Manchester (UK). ISBN 3-540-19806-7, Workshops in Computing, pages 253-270. University of Manchester, Springer Verlag, August 1992. [ bib ]
[Mar92]: Julio Mariño. La implementación del narrowing perezoso en prolog. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, July 1992. In Spanish. [ bib ]
[MM92b]: Julio Mariño and Juan José Moreno-Navarro. Some notes on lazy evaluation. In 1st Compulog Workshop on Programming Languages, Pisa. University of Pisa, April 1992. [ bib ]
[MJM92]: Julio Mariño, Jose Andrés Jiménez Martín, and Juan José Moreno-Navarro. Some techniques for the efficient compilation of lazy narrowing into Prolog. In Primer Congreso Nacional de Programación Declarativa - 1st Spanish Conference on Declarative Programming (ProDe'92), pages 53-68. Universidad Politécnica de Madrid, 1992. [ bib ]

1990

[MKLR90]: Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, and Mario Rodríguez-Artalejo. Lazy narrowing in a graph machine. In H. Kichner and W. Wechler, editors, 2nd International Conference on Algebraic and Logic Programming, Nancy (France), pages 298-317. CRIN (Centre de Recherche en Informatique de Nancy), LNCS, Springer Verlag, October 1990. [ bib | .ps.gz | Abstract ]
[KLMR90]: Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, and Mario Rodríguez-Artalejo. Graph-based implementation of a functional logic language. In N. Jones, editor, Proceedings of the 3rd Symposium on Programming, volume 432, Berlin, 1990. Springer-Verlag. [ bib | .html | .ps.gz | Abstract ]