Santiago Escobar Román

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

• Colaboraciones en obras colectivas

  • Seleccionado

    Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method

    Raúl López Rueda, Santiago Escobar Román

    Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023 / coord. por Yolanda Blanco Fernández , Manuel Fernández Veiga , Ana Fernández Vilas , José María de Fuentes García-Romero de Tejada , 2023, ISBN 978-84-8158-970-2, págs. 247-249

    • Texto Completo Libro
    
  • Seleccionado

    Analysis and verification of code-based key encapsulation mechanism BIKE in Maude

    Víctor García, Santiago Escobar Román

    Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023 / coord. por Yolanda Blanco Fernández , Manuel Fernández Veiga , Ana Fernández Vilas , José María de Fuentes García-Romero de Tejada , 2023, ISBN 978-84-8158-970-2, págs. 421-428

    • Texto Completo Libro
    
  • Seleccionado

    A graphical user interface for Maude-NPA

    Sonia Santiago, Carolyn Talcott, Santiago Escobar Román, Catherine Meadows, José Meseguer Guaita

    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. 185-200

    
  • Seleccionado

    OnDemandOBJ: an optimized OBJ interpreter

    María Alpuente Frasnedo , Santiago Escobar Román, Salvador Lucas Alba

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

    

• Tesis

  • Seleccionado

    Strategies and analysis techniques for functional program optimization

    Santiago Escobar Román

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

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Modeling and analysis of advanced cryptographic primitives and security protocols in maude-npa

    Damián Aparicio Sánchez

    Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.). Universitat Politècnica de València (2022).

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

    Partial evaluation of rewriting logic theories

    Ángel Eduardo Cuenca Ortega

    Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.), María Alpuente Frasnedo (dir. tes.) . Universitat Politècnica de València (2019).

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

    Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

    Sonia Santiago Pinazo

    Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.). Universitat Politècnica de València (2015).

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

    Termination of narrowing: automated proofs and modularity properties

    José Iborra López

    Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.), María Alpuente Frasnedo (dir. tes.) . Universitat Politècnica de València (2010).

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