Ana Karolinna Maia de Oliveira

  • Endereço para acessar este CV: http://lattes.cnpq.br/3309825374177429
  • Última atualização do currículo em 09/06/2018


Possui graduação em Computação pela Universidade Federal do Ceará (2008), mestrado em Ciências da Computação pela Universidade Federal do Ceará (2011) e doutorado em Informatique - Université de Nice Sophia Antipolis (2014). Atualmente é professor adjunto-a, nível 1 da Universidade Federal do Ceará, atuando principalmente em teoria dos grafos e algoritmos. (Texto informado pelo autor)


Identificação


Nome
Ana Karolinna Maia de Oliveira
Nome em citações bibliográficas
Maia , A. K.;Maia, K.;Maia, A. K.;Maia, Ana Karolinna;Karolinna Maia, A.;MAIA, A. KAROLINNA


Formação acadêmica/titulação


2011 - 2014
Doutorado em Informatique.
Université de Nice Sophia Antipolis, UNSA, França.
Título: Subdivisions of Digraphs, Ano de obtenção: 2014.
Orientador: Frédéric Havet.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2009 - 2011
Mestrado em Ciências da Computação.
Universidade Federal do Ceará, UFC, Brasil.
Título: Estudo de Casos de Complexidade de Coloração Gulosa de Vértices e de Arestas,Ano de Obtenção: 2011.
Orientador: Cláudia Linhares Sales.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Coloração gulosa; P4-conectividade; Decomposição primeval; (q, q-4)-grafos; Grafos linha.
Grande área: Ciências Exatas e da Terra
2004 - 2008
Graduação em Ciência da Computação.
Universidade Federal do Ceará, UFC, Brasil.


Pós-doutorado


2014 - 2016
Pós-Doutorado.
Universidade Federal do Ceará, UFC, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.


Atuação Profissional



Universidade Federal do Ceará, UFC, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto-A, Nível 1, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Departamento de Computação


Centre de Recherche Inria Sophia Antipolis - Méditerranée, INRIA-ANTIPOLIS, França.
Vínculo institucional

2010 - 2010
Vínculo: Estágio, Enquadramento Funcional: Estagiário de Mestrado, Regime: Dedicação exclusiva.

Atividades

04/2010 - 06/2010
Estágios , Mascotte - INRIA - Sophia Antipolis, .

Estágio realizado
Coloração Gulosa de Arestas.


Projetos de pesquisa


