E-LIB Suche - Ergebnisse für: Araujo, Hugo

1

Testing, Validation, and Verification of Robotic and Autono..:

Araujo, Hugo ; Mousavi, Mohammad Reza ; Varshosaz, Mahsa
ACM Transactions on Software Engineering and Methodology. 32 (2023) 2 - p. 1-61 , 2023

Link: https://doi.org/10.1145/..

2

Kaspar Explains: The Effect of Causal Explanations on Visua..:

, In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Gou, Marina Sarda ; Lakatos, Gabriella ; Holthaus, Patrick... - p. 1407-1412 , 2023

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

3

The DEAD-box RNA helicase RhlB is required for efficient RN..:

de Araújo, Hugo L. ; Picinato, Beatriz A. ; Lorenzetti, Alan P. R....
Microbiology Spectrum. 11 (2023) 6 - p. , 2023

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

4

Implementing Responsible Research Innovation Prompts and Pr..:

, In: Proceedings of the First International Symposium on Trustworthy Autonomous Systems,

Weerawardhana, Sachini Situmini ; Lisinska, Justyna ; Akintunde, Michael... - p. 1-6 , 2023

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

5

Leaf anatomy of Urochloa brizantha and Urochloa ruziziensis..:

Teixeira, Ester Marques Magalhães ; Dias-Pereira, Jaqueline ; Drumond, Luís César Dias..
Agronomy Science and Biotechnology. 8 (2022) - p. 1-14 , 2022

Link: https://doi.org/10.33158..

6

Fock-space approach to stochastic susceptible-infected-reco..:

de Souza, Danillo B. ; Araújo, Hugo A. ; Duarte-Filho, Gerson C....
Physical Review E. 106 (2022) 1 - p. , 2022

Link: https://doi.org/10.1103/..

7

Kaspar Causally Explains:

, In: Social Robotics; Lecture Notes in Computer Science,

Araujo, Hugo ; Holthaus, Patrick ; Gou, Marina Sarda... - p. 85-99 , 2022

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

8

Cold Regulation of Genes Encoding Ion Transport Systems in ..:

de Araújo, Hugo L. ; Martins, Bianca P. ; Vicente, Alexandre M....
Microbiology Spectrum. 9 (2021) 1 - p. , 2021

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

9

Stable intersections of conformal Cantor sets:

ARAÚJO, HUGO ; MOREIRA, CARLOS GUSTAVO
Ergodic Theory and Dynamical Systems. 43 (2021) 1 - p. 1-49 , 2021

Link: https://doi.org/10.1017/..

10

Connected Automated Driving: A Model-Based Approach to the ..:

, In: 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications,

Araujo, Hugo ; Hoenselaar, Ties ; Mousavi, Mohammad Reza. - p. 1-7 , 2020

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

11

Ultrafast convergent power-balance model for Raman random f..:

Lin, Shengtao ; Wang, Zinan ; Araújo, Hugo A....
Optics Express. 28 (2020) 15 - p. 22500 , 2020

Link: https://doi.org/10.1364/..

12

Virtualization on TrustZone-Enabled Microcontrollers? Voilà:

, In: 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),

Pinto, Sanndro ; Araujo, Hugo ; Oliveira, Daniel.. - p. 293-304 , 2019

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

13

Test case generation, selection and coverage from natural l..:

Nogueira, Sidney ; Araujo, Hugo ; Araujo, Renata..
Science of Computer Programming. 181 (2019) - p. 84-110 , 2019

Link: https://doi.org/10.1016/..

14

Multi-objective Search for Effective Testing of Cyber-Physi..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Araujo, Hugo ; Carvalho, Gustavo ; Mousavi, Mohammad Reza. - p. 183-202 , 2019

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

15

Sound conformance testing for cyber-physical systems: Theor..:

Araujo, Hugo ; Carvalho, Gustavo ; Mohaqeqi, Morteza..
Science of Computer Programming. 162 (2018) - p. 35-54 , 2018

Link: https://doi.org/10.1016/..