Currículo do Sistema de Currículos Lattes (Laira Vieira Toscani)

Laira Vieira Toscani

Concluiu o bacharelado em Matemática pela PUC/Rio (Pontifícia Universidade Católica do Rio de Janeiro) em 1971, o mestrado em Informática pela PUC/Rio em1973 e o doutorado em Informática pela PUC/Rio em 1988. Foi professora-pesquisadora da UFRGS (Universidade Federal do Rio Grande do Sul) de 1974 até 2004. Foi professora do Unilasalle de 2000 até 2005. Desde 2007 é professora da Unisinos. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: complexidade de algoritmos, programação dinâmica, análise da complexidade, complexidade computacional e heurísticas.
(Texto informado pelo autor)

Última atualização do currículo em 11/05/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/1710311182869451

Dados pessoais

Nome	Laira Vieira Toscani
Nome em citações bibliográficas	TOSCANI, L. V.
Sexo	Feminino

Endereço profissional

Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica.
Av. Bento Gonçalvez, 9500 Blc. IV
Agronomia
91501970 - Porto Alegre, RS - Brasil - Caixa-Postal: 15064
Telefone: (51) 3166845 Fax: (51) 3191576
URL da Homepage: http://

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

1989 - 1990

Pós-Doutorado .
Universidade Nova de Lisboa, U.NOVA DE LISBOA, Portugal.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
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.

1984 - 1988

Doutorado em Informática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Métodos de Desenvolvimento de Algoritmos: Especificação Formal, Análise Comparativa e de Complexidade, Ano de Obtenção: 1988.
Orientador: Paulo A S. Veloso.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: complexidade; métodos de desenvolvimento de algoritmos; especificação formal.
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: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Informática.

1972 - 1973

Mestrado em Informática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Demonstração Formal da Correção de Compilador Simples, Ano de Obtenção: 1973.
Orientador: Sueli Mendes dos Santos.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: compilador; correção.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Informática.

1969 - 1971

Graduação em Bacharelado Em Matemática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .

Atuação profissional

Universidade do Vale do Rio dos Sinos, UNISINOS, Brasil.

Vínculo institucional

2007 - Atual

Vínculo: Professor horista, Enquadramento Funcional: Professora, Carga horária: 12

Centro Universitário La Salle, UNILASALLE, Brasil.

Vínculo institucional

2001 - 2005

Vínculo: Professor Horista, Enquadramento Funcional: Professor, Carga horária: 8

Atividades

10/2001 - 12/2005	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Matemática Discreta Análise de Algoritmos em Grafos Complexidade de Algoritmos Projeto e Análise de Algoritmos Teoria da Computação

Universidade Nova de Lisboa, U.NOVA DE LISBOA, Portugal.

Vínculo institucional

1991 - 1993

Vínculo: Professor, Enquadramento Funcional: Professor Convidado, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

1991 - 1993	Ensino, Computacao, Nível: Graduação.
	Disciplinas ministradas Estrutura de Dados Linguagens Formais Algebra Computacional

1991 - 1993	Ensino, Mestrado Em Informatica, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria da Computacao

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Vínculo institucional

2001 - 2004

Vínculo: Professor Aposentado, Enquadramento Funcional: Professor-Pesquisador, Carga horária: 20

Vínculo institucional

2000 - 2001

Vínculo: Servidor Público, Enquadramento Funcional: Chefe de Departamento de Informática Teórica, Carga horária: 0, Regime: Dedicação exclusiva.

Vínculo institucional

1982 - 2001

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Vínculo institucional

1974 - 1982

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Atividades

9/1993 - Atual	Ensino, Ciencia da Computacao, Nível: Graduação.
	Disciplinas ministradas Teoria da Computação Linguagens Formais Teoria dos Grafos e Combinatória Complexidade de Algoritmos Matemática Discreta

10/1974 - Atual	Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.
	Linhas de pesquisa Teoria da Computação Linguagens de Programação

10/1974 - Atual	Ensino, Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Complexidade de Algoritmos Estrutura de Dados Análise e Desenvolvimento de Algoritmos Compiladores Linguagens Formais Teoria da Computação Teoria da Intratabilidade Teoria dos Domínios

Linhas de Pesquisa

1.	Teoria da Computação

2.	Linguagens de Programação

Á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: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

LORETO, A. B. ; SILVA, R. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLÁUDIO, D. M. ; LEAL, L. A. S. . Amostragem por Importância para Estimar Valores Esperados: uma Abordagem com Huerísticas para Problemas Intervalares NP-Difíceis. TEMA. Tendências em Matemática Aplicada e Computacional, v. 6, p. 261-272, 2005.

2.	LEAL, L. A. S. ; CLAUDIO, D. M. ; MENEZES, P. F. B. ; TOSCANI, L. V. . Modelling the Approximation Hierarchy to Optimisation Through Category Theory. International Journal of Computing Anticipatory Systems, 2002.

3.	LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Complexity Analysis of Reactive Graph Grammars. Revista de Informática Teórica e Aplicada, UFRGS, 2000.

