Víctor M. Gulías

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (10)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (3)

• Artículos de revistas

  • Seleccionado

    Certifying properties of an efficient functional program for computing Gröbner bases

    José Santiago Jorge Castro, Víctor M. Gulías, José Luis Freire Nistal (1943-)

    Journal of symbolic computation, ISSN 0747-7171, Vol. 44, Nº 5, 2009, págs. 571-582

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Implementing memory reusing in the UHC Haskell complier

    Henrique Ferreiro, David Castro, Víctor M. Gulías, Atze Dijkstra

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 39-46

    
  • Seleccionado

    Evolución en la adaptación al EEES de la asignatura de algoritmos en la Facultad de Informática de A Coruña

    José Santiago Jorge Castro, Alberto Valderruten Vidal , Víctor M. Gulías, Javier Paris Fernández

    VII Jornades de Xarxes d'Investigació en Docència Universitària: la qualitat del procés d'ensenyança/aprenentatge universitari des de la perspectiva del canvi / coord. por José Daniel Álvarez Teruel, Neus Pellín Buades, María Teresa Tortosa Ybáñez, 2009, ISBN 978-84-692-5510-0, págs. 467-475

    • Texto Completo Libro
    
  • Seleccionado

    Experiencia en la adaptación al Espacio Europeo de Educación Superior de las asignaturas de Algoritmos y Diseño de Sistemas Informáticos en la Facultad de Informática de A Coruña

    José Santiago Jorge Castro, Alberto Valderruten Vidal , Víctor M. Gulías, C. Abalde

    VI Jornades d'Investigació en Docencia Universitaria: la construcció col·legiada del model docent universitari del segle XXI / coord. por Inés Lozano Cabezas , Francesc Pastor Verdú, 2008, ISBN 978-84-691-4559-3

    • Texto Completo Libro
    
  • Seleccionado

    Adaptación al espacio europeo de educación superior de la asignatura de "algoritmos" en la facultad de informática de la universidad de a Coruña

    José Santiago Jorge Castro, Alberto Valderruten Vidal , Víctor M. Gulías, Laura M. Castro

    El espacio europeo de educación superior. Una oportunidad para las enseñanzas técnicas: actas del congreso. [Recurso electrónico]. Zamora 19, 20, 21 y 22 de junio de 2007, 2007, ISBN 978-84-7800-369-3, págs. 120-127

    
  • Seleccionado

    Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner

    J. Santiago Jorge, Víctor M. Gulías, José L. Freire

    Actas del Décimo Encuentro de Álgebra Computacional y Aplicaciones: Book of abstracts Tenth Meeting on Computer Algebra and Applications : Sevilla, 7-9 de septiembre de 2006 / coord. por Francisco Jesús Castro Jiménez , José María Ucha Enríquez , 2006, ISBN 84-611-2311-5, págs. 167-170

    
  • Seleccionado

    ARMISTICE: Una experiencia desarrollando software de gestión con Erlang

    Laura M. Castro , Víctor M. Gulías, David Cabrero , C. Abalde, Carlos Varela

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 199

    
  • Seleccionado

    Evaluación del rendimiento de un sistema de tiempo real multihilo usando un modelo reactivo síncrono

    Alberto Valderruten Vidal , Víctor M. Gulías, J. Mosquera, J.J. Sánchez, A. Blanco

    Simposio Español de Informática Distribuida: libro de actas. Ourense 25-27 de septiembre de 2000 / Senén Barro (ed. lit.) , José María Busta Rodríguez (ed. lit.), Juan Manuel Corchado Rodríguez (ed. lit.) , Pedro Cuesta Morales (ed. lit.), 2000, ISBN 84-8158-163-1, págs. 437-444

    
  • Seleccionado

    Experiencias con un cluster Beowulf

    M Barreiro, Víctor M. Gulías, J. Quintela, Antonio Blanco Ferro , José L. Freire

    SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas / coord. por Senén Barro , Universidade de Santiago de Compostela, 1999, ISBN 84-8408-060-9, págs. 239-246

    
  • Seleccionado

    Experiencia en la integración entre gestores relacionales y lenguajes funcionales

    José Luis Freire Nistal (1943-) , Víctor M. Gulías, Xesús M. López

    Actas de las Primeras Jornadas de Investigación y Docencia en Bases de Datos / coord. por Nieves R. Brisaboa , 1996, ISBN 84-88301-46-4, págs. 250-259

    • Resumen
    
  • Seleccionado

    CORALFACE/SM: un interface gráfico para CORAL en arquitectura cliente-servidor usando Smalltalk

    Sebastián Luis Bamonde Rodríguez, Roberto Catoira, José María García-Tizón Iglesias, Víctor M. Gulías

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 111-120

    • Resumen
    

• Libros

  • Seleccionado

    Actas de las X Jornadas sobre Programación y Lenguajes, PROLE2010: (SISTEDES)

    Víctor M. Gulías, Josep Francesc Silva Galiana , Alicia Villanueva

    Garceta, 2010. ISBN 978-84-92812-55-4

    
  • Seleccionado

    Interacción funcional imperativa: servidores funcionales

    Víctor M. Gulías

    Universidade da Coruña, 1995. ISBN 84-88301-16-2

    

• Tesis

  • Seleccionado

    DFL, computación funcional distribuida

    Víctor M. Gulías

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.) . Universidade da Coruña (2000).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    On the development life cycle of distributed functional applications: a case study

    Laura M. Castro

    Tesis doctoral dirigida por Víctor M. Gulías (dir. tes.). Universidade da Coruña (2010).

    • Resumen
    • Tesis en acceso abierto en: RUC
    
  • Seleccionado

    From software architecture to formal verification of a distributed system

    Juan José Sánchez Penas

    Tesis doctoral dirigida por Víctor M. Gulías (dir. tes.), Thomas Arts (dir. tes.) . Universidade da Coruña (2006).

    • Resumen
    
  • Seleccionado

    Estudio de la verificación de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas

    José Santiago Jorge Castro

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.) , Víctor M. Gulías (dir. tes.). Universidade da Coruña (2004).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.