default search action

combined dblp search
author search
venue search
publication search

ask others

Juan Rodríguez-Hortalá

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/MartinMartinMRRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MartinMartinMRRR23
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio:
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132: 100860 (2023)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/EspinosaMRR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/EspinosaMRR19
Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, Juan Rodríguez-Hortalá:
FlinkCheck: Property-Based Testing for Apache Flink. IEEE Access 7: 150369-150382 (2019)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/0001R19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/0001R19
Adrián Riesco, Juan Rodríguez-Hortalá:
Property-Based Testing for Spark Streaming. Theory Pract. Log. Program. 19(4): 574-602 (2019)
2018
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-11838
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-11838
Adrián Riesco, Juan Rodríguez-Hortalá:
Property-based testing for Spark Streaming. CoRR abs/1812.11838 (2018)
2016
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Lopez-FraguasMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Lopez-FraguasMR16
Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá:
Polymorphic Types in Erlang Function Specifications. FLOPS 2016: 181-197
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/RiescoR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/RiescoR16
Adrián Riesco, Juan Rodríguez-Hortalá:
Temporal Random Testing for Spark Streaming. IFM 2016: 393-408
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Lopez-FraguasMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Lopez-FraguasMR15
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
A liberal type system for functional logic programs. Math. Struct. Comput. Sci. 25(4): 942-977 (2015)
2014
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Lopez-FraguasMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Lopez-FraguasMR14
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
Safe typing of functional logic programs with opaque patterns and local bindings. Inf. Comput. 235: 36-69 (2014)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/RiescoR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/RiescoR14
Adrián Riesco, Juan Rodríguez-Hortalá:
Singular and plural functions for functional logic programming. Theory Pract. Log. Program. 14(1): 65-116 (2014)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/Lopez-FraguasMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/Lopez-FraguasMRS14
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Rewriting and narrowing for constructor systems with call-time choice semantics. Theory Pract. Log. Program. 14(2): 165-213 (2014)
[c16]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RiescoR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RiescoR15
Adrián Riesco, Juan Rodríguez-Hortalá:
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. PROLE 2014: 87-99
2012
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/RiescoR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/RiescoR12
Adrián Riesco, Juan Rodríguez-Hortalá:
S-Narrowing for Constructor Systems. ICTAC 2012: 136-150
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Lopez-FraguasMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Lopez-FraguasMR12
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
Well-typed narrowing with extra variables in functional-logic programming. PEPM 2012: 83-92
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Martin-MartinR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Martin-MartinR12
Enrique Martin-Martin, Juan Rodríguez-Hortalá:
Transparent function types: clearing up opacity. PPDP 2012: 127-138
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1203-2431
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-2431
Adrián Riesco, Juan Rodríguez-Hortalá:
Singular and Plural Functions for Functional Logic Programming. CoRR abs/1203.2431 (2012)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1209-2617
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2617
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Rewriting and narrowing for constructor systems with call-time choice semantics. CoRR abs/1209.2617 (2012)
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Lopez-FraguasMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Lopez-FraguasMR10
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
Liberal Typing for Functional Logic Programs. APLAS 2010: 80-96
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/RiescoR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/RiescoR10
Adrián Riesco, Juan Rodríguez-Hortalá:
Programming with singular and plural non-deterministic functions. PEPM 2010: 83-92
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1002-1833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-1833
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá:
The Full Abstraction Problem for Higher Order Functional-Logic Programs. CoRR abs/1002.1833 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Lopez-FraguasRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Lopez-FraguasRS09
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A flexible framework for programming with non-deterministicfunctions. PEPM 2009: 91-100
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Lopez-FraguasRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Lopez-FraguasRS09
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A Fully Abstract Semantics for Constructor Systems. RTA 2009: 320-334
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Lopez-FraguasMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Lopez-FraguasMR09
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
New Results on Type Systems for Functional Logic Programming. WFLP 2009: 128-144
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RiescoR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RiescoR10
Adrián Riesco, Juan Rodríguez-Hortalá:
A Natural Implementation of Plural Semantics in Maude. LDTA 2009: 165-175
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0903-2205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-2205
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A Lightweight Combination of Semantics for Non-deterministic Functions. CoRR abs/0903.2205 (2009)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0908-0494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0908-0494
Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá:
A Formalization of the Semantics of Functional-Logic Programming in Isabelle. CoRR abs/0908.0494 (2009)
2008
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Lopez-FraguasRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Lopez-FraguasRS08
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Rewriting and Call-Time Choice: The HO Case. FLOPS 2008: 147-162
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Rodriguez-Hortala08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Rodriguez-Hortala08
Juan Rodríguez-Hortalá:
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. FSTTCS 2008: 328-339
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Lopez-FraguasRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Lopez-FraguasRS07
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A simple rewrite notion for call-time choice semantics. PPDP 2007: 197-208
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wlp/Lopez-FraguasRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Lopez-FraguasRS07
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. INAP/WLP 2007: 206-222
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rodriguez-HortalaS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rodriguez-HortalaS08
Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Functions and Lazy Evaluation in Prolog. PROLE 2007: 153-174
2006
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lopez-FraguasRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lopez-FraguasRS07
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Equivalence of Two Formal Semantics for Functional Logic Programs. PROLE 2006: 117-142

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.