Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 11.

Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Rosa Velardo, Fernando and Tamarit Muñoz, Salvador (2015) Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación. [Proyecto de Innovación Docente]

Caballero Roldán, Rafael and Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Tamarit Muñoz, Salvador (2016) Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción. [Proyecto de Innovación Docente]

Martín Martín, Enrique (2009) Advances in type systems for functional logic programming. [Trabajo Fin de Máster]

Martín Martín, Enrique and Riesco Rodríguez, Adrián and Montenegro Montes, Manuel and Tamarit Muñoz, Salvador and Sánchez Hernández, Jaime and Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Albert Albiol, Elvira and Arenas Sánchez, Puri and Correas Fernández, Jesús and Genaim, Samir and Gómez Zamalloa, Miguel and Martín Martín, Enrique and Puebla, Germán and Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

López Fraguas, Francisco J. and Martín Martín, Enrique and Rodríguez Hortalá, Juan and Sánchez Hernández, Jaime (2014) Rewriting and narrowing for constructor systems with call-time choice semantics. Theory and Practice of Logic Programming, March (14.2). pp. 165-213. ISSN 1471-0684

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Flores Montoya, A. and Genaim, Samir and Gómez-Zamalloa Gil, Miguel and Martín Martín, Enrique and Puebla, G. and Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

López Fraguas, Francisco J. and Martín Martín, Enrique and Rodríguez Hortalá, Juan (2014) Safe typing of functional logic programs with opaque patterns and local bindings. Information and Computation, 235 . pp. 36-69. ISSN 0890-5401

Martín Martín, Enrique (2013) Sistemas de tipos en lenguajes lógico-funcionales. [Thesis]

Albert Albiol, Elvira and Correas Fernández, Jesús and Martín Martín, Enrique and Román Díez, Guillermo (2014) Static Inference of Transmission Data Sizes in Distributed Systems. In 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, 8 - 11 October 2014, Imperial, Corfu (Greece).

García Soriano, David and Martín Martín, Enrique and Romero Laorden, David (2007) Uso de hardware gráfico para la aceleración de métodos algebraicos de recontrucción. [Coursework] (Unpublished)

This list was generated on Mon Jun 27 20:31:42 2016 CEST.