Rede de Colaboração
Diretório de grupos de pesquisa
Univ Federal do Rio de Janeiro|
Vânia Maria Félix Dias possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP (1989), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2000) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2004). Atualmente é professor adjunto da Universidade Federal do Estado do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: Algoritmos, Complexidade Computacional, Linguagens de Programação, Teoria de Grafos e Problemas NP-completos.
Última
atualização do currículo em 19/12/2011
Endereço para acessar este CV: http://lattes.cnpq.br/0398675521406529 |
Dados pessoais
| Nome | Vânia Maria Félix Dias |
| Nome em citações bibliográficas | DIAS, V.M.F. |
| Sexo | Feminino |
| Endereço profissional | Universidade Federal do Estado do Rio de Janeiro. Avenida Pasteur, 458 Urca 22290-240 - Rio de Janeiro, RJ - Brasil Telefone: (21) 25308051 URL da Homepage: http://www.uniriotec.br |
Formação acadêmica/Titulação
| 2000 - 2004 | Doutorado em Engenharia de Sistemas e Computação
.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil. Título: Geração das Bicliques de um Grafo, Ano de Obtenção: 2004. Orientador: Jayme L. Szwarcfiter, Celina M. H. Figueiredo. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: Complexidade de Algoritmos; Biclique; Atraso Polinomial; Enumeração. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Discreta e Combinatória. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. |
| 1998 - 2000 | Mestrado em Engenharia de Sistemas e Computação
.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil. Título: O Problema dos Casamentos Estáveis com Restrições de Pares, Ano de Obtenção: 2000. Orientador:  Jayme Luiz Szwarcfiter.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior . Palavras-chave: Casamentos Estáveis; Stable Matchings; Reticulados. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Discreta e Combinatória. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. |
| 1991 - 1992 | Especialização em Sistemas de Inormação
.
(Carga Horária: 380h). Universidade Federal de São Carlos, UFSCAR, Brasil. Título: Desenvolvimento de Sistemas de Informação. Orientador: Sérgio Donizetti Zorzo. |
| 1986 - 1989 | Graduação em Bacharelado em Ciência da Computação
.
Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil. |
Atuação profissional
| Universidade Federal do Estado do Rio de Janeiro, UNIRIO, Brasil. |
| Vínculo institucional |
| 2011 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto II, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2009 - 2011 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 02/2011 - Atual | Ensino, Programa de Pós Graduação em Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Análise e Projeto de Algoritmos |
| 02/2011 - Atual | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Estruturas de Dados II |
| 2011 - Atual | Atividades de Participação em Projeto, CCET, . |
|
Projetos de pesquisa Redes Sociais de Pesquisa em Sistemas de Informação PRONEM-Matemática Discreta e aplicações |
| 03/2010 - Atual | Conselhos, Comissões e Consultoria, Departamento de Pesquisa, . |
|
Cargo ou função
Representante do Departamento de Informática Aplicada da Universidade Federal do Estado do Rio de Janeiro (UNIRIO) junto à Câmara de Pesquisa da UNIRIO.. |
| 02/2010 - Atual | Conselhos, Comissões e Consultoria, CCET, Departamento de Informática. |
|
Cargo ou função
Membro da Comissão de Avaliação de Mérito do Programa de Pós Graduação em Informática da UNIRIO. |
| 2010 - Atual | Atividades de Participação em Projeto, CCET, . |
|
Projetos de pesquisa PRONEX : Orimização Combinatória: Fundamentos, Algoritmos e Aplicações em Problemas de Planejamento e Decisão |
| 10/2009 - Atual | Conselhos, Comissões e Consultoria, CCET, Departamento de Informática. |
|
Cargo ou função
Cargo ou função Membro da Comissão Permanente de Avaliação de Bolsas do Programa de Pós Graduação em Informática da UNIRIO. |
| 06/2009 - Atual | Pesquisa e desenvolvimento , CCET, . |
|
Linhas de pesquisa Complexidade Computacional Algoritmos |
| 05/2009 - Atual | Atividades de Participação em Projeto, CCET, . |
|
Projetos de pesquisa Complexidade dos problemas combinatórios de enumeração - APQ1 |
| 2009 - Atual | Atividades de Participação em Projeto, CCET, . |
|
Projetos de pesquisa CNPq Universal 2009 (faixa C) - Complexidade de problemas combinatórios: a dicotomia polinomial e NP-completo (DICO) |
| 08/2011 - 12/2011 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Estruturas de Dados II |
| 08/2011 - 12/2011 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Análise de Algoritmos |
| 08/2010 - 12/2010 | Ensino, Programa de Pós Graduação em Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Tópicos Especiais em RCR |
| 08/2010 - 12/2010 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Análise de Algoritmos |
| 03/2010 - 08/2010 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Análise de Algoritmos Estruturas Discretas |
| 03/2010 - 07/2010 | Ensino, Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Análise e Projeto de Algoritmos |
| 08/2009 - 12/2009 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Estruturas Discretas Introdução à Lógica Computacional |
| 04/2009 - 07/2009 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Estruturas Discretas Introdução à Lógica Computacional |
| Centro Universitário Augusto Motta, UNISUAM, Brasil. |
| Vínculo institucional |
| 2005 - 2009 | Vínculo: Celetista formal, Enquadramento Funcional: Professor Adjunto, Carga horária: 30 |
| Atividades |
| 02/2005 - 06/2009 | Ensino, Ciências da Computação, Nível: Graduação. |
| Disciplinas ministradas Algoritmos em Grafos Estruturas de Dados I Estruturas de Dados II Estruturas Diescretas Laboratório de Programação I (Linguagem C) Laboratório de Programação II (Java) Linguagens Orientadas a Objetos (C++) Técnicas de Programação (Pascal) |
| 07/2005 - 12/2008 | Conselhos, Comissões e Consultoria, Departamento de Computação, . |
|
Cargo ou função
Membro do colegiado. |
| Universidade Norte do Paraná, UNOPAR, Brasil. |
| Vínculo institucional |
| 1993 - 1997 | Vínculo: Livre, Enquadramento Funcional: Professor, Carga horária: 10 |
| Atividades |
| 7/1993 - 2/1997 | Ensino, processamento de dados, Nível: Graduação. |
| Disciplinas ministradas Processamento de Dados II (POO) Algoritmos e Estruturas de Dados |
| Caixa Econômica do Estado de Sâo Paulo, CEESP, Brasil. |
| Vínculo institucional |
| 1987 - 1990 | Vínculo: Servidor Público, Enquadramento Funcional: Auxiliar em processamento de dados, Carga horária: 40 |
| Universidade Estadual de Londrina, UEL, Brasil. |
| Vínculo institucional |
| 2000 - 2002 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40 |
| Vínculo institucional |
| 1997 - 2000 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar 4, Carga horária: 40 |
| Vínculo institucional |
| 1995 - 1997 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar 3, Carga horária: 40 |
| Vínculo institucional |
| 1995 - 1995 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar 2, Carga horária: 40 |
| Vínculo institucional |
| 1994 - 1995 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar 1, Carga horária: 40 |
| Vínculo institucional |
| 1993 - 1994 | Vínculo: Celetista, Enquadramento Funcional: Professor Auxiliar, Carga horária: 40 |
| Atividades |
| 11/2000 - 8/2002 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Computação. |
|
Projetos de pesquisa Projeto Genesis _ GeNorP - Gene Norte do Paraná Genesis-GeNorP. Sub-Projeto: SIRECON. |
| 03/1993 - 06/2002 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Tópicos Especiais II (Modelagem e Programação Orientada a Objeto) Estruturas de Dados Introdução a Computação Laboratório de Programação Linguaguens de Programação Técnicas de Programação Tópicos Especiais I |
| 3/2000 - 12/2001 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação. |
|
Cargo ou função
Coordenadora do TCC - Trabalho de conclusão do curso de Ciências da Computação. |
| 03/1996 - 02/1998 | Extensão universitária , Centro de Ciências Exatas, Departamento de Computação. |
|
Atividade de extensão realizada Participação no projeto de extensão Genesis-GeNorP. |
| 5/1997 - 12/1997 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação. |
|
Cargo ou função
Membro de colegiado superior. |
| 04/1997 - 05/1997 | Extensão universitária , Centro de Ciências Exatas, Departamento de Computação. |
|
Atividade de extensão realizada Curso de extensão. |
| 5/1995 - 5/1997 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Computação. |
|
Projetos de pesquisa Biocomp |
| 12/1995 - 3/1997 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação. |
|
Cargo ou função
Vice coordenadora de estágio curricular. |
| 08/1994 - 08/1996 | Extensão universitária , Centro de Ciências Exatas, Departamento de Computação. |
|
Atividade de extensão realizada Participação como Supervisora no projeto de extensão Assessoria Estatística. |
| 1994 - 1996 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Estatística e Matemática Aplicada. |
|
Projetos de pesquisa Assessoria Estatística |
| 8/1995 - 12/1995 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação. |
|
Cargo ou função
Membro de comissão de extensão. |
| 5/1995 - 12/1995 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Estatística e Matemática Aplicada. |
|
Cargo ou função
Suplente de chefe de departamento. |
| 10/1994 - 12/1995 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação. |
|
Cargo ou função
Membro da comissão de avaliação institucional. |
| Universidade do Estado do Rio de Janeiro, UERJ, Brasil. |
| Vínculo institucional |
| 2004 - 2004 | Vínculo: Livre, Enquadramento Funcional: Professor Substituo, Carga horária: 8 |
| Atividades |
| 04/2004 - 12/2004 | Ensino, administração, Nível: Graduação. |
| Disciplinas ministradas Introdução ao Processamento de Dados Processamento de Dados |
| Instituto Metodista Bennett, IMB, Brasil. |
| Vínculo institucional |
| 2002 - 2006 | Vínculo: Livre, Enquadramento Funcional: Professor Auxiliar, Carga horária: 12 |
| Atividades |
| 08/2002 - 07/2006 | Ensino, bacharelado em c. da computação, Nível: Graduação. |
| Disciplinas ministradas Estruturas de Dados Paradigmas de Linguagens de Programação Programação Orientada a Objeto |
| Universidade de Marília, UNIMAR, Brasil. |
| Vínculo institucional |
| 1991 - 1993 | Vínculo: Celetista, Enquadramento Funcional: Professor de Ensino Superior, Carga horária: 20 |
| Atividades |
| 03/1991 - 03/1993 | Ensino, Ciência da Comutação, Nível: Graduação. |
| Disciplinas ministradas Banco de Dados Introdução a Programação Linguagem de Programação I Linguagem de Programação II |
Projetos de Pesquisa
| 2011 - Atual | Redes Sociais de Pesquisa em Sistemas de Informação |
| Descrição: Compreende o desenvolvimento de soluções voltadas à caracterização da pesquisa em Sistemas de Informação no Brasil, a análise de sua configuração e potencialidades, bem como sua divulgação e conseqüente difusão à Sociedade. A base desta proposta está nas possibilidades de mineração, visualização e análise de estruturas de redes sociais de pesquisadores, instituições, grupos e temáticas de pesquisa em SI. As redes estudadas, bem como as análises obtidas podem servir de fonte de informação para a estruturação de um portal de pesquisa em SI para divulgação e navegação pela Sociedade dos grupos, instituições, temáticas de pesquisa, produção e resultados, fomentando e incentivando o interesse geral pela área. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renata Mendes de Araujo - Coordenador / Vânia Maria Félix Dias - Integrante. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.. |
| 2011 - Atual | PRONEM-Matemática Discreta e aplicações |
| Descrição: E_25 - Apoio a Grupos Emergentes de Pesquisa do Rio de Janeiro. O presente projeto tem como foco principal a formação de recursos humanos e a produção de trabalhos relacionados ao estudo de problemas na área de Teoria de Grafos, tanto no seu aspecto teórico quanto do ponto de vista das aplicações em temas de inovação tais como a bioinformática, telefonia celular e neurociência. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Simone Dantas - Coordenador / Vânia Maria Félix Dias - Integrante. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.. |
| 2010 - Atual | Complexidade dos problemas combinatórios de enumeração - APQ1 |
| Descrição: Este projeto tem dois temas centrais na ciência da computação: análise de algoritmos e teoria dos grafos. Temos o particular interesse em projeto de algoritmos que enumerem todos os objetos de uma coleção em tempo polinomial na cardinalidade do conjunto de objetos a serem gerados ou na demonstração da impossibilidade desse tipo de solução algorítmica. Uma lista de tópicos específicos de pesquisa, que não esgotam mas ilustram possíveis direções futuras, é a seguinte: enumeração dos $k$ caminhos mais curtos de um grafo; enumeração dos $k$ trajetos mais curtos de um grafo; enumeração das $k$ árvores geradoras de peso mínimo.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 2) . Integrantes: Guilherme Dias da Fonseca - Integrante / Adriana Alvim - Integrante / Alexandre Andreatta - Integrante / Vânia Maria Félix Dias - Coordenador. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.. |
| 2010 - Atual | CNPq Universal 2009 (faixa C) - Complexidade de problemas combinatórios: a dicotomia polinomial e NP-completo (DICO) |
| Descrição: Os objetivos deste projeto se dividem em Científiicos e de Formação. O objetivo Científico é contribuir ao estado-da-arte da Teoria da Computação através de investigações vigorosas de uma coleçãoo específica de problemas combinatórios em Biologia Computacional e Teoria dos Grafos e suas correspondentes complexidades e soluções algorítmicas. Dentro do Objetivo Científico pretende-se manter um grande volume de contribuições de autores nacionais e internacionais convidados, de forma a desenvolver, através da cooperação entre as três instituições participantes: UFRJ, UNIRIO e UFF e de intercâmbios com centros de pesquisa internacionais de excelência, pesquisas que gerem resultados em Teoria da Computação que possam ser julgados favoravelmente dentro do critério natural para esta área: por um lado objetiva-se obter resultados aplicáveis a problemas computacionais reais, mas por outro exige-se fundamentação teórica para os resultados obtidos. O objetivo de Formação consiste em produzir recursos humanos de alta qualidade em Ciência da Computação nas áreas de Complexidade Computacional, Biologia Computacional e Teoria dos Grafos nas instituições participantes..
. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Guilherme Dias da Fonseca - Integrante / Celina M H de Figueiredo - Coordenador / Luis Antonio Brasil Kowada - Integrante / Claudia Regina Villela Maciel - Integrante / Rafael Bernardo Teixeira - Integrante / Vinícius G. Pereira de Sá - Integrante / Murilo V. Gonçalves da Silva - Integrante / Vânia Maria Félix Dias - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2010 - Atual | PRONEX : Orimização Combinatória: Fundamentos, Algoritmos e Aplicações em Problemas de Planejamento e Decisão |
| Situação: Em andamento; Natureza: Pesquisa. Integrantes: Guilherme Dias da Fonseca - Integrante / Loana T. Nogueira - Integrante / Maise Dantas da Silva - Integrante / Adriana Alvim - Integrante / Alexandre Andreatta - Integrante / Fabio Protti - Integrante / Celso Carneiro Ribeiro - Coordenador / Andrea Soares Bonifácio - Integrante / Vânia Maria Félix Dias - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.. |
| 1999 - 2002 | Genesis-GeNorP. Sub-Projeto: SIRECON. |
| Descrição: Sistema Integrado para gerenciamento de obras civis.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 10) / Especialização ( 2) / Mestrado profissionalizante ( 1) . Integrantes: Cleusa Rocha Asanome - Coordenador / Vânia Maria Félix Dias - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Incubadora Internacional de Empresas de Base Tecnológica da UEL - Auxílio financeiro.. |
| 1996 - 1999 | Projeto Genesis _ GeNorP - Gene Norte do Paraná |
| Descrição: O GENESIS é um projeto do CNPq cujo objetivo é financiar a geração de novos empreendimentos em software e tecnologias da informação em todo o país. É executado em Centros de Geração de empresas (CSG s), distribuídos pelo Brasil, que são coordenados por consórcios de instituições de perfis e interesses complementares.
. Situação: Concluído; Natureza: Extensão. Alunos envolvidos: Graduação ( 40) / Especialização ( 2) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Cleusa Rocha Asanome - Coordenador / Vânia Maria Félix Dias - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação. Número de produções C, T & A: 6 / Número de orientações: 8. |
| 1995 - 1997 | Biocomp |
| Descrição: O objetivo deste projeto foi pesquisar os principais conceitos e aplicações das técnicas de biocomputação. Foram realizados estudos na área de redes neurais, algoritmos genéticos e sistemas especialistas. Situação: Concluído; Natureza: Pesquisa. Integrantes: Pedro Paulo da Silva Ayrosa - Integrante / Cinthyan Renata Barbosa - Coordenador / Marcos Antônio C. Batista - Integrante / Vânia Maria Félix Dias - Integrante. . |
| 1994 - 1996 | Assessoria Estatística |
| Descrição: Esse projeto, que ainda existe no departamento de matemática aplicada da UEL, realiza assessoria estatística junto à comunidade de Londrina, principalmente aos alunos de mestrado e doutorado nas mais diversas áreas de atuação.. Situação: Concluído; Natureza: Extensão. Integrantes: Tiemi Matsuo - Coordenador / Vânia Maria Félix Dias - Integrante. . |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Análise de Algoritmos e Complexidade de Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Linguagens de Programação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Discreta e Combinatória. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2008 | Aprovada (1o. Lugar) Concurso Público para Professor Adjunto, UNIRIO. |
| 2005 | Menção Honrosa no Concurso de Teses e Dissertações da SBC 2005, Sociedade Brasileira de Computação. |
| 1997 | Nome de Turma dos formandos de 1997 do curso de Ciência da Computação, UEL. |
| 1996 | Paraninfa dos formandos de 1996 do curso de Ciência da Computação, UEL. |
| 1993 | Aprovada no Concurso Público para Professor de Ensino Superior, Universidade Estadual de Londrina. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   DIAS, V.M.F. ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . On the generating of bicliques of a graph. Discrete Applied Mathematics , A ser publicado, v. 155, p. 1826-1832, 2007. |
| 2. | DIAS, V.M.F. ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . Generating bicliques of a graph in lexicographic order. Theoretical Computer Science, v. 337, p. 240-248, 2005. |
| 3. | DIAS, V.M.F. ; FONSECA, G. D. ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . The stable marriage problem with restricted pairs. Theoretical Computer Science, v. 306, p. 391-405, 2003. |
| 4. | DIAS, V.M.F. ; SZWARCFITER, J. L. . Casamentos Estáveis com Casais Forçados e Casais Proibidos. Tendências Em Matemática Aplicada e Computacional, v. 1, n. 2, p. 361-372, 2000. |
| 5. | BARBOSA, C. R. ; DIAS, V.M.F. ; BATISTA, M. A. C. . Projeto BIOCOMP - Um Ambiente para Simulação de Técnicas de Biocomputação. Semina Revista Cultural e Científica da Uel, v. 20, p. 22-38, 1999. |
| Trabalhos completos publicados em anais de congressos |
| 1. | DIAS, V.M.F. ; SZWARCFITER, J. L. ; FIGUEIREDO, C. M. H. . Geração de Bicliques de um Grafo. In: XXV Congresso da Sociedade Brasileira de Computação - Concurso de teses e dissertações, 2005, São Leopoldo. Anais do XXV Congresso da SBC - XVIII CTD, 2005. p. 86-84. |
| 2. | DIAS, Vânia ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . On the generation of bicliques of a graph. In: CTW on Graphs and Combinatorial Optimization, 2004, Menaggio.
Electronic Notes in Discrete Mathematics. v. 17. p. 123-127. |
| 3. | DIAS, Vânia ; FONSECA, G. D. ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . Stable marriages with restricted pairs?. In: BRAZILIAN SYMPOSIUM ON GRAPHS, ALGORITHMS AND COMBINATORICS, 2001, fortaleza.
Electronic Notes in Discrete Mathematics. v. 7. p. 5-9. |
| Resumos publicados em anais de congressos |
| 1. | DIAS, V.M.F. ; SZWARCFITER, J. L. . Grafos Clique Ponderados. In: XXXIII SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL, 2001, campos do Jordão. Anais do XXXIII SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL, 2001. |
| 2. | DIAS, V.M.F. ; SZWARCFITER, J. L. . Casamentos Estáveis com Casais Forçados e Casais Proibidos. In: XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, santos. XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999. |
| 3. | BARBOSA, C. R. ; Dias, V. . BIOCOMP - Um ambiente para simulação de técnicas de biocomputação. In: Quinto Simpósio de Estudantes do Cesulon, 1997, Londrina. Anais do 5. simpósio de estudantes do CESULON, 1997. v. 5. p. 82-84. |
| 4. | DIAS, V.M.F. ; AYROSA, P. P. S. . Paradigmas em Linguagens de Programação. In: I Simpósio de Estudantes do Centro de Estudos Superiores de Londrina, 1993, Londrina. Anais do I Simpósio de Estudantes do Centro de Estudos Superiores de Londrina, 1993. |
| 5. | AYROSA, P. P. S. ; DIAS, V.M.F. . Representação do Conhecimento em Redes Neuronais Artificiais. In: I Simpósio de Estudantes do Centro de Estudos Superiores de Londrina, 1993. anais do I Simpósio de Estudantes do Centro de Estudos Superiores de Londrina, 1993. |
| Apresentações de Trabalho |
| 1. | Dias, V.M.F. . Geração de Bicliques de um Grafo. 2005. (Apresentação de Trabalho/Congresso). |
| 2. | DIAS, V.M.F. ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . On the generating of bicliques of a graph. 2004. (Apresentação de Trabalho/Congresso). |
| 3. | DIAS, V.M.F. ; SZWARCFITER, J. L. . Grafos Clique Ponderados. 2001. (Apresentação de Trabalho/Simpósio). |
| 4. | DIAS, V.M.F. ; FONSECA, G. D. ; FIGUEIREDO, C. M. H. ; SZWARCFITER, J. L. . Stable Matchings with Restricted Pairs. 2001. (Apresentação de Trabalho/Simpósio). |
| 5. | DIAS, V.M.F. ; SZWARCFITER, J. L. . Casamentos Estáveis com casais Forçados e Casais Proíbidos. 1999. (Apresentação de Trabalho/Congresso). |
| 6. | DIAS, V.M.F. . BIOCOMP - Um ambiente para simulação de técnicas de Biocomputação. 1997. (Apresentação de Trabalho/Simpósio). |
| 7. | DIAS, V.M.F. . Representação de Conhecimento em Redes Neuronais. 1993. (Apresentação de Trabalho/Simpósio). |
| 8. | DIAS, V.M.F. . Paradigmas em Linguagens de Programação. 1993. (Apresentação de Trabalho/Simpósio). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | DIAS, V.M.F. . Sistema Integrado para Administração Hoteleira. 1997. |
| Produtos tecnológicos |
| 1. | DIAS, V.M.F. . Sistema Integrado para Administração Hoteleira. 1998. |
| Demais tipos de produção técnica |
| 1. | DIAS, V.M.F. . Análise Orientada ao Objeto. 1997. (Curso de curta duração ministrado/Extensão). |
| 2. | DIAS, V.M.F. . Técnicas de Modelagem de Objetos. 1996. . |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | FERREIRA, S. B.; DIAS, V.M.F.. Participação em banca de Patricia Zamprogno Tavares. Estudo de Usabilidade para PDAs Utilizados em Coleta de Dados nas Entrevistas Pessoais para Pesquisas Domiciliares. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro. |
| 2. | Mendes, R.A.; DIAS, V.M.F.; Werner, C. M. L.. Participação em banca de Taísa Alves Lacerda dos Santos. Identificação de características de colaboração em processos de desenvolvimento de softwares através de redes. 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro. |
| 3. | TOLOSA, H. C.; DIAS, V.M.F.. Participação em banca de Marcelo V. Fatudo. Ensino à distância como um estudo de caso em comércio eletrônico. 2008. Dissertação (Mestrado em Economia) - Universidade Cândido Mendes. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | BARROS, M. O.; DIAS, V.M.F.. Participação em banca de Rafael Fogel. Sistema de concessão de financiamento para a apresentação de artigos acadêmicos em Spring MVC. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. |
| 2. | Mendes, R.A.; DIAS, V.M.F.. Participação em banca de Rafael Lage. Visualização de redes sociais em discussões. 2010. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. |
| 3. | DIAS, V.M.F.; FIGUEIREDO, C. M. H.; SZWARCFITER, J. L.. Participação em banca de Guilherme F. Dias. O problema dos casamentos estáveis. 2000. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro. |
| 4. | DIAS, V.M.F.. Participação em banca de Chrystian T. Sanferla. PIZZA - Editor de VRML. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 5. | DIAS, V.M.F.. Participação em banca de Rodrigo Augusto Marques. PIZZA - Editor VRML. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 6. | DIAS, V.M.F.. Participação em banca de Cesar A C Marcondes. Projeto Decameron. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 7. | DIAS, V.M.F.. Participação em banca de Breno Schult. Projeto Easywriter. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 8. | DIAS, V.M.F.. Participação em banca de Rodrigo C Torres. Projeto Easywriter. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 9. | DIAS, V.M.F.. Participação em banca de Cristiana Y Izumi. Projeto Aurora. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 10. | DIAS, V.M.F.. Participação em banca de Priscylla S Porto. Projeto Aurora. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 11. | DIAS, V.M.F.. Participação em banca de André Terezza. Sistema de Máquinas e Veículos (SMV - Controle de frota de veículos e máquinas da EMBRAPA). 1995. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 12. | DIAS, V.M.F.. Participação em banca de Leandro S Farias. Sistema de Agendamento e Histórico Médico. 1995. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 13. | DIAS, V.M.F.. Participação em banca de Mary Yorinori. Sistema de Controle do Laboratório de Análises Clínicas do HURNPR. 1994. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| 14. | DIAS, V.M.F.. Participação em banca de Luciane Tiemi Iwasaki. Sistema de controle de tratamento dentístico. 1994. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | Dantas, Maise; DIAS, V.M.F.; PINTO, P. E. D.. Concurso público para professor adjunto (Ciência da Computação). 2010. Universidade Federal Fluminense. |
| 2. | SILVA, R. M.; BRANCO, L. M. C.; DIAS, V.M.F.; NOGUEIRA, L. T.; CRUZ, A. J. O.. Concurso público para professor adjunto (Algoritmos). 2009. Universidade Federal Rural do Rio de Janeiro. |
| 3. | DIAS, V.M.F.. Concurso público para professor assistente (Linguagens de Programação). 2001. Universidade Estadual de Londrina. |
| 4. | DIAS, V.M.F.. Concurso público para professor assistente (Teoria da Computação). 2001. Universidade Estadual de Londrina. |
| Outras participações |
| 1. | Dias, V.M.F.. Teste seletivo para admissão de professor temporário. 2000. |
Eventos
| Participação em eventos |
| 1. | IV Semana Acadêmica do Centro de Ciências Exatas e Engenharias.Complexidade de Algoritmos. 2006. (Simpósio). |
| 2. | XXV Congresso da Sociedade Brasileira de Computação.Geração de Bicliques de um Grafo. 2005. (Congresso). |
| 3. | CTW04 on Graphs and Combinatorial Optimization.On the generation of bicliques of a graph. 2004. (Congresso). |
| 4. | Workshop on combinatorics, algorithms and applications.Workshop on Combinatorics, Algorithms and Applications. 2003. (Congresso). |
| 5. | Workshop Latino-Americano de Cliques em Grafos.Temas variados em combinatória e algoritmos. 2002. (Outra). |
| 6. | Brazilian Symposium on Graphs, Algorithms and Combinatorics (GRACO'2001).Algorithms and Combinatorics. 2001. (Simpósio). |
| 7. | XXXIII SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL.Grafos Clique Ponderados. 2001. (Simpósio). |
| 8. | Brazilian Summer School on Combinatorics and Algorithms. 2001. (Outra). |
| 9. | Escola de Planejamentos Combinatórios. 2000. (Outra). |
| 10. | XXII Congresso de Matemática Aplicada e Computacional.Casamentos estáveis com casais forçados e casais proibidos. 1999. (Congresso). |
| 11. | XI Escola de Computação. 1998. (Outra). |
| 12. | VIII CITS - Conferência Internacional de Tecnologia de Software. 1997. (Congresso). |
| 13. | III Encontro Interuniversitário dos estudantes do Paraná. 1995. (Encontro). |
| 14. | II Encontro Interuniversitário de Informática do Paraná. 1994. (Outra). |
| 15. | XIII Congresso da Sociedade Brasileira de Computação. 1993. (Congresso). |
| 16. | I Simpósio de Estudantes do Centro de Estudos Superiores de Londrina.Representação do Conhecimento em Redes Neuronais Artifíciais. 1993. (Simpósio). |
| 17. | I Simpósio de Estudantes do Centro de Estudos Superiores de Londrina.Paradigmas em Linguagem de Programação. 1993. (Simpósio). |
| Organização de eventos |
| 1. | DIAS, V.M.F. . V Infotech - Feira de Informática. 1996. (Outro). |
| 2. | DIAS, V.M.F. . V Encontro Anual de Iniciação Científica - UEL, UEM, UEPG, UNIOESTE. 1996. (Congresso). |
| 3. | DIAS, V.M.F. . Infotech - Feira UEL de Informática e Tecnologia. 1995. (Outro). |
| 4. | DIAS, V.M.F. . INFOTECH - Feira de Informática e Tecnologia. 1994. (Outro). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Edvaldo Artmann de Oliveira. Em andamento. Início: 2010. Dissertação (Mestrado em Programa de Pós Graduação em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador). |
| 2. | Jorge Carballo. Em andamento. Início: 2010. Dissertação (Mestrado em Programa de Pós Graduação em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador). |
| Supervisões e orientações concluídas |
| Trabalho de conclusão de curso de graduação |
| 1. | Chrystian Teodoro Sanferla. Projeto PIZZA Editor de VRML. 1997. Trabalho de Conclusão de Curso. (Graduação em bacharelado em ciência da computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 2. | César Augusto Cavalheiro Marcondes. Projeto Decameron (Jogho Multi-Usuário). 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 3. | Breno Schult. Projeto Easywriter - Software para construção de redação. 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 4. | Cristiana yumi Izumi. Projeto Aurora - Software para Assistentes Sociais. 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 5. | Rodrigo Augusto Marques. Projeto PIZZA - Editor de VRML. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 6. | Rodrigo de Castro Torres. Projeto Easywriter - Software para construção de redação. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 7. | Priscylla Stern. Projeto Aurora. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 8. | André Terezza. Sistema de Máquinas e Veículos (SMV - Controle de frota de veículos e maquinários na EMBRAPA). 1995. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 9. | Leandro S Farias. Sistema de agendamento médico, acompanhamento de histórico dos pacientes. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 10. | Mary Yorinori. Sistema de controle do laboratório de análises clínicas do HURNPR. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| 11. | Luciane Tiemi Iwasaki. Sistema de controle de tratamento dentístico e ortodôntico. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Vânia Maria Félix Dias. |
| Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 3:25:48 |