Vinícius Gusmão Pereira de Sá

Instituição:

Universidade Federal do Rio de Janeiro

Centro:

Centro de Ciências Matemáticas e da Natureza

Unidade:

Instituto de Matemática

Departamento:

Departamento de Ciência da Computação/I Mat

ORCID:

não disponível no Lattes


Formação:

  • Universidade Federal do Rio de Janeiro

    | Pós-Doutorado | 2009 - 2010

  • Universidade Federal Fluminense

    | Pós-Doutorado | 2008 - 2009

  • Universidade Federal do Rio de Janeiro

    | Pós-Doutorado | 2006 - 2008

  • Universidade Federal do Rio de Janeiro

    Engenharia de Sistemas e Computação | Doutorado | 2003 - 2006

  • Universidade Federal do Rio de Janeiro

    Engenharia de Sistemas e Computação | Mestrado | 2001 - 2003

  • Universidade Federal do Rio de Janeiro

    Bacharelado em Informática | Graduação | 1995 - 2000

  • Centro Federal de Educação Tecnológica Celso Suckow da Fonseca

    | Ensino Médio (2o grau) | 1991 - 1994

  • Colégio Pedro II

    | Ensino Fundamental (1o grau) | 1983 - 1990
Laboratórios:
Nuvens de Palavras:
Artigos:
Nenhum artigo cadastrado
Eventos:

(0.00% eventos com DOI)

Titulo DOI Ano
Monkey Hash Map: a highly performant thread-safe map without locks 2022
Cuckoo hashing with perfect rehash 2022
Robôs de paraquedas: algoritmo randomizado para rendezvous simétrico com marcadores 2017
Cuckoo hashing com perfect rehash 2016
Randomized watermarks for structured programs 2016
The graphs of Structured Programming 2015
O jogo de lógica Sudoku: modelagem teórica, NP-Completude, algoritmos e heurísticas 2015
Fair fingerprinting protocol for attesting software misuses 2015
Heurística para o passeio aberto do cavalo em tabuleiros multidimensionais 2014
Cripto-esteganografia: imagens inocentes podem transportar arquivos secretos 2014
Minimizando ramificações em árvores geradoras 2014
Linear-time approximation algorithms for unit disk graphs 2014
Grafos de Permutação Redutíveis Canônicos: caracterização, reconhecimento e aplicações a marcas d'água digitais 2014
A randomized graph-based scheme for software watermarking 2014
Protocolo para transferência parcial de conhecimento e sua aplicação à verificação segura de marcas d'água 2014
Algoritmos certificadores e verificadores: testemunhas ausentes e provas computacionais 2014
Polynomial time algorithm for the Radon number of grids in the geodetic convexity 2013
A geometric trigraph model for unit disk graph recognition 2013
Towards a provably resilient scheme for graph-based watermarking 2013
Proteção de software por marcas d'água baseadas em grafos 2013
Heurística eficiente para o passeio aberto do cavalo a partir de casas arbitrárias em tabuleiros quadrados 2013
Fingerprinting de software e aplicações à Metrologia Legal 2013
Immediate versus eventual conversion: comparing the geodetic number and the hull number in P3-convexity 2012
Linear-time approximations for dominating sets and independent dominating sets in unit disk graphs 2012
Hashing na solução de problemas atípicos 2012
Hashing na solução de problemas combinatórios difíceis 2012
Geodetic number versus hull number in P3 convexity 2012
Complexity dichotomy on degree-constrained VLSI layouts with unit-length edges 2010
Ten algorithms for the homogeneous set sandwich problem 2007
The Growing Cliques algorithm for the Homogeneous Set Sandwich Problem 2006
Faster deterministic and randomized algorithms on the Homogeneous Set Sandwich Problem 2004
The Homogeneous Set Sandwich Problem 2004
A new upper bound for the Homogeneous Set Sandwich Problem 2003
A fast Monte Carlo algorithm for the Homogeneous Set Sandwich Problem 2003
Publicações:
Minha Rede: