E-LIB Suche - Ergebnisse für: Ribeiro, Rodrigo G.

1

A Sound Strategy to Compile General Recursion into Finite D..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Amaro, Maycon J. J. ; Feitosa, Samuel S. ; Ribeiro, Rodrigo G. - p. 39-54 , 2022

2

Type Inference for C : Applications to the Static Analys..:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; Guimarães, Breno C. F..
ACM Transactions on Programming Languages and Systems (TOPLAS). 42 (2020) 3 - p. 1-71 , 2020

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

3

Type Inference for C: Applications to the Static Analysis o..:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; Guimarães, Breno C. F..
ACM Transactions on Programming Languages and Systems. 42 (2020) 3 - p. 1-71 , 2020

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

4

An attribute language definition for adaptable parsing expr..:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,

Cardoso, Elton M. ; Ribeiro, Rodrigo G. ; Reis, Leonardo V. S.... - p. 1518-1525 , 2019

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

5

Inference of static semantics for incomplete C programs:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; de Araújo, Marcus R..
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-28 , 2017

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

6

Inference of static semantics for incomplete C programs:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; de Araújo, Marcus R..
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-28 , 2017

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

7

Virulence-encoding genes related to extraintestinal pathoge..:

Martins, Lorrayne de Souza A. ; Motta, Rodrigo G. ; Martinez, Antonio C....
Microbial Pathogenesis. 174 (2023) - p. 105861 , 2023

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

8

In‐person and virtual assessment of oral radiology skills a..:

Porto, Fernanda R. ; Ribeiro, Mateus A. ; Ferreira, Luciano A...
Journal of Dental Education. 87 (2022) 4 - p. 505-513 , 2022

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

9

A new class of cells with embedded discontinuity for fractu..:

Mendonça, Tiago S. ; Peixoto, Rodrigo G. ; Ribeiro, Gabriel O.
International Journal for Numerical Methods in Engineering. 121 (2020) 17 - p. 3869-3892 , 2020

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

10

Crack propagation using the continuum strong discontinuity ..:

Mendonça, Tiago S. ; Peixoto, Rodrigo G. ; Ribeiro, Gabriel O.
Journal of the Brazilian Society of Mechanical Sciences and Engineering. 40 (2018) 11 - p. , 2018

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

11

A new class of root-finding methods in $${\mathbb {R}}^n$$ ..:

Eustaquio, Rodrigo G. ; Ribeiro, Ademir A. ; Dumett, Miguel A.
Computational and Applied Mathematics. 37 (2018) 5 - p. 6654-6675 , 2018

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

12

A progressive cells activation algorithm for physically non..:

Peixoto, Rodrigo G. ; Ribeiro, Gabriel O. ; Pitangueira, Roque L. S.
Journal of the Brazilian Society of Mechanical Sciences and Engineering. 40 (2018) 2 - p. , 2018

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

13

Mechanism of the cytotoxic effect of l-amino acid oxidase i..:

Ribeiro, Patrícia H. ; Zuliani, Juliana P. ; Fernandes, Carla F.C....
International Journal of Biological Macromolecules. 92 (2016) - p. 329-337 , 2016

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

14

Purification and Biochemical Characterization of Three Myot..:

Moura, Andréa A. de ; Kayano, Anderson M. ; Oliveira, George A....
BioMed Research International. 2014 (2014) - p. 1-13 , 2014

Link: https://doi.org/10.1155/..

15

Adverse drug events in a paediatric intensive care unit: a ..:

Silva, Dafne C B ; Araujo, Orlei Ribeiro ; Arduini, Rodrigo G...
BMJ Open. 3 (2013) 2 - p. e001868 , 2013

Link: https://doi.org/10.1136/..