Programa de Pós-Graduação em Ciência da Computação

Henrique Stagni

Possui graduação em Ciência da Computação pela Universidade de São Paulo (2011), mestrado em Ciências da Computação pela Universidade de São Paulo (2015) e doutorado em Ciências da Computação pela Universidade de São Paulo (2020). Como parte do doutorado, realizou estágio de pesquisa no exterior (BEPE-FAPESP) na Universidade de Tel Aviv. Atua principalmente nas áreas de teste de propriedades, estimação de parâmetros. (Texto informado pelo autor)

http://lattes.cnpq.br/9536690427605068 (14/11/2024)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço:

Grande área: [sem-grandeArea]

Área: [sem-area]

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (6)
1. GISHBOLINER, LIOR ; SHAPIRA, ASAF ; STAGNI, HENRIQUE. Testing linear inequalities of subgraph statistics. RANDOM STRUCTURES & ALGORITHMS. v. 58, p. 468-479, 2021. Qualis: A2
2. HOPPEN, CARLOS ; KOHAYAKAWA, YOSHIHARU ; LANG, RICHARD ; LEFMANN, HANNO ; STAGNI, HENRIQUE. On the Query Complexity of Estimating the Distance to Hereditary Graph Properties. SIAM JOURNAL ON DISCRETE MATHEMATICS. v. 35, p. 1238-1251, 2021. Qualis: A3
3. HOPPEN, CARLOS ; KOHAYAKAWA, YOSHIHARU ; LANG, RICHARD ; LEFMANN, HANNO ; STAGNI, HENRIQUE. Estimating parameters associated with monotone properties. COMBINATORICS PROBABILITY & COMPUTING. v. 29, p. 616-632, 2020. Qualis: A2 (COMBINATORICS, PROBABILITY & COMPUTING)
4. HAN, J. ; KOHAYAKAWA, Y. ; SALES, M. ; Stagni, H.. On some extremal results for order types. ACTA MATHEMATICA UNIVERSITATIS COMENIANAE (TLACENÉ VYDANIE). v. 88, p. 779-785, 2019.Qualis: Não identificado (ACTA MATHEMATICA UNIVERSITATIS COMENIANAE)
5. HOPPEN, CARLOS ; KOHAYAKAWA, YOSHIHARU ; LANG, RICHARD ; LEFMANN, HANNO ; STAGNI, HENRIQUE. Estimating the distance to a hereditary graph property. ELECTRONIC NOTES IN DISCRETE MATHEMATICS. v. 61, p. 607-613, 2017. Qualis: B3
6. Peanho, Claudio Antonio ; Stagni, Henrique ; DA SILVA, FLAVIO SOARES CORREA. Semantic information extraction from images of complex documents. Applied Intelligence (Boston). v. 37, p. 543-557, 2012. Qualis: A3
Livros publicados/organizados ou edições (2)
1. SHAPIRA, ASAF (Org.) ; STAGNI, H. (Org.). A Tight Bound for Testing Partition Properties. 1 ed. SIAM, 2024. p. 16.
2. Han, Jie (Org.) ; KOHAYAKAWA, YOSHIHARU (Org.) ; Sales, Marcelo Tadeu (Org.) ; Stagni, H. (Org.). Extremal and probabilistic results for order types. 1 ed. Society for Industrial and Applied Mathematics, 2019. p. 10.
Capítulos de livros publicados (1)
1. Han, Jie ; KOHAYAKAWA, YOSHIHARU ; Sales, Marcelo Tadeu ; STAGNI, HENRIQUE. Property Testing for Point Sets on the Plane. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2018.p. 584-596.
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (3)
1. HOPPEN, C. ; KOHAYAKAWA, Y. ; LANG, R. ; LEFMANN, H. ; STAGNI, H.. Estimating Parameters Associated with Monotone Properties. Em: APPROX/RANDOM 2016, v. 60, p. 35:1-35:13, 2016. Qualis: Não identificado (APPROX/RANDOM 2016)
2. STAGNI, H.; MOTA, R. P. B. ; BATISTA, D. M.. Um protocolo FSA com resolução imediata de colisões para sistemas RFID sob o efeito captura. Em: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), p. 792-805, 2016.Qualis: C (REVISTA BRASILEIRA DE REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS)
3. HASHIMOTO, RONALDO FUMIO ; Stagni, Henrique ; HIGA, CARLOS HENRIQUE AGUENA. Budding yeast cell cycle modeled by context-sensitive probabilistic Boolean network. Em: 2009 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS), p. 1, 2009. Qualis: Não identificado (2009 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS))
Resumos expandidos publicados em anais de congressos (2)
1. ALVARADO, J. D. ; KOHAYAKAWA, YOSHIHARU ; LANG, RICHARD ; MOTA, G. O. ; Stagni, H.. Resilience for loose Hamilton cycles. Em: Latin-American Algorithms, Graphs and Optimization, 2023, Huatulco. Proceedings of the {XII} Latin-American Algorithms, Graphs and Optimization, v. 223, p. 193-200, 2023. Qualis: Não identificado (LATIN-AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION, 2023, HUATULCO. PROCEEDINGS OF THE {XII} LATIN-AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION)
2. HAN, J. ; KOHAYAKAWA, Y. ; SALES, M. T. ; Stagni, H.. Extremal and probabilistic results for order types. Em: SODA, 2019. SODA, 2019. Qualis: Não identificado (SODA, 2019. SODA)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (0)

Prêmios e títulos

Total de prêmios e títulos (2)
1. Menção Honrosa - SBRC 2016 (Melhores 3 artigos), SBRC.. 2016.
  Membro: Henrique Stagni.
2. Menção Honrosa por desempenho acadêmico no curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística da Universidade de São Paulo... 2012.
  Membro: Henrique Stagni.

Participação em eventos

Total de participação em eventos (0)

Organização de eventos

Total de organização de eventos (0)

Lista de colaborações

Colaborações endôgenas (0)

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 12/02/2025 20:44:31

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br