Concepedia

Juan Rodríguez-Hortalá

JR

3

Publications

76

Citations

3

H-Index

2007

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Juan Rodríguez-Hortalá is an author at Universidad Complutense de Madrid specializing in computer science, formal methods, and engineering.

Top concepts

Publications per year

2007–2019

3

Publications

3

A simple rewrite notion for call-time choice semantics

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández · 2007 · 38 citations

, , +19

Rewriting and call-time choice: the HO case

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández · International Symposium on Functional and Logic Programming · 2008 · 25 citations

, , +7

FlinkCheck: Property-Based Testing for Apache Flink

Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco et al. · IEEE Access · 2019 · 13 citations · Full text

, , +20

Rows per page

1–3 of 3