Codifying Guarded Definitions with Recursive Schemes. - Eduardo Giménez 001 (TYPES, 1994)

An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol. - Eduardo Giménez 001 (TYPES, 1995)

Introduction. - Eduardo Giménez 001; Christine Paulin-Mohring (TYPES, 1996)

Structural Recursive Definitions in Type Theory. - Eduardo Giménez 001 (ICALP, 1998)

Type-based termination of recursive definitions. - Gilles Barthe; Maria João Frade; Eduardo Giménez 001; Luís Pinto 001; Tarmo Uustalu (Math. Struct. Comput. Sci., 2004)

Improving Web Application Firewalls through Anomaly Detection. - Gustavo Betarte; Eduardo Giménez 001; Rodrigo Martínez; Álvaro Pardo (ICMLA, 2018)

Machine learning-assisted virtual patching of web applications. - Gustavo Betarte; Eduardo Giménez 001; Rodrigo Martínez; Álvaro Pardo (CoRR, 2018)