Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 11.

Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y Rosa Velardo, Fernando y 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 y Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y 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 y Riesco Rodríguez, Adrián y Montenegro Montes, Manuel y Tamarit Muñoz, Salvador y Sánchez Hernández, Jaime y 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 y Arenas Sánchez, Puri y Correas Fernández, Jesús y Genaim, Samir y Gómez Zamalloa, Miguel y Martín Martín, Enrique y Puebla, Germán y 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. y Martín Martín, Enrique y Rodríguez Hortalá, Juan y 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 y Arenas Sánchez, Purificación y Flores Montoya, A. y Genaim, Samir y Gómez-Zamalloa Gil, Miguel y Martín Martín, Enrique y Puebla, G. y 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. y Martín Martín, Enrique y 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. [Tesis Doctoral]

Albert Albiol, Elvira y Correas Fernández, Jesús y Martín Martín, Enrique y 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 y Martín Martín, Enrique y Romero Laorden, David (2007) Uso de hardware gráfico para la aceleración de métodos algebraicos de recontrucción. [Trabajo de curso] (No publicado)

Esta lista fue generada el Sat Dec 3 02:53:14 2016 CET.