4.	TOSCANI, L. V. ; VELOSO, P. A. S. . Programação Dinâmica é um Caso Particular da Divisão e Conquista. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 1, n. 2, 1990.

5.	TOSCANI, L. V. ; VELOSO, P. A. S. . Desenvolvimento de Algoritmos por Acercamento. Investigação Operacional, APDIO, Lisboa, v. 9, n. 1, p. 65-70, 1989.

6.	TOSCANI, L. V. ; RIBEIRO, C. C. . Análise da Complexidade de Algoritmos em Arquiteturas Paralelas: Estudo de caso. Pesquisa Operacional, SOBRAPO, Rio de Janeiro, v. 7, n. 2, p. 66-86, 1987.

Livros publicados/organizados ou edições

1.	MENEZES, P. F. B. ; TOSCANI, L. V. ; LOPEZ, J. G. . Aprendendo Matemática Discreta com Exercícios. 1. ed. São Paulo: Bookman Editora, 2009. v. 1. 356 p.

2.	TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos. 2. ed. São Paulo: Bookman Editora, 2008. v. 1. 261 p.

3.	TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos. 1. ed. Porto Alegre: Editora Sagra Luzzatto, 2001. v. 1. 202 p.

4.	TOSCANI, L. V. ; DIVERIO, T. A. ; CLÁUDIO, D. M. . Fundamentos da Matemática Computacional. 1. ed. Porto Alegre: Sagra Editora Distribuidora, 1987. v. 1. 194 p.

Capítulos de livros publicados

DIVERIO, T. A. ; TOSCANI, L. V. ; VELOSO, P. A. S. . Análise da Complexidade de Algoritmos Paralelos. In: Tiarajú Asmuz Diverio; Gerson Geraldo Homrich Cavalheiro. (Org.). Escola Regional de Alto Desempenho. 2 ed. Porto Alegre: SBC/ Instituto de Informática da UFRGS/ UNISINOS/ULBRA, 2002, v. , p. 67-104.

Trabalhos completos publicados em anais de congressos

LORETO, A. B. ; CAMPOS, M. A. ; TOSCANI, L. V. . Complexidade Computacional de Problemas de Estatística Descritiva com Entradas Intervalares. In: XXXVI Conferencia Latinoamericana de Informática, 2010, San Lorenzo. XXXVI Conferencia Latinoamericana de Informática. Assunção : Facultad Politécnica - Universidad Nacional de Asunción, 2010. v. 1. p. 56-69.

LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Decidability and Tractability of Problems in object-based graph grammars. In: 17ª IFIP World Computer Congress-Foundations of Information Thecnology in the Era of Network and Mobile Computing (TCS2002), 2002, Montreal. Foundations of Information Thecnology in the Era of Network and Mobile Computing. Boston : Kluwer Academic Publishers, 2002. p. 396-408.

3.	BARBOSA, M. A. C. ; TOSCANI, L. V. ; RIBEIRO, L. . Metodologia para o Cálculo da Complexidade de Algoritmos e o Processo de Avaliação das Equações de Complexidade.. In: XXXIV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2002, Rio de Janeiro. Anais do XXXIV SBPO, 2002. v. 1.

4.	LORETO, A. B. ; TOSCANI, L. V. ; FACHIN, M. P. G. ; NEGRON, M. M. . Cálculo da Complexidade Exata de Algoritmos do tipo Divisão-e-Conquista via Maple. In: XXIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2001, Santos. TEMA - Tendencias em Matematica Aplicada, 2000. v. 1.

5.	BARBOSA, M. A. C. ; TOSCANI, L. V. ; RIBEIRO, L. . ANAC-Uma ferramenta para Análise Automática da Complexidade de Algoritmos. In: XXVII Latin-American Conference on Informatics-CLEI'2001, 2001, Merida. XXVII Latin-American Conference on Informatics-CLEI'2001, 2001.

6.	BARBOSA, M. A. C. ; TOSCANI, L. V. ; RIBEIRO, L. . ANAC-Uma Ferramenta para o Apoio ao Ensino de Complexidade de Algoritmos. In: 3ºSimpósio Internacional de Informática Educativa, 2001, Viseu. 3º Simpósio Internacional de Informática Educativa, 2001.

7.	PEREIRA, A. ; DAMICO, C. B. ; TOSCANI, L. V. . Ferramenta para dar suporte ao ensino síncrono e assíncrono(SP). In: International Conference on New Tecnologies in Science Education-CINTEC2001, 2001, Aveiro. International Conference on New Tecnologies in Science Education, 2001.

8.	IZQUIERDO, V. B. ; TOSCANI, L. V. . Método de Desenvolvimento de Algoritmos Baseados em Simulated Annealing. In: XXXIII Simpósio Brasileiro de Pesquisa Operacional, 2001, Campos do Jordão. XXXIII simpósio Brasileiro de Pesquisa Operacional. Campos do Jordão : Sobrapo, 2001.

