Eduardo Giménez

According to our database, Eduardo Giménez authored at least 7 papers between 1994 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Machine learning-assisted virtual patching of web applications.

Gustavo Betarte, Eduardo Giménez, Rodrigo Martínez, Álvaro Pardo

CoRR, 2018

Improving Web Application Firewalls through Anomaly Detection.

Gustavo Betarte, Eduardo Giménez, Rodrigo Martínez, Álvaro Pardo

Proceedings of the 17th IEEE International Conference on Machine Learning and Applications, 2018

2004

Type-based termination of recursive definitions.

Gilles Barthe, Maria João Frade, Eduardo Giménez, Luís Pinto, Tarmo Uustalu

Math. Struct. Comput. Sci., 2004

1998

Structural Recursive Definitions in Type Theory.

Eduardo Giménez

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1996

Introduction.

Eduardo Giménez, Christine Paulin-Mohring

Proceedings of the Types for Proofs and Programs, 1996

1995

An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.

Eduardo Giménez

Proceedings of the Types for Proofs and Programs, 1995

1994

Codifying Guarded Definitions with Recursive Schemes.

Eduardo Giménez

Proceedings of the Types for Proofs and Programs, 1994