2017 - Atual
Projeto PRONEM - Problemas em grafos: complexidade e métodos
Descrição: O tema central deste projeto é a resolução computacional eficiente de problemas de otimização combinatória, envolvendo teoria, algoritmos e implementações sequenciais e paralelas, com aplicações. Nesse sentido, as atividades do projeto seguem os três eixos complementares do ParGO que são paralelismo, grafos e otimização. Os problemas investigados nesta proposta são classificados entre os mais difíceis computacionalmente considerando o critério de complexidade de tempo. Com isto, é necessário o estudo estrutural sobre o problema para a obtenção de algoritmos eficientes para instâncias de médio ou grande porte. Uma técnica que pode se mostrar eficiente é o estudo teórico de descrições matemáticas distintas, porém equivalentes para o problema. Tais descrições matemáticas são analisadas, com o objetivo de determinar propriedades estruturais que possam ser, posteriormente, exploradas de forma adequada usando métodos algorítmicos. No âmbito desta proposta, as descrições dos problemas utilizam principalmente Teoria dos Grafos, Teoria Poliédrica e Programação Linear Inteira. Junto com o estudo teórico, realizamos a resolução computacional dos problemas propostos. Dados a dificuldade de resolver tais problemas computacionalmente, utilizamos algumas técnicas para facilitar a obtenção de resultados para instâncias de médio a grande porte. As principais técnicas empregadas são decomposições, relaxações, planos de corte e paralelismo..
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
Projeto UNIVERSAL - Problemas de Coloração e Infecção em Grafos
Descrição: Esse projeto de pesquisa contempla duas áreas teóricas de Ciência da Computação, a saber, o estudo de algoritmos e complexidade em problemas de Coloração de Grafos e de Convexidade (ou Infeccção) de Grafos. Coloração de grafos e suas variações são modelos muito úteis para problemas que envolvem o particionamento de objetos de acordo com algumas regras. Por exemplo, problemas de escalonamento, atribuição de frequências e alocação de registros, entre outros, são naturalmente bem modelados por problemas de coloração. Por sua vez, os problemas de convexidade modelam difusão de informações em redes sociais e estão fortemente relacionado com processos muito estudados recentemente em grafos, como bootstrap percolação e conversão que ocorrem em uma variedade de áreas distintas como influência social, redes neurais, rede de expressão genética, sistemas imunes, autômatos celulares, estratégias de propaganda e computação distribuída. Dessa forma, esse projeto, enquanto se atém aos aspectos teóricos contrução algoritmos e complexidade de problemas, também fornece subsídios para a busca de soluções de problemas práticos modelados por coloração ou convexidade. O grupo de pesquisadores envolvido no projeto pertence ao Grupo ParGO (Paralelismo, Grafos e Otimização) da Universidade Federal do Ceará (UFC)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (5) .
Integrantes: Ana Karolinna Maia de Oliveira - Integrante / Rudini Sampaio - Integrante / Cláudia Linhares Sales - Coordenador / Victor Almeida Campos - Integrante / Manoel Bezerra Campêlo Neto - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2017
Graphs and AlgorIthms Applied to TelecommunicatiOns (GAIATO)
Descrição: This project aims at enhancing and strengthening the existing cooperation between COATI and ParGO research groups. Such a partnership has shown to be very fruitful, as can be infered by a number of joint publications and co-supervisions of students. Problems and applications in graphs have been one of the common interests of the two groups. In the proposed work, we elected some problems in graphs with appplications in telecommunications. Besides being the basis to model several real applications, the studies of these problems are relevant by their own. Recurring issues related to graph problems, such as computational complexity and approximability in arbitrary graphs and specific graph classes, structural properties, decomposition strategies, design of efficient algorithms are only partially established or still undefined for several of the elected problems and variants. Most of the work, even if it cannot be directly applied to solve the applications that motivated it, gives better insight on the practical problems they model. Moreover, the obtained results will lead to publications in international journals as well as communications in conferences in the domain. In order to achieve the scientific goals, our studies may comprise the following aspects: (1) Complexity analysis: knowing if the problem is polynomial, NP-complete, approximable or not determine the type of algorithmes we will design; (2) Structural studies, where we attempt to derive decomposition theorems or intrinsic properties that could help solving the problems; (3) Combinatorial bounds derivation to allow evaluating the quality of partial solutions and establishing approximation ratios for approximation algorithms; (4) Algorithms design and analysis, where several techniques are envisaged as a way of identifying differents aspects of a same problem; (5) Implementation and experimentation, which aims at testing the practical efficiency of the algotihms we design in order to compare them with existing algorithms..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (4) .
Integrantes: Ana Karolinna Maia de Oliveira - Coordenador / Victor Campos - Integrante / Rudini Sampaio - Integrante / Linhares Sales, C. - Integrante / Rafael Castro de Andrade - Integrante / Julio César Araújo - Integrante / Ricardo Cordeiro Corrêa - Integrante / Ana Shirley Silva - Integrante / Napoleão Vieira Nepomuceno - Integrante / Fabrício Benevides - Integrante / Manoel Bezerra Campêlo Neto - Integrante.Financiador(es): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico - Cooperação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
Maia, A. K.2017 Maia, A. K.; MOHAR, B. ; HAVET, FRÉDÉRIC . Finding a subdivision of a prescribed digraph of order 4. JOURNAL OF GRAPH THEORY, v. 87, p. 536-560, 2017.

2.
HAVET, FRÉDÉRIC2015HAVET, FRÉDÉRIC ; MAIA, A. KAROLINNA ; YU, MIN-LI . Complexity of greedy edge-colouring. Journal of the Brazilian Computer Society (Impresso), v. 21, p. 18-24, 2015.

3.
BANG-JENSEN, JØRGEN2015 BANG-JENSEN, JØRGEN ; HAVET, FRÉDÉRIC ; Karolinna Maia, A. . Finding a subdivision of a digraph. Theoretical Computer Science, v. 562, p. 283-303, 2015.

4.
Campos, V.2014Campos, V. ; Lihares Sales, C. ; Maia, A. K. ; Martins, N. ; Sampaio, R. . Restricted coloring problems on Graphs with few P 4’s. Annals of Operation Research, v. 217, p. 385-397, 2014.

5.
CAMPOS, VICTOR2013 CAMPOS, VICTOR ; LINHARES-SALES, CLÁUDIA ; SAMPAIO, RUDINI ; Maia, Ana Karolinna . Maximization coloring problems on graphs with few. Discrete Applied Mathematics, v. 164, p. 539-546, 2013.

Trabalhos completos publicados em anais de congressos
1.
Campos V. ; Linhares, Cláudia ; Sampaio, R. ; Maia , A. K. . b-coloração de grafos com poucos p4's. In: XLII Simpósio Brasileiro de Pesquisa Operacional, 2010, Bento Gonçalves. http://www.xliisbpo.iltc.br/tc-tag.html, 2010.

Resumos expandidos publicados em anais de congressos
1.
ARAUJO, J. ; Campos, V. ; Maia, A. K. ; Sau, I. ; SILVA, A. . On the Complexity of Finding Internally Vertex-Disjoint Long Directed Paths. In: 13th Latin American Theoretical INformatics Symposium (LATIN 2018), 2018, Buenos Aires. LATIN 2018: Theoretical Informatics, 2018. v. 10807.