9.	LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Decibilidade e Tratabilidade de problemas em Gramática de Grafos Orientada a Objetos. In: Wokshop de Métodos Formais-WMF2001, 2001, Rio de Janeiro-RJ. Wokshop de Métodos Formais-WMF2001, 2001.

10.	LEAL, L. A. S. ; MENEZES, P. F. B. ; CLAUDIO, D. M. ; TOSCANI, L. V. . Optimization Problems Categories. In: EUROCAST'2001, 2001, Ilhas Canárias. EUROCAST'01. Ilhas Canárias : R. Moreno-Diáz, B.Buchberger, J-L. Freire, 2001. p. 285-299.

11.	MORELLI, C. ; TOSCANI, L. V. . An experiment on mixing GRASP and HBSS to solve MAX-SAT instances . In: Second International Workshop on Integration of AI and OR Technique in Constraint Programming for Combinatorial Optimization Problems, 2000, Paderborn. Procedings of CP-AI-OR'00, 2000.

12.	IZQUIERDO, V. B. ; TOSCANI, L. V. . Especificação Formal para Algoritmos Baseados em Simulated Annealing. In: Workshop de Métodos Formais - WMF2000, 2000, João Pessoa. Workshop de Métodos Formais - WMF2000, 2000.

13.	LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Complexity Analysis of Reactive Graph Grammars. In: Workshop on Formal Methods WMF'2000, 2000, João Pessoa. Workshop on Formal Methods WMF'2000, 2000.

14.	LEAL, L. ; CLÁUDIO, D. M. ; MENEZES, P. F. B. ; TOSCANI, L. V. . Categoria dos Problemas de Otimização. In: Workshop on Formal Methods WMF'2000, 2000, João Pessoa. Workshop on Formal Methods WMF'2000, 2000.

15.	BARBOSA, M. A. C. ; TOSCANI, L. V. ; RIBEIRO, L. . Ferramenta para Automatização da Análise da Complexidade de Algoritmos. In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió. XI Simpósio Brasileiro de Informática na Educação, 2000.

16.	MENEZES, P. F. B. ; DIVERIO, T. A. ; KORFF, L. R. ; NUNES, D. J. ; TOSCANI, L. V. . Desenvolvimento da Área Formal da Computação. In: Workshop Brasileiro de Métodos Formais 1, 1998, Porto Alegre. Workshop Brasileiro de Métodos Formais 1, 1998. p. 1-12.

17.	AGUIAR, M. S. ; TOSCANI, L. V. . Algoritmos Genéticos. In: Workshop sobre Métodos Formais e Qualidade de Software, 1997, Porto Alegre. Workshop sobre Métodos Formais e Qualidade de Software, 1997. p. 78-87.

18.	ROSA, D. S. ; TOSCANI, L. V. . Modelando o Esforço Computacional. In: Escola de Séries Temporais e Econometria, 1997, Canela. Escola de Séries Temporais e Econometria, 1997.

19.	LEAL, L. A. S. ; TOSCANI, L. V. ; CLÁUDIO, D. M. . Domínios de Scott: Teoria e Aplicações. In: Workshop sobre Métodos Formais e Qualidade de Software, 1997, Porto Alegre. Worshop sobre Métodos Formais e Qualidade de Software, 1997. p. 62-67.

20.

DAMICO, C. B. ; VICARI, R. ; TOSCANI, L. V. . Agents in Distributed Intelligence Learning Environment. In: First Iberoamerican Workshop on Distributed Artificial Intelligence and Mult Agent Systems, 1996. First Iberoamerican Workshop on Distributed Artificial Intelligence and Mult Agent Systems, 1996.

21.	LEAL, L. A. S. ; TOSCANI, L. V. ; CLÁUDIO, D. M. . Extension of the first Kleene's Recursion Theorem. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI'96, 1996, Olinda. II Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI'96, 1996.

22.	PRICE, A. M. ; NUNES, J. ; INGRID, E. S. ; TOSCANI, L. V. . Bacharelado em Ciência da Computação. In: Workshop sobre Educação em Informática, 1995, Canela. Workshop sobre Educação em Informática, 1995. p. 135-15.

23.	ROSA, D. S. ; TOSCANI, L. V. . Complexidade Algoritmica como Intervalos. In: Congresso Nacional de Matemática Aplicada e Computacional, 18, 1995, Curitiba. Congresso Nacional de Matemática Aplicada e Computacional, 18, 1995. p. 183-187.

24.	SELLANES, R. G. S. ; TOSCANI, L. V. . A Teoria do Ponto Fixo em Computação. In: Congresso Nacional de Matemática Aplicada e Computacional 18, 1995, Curitiba. Congresso Nacional de Matemática Aplicada e Computacional 18, 1995. p. 150-154.

25.

TOSCANI, L. V. ; ROSA, D. S. . La Enfasis en Complejidad Algoritmica en Elaboracion de Software. In: Congresso Internacional de Tecnologia y Aplicaciones Informaticas & VII Panel Nacional de Informatica, 1995, Asuncion. Congresso Internacional de Tecnologia y Aplicaciones Informaticas & VII Panel Nacional de Informatica, 1995.

