InstitucionesÁrea de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
|
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
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
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
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
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).
Modeling and analysis of advanced cryptographic primitives and security protocols in maude-npa
Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.). Universitat Politècnica de València (2022).
Partial evaluation of rewriting logic theories
Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2019).
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).
Termination of narrowing: automated proofs and modularity properties
Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2010).
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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados