Rodrigo Ribeiro

According to our database, Rodrigo Ribeiro authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics.

Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani

CoRR, 2024

2023

Structural results for the Tree Builder Random Walk.

János Engländer, Giulio Iacobelli, Gábor Pete, Rodrigo Ribeiro

CoRR, 2023

Probabilistic Parking Functions.

Irfan Durmic, Alex Han, Pamela E. Harris, Rodrigo Ribeiro, Mei Yin

Electron. J. Comb., 2023

2022

A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.

Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

2021

Clustering in preferential attachment random graphs with edge-step.

Caio Teodoro De Magalhaes Alves, Rodrigo Ribeiro, Rémy Sanchis

J. Appl. Probab., 2021

2020

Diameter of P.A. random graphs with edge-step functions.

Caio Teodoro De Magalhaes Alves, Rodrigo Ribeiro, Rémy Sanchis

Random Struct. Algorithms, 2020

2017

NoSQL vs relational database: A comparative study about the generation of the most frequent N-grams.

Jardel Ribeiro, Jonas Henrique, Rodrigo Ribeiro, Rosalvo F. O. Neto

Proceedings of the 4th International Conference on Systems and Informatics, 2017