26.	TOSCANI, L. V. ; VELOSO, P. A. S. . Uma metodologia para cálculo da complexidade de algoritmos. In: Simpósio Brasileiro de Engenharia de Software, 4, 1990, Águas de São Pedro. Simpósio Brasileiro de Engenharia de Software, 4, 1990.

27.	TOSCANI, L. V. ; VELOSO, P. A. S. . Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. In: Simpósio Brasileiro de Engenharia de Software, 2, 1989, Olinda. Simpósio Brasileiro de Engenharia de Software, 2, 1989. p. 228-238.

28.	TOSCANI, L. V. ; VELOSO, P. A. S. . Programação Dinâmica em Arquiteturas Paralelas. In: Simpósio Brasileiro de Arquitetura de Computadores, 2, 1988, Águas de Lindóia. Simpósio Brasileiro de Arquitetura de Computadores, 2, 1988. p. 11A41-11A46.

29.	TOSCANI, L. V. ; VELOSO, P. A. S. . Programação Dinâmica e Método Guloso. In: Simpósio Brasileiro de Engenharia de Software, 2, 1988, Canela. Simpósio Brasileiro de Engenharia de Software, 1988.

30.	TOSCANI, L. V. ; VELOSO, P. A. S. . Desempenho da Programação Dinâmica em Máquinas com Arquitetura Paralela. In: Congresso Latinoamericano de Pesquisa Operacional, 4, 1988, Rio de Janeiro. Congresso Latinoamericano de Pesquisa Operacional, 4, 1988.

31.	TOSCANI, L. V. ; RIBEIRO, P. A. S. ; RIBEIRO, C. C. . Análise de Complexidade da Divisão e Conquista. In: Encontro de Trabalho do Projeto ETHOS, 4, 1987, Petrópolis. Encontro de Trabalho do Projeto ETHOS, 1987. p. 14-16.

32.	TOSCANI, L. V. ; RIBEIRO, C. C. . Análise da Complexidade de Algoritmos para Arquiteturas Paralelas: Estudo da Técnica de Divisão e Conquista. In: Simpósio Brasileiro de Arquitetura de Computadores, 1, 1987, Gramado. Simpósio Brasileiro de Arquitetura de Computadores, 1987. p. 13-15.

33.	SAYÃO, M. ; TOSCANI, L. V. ; TOSCANI, S. S. . Prova de Correção de Monitores. In: Congresso Nacional de Informática, 20, 1987, São Paulo. Congresso Nacional de Informática,, 1987. p. 1119-1125.

34.	SAYÃO, M. ; TOSCANI, L. V. ; TOSCANI, S. S. . Análise Estática em Programação Concorrente. In: Congresso Nacional de Matemática Aplicada e Computacional, 10, 1987, Gramado, 1987. p. 827-832.

35.	TOSCANI, L. V. ; VELOSO, P. A. S. . Análise da Complexidade de Programas Abstratos. In: Congresso Nacional de Matemática Aplicada e Computacional 10, 1987, Gramado. Congresso Nacional de Matemática Aplicada e Computacional 10, 1987. p. 978-983.

36.	TOSCANI, L. V. ; SZWARCFITER, J. L. . Algoritmos Aproximativos: uma alternativa para problemas NP-completos. In: Conferencia Latinoamericana de Informática, 12, 1986, Montevideo. Conferencia Latinoamericana de Informática, 12, 1986. p. 155-166.

37.	TOSCANI, L. V. ; VELOSO, P. A. S. . Divisão e Conquista: análise da complexidade. In: Seminário Integrado de Software e Hardware, 13, 1986, Olinda. Seminário Integrado de Software e Hardware, 1986. p. 89-104.

38.	TOSCANI, L. V. ; WAGA, C. F. M. ; VELOSO, P. A. S. . A Programação Dinâmica no Desenvolvimento de Algoritmos. In: Jornadas Argentinas de Informática e Investigacion Operativa, 16, 1986, Buenos Aires. Jornadas Argentinas de Informática e Investigacion Operativa, 16, 1986. p. 9.13-9.24.

39.	TOSCANI, L. V. ; VELOSO, P. A. S. . Uma Especificação Formal para a Programação Dinâmica. In: Congresso da Sociedade Brasileira de Computação, 5, 1985, Porto Alegre. Congresso da Sociedade Brasileira de Computação, 5, 1985. p. 477-486.

40.	TOSCANI, L. V. ; CASTILHO, J. M. ; TOSCANI, S. S. ; CLAUDIO, D. M. . O uso de Estudos Teóricos em Ciência da Computação. In: Congresso Nacional de Informática, 16, 1983, São Paulo. Congresso Nacional de Informática, 1983. p. 135-139.

41.	TOSCANI, L. V. ; CLAUDIO, D. M. . Estudo sobre Análise de Algoritmos. In: Congresso Regional de Informática - 5, 1983, Olinda. Congresso Regional de Informática, 1983. p. 87-93.

