Zum Inhalt springen

  1. Martín-Mateos, Francisco J.; Ruiz-Reina, José L.; Alonso, José A.; Hidalgo, Mariá J.

    Lecture Notes in Computer Science: Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture Notes in Computer Science

  2. Martín-Mateos, Francisco J.; Alonso, José A.; Hidalgo, Maria José; Ruiz-Reina, José Luis

    Current Topics in Artificial Intelligence: Formal Verification of Molecular Computational Models in ACL2: A Case Study

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2004

    Erschienen in: Current Topics in Artificial Intelligence

  3. Ruiz-Reina, José Luis; Alonso-Jiménez, José Antonio; Hidalgo, María José; Martín-Mateos, Francisco Jesús

    Logic Based Program Synthesis and Transformation: Formal Reasoning about Efficient Data Structures: A Case Study in ACL2

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2004

    Erschienen in: Logic Based Program Synthesis and Transformation

  4. Reina, Jordi; Padilla, Emma; Alonso, Fermin; Ruiz de Gopegui, Enrique; Munar, Maria; Mari, Margarita

    Evaluation of a New Dot Blot Enzyme Immunoassay (Directigen Flu A+B) for Simultaneous and Differential Detection of Influenza A and B Virus Antigens from Respiratory Samples

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    American Society for Microbiology, 2002

    Erschienen in: Journal of Clinical Microbiology

  5. Ruiz-Reina, José-Luis; Alonso, José-Antonio; Hidalgo, María-José; Martín-Mateos, Francisco-Jesús

    Artificial Intelligence and Symbolic Computation: Formalizing Rewriting in the ACL2 Theorem Prover

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2001

    Erschienen in: Artificial Intelligence and Symbolic Computation

  6. Martín-Mateos, Francisco J.; Alonso, Jose A.; Hidalgo, María J.; Ruiz-Reina, José L.

    Computer Aided Systems Theory — EUROCAST 2001: Verifying an Applicative ATP Using Multiset Relations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2001

    Erschienen in: Computer Aided Systems Theory — EUROCAST 2001

  7. Espejo-Baena, Alejandro; Espejo-Reina, Alejandro; Espejo-Reina, María Josefa; Rosa-Nogales, Jaime Dalla; Ruiz-Del Pino, Joaquina; Martín-Castilla, María Belén

    “Over the Top” Augmentation for Partial Anterior Cruciate Ligament Tears Using Suspension Device for Tibial Fixation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2018

    Erschienen in: Arthroscopy Techniques

  8. Ferrer, Montserrat; Reina, Roser; Rossell, Oriol; Seco, Miquel; Alvarez, Santiago; Ruiz, Eliseo; Pellinghelli, Maria Angela; Tiripicchio, Antonio

    Unprecedented trimetallic cluster with an in-plane .mu.3-hydride ligand. X-ray crystal structure of [Mo2(CO)8(.mu.-dppm)(.mu.3-H)(.mu.-AuPPh3)]

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    American Chemical Society (ACS), 1992

    Erschienen in: Organometallics

  9. Lacasta, Delia; Reina, Ramses; Ruiz de Arcaute, Marta; Ferrer, Luis Miguel; Benito, Alfredo Angel; Tejedor, Maria Teresa; Echeverria, Irache; Ruiz, Hector; Martinez Cardenas, Silvia; Windsor, Peter Andrew

    Effect of a Topical Formulation on Infective Viral Load in Lambs Naturally Infected with Orf Virus

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Informa UK Limited, 2021

    Erschienen in: Veterinary Medicine: Research and Reports

  10. Navarro-Marí, José María; Pérez-Ruiz, Mercedes; Galán Montemayor, Juan Carlos; Marcos Maeso, María Ángeles; Reina, Jordi; de Oña Navarro, María; Cilla Eguiluz, Carlos Gustavo

    Circulation of other respiratory viruses and viral co-infection during the 2009 pandemic influenza

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2012

    Erschienen in: Enfermedades Infecciosas y Microbiología Clínica

  11. O’Connor-Reina, Carlos; Ignacio Garcia, Jose María; Rodriguez Alcala, Laura; Rodríguez Ruiz, Elisa; Garcia Iriarte, María Teresa; Casado Morente, Juan Carlos; Baptista, Peter; Plaza, Guillermo

    Improving Adherence to Myofunctional Therapy in the Treatment of Sleep-Disordered Breathing

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    MDPI AG, 2021

    Erschienen in: Journal of Clinical Medicine

  12. Vidal, Maria Gabriela; Weisser, Javier Ruiz; Gonzalez, Francisco; Toro, Maria America; Loudet, Cecilia; Balasini, Carina; Canales, Hector; Reina, Rosa; Estenssoro, Elisa

    Incidence and clinical effects of intra-abdominal hypertension in critically ill patients

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ovid Technologies (Wolters Kluwer Health), 2008

    Erschienen in: Critical Care Medicine

  13. Reina-González, Gabriel; Pérez-Ruiz, Mercedes; Avellón, Ana; Trallero, Gloria; Otero, Almudena; de la Rosa-Fraile, Manuel; Jiménez-Valera, María; Navarro-Marí, José María

    Enterovirus 75, un nuevo virus patógeno en nuestro medio

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2007

    Erschienen in: Enfermedades Infecciosas y Microbiología Clínica

  14. Álvarez, Marta Neira; Ruiz, Antonio R. Jiménez; Neira, Guillermo García-Villamil; Huertas-Hoyas, Elisabet; Cerda, Maria Teresa Espinoza; Delgado, Laura Pérez; Robles, Elena Reina; del-Ama, Antonio J.; Ruiz-Ruiz, Luisa; García-de-Villa, Sara; Rodriguez-Sanchez, Cristina

    Assessing falls in the elderly population using G-STRIDE foot-mounted inertial sensor

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2023

    Erschienen in: Scientific Reports

  15. Álvarez, Marta Neira; Rodríguez-Sánchez, Cristina; Huertas-Hoyas, Elisabet; García-Villamil-Neira, Guillermo; Espinoza-Cerda, Maria Teresa; Pérez-Delgado, Laura; Reina-Robles, Elena; Martin, Irene Bartolomé; del-Ama, Antonio J.; Ruiz-Ruiz, Luisa; Jiménez-Ruiz, Antonio R.

    Predictors of fall risk in older adults using the G-STRIDE inertial sensor: an observational multicenter case–control study

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2023

    Erschienen in: BMC Geriatrics

  16. Sanchez-Ruiz, Rodrigo; de la Plaza San Frutos, Marta; Sosa-Reina, M. Dolores; Sanz-Esteban, Ismael; García-Arrabé, Maria; Estrada-Barranco, Cecilia

    Associations between respiratory function, balance, postural control, and fatigue in persons with multiple sclerosis: an observational study

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Frontiers Media SA, 2024

    Erschienen in: Frontiers in Public Health