Alicia Villanueva García

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

• Artículos de revistas

  • Seleccionado

    Uso de wikis en ingeniería informática

    Alicia Villanueva García

    RED: revista de educación a distancia, ISSN-e 1578-7680, Nº. Extra 12, 2010 (Ejemplar dedicado a: WIKI y educación superior en España (II parte))

    • Resumen
    • Texto completo
    
  • Seleccionado

    Uso de wikis en ingeniería informática

    Alicia Villanueva García

    REDU: Revista de Docencia Universitaria, ISSN 1696-1412, ISSN-e 1887-4592, Nº. Extra 5, 2009 (Ejemplar dedicado a: Wiki y educación superior en España (II parte))

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Implementing datalog in Maude

    María Alpuente Frasnedo , Marco A. Feliú, Christophe Joubert, Alicia Villanueva García

    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. 15-22

    
  • Seleccionado

    The tccp interpreter

    Alexei Lescaylle Daudinot, Alicia Villanueva García

    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. 109-118

    
  • Seleccionado

    Symbolic Model Checking for Timed Concurrent Constraint Programs

    María Alpuente Frasnedo , Moreno Falaschi , Alicia Villanueva García

    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. 151

    

• 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 García

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

    

• Tesis

  • Seleccionado

    Model checking for the concurrent constraint paradigm

    Alicia Villanueva García

    Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.) , Moreno Falaschi (dir. tes.) . Universitat Politècnica de València (2003).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Logic-based techniques for program analysis and specification synthesis

    Marco A. Feliú

    Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.) , Alicia Villanueva García (dir. tes.). Universitat Politècnica de València (2013).

    • Resumen
    • Tesis en acceso abierto en:  RiuNet  TESEO 
    

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.