2.
Campos, V. ; Lihares Sales, C. ; Maia, A. K. ; Martins, N. ; Sampaio, R. . Restricted coloring problems on graphs with few P4's. In: LAGOS'11 ? VI Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche. Electronic Notes in Discrete Mathematics, 2011. v. 37. p. 57-62.

Apresentações de Trabalho
1.
HAVET, F. ; Maia, A. K. ; YU, M-L. . Complexity of greedy edge-colouring. 2013. (Apresentação de Trabalho/Simpósio).

2.
HAVET, F. ; Maia, A. K. . On disjoint directed cycles with prescribed minimum lengths. 2013. (Apresentação de Trabalho/Outra).

3.
BANG-JENSEN, J. ; HAVET, F. ; Maia , A. K. . Finding a subdivision of a digraph. 2012. (Apresentação de Trabalho/Outra).

4.
Maia , A. K.; Sampaio, R. ; Lihares Sales, C. ; Campos, V. ; Martins, N. . Restricted coloring problems on graphs with few P4?s. 2011. (Apresentação de Trabalho/Conferência ou palestra).

5.
Campos V. ; Lihares Sales, C. ; Maia , A. K. ; Sampaio, R. . Greedy Colouring of (q, q - 4)-graphs. 2011. (Apresentação de Trabalho/Outra).

6.
Campos V. ; Linhares, Cláudia ; Sampaio, R. ; Maia , A. K. . On b-colorings of graphs with few P4's. 2010. (Apresentação de Trabalho/Conferência ou palestra).

7.
Maia , A. K.. Um Estudo de Decomposição de Grafos. 2008. (Apresentação de Trabalho/Outra).

8.
Maia , A. K.. Algoritmo Para Agrupamento Em Redes Sensores Sem Fio. 2007. (Apresentação de Trabalho/Outra).


Demais tipos de produção técnica
1.
HAVET, F. ; Maia, A. K. ; MOHAR, B. . Finding a subdivision of a prescribed digraph of order 4. 2015. (Relatório de pesquisa).

2.
HAVET, F. ; Maia, A. K. . On disjoint directed cycles with prescribed minimum lengths. 2013. (Relatório de pesquisa).

3.
HAVET, F. ; Maia, A. K. ; YU, M-L. . Complexity of greedy edge-colouring. 2012. (Relatório de pesquisa).

4.
BANG-JENSEN, J. ; HAVET, F. ; Maia, A. K. . Finding a subdivision of a digraph. 2012. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Sampaio, R.; CAMPELO, M.; SANTOS, V. F.; Maia , A. K.. Participação em banca de Samuel Nascimento de Araújo. Número de Dominação Romana em Grafos. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Teses de doutorado
1.
Sampaio, R.; Maia, A. K.; SILVA, A.; SOARES, R.; KLEIN, S.. Participação em banca de Nicolas de Almeida Martins. Jogos de Perseguição em Grafos e Coloração Localmente Identificável. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Qualificações de Doutorado
1.
CAMPELO, M.; ANDRADE, R. C.; Maia, A. K.. Participação em banca de Rommel Dias Saraiva. Shortest trails under visiting constraints. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

2.
Maia, A. K.; Sampaio, R.; SOARES, R. P.. Participação em banca de Nicolas de Almeida Martins. Jogos de Perseguição em Grafos e Coloração Localmente Identificável. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

3.
CAMPELO, M.; Maia , A. K.; Sampaio, R.. Participação em banca de Rafael Teixeira de Araújo. Convexidade P3 e geodésica e contorno em grafos. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

Qualificações de Mestrado
1.
Maia, A. K.; SOARES, R.; RODRIGUES, C. D.. Participação em banca de Victor Lage Pessoa. Jogos de Coloração em Grafos e suas Variações. 2018. Exame de qualificação (Mestrando em Logística e Pesq. Operacional) - Universidade Federal do Ceará.

2.
CAMPELO, M.; ANDRADE, R. C.; Linhares Sales, C.; Maia, A. K.. Participação em banca de Jonas Costa Ferreira da Silva. Fluxos Ramificados Arco-disjuntos em Redes de Capacidade Restrita. 2018. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal do Ceará.

3.
CAMPELO, M.; ANDRADE, R. C.; Maia, A. K.. Participação em banca de Jhonata Adam Silva Matias. Problema de Coloração de Fluxo. 2018. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal do Ceará.

4.
CAMPELO, M.; ANDRADE, R. C.; Maia, A. K.. Participação em banca de Francisco Sergio de Freitas Filho. Maximum leaves k-forest problem. 2018. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal do Ceará.