42.	TOSCANI, L. V. ; SPECIALSKI, E. S. . Especificação de Tipos Abstratos de Dados através da Técnica Algébrica Axiomática. In: Seminário Integrado de Software e Hardware - 9, 1982, Ouro Preto. Seminário Integrado de Software e Hardware - 9, 1982. p. 463-475.

43.	TOSCANI, L. V. ; SPECIALSKI, E. S. . Tipos Abstratos de Dados: especificação, implementação e verificação. In: Conferencia Latinoamericana de Informática, 9, 1982, Lima. Conferencia Latinoamericana de Informática, 9, 1982. p. 431-439.

44.	CLAUDIO, D. M. ; TOSCANI, L. V. . Laboratório de Matemática Computacional. In: Jornada Argentina de Informática e Investigacion Operativa - 12, 1981, Buenos Aires. Jornada Argentina de Informática e Investigacion Operativa, 1981. v. 2. p. M2-M10.

45.	GRAZZIOTIN, J. C. ; TOSCANI, L. V. . Aspectos de Confiablidade de algumas Linguagens de Programação Modernas. In: Congresso Nacional Informática - 14, 1981, São Paulo. Congresso Nacional Informática - 14, 1981. p. 749-753.

46.	TOSCANI, L. V. ; ORTH, A. I. . Confiabilidade de Software. In: Congresso Nacional de Informática, 1977, São Paulo. Congresso Nacional de Informática, 1977. p. 1-16.

Resumos expandidos publicados em anais de congressos

LORETO, A. B. ; CAMPOS, M. A. ; CLAUDIO, D. M. ; TOSCANI, L. V. . Analisando a complexidade computacional de Problemas de Medidas de Tendência Central e Dispersão. In: XXVIII CNMAC- Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. Resumos XXVIII CNMAC- Congresso Nacional de Matemática Aplicada e Computacional. São Paulo : SBMAC. p. 01-06.

Resumos publicados em anais de congressos

LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. ; LEAL, L. A. S. ; CLÁUDIO, D. M. ; KREINOVICH, V. ; LONGPRE, L. . If an Exact Interval Computation Problem is NP-Hard, then the Approximate Problem is Also NP-Hard: A Meta-Result. In: Complexity Conference Research Abstracts, 2005, Mexico. Complexity Conference Research Abstracts. v. XV. p. 11-11.

LORETO, A. B. ; TOSCANI, L. V. ; CLAUDIO, D. M. ; RIBEIRO, L. ; LEAL, L. A. S. ; SILVA, R. . Is estimate the expected value of a interval function NP-Hard?. In: 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004, Kukuoka. 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics. Fukuoka-Japao, 2004.

3.	ISAIA FILHO, E. ; TOSCANI, L. V. . Filtragem Seqüencial: uma metodologia para computação com DNA. In: WORKCOMPSUL - I Workshop de Ciências da Computação e Sistemas da Informação da Regiao Sul, 2004, Florianopolis. Anais do WORKCOMPSUL, 2004.

LORETO, A. B. ; TOSCANI, L. V. ; LEAL, L. A. S. ; CLAUDIO, D. M. ; RIBEIRO, L. ; SILVA, R. . Amostragem por importancia em Problemas de Estatistica Amostral Intervalar NP-Dificeis. In: XXVII CNMAC- Congresso Nacional de Matematica Aplicada e Computacional, 2004, Porto Alegre. Resumo do XXVII CNMAC. Rio de Janeiro : SBMAC, 2004.

5.	ISAIA FILHO, E. ; TOSCANI, L. V. . : um método de programação para computação com DNA. In: SICOMP - II Simpósio de Computação, Informática e Tecnologia,, 2003, Lajeado. Anais do II Simpósio de Computação, Informática e Tecnologia do Vale do Taquari, 2003.

BARBOSA, M. A. C. ; TOSCANI, L. V. ; RIBEIRO, L. . Complexidade de Algoritmos: Uma Metologia para o Cálculo no Pior Caso e Processo de Avaliação das Equações de Complexidade.. In: XXV CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002, Nova Friburgo. Anais do XXV CNMAC. Rio de Janeiro : Sociedade Brasileira de Matemática Aplicada e Computacional, 2002.

LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLAUDIO, D. M. . Métodos Intervalares: Análise da Complexidade.. In: XXV CNMAC - Congreso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo. Anais do XXV CNMAC. Rio de Janeiro : Sociedade Brasileira de Mátematica Aplicada e Computacional, 2002. p. 278-278.

LEAL, L. A. S. ; TOSCANI, L. V. ; CLAUDIO, D. M. ; MENEZES, P. B. . A categorical approach to NP-Hard optimization problems.. In: XXV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo. Anais do XXV CNMAC. Rio de Janeiro : Sociedade Brasileira de Matemática Aplicada e Computacional, 2002.

