Santiago Escobar Román
InstitucionesÁrea de conocimientoPeriodo de publicación recogido
|
|
|
Salvador Lucas Alba
Sonia Santiago Pinazo
Raúl López Rueda
Sonia Santiago
José Iborra López
Víctor García
Victoria García Valero
Carolyn Talcott
María Alpuente Frasnedo
Ángel Eduardo Cuenca Ortega
Catherine Meadows
Damián Aparicio Sánchez
José Meseguer Guaita
|
|
OpenAlex
ORCID
Scopus-
Colaboraciones en obras colectivas
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-428A 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-200OnDemandOBJ: 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
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). 
-
Tesis dirigidas
Advanced Narrowing-Based Symbolic Verification Techniques in Maude
Raúl López Rueda
Tesis doctoral dirigida por Santiago Escobar Román (codir. tes.), Julia Sapiña Sanchis (codir. tes.). Universitat Politècnica de València (2026).
Specification and verification of modern security models in Maude
Victoria García Valero
Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.). Universitat Politècnica de València (2026).
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).
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). 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
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).
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.
