Juan Rodr\'iguez-Hortal\'a

Identifiers

• name variant Juan Rodr\'iguez-Hortal\'a 0.60 · backfill

Papers (2)

1. Property-based testing for Spark Streaming cs.PL · 2018 · author #2
2. Rewriting and narrowing for constructor systems with call-time choice semantics cs.PL · 2012 · author #3

Mentions

• 1209.2617 #3 · backfill · confidence 0.70 Juan Rodr\'iguez-Hortal\'a

Frequent Coauthors

• Adri\'an Riesco 1 shared papers
• Enrique Martin-Martin 1 shared papers
• Francisco J. L\'opez-Fraguas 1 shared papers
• Jaime S\'anchez-Hern\'andez 1 shared papers