9.	BARBOSA, M. A. C. ; TOSCANI, L. V. ; RIBEIRO, L. . A Utilização da Ferramenta ANAC para o Cálculo Automático da Complexidade de Algoritmos. In: XXXIV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2002, Rio de Janeiro. Anais do XXXIV SBPO, 2002. v. 1.

10.

LEAL, L. A. S. ; MENEZES, P. B. ; CLAUDIO, D. M. ; TOSCANI, L. V. . Optimization Problems Categories. In: Formal Methods and Tools for Computer Science-Eurocast 2001, 2001, Cnatry Islands. Formal Methods and Tools for Computer Science. Canary Islands : R. Moreno-Diaz and A. Quesada-Arencibia, 2001. p. 93-96.

11.	LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Análise de Gramática de Grafos baseada em propriedades de Redes de Petri. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional -CNMAC2001, 2001, Belo Horizonte. Congresso Nacional de Matemática Aplicada e Computacional-CNMAC2001, 2001.

12.	LEAL, L. A. S. ; CLAUDIO, D. M. ; MENEZES, P. B. ; TOSCANI, L. V. . Modelling the Approximation Hierarchy to Optimisation Problems Through Category Theory. In: Computing Anticipatory Systems-CASYS01, 2001, Belgica. CASYS'01, 2001.

13.

LORETO, A. B. ; TOSCANI, L. V. ; NEGRON, M. M. . Resolução de Equações de Recorrências Lineares através do aplicativo Maple. In: VI Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2000, Santa Cruz do Sul. Anais - VI Encontro Regional de Matemática Aplicada e Computacional - ERMAC. Santa Cruz do Sul : Editora da Universidade de Santa Cruz do Sul - EDUNISC, 2000. v. I. p. 29-29.

14.

LORETO, A. B. ; TOSCANI, L. V. ; FACHIN, M. P. G. . Cálculo da Complexidade Exata de Algoritmos do tipo Divisão-e-Conquista via Maple. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC, 2000, Santos. XXIII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Santos, 2000.

15.	LORETO, A. B. ; TOSCANI, L. V. . Cálculo da Complexidade de Algoritmos Recursivos através de Equações Características. In: Congresso Nacional de Matemática Aplicada e Computacional 22, 1999, Santos. Congresso Nacional de Matemática Aplicada e Computacional 22, 1999.

16.	AGUIAR, M. S. ; TOSCANI, L. V. . Estudo da Complexidade de Algoritmos Genéticos. In: Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Simpósio Brasileiro de Pesquisa Operacional, 1998. v. 1. p. 25-27.

17.	ROSA, D. S. ; TOSCANI, L. V. . Análise Matemática do Esforço Computacional. In: Congresso Nacional de Matemática Aplicada e Computacional 20, 1997, Gramado. Congresso Nacional de Matemática Aplicada e Computacional 20. Canoas : La Salle Editora, 1997. p. 154-155.

18.

LEAL, L. A. S. ; TOSCANI, L. V. ; CLÁUDIO, D. M. . Formalização de Algoritmos Aproximativos através da Teoria dos Domínios. In: Congresso Nacional de Matemática Aplicada e Computacional 20, 1997, Gramado. Congresso Nacional de Matemática Aplicada e Computacional. Canoas : La Salle Editora, 1997. p. 372-373.

19.	AGUIAR, M. S. ; TOSCANI, L. V. . Avaliação Qualitativa de Algoritmos Genéticos em Problemas de Otimização. In: Congresso Nacional de Matemática Aplicada e Computacional 20, 1997, Gramado. Congresso Nacional de Matemática Aplicada e Computacional 20. Canos : La Salle Editora, 1997. p. 448-449.

20.	AGUIAR, M. S. ; TOSCANI, L. V. . Semântica Axiomática para Algoritmos Genéticos. In: Congresso Nacional de Matemática Aplicada e Computacional 21, 1997, Caxambu. Congresso Nacional de Matemática Aplicada e Computacional 21, 1997. p. 330.

21.	LEAL, L. A. S. ; TOSCANI, L. V. . Algoritmos Aproximativos como Sistemas de Informação. In: Congresso Nacional de Matemática Aplicada e Computacional 19, 1996, Goiania. Congresso Nacional de Matemática Aplicada e Computacional 19, 1996.

22.	TOSCANI, L. V. ; ROSA, D. S. . Metodologia para o Cálculo da Complexidade Média. In: Congresso Nacional de Matemática Aplicada e Computacional 19, 1996, Gioania. Congresso Nacional de Matemática Aplicada e Computacional 19, 1996. p. 98-99.

23.	TOSCANI, L. V. ; VELOSO, P. A. S. . Métodos de Desenvolvimento de Algoritmos. In: Congresso Nacional de Matemática Aplicada e Computacional 11, 1988, Ouro Preto. Congresso Nacional de Matemática Aplicada e Computacional 11, 1988. p. 243-245.

24.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; DIVERIO, T. A. ; BELLAVER, V. A. . Software Numérico para o LABO-8034. In: Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1983, São Carlos. Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1983.

Demais tipos de produção bibliográfica

