Julia Sapiña Sanchis

• Colaboraciones en obras colectivas (1)
• Tesis (1)

• Colaboraciones en obras colectivas

  • An Optimizing Protocol Transformation forConstructor Finite Variant Theories in Maude-NPA

    Damián Aparicio Sánchez, Santiago Escobar, Julia Sapiña Sanchis, Raúl Gutiérrez Gil

    Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao) / José María de Fuentes (ed. lit.), Lorena González Manzano (ed. lit.), José Carlos Sancho Núñez (ed. lit.), Ana Ayerbe (ed. lit.), Luz Marisa Alcocer Escalante (ed. lit.), 2022, ISBN 978-84-88734-13-6, págs. 288-289

    • Texto Completo Libro
    

• Tesis

  • Rewriting Logic Techniques for Program Analysis and Optimization

    Julia Sapiña Sanchis

    Tesis doctoral dirigida por Demis Ballis (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2017).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.