Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dutra, Rafael
1083  Ergebnisse:
Personensuche X
?
1

FormatFuzzer: Effective Fuzzing of Binary File Formats:

Dutra, Rafael ; Gopinath, Rahul ; Zeller, Andreas
ACM Transactions on Software Engineering and Methodology.  33 (2023)  2 - p. 1-29 , 2023
Link: https://doi.org/10.1145/..
 
?
2

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions:

, In: 2019 Formal Methods in Computer Aided Design (FMCAD),
Dutra, Rafael ; Bachrach, Jonathan ; Sen, Koushik - p. 203-211 , 2019
Link: https://doi.org/10.23919..
 
?
3

Efficient Sampling of SAT Solutions for Testing:

, In: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE),
Dutra, Rafael ; Laeufer, Kevin ; Bachrach, Jonathan. - p. 549-559 , 2018
Link: https://doi.org/10.1145/..
 
?
4

Efficient sampling of SAT solutions for testing:

, In: Proceedings of the 40th International Conference on Software Engineering,
Dutra, Rafael ; Laeufer, Kevin ; Bachrach, Jonathan. - p. 549-559 , 2018
Link: https://dl.acm.org/doi/1..
 
?
5

SMTSampler : efficient stimulus generation from complex ..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Dutra, Rafael ; Bachrach, Jonathan ; Sen, Koushik - p. 1-8 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

(−)-β-Caryophyllene, a CB2 Receptor-Selective Phytocannabin..:

Alberti, Thaís ; Barbosa, Wagner ; Vieira, José..
International Journal of Molecular Sciences.  18 (2017)  4 - p. 691 , 2017
Link: https://doi.org/10.3390/..
 
?
7

Anthropometric and human gait identification using skeleton..:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,
Andersson, Virginia ; Dutra, Rafael ; Araújo, Ricardo - p. 60-61 , 2014
Link: https://dl.acm.org/doi/1..
 
?
8

Tailoring bistability in optical tweezers with vortex beams..:

da Fonseca, Arthur L. ; Diniz, Kainã ; Monteiro, Paula B....
Physical Review Research.  6 (2024)  2 - p. , 2024
Link: https://doi.org/10.1103/..
 
?
9

(Re)categorização e hashtag: a desqualificação do outro em ..:

Faria, Maria da Graça dos Santos ; Dutra, Rafael Botelho ; Aranha, Marize Barros Rocha
Littera: Revista de Estudos Linguísticos e Literários.  14 (2023)  28 - p. , 2023
Link: https://doi.org/10.18764..
 
?
10

Therapeutic ultrasound ameliorates hyperalgesia and edema o..:

Rodrigues, Mariana ; Barbosa, Rafael I. ; Neves, Lais M.S....
Brazilian Journal of Anesthesiology (English Edition).  73 (2023)  5 - p. 626-634 , 2023
Link: https://doi.org/10.1016/..
 
?
11

β‐caryophyllene, a cannabinoid receptor 2 agonist, decrease..:

dos Santos Barbosa, Lucas Antônio ; Dutra, Rafael Cypriano ; Moreira, Eduardo Luiz Gasnhar.
Addiction Biology.  28 (2022)  1 - p. , 2022
Link: https://doi.org/10.1111/..
 
?
12

Modified montmorillonite-bacterial cellulose composites as ..:

Menegasso, Jaíne Ferrareis ; Moraes, Nayara Alves Celinca ; Vásquez, Tatiana Pineda...
International Journal of Biological Macromolecules.  194 (2022)  - p. 402-411 , 2022
Link: https://doi.org/10.1016/..
 
?
13

Stroke epidemiology in southern Brazil: Investigating the r..:

TEREZA, DENISE M. ; BALDASSO, GABRIELA M. ; PAES, RODRIGO S....
Anais da Academia Brasileira de Ciências.  94 (2022)  2 - p. , 2022
Link: https://doi.org/10.1590/..
 
?
14

Broad-spectrum cannabis oil ameliorates reserpine-induced f..:

Ferrarini, Eduarda Gomes ; Paes, Rodrigo Sebben ; Baldasso, Gabriela Mantovani...
Biomedicine & Pharmacotherapy.  154 (2022)  - p. 113552 , 2022
Link: https://doi.org/10.1016/..
 
?
15

Intertextualidade e desqualificação do adversário no uso da..:

Faria, Maria da Graça Dos Santos ; Dutra, Rafael Botelho
Revista Eletrônica de Estudos Integrados em Discurso e Argumentação.  22 (2022)  3 - p. 92-109 , 2022
Link: https://doi.org/10.47369..
 
1-15