1.	TOSCANI, L. V. . Complexidade de Algoritmos 2000 (Apostila de Aula).

2.	BARBOSA, M. A. C. ; TOSCANI, L. V. . Ferramenta para o Cálculo de Complexidade de Algoritmos. Porto Alegre: CPGCC/UFRGS, 2000 (Trabalho Individual).

3.	SILVEIRA, C. M. D. ; TOSCANI, L. V. . GRASP - Uma Heurística para Resolução de Problemas de Otimização Combinatorial. Porto Alegre: CPGCC/UFRGS. T.I. nro. 801, 1999 (Trabalho Individual).

4.	TOSCANI, L. V. ; ROSA, D. S. ; LEAL, L. A. S. . Complexidade Computacional. Pelotas: UFPEL, 1997 (Folheto).

5.	ROGGIA, I. B. ; TOSCANI, L. V. . Metaheurística Busca Tabu. Porto Alegre: CPGCC/UFRGS. T.I. nro. 687, 1997 (Trabalho Individual).

6.	LEAL, L. A. S. ; CLÁUDIO, D. M. ; TOSCANI, L. V. . A Teoria de Algoritmos Frente à Intratabilidade de Problemas. Porto Alegre: CPGCC/UFRGS. E.Q. nro. 16, 1997 (Exame de Qualificação).

7.	IZQUIERDO, V. B. ; TOSCANI, L. V. . Introdução aos Métodos Heurísticos para Resolução de Problemas de Otimização Combinatorial. Porto Alegre: CPGCC/UFRGS. T.I. n. 720, 1997 (Trabalho Individual).

8.	AGUIAR, M. S. ; TOSCANI, L. V. . Tratamento de Problemas NP-completo. Porto Alegre: CPGCC/UFRGS. T.I. nro 570, 1996 (Trabalho Individual).

9.	ROSA, D. S. ; TOSCANI, L. V. . Tratamento da Complexidade na Programação em Lógica. Porto Alegre: CPGCC/UFRGS. T.I nro. 444, 1995 (Trabalho Individual).

10.	SELLANES, R. G. S. ; TOSCANI, L. V. . A Teoria do Ponto Fixo em Computação. Porto Alegre: CPGCC/UFRGS. T.I. nro. 451, 1995 (Trabalho Individual).

11.	TOSCANI, L. V. . Métodos de Desenvolvimento de Algoritmos: Especificação Formal, Análise Comparativa e de Complexidade. Rio de Janeiro: PUC/RJ, 1988 (Tese de Doutorado).

12.	TOSCANI, L. V. ; SZWARCFITER, J. L. . Algoritmos Aproximativos. Porto Alegre: CPGCC/UFRGS. RP 50, 1986 (Relatório Técnico).

13.	TOSCANI, L. V. ; VELOSO, P. A. S. . Especificação Formal e Análise da Complexidade da Programação Dinâmica. Porto Alegre: CPGCC/UFRGS. RP 49, 1986 (Relatório Técnico).

14.	TOSCANI, L. V. . Guia de estudo da complexidade de Algoritmos de Procura. Porto Alegre: CPGCC/UFRGS. RT 028/85, 1985 (Relatório Técnico).

15.	TOSCANI, L. V. . Lógica Matemática. Porto Alegre: CPD/UFRGS, 1984 (Relatório Técnico).

16.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; HOLTZ, R. H. ; BELLAVER, V. A. . Laboratório de Matemática Computacional: Manual do Usuário. Porto Alegre: CPGCC/UFRGS. RT 016, 1984 (Manual).

17.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; BELLAVER, V. A. ; HOLTZ, R. H. ; OLIVEIRA, F. M. . Laboratório de Matemática Computacional: manual de programas. Porto Alegre: CPGCC/UFRGS. RT 017, 1984 (Manual).

18.	TOSCANI, L. V. . Teoria dos Conjuntos. Porto Alegre: CPD/UFRGS, 1983 (Relatório Técnico).

19.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; DIVERIO, T. A. ; MARINS, J. M. ; BARRIONUEVO, J. A. ; KNAUTH, N. L. ; SCHÃFFER, M. . Introdução à Computação Científica em Minicalculadoras Programáveis: manual de aplicações. Porto Alegre: CPD/UFRGS, 1982 (Manual).

20.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; MARINS, J. M. ; DIVERIO, T. A. ; BARRIONUEVO, J. A. ; KNAUTH, N. L. . Introdução à Computação Científica em Minicalculadoras Programáveis: manual do usuário. Porto Alegre: CPD/UFRGS, 1982 (Manual).

21.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; ZINGANO, P. R. ; BARRIONUEVO, J. A. . Laboratório de Cálculo Numérico: manual do usuário. Porto Alegre: CPGCC/UFRGS, 1982 (Manual).

22.	TOSCANI, L. V. ; CLÁUDIO, D. M. ; ZINGANO, P. R. ; BARRIONUEVO, J. A. . Laboratório de Cálculo Numérico: Manual de Programas. Porto Alegre: CPGCC/UFRGS. R.I 005, 1982 (Manual).

