Search Results - Herranz, Angel

Refine Results
  1. 1
    Sustainable Methodology for Operational and Formal Digital Skills Acquisition: A Case Study of e-Health Inclusion

    Sustainable Methodology for Operational and Formal Digital Skills Acquisition: A Case Study of e-Health Inclusion by Muñoz-Hernández, Susana, Benac-Earle, Clara, Herranz Nieva, Angel, Gonzalez-McGuinness, Mayte

    Published in Sustainability
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Generation of algebraic data type values using evolutionary algorithms

    Generation of algebraic data type values using evolutionary algorithms by Ballesteros, Ignacio, Benac-Earle, Clara, Mariño, Julio, Fredlund, Lars-Åke, Herranz, Ángel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Executable contracts for Elixir

    Executable contracts for Elixir by Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    A Model-Driven Approach to Teaching Concurrency

    A Model-Driven Approach to Teaching Concurrency by Carro, Manuel, Herranz, Angel, Marino, Julio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Synthesis of verifiable concurrent Java components from formal models

    Synthesis of verifiable concurrent Java components from formal models by Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Methods for diagnosing perceived age on the basis of an ensemble of phenotypic features

    Methods for diagnosing perceived age on the basis of an ensemble of phenotypic features by Coma, Mireia, Valls, Raquel, Mas, José Manuel, Pujol, Albert, Herranz, Miquel Angel, Alonso, Vicente, Naval, Jordi

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Demand analysis with partial predicates

    Demand analysis with partial predicates by MARIÑO, JULIO, HERRANZ, ÁNGEL, MORENO-NAVARRO, JUAN JOSÉ

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    A testing-based approach to ensure the safety of shared resource concurrent systems

    A testing-based approach to ensure the safety of shared resource concurrent systems by Fredlund, Lars-Åke, Mariño, Julio, Alborodo, Raúl NN, Herranz, Ángel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Applying Property-Based Testing in Teaching Safety-Critical System Programming

    Applying Property-Based Testing in Teaching Safety-Critical System Programming by Fredlund, Lars-Ake, Herranz, Angel, Marino, Julio

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    A Tool for the Integration of Constraint Solving in Spreadsheets

    A Tool for the Integration of Constraint Solving in Spreadsheets by Fernández-Soriano, Ana María, Mariño, Julio, Herranz, Ángel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Genetic polymorphisms and skin aging: the identification of population genotypic groups holds potential for personalized treatments

    Genetic polymorphisms and skin aging: the identification of population genotypic groups holds potential for personalized treatments by Naval, Jordi, Alonso, Vicente, Herranz, Miquel Angel

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Brocardos, latines y latinajos: Una aproximación a los porqués de la pervivencia del latín dentro del lenguaje jurídico español

    Brocardos, latines y latinajos: Una aproximación a los porqués de la pervivencia del latín dentro del lenguaje jurídico español by Herranz, Miguel Ángel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations

    Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations by Vasquez-Cevallos, Leonel, Parpacen-Briones, Leticia, Del-Pino-Bazan, Fabian, Moran-Chaguay, Hermes, Diaz-Mora, Pryscilla, Zevallos, Juan Carlos, Estrada, Rebeca, Soto-Rodriguez, Paul E.D., Muñoz-Hernández, Susana, Herranz-Nieva, Ángel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Superintegrability on Three-Dimensional Riemannian and Relativistic Spaces of Constant Curvature

    Superintegrability on Three-Dimensional Riemannian and Relativistic Spaces of Constant Curvature by Herranz, Francisco José

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    A Coding Rule Conformance Checker Integrated into GCC

    A Coding Rule Conformance Checker Integrated into GCC by Marpons, Guillem, Mariño, Julio, Carro, Manuel, Herranz, Ángel, Fredlund, Lars-Åke, Moreno-Navarro, Juan José, Polo, Álvaro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Demand Analysis with Partial Predicates

    Demand Analysis with Partial Predicates by Marino, Julio, Herranz, Angel, Moreno-Navarro, Juan Jose

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Live-Line Work Evolves in Spain

    Live-Line Work Evolves in Spain by Belinchon, Martin Portillo, Fernandez, Miguel Angel

    Get full text
    Magazinearticle
    Save to List
    Saved in:
  18. 18
    Lorentzian Snyder spacetimes and their Galilei and Carroll limits from projective geometry

    Lorentzian Snyder spacetimes and their Galilei and Carroll limits from projective geometry by Ballesteros, Angel, Gubitosi, Giulia, Herranz, Francisco J

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    The κ-(A)dS noncommutative spacetime

    The κ-(A)dS noncommutative spacetime by Ballesteros, Angel, Gutierrez-Sagredo, Ivan, Herranz, Francisco J.

    Published in Physics letters. B
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Automatic Coding Rule Conformance Checking Using Logic Programs

    Automatic Coding Rule Conformance Checking Using Logic Programs by Marpons-Ucero, Guillem, Mariño, Julio, Herranz, Ángel, Fredlund, Lars-Åke, Carro, Manuel, Moreno-Navarro, Juan José

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: