Search Results - Ruiz-Reina, Antonio

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Short-term river mouth bar development during extreme river discharge events: The role of the phase difference between the peak discharge and the tidal level

    Short-term river mouth bar development during extreme river discharge events: The role of the phase difference between the peak discharge and the tidal level by Ruiz-Reina, Antonio, López-Ruiz, Alejandro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The Marine-fluvial Frontier at River Mouths during Extreme Events: A Hydrodynamic Approach

    The Marine-fluvial Frontier at River Mouths during Extreme Events: A Hydrodynamic Approach by Ruiz-Reina, Antonio, Zarzuelo, Carmen, López-Herrera, José María, López-Ruiz, Alejandro

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Effect of Blood Flow Restriction on Functional, Physiological and Structural Variables of Muscle in Patients with Chronic Pathologies: A Systematic Review

    Effect of Blood Flow Restriction on Functional, Physiological and Structural Variables of Muscle in Patients with Chronic Pathologies: A Systematic Review by Reina-Ruiz, Álvaro Jesús, Galán-Mercant, Alejandro, Molina-Torres, Guadalupe, Merchán-Baeza, Jose Antonio, Romero-Galisteo, Rita Pilar, González-Sánchez, Manuel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2

    Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2 by Martín-Mateos, Francisco Jesús, Ruiz-Reina, José Luis, Alonso, José Antonio, Hidalgo, María José

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Formal Correctness of a Quadratic Unification Algorithm

    Formal Correctness of a Quadratic Unification Algorithm by Ruiz-Reina, José-Luis, Martín-Mateos, Francisco-Jesús, Alonso, José-Antonio, Hidalgo, María-José

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Formal verification of a generic framework to synthesize SAT-provers

    Formal verification of a generic framework to synthesize SAT-provers by Martín-Mateos, Francisco -Jesús, Alonso, José -Antonio, Hidalgo, María -José, Ruiz-Reina, José -Luis

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Formal Proofs About Rewriting Using ACL2

    Formal Proofs About Rewriting Using ACL2 by Ruiz-Reina, José-Luis, Alonso, José-Antonio, Hidalgo, María-José, Martín-Mateos, Francisco-Jesús

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: