Rodrigo Ribeiro

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Relational Data

Preferential Attachment

Top Venues

J. Appl. Probab.

Electron. J. Comb.

Random Struct. Algorithms

Publications

Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. CoRR (2024)
Irfan Durmic, Alex Han, Pamela E. Harris, Rodrigo Ribeiro, Mei Yin
Probabilistic Parking Functions. Electron. J. Comb. 30 (3) (2023)
János Engländer, Giulio Iacobelli, Gábor Pete, Rodrigo Ribeiro
Structural results for the Tree Builder Random Walk. CoRR (2023)
Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. SBLP (2022)
Caio Teodoro De Magalhaes Alves, Rodrigo Ribeiro, Rémy Sanchis
Clustering in preferential attachment random graphs with edge-step. J. Appl. Probab. 58 (4) (2021)
Caio Teodoro De Magalhaes Alves, Rodrigo Ribeiro, Rémy Sanchis
Diameter of P.A. random graphs with edge-step functions. Random Struct. Algorithms 57 (3) (2020)
Jardel Ribeiro, Jonas Henrique, Rodrigo Ribeiro, Rosalvo F. O. Neto
NoSQL vs relational database: A comparative study about the generation of the most frequent N-grams. ICSAI (2017)