Zobrazeno 1 - 10
of 482
pro vyhledávání: '"Martín, Oscar"'
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional verif
Externí odkaz:
http://arxiv.org/abs/2307.16537
Publikováno v:
In Journal of Plastic, Reconstructive & Aesthetic Surgery December 2024 99:445-453
Publikováno v:
In Environmental Pollution 15 October 2024 359
Publikováno v:
In Journal of International Management October 2024 30(5)
Publikováno v:
In International Business Review June 2024 33(3)
Autor:
Huerta, Álvaro, Martinez-Rodrigo, Arturo, Bertomeu-González, Vicente, Ayo-Martin, Óscar, Rieta, José J., Alcaraz, Raúl
Publikováno v:
In Biomedical Signal Processing and Control May 2024 91
Autor:
Losa-Martin, Oscar, Frisuelos-Garcia, Alicia, Delgado-Iribarren, Alberto, Martin-deCabo, Maria Rosa, Martin-Segarra, Oriol, Vegas-Serrano, Ana, Hervas-Gomez, Rafael, Moreno-Nuñez, Leonor, Velasco-Arribas, Maria, Losa-Garcia, Juan E.
Publikováno v:
In Enfermedades infecciosas y microbiologia clinica (English ed.) February 2024 42(2):62-68
Autor:
Losa-Martin, Oscar, Frisuelos-Garcia, Alicia, Delgado-Iribarren, Alberto, Martin-deCabo, Maria Rosa, Martin-Segarra, Oriol, Vegas-Serrano, Ana, Hervas-Gomez, Rafael, Moreno-Nuñez, Leonor, Velasco-Arribas, Maria, Losa-Garcia, Juan E.
Publikováno v:
In Enfermedades Infecciosas y Microbiologia Clinica February 2024 42(2):62-68
Publikováno v:
In Journal of Business Research February 2024 172
Autor:
García-Solís, Blanca, Van Den Rym, Ana, Martinez-Martínez, Laura, Franco, Teresa, Pérez-Caraballo, Jareb J., Markle, Janet, Cubillos-Zapata, Carolina, Marín, Ana V., Recio, María J., Regueiro, José R., Navarro-Zapata, Alfonso, Mestre-Durán, Carmen, Ferreras, Cristina, Martín Cotázar, Carla, Mena, Roció, de la Calle-Fabregat, Carlos, López-Lera, Alberto, Fernández Arquero, Miguel, Pérez-Martínez, Antonio, López-Collazo, Eduardo, Sánchez-Ramón, Silvia, Casanova, Jean-Laurent, Martínez-Barricarte, Rubén, de la Calle-Martín, Oscar, Pérez de Diego, Rebeca
Publikováno v:
In The Journal of Allergy and Clinical Immunology October 2023 152(4):997-1009