5.
Maia , A. K.; CAMPELO, M.; Sampaio, R.. Participação em banca de Samuel Nascimento de Araújo. Número de Dominação Romana em Grafos. 2016. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal do Ceará.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
ICGT 2014 - 9th International colloquium on graph theory and combinatorics. 2014. (Congresso).

2.
13emes Journées Combinatoire et Algorithmes du Littoral Méditerranéen. 2013. (Seminário).

3.
14èmes Journées Combinatoire et Algorithmes du Littoral Méditerranéen. 2013. (Seminário).

4.
ALGO. 2013. (Simpósio).

5.
JGA 2013 - 15èmes Journées Graphes et Algorithmes.On disjoint directed cycles with prescribed minimum lengths. 2013. (Encontro).

6.
School on graph theory. 2013. (Outra).

7.
VII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS).Complexity of greedy edge-colouring. 2013. (Simpósio).

8.
11emes Journées Combinatoire et Algorithmes du Littoral Méditerranéen. 2012. (Encontro).

9.
12emes Journées Combinatoire et Algorithmes du Littoral Méditerranéen. 2012. (Encontro).

10.
Bordeaux Graph Workshop. 2012. (Outra).

11.
JGA 2012 - 14èmes Journées Graphes et Algorithmes.Finding a subdivision of a digraph. 2012. (Encontro).

12.
Journées AGAPE - Complexité Paramétrée. 2012. (Encontro).

13.
Second Montreal Spring School in Graph Theory and SMS. 2012. (Outra).

14.
Workshop Franco-brésilien de Graphes et Optimisation Combinatoire. 2012. (Outra).

15.
JGA 2011 - 13èmes Journées Graphes et Algorithmes.Greedy Colouring of (q, q - 4)-graphs. 2011. (Encontro).

16.
LAGOS'11 - VI Latin-American Algorithms, Graphs and Optimization Symposium.Restricted coloring problems on graphs with few P4?s. 2011. (Simpósio).

17.
8emes Journées Combinatoire et Algorithmes du Littoral Méditerranéen. 2010. (Encontro).

18.
8th French Combinatorial Conference. On b-colorings of graphs with few P4's. 2010. (Congresso).

19.
Escuela Latinoamericana de Verano en Invetigación Operativa. 2010. (Outra).

20.
XXVII Encontro de Iniciação Científica - UFC.Um Estudo de Decomposição de Grafos. 2008. (Encontro).

21.
Simpósio Brasileiro de Pesquisa Operacional. 2007. (Simpósio).

22.
XXVI Encontro de Iniciação à Pesquisa - UFC.Algoritmo Para Agrupamento Em Redes Sensores Sem Fio. 2007. (Encontro).

23.
Iniciação à Docência UFC.Um Wiki Para a Disciplina de Fundamentos de Programação. 2005. (Encontro).

24.
Simpósio Brasileiro de Redes de Computadores.SBRC. 2005. (Simpósio).

25.
Semana de Informática da UFC.Seminfo. 2004. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
Maia, A. K.. VIII Latin American Workshop on Cliques in Graphs (LAWCG 2018). 2018. (Outro).

2.
Maia , A. K.. II Workshop Franco-brasileiro de Grafos e Otimização Combinatória. 2016. (Outro).

3.
Maia, Ana Karolinna. VIII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2015). 2015. (Outro).

4.
Lihares Sales, C. ; HAVET, F. ; Maia, A. K. ; Sampaio, R. ; Campos, V. . Workshop Franco-brésilien de Graphes et Optimisation Combinatoire. 2012. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
PEDRO JORGE DE ABREU FIGUEREDO. Imersões em digrafos. Início: 2018. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará. (Orientador).

2.
JONAS COSTA FERREIRA DA SILVA. Fluxos disjuntos em digrafos. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará. (Orientador).

Iniciação científica
1.
Lucas do Vale Pimentel. ubdivisões de digrafos de ordem 4 e Coloração gulosa de arestas. Início: 2017. Iniciação científica (Graduando em Matemática Industrial) - Universidade Federal do Ceará. (Orientador).


Orientações e supervisões concluídas
Iniciação científica
1.
Lucas Braz Olivier. Detecção de subdivisões de grafos direcionados. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Orientador: Ana Karolinna Maia de Oliveira.

2.
Lucas de Sousa Fernandes. Coloração gulosa de arestas em uma generalização de caterpillars. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Karolinna Maia de Oliveira.

3.
Lucas Primo Fernandes Muraro. Índice de grundy em uma generalização de caterpillar. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Karolinna Maia de Oliveira.

4.
Israel de Castro Vidal. Um estudo em subdivisão de grafos direcionados. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Karolinna Maia de Oliveira.




Página gerada pelo Sistema Currículo Lattes em 17/11/2018 às 1:35:26