23.	GRAZZIOTIN, J. C. ; TOSCANI, L. V. . Sumário de Características de Várias Linguagens de Aplicação. Porto Alegre: CPGCC/UFRGS, 1981 (Trabalho Individual).

24.	TOSCANI, L. V. ; SALESKE, F. ; BUZIN, P. K. . Ligador de Programas Relocáveis para o Terminal Autônomo: Manual do Usuário. Porto Alegre: CPGCC/UFRGS, 1980 (Manual).

25.	TOSCANI, L. V. ; TOSCANI, S. S. . Introdução à Linguagem de Simulação GPSS. Porto Alegre: CPD/UFRGS, 1980 (Relatório Técnico).

26.	SPECIALSKI, E. S. ; TOSCANI, L. V. . Definição Formal de uma Estrutura de Dados. Porto Alegre: CPGCC/UFRGS, 1980 (Trabalho Individual).

27.	TOSCANI, L. V. ; DOEGE, G. ; BUZIN, P. K. ; SALESKE, F. . Montador para Linguagem Assembler do Terminal Autônomo: Manual do Usuário. Porto Alegre: CPGCC/UFRGS, 1979 (Manual).

28.	TOSCANI, L. V. ; SALESKE, F. ; BUZIN, P. K. . Montador para Assembler do Terminal Autômato: Manual de Manutenção. Porto Alegre: CPGCC/UFRGS, 1979 (Manual).

29.	TOSCANI, L. V. . Técnicas de Verificação da Correção de Programas . Porto Alegre: CPGCC/UFRGS, 1977 (Relatório Técnico).

30.	TOSCANI, L. V. . A importância da Verificação de Programas. Porto Alegre: CPD/UFRGS, 1975 (Boletim Informativo).

31.	TOSCANI, L. V. . Demonstração Formal da Correção de um Compilador Simples. Rio de Janeiro: PUC/RJ, 1973 (Dissertação de Mestrado).

Produção técnica

Softwares sem registro de patente

1.	D'AMICO, C. B. ; VICARI, R. M. ; TOSCANI, L. V. . Ame-a - ambiente multiagente computadorizado de ensino-aprendizagem. 1999.

Eventos

Participação em eventos

1.	VIII ERMAC - Encontro Regional de Matemática Aplicada e Computacional.Problemas NP-Completo. 2008. (Encontro).

Orientações

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Sirlei Inês Sulzbach. Definição e Especificação Formal do Jogo Diferencial "Lobos e Cordeiros". 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

2.	Eduardo Isaia Filho. Uma Metodologia para Computação com DNA. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

3.	Andréa Pereira de Castro. Uma Ferramenta para Auxiliar o Professor no Ensino a Distância. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

Marco Antônio de Castro Barbosa. ANAC - Uma ferramenta para automatização da análise da complexidade de algoritmo. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laira Vieira Toscani.

Vaneci Brusch Izquierdo. Uma Proposta de Especificação Formal e Fundamentação Teórica para Simulated Annealing. 2000. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laira Vieira Toscani.

6.	Carlos Morelli. Estratégias de Tendenciosidade no GRASP. 2000. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laira Vieira Toscani.

7.	Iria Brucker Roggia. Método Heurístico para Solução do Problema de Sequenciamento Cíclico de n tarefas em m Processadores Paralelos Idênticos. 1999. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Laira Vieira Toscani.

8.	Marilton Sanchotene de Aguiar. Análise Formal da Complexidade de Algoritmos Genéticas. 1998. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laira Vieira Toscani.

9.	Débora Schuch da Rosa. Complexidade Média Algoritmica: uma Metodologia para o seu cálculo. 1997. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

10.	Miriam Sayão. Análise Estática em Programação Concorrente. 1986. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

11.	Elizabeth Sueli Specialski. Correção de Tipos Abstratos de Dados Através de um Exemplo. 1981. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

12.	Jane Colossi Grazziotin. Abstração e Verificação em Euclid, Alphard e Ada. 1981. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

13.	Carmen Barbosa D'Amico. Sistema para Manipulação de Gráficos. 1977. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

14.	Maurizio Tazza. Algoritmo para Determinação de Funções Lineares de Precedência. 1976. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

15.	Afonso Inácio Orth. Confiabilidade de Software. 1976. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Laira Vieira Toscani.

Tese de doutorado

1.	Aline Loreto. Análise da Complexidade Computacional de Problemas de Estatística Descritiva com entradas intervalares. 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Laira Vieira Toscani.

2.	Liara Aparecida dos Santos Leal. Uma Fundamentação Teórica para a Complexidade Estrutural de Problemas de Otimização. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Laira Vieira Toscani.

Trabalho de conclusão de curso de graduação

1.	Orlando Giraldi V Júnior & Zina C Ravazzoli Gomes. Sistema Suporte para Implementação de uma Gramática Transformacional do Português. 1983. 0 f. Trabalho de Conclusão de Curso. (Graduação em Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Laira Vieira Toscani.

Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 1:05:57