E-LIB Suche - Ergebnisse für: Aranda, Jesús

1

Time for Networks: Mutation Testing for Timed Automata Netw..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),

Cortés, David ; Ortiz, James ; Basile, Davide... - p. 44-54 , 2024

Link: https://dl.acm.org/doi/1..

2

Formal Verification of a Mechanical Ventilator using UPPAAL:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Cuartas, Jaime ; Cortés, David ; Betancourt, Joan S.... - p. 2-13 , 2023

Link: https://dl.acm.org/doi/1..

3

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mut..:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Cuartas, Jaime ; Aranda, Jesus ; Cordy, Maxime... - p. 52-61 , 2023

Link: https://doi.org/10.1109/..

4

Applying parallelism to a bisimulation algorithm to improve..:

Betancourt, Joan ; Ortiz, James ; Aranda, Jesus
Ingeniería y Competitividad. 25 (2023) Suplemento - p. , 2023

Link: https://doi.org/10.25100..

5

Hepatitis C virus point-of-care microelimination approach i..:

Pinazo-Bandera, José María ; Aranda, Jesús ; García-García, Alberto Manuel...
Gastroenterology Report. 12 (2023) - p. , 2023

Link: https://doi.org/10.1093/..

6

Pharmacokinetics and Endocrine Effects of an Oral Dose of D..:

Navarro, Juan A. ; Díaz, Caridad ; Decara, Juan...
Nutrients. 14 (2022) 19 - p. 4094 , 2022

Link: https://doi.org/10.3390/..

7

Evaluation of neurotrophic factors and education level as p..:

Requena-Ocaña, Nerea ; Araos, Pedro ; Flores, María...
Scientific Reports. 11 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

8

Sudden cessation of fluoxetine before alcohol drinking rein..:

Aranda, Jesús ; Fernández-Arjona, María del Mar ; Alén, Francisco...
Brain Structure and Function. 226 (2021) 7 - p. 2243-2264 , 2021

Link: https://doi.org/10.1007/..

9

Importance of twitching and surface-associated motility in ..:

Corral, Jordi ; Pérez-Varela, María ; Sánchez-Osuna, Miquel...
Virulence. 12 (2021) 1 - p. 2201-2213 , 2021

Link: https://doi.org/10.1080/..

10

Analysis of Both Lipid Metabolism and Endocannabinoid Signa..:

Tovar, Rubén ; Vargas, Antonio ; Aranda, Jesús...
International Journal of Molecular Sciences. 22 (2021) 12 - p. 6292 , 2021

Link: https://doi.org/10.3390/..

11

COLRAcinetobacter baumannii sRNA Signatures: Computational ..:

Cafiso, Viviana ; Stracquadanio, Stefano ; Lo Verde, Flavia...
Frontiers in Microbiology. 10 (2020) - p. , 2020

Link: https://doi.org/10.3389/..

12

Direct interaction between RecA and a CheW-like protein is ..:

Corral, Jordi ; Pérez-Varela, María ; Barbé, Jordi.
Virulence. 11 (2020) 1 - p. 315-326 , 2020

Link: https://doi.org/10.1080/..

13

Twitching and Swimming Motility Play a Role in Ralstonia so..:

Corral, Jordi ; Sebastià, Pau ; Coll, Núria S....
mSphere. 5 (2020) 2 - p. , 2020

Link: https://doi.org/10.1128/..

14

Sex‐specific behavioral and neurogenic responses to cocaine..:

Rivera, Patricia ; Aranda, Jesús ; Alén, Francisco...
Journal of Comparative Neurology. 529 (2020) 8 - p. 1724-1742 , 2020

Link: https://doi.org/10.1002/..

15

Molecular Interaction and Cellular Location of RecA and Che..:

Irazoki, Oihane ; Aranda, Jesús ; Zimmermann, Timo..
Frontiers in Microbiology. 7 (2016) - p. , 2016

Link: https://doi.org/10.3389/..