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. Foi professora da Unisinos de 2007 até 2014. Desde 2012 é professora da Unifin. 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.

Informações coletadas do Lattes em 17/12/2025

Acadêmico

Formação acadêmica

Doutorado em Informática

1984 - 1988

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Métodos de Desenvolvimento de Algoritmos: Especificação Formal, Análise Comparativa e de Complexidade
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.

Mestrado em Informática

1972 - 1973

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
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.

Graduação em Bacharelado Em Matemática

1969 - 1971

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Pós-doutorado

1989 - 1990

Pós-Doutorado. , Universidade Nova de Lisboa, UNL, 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.

Idiomas

Inglês

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

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

Participação em eventos

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

Orientou

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;

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;

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;

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;

Íria 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,; Coorientador: Laira Vieira Toscani;

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;

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;

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;

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;

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;

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;

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;

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;

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,; Coorientador: Laira Vieira Toscani;

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,; Coorientador: Laira Vieira Toscani;

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;

Produções bibliográficas

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.
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.
LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Complexity Analysis of Reactive Graph Grammars. Revista de Informática Teórica e Aplicada , UFRGS, 2000.
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.
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.
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.
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos. 3. ed. Porto Alegre: Bookman, 2012. v. 1. 262p .
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. 356p .
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos. 2. ed. São Paulo: Bookman Editora, 2008. v. 1. 261p .
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos. 1. ed. Porto Alegre: Editora Sagra Luzzatto, 2001. v. 1. 202p .
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. 194p .
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. 2ed.Porto Alegre: SBC/ Instituto de Informática da UFRGS/ UNISINOS/ULBRA, 2002, v. , p. 67-104.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
TOSCANI, L. V. . Complexidade de Algoritmos 2000 (Apostila de Aula).
BARBOSA, M. A. C. ; TOSCANI, L. V. . Ferramenta para o Cálculo de Complexidade de Algoritmos. Porto Alegre: CPGCC/UFRGS, 2000 (Trabalho Individual).
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).
TOSCANI, L. V. ; ROSA, D. S. ; LEAL, L. A. S. . Complexidade Computacional. Pelotas: UFPEL, 1997 (Folheto).
ROGGIA, I. B. ; TOSCANI, L. V. . Metaheurística Busca Tabu. Porto Alegre: CPGCC/UFRGS. T.I. nro. 687, 1997 (Trabalho Individual).
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).
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).
AGUIAR, M. S. ; TOSCANI, L. V. . Tratamento de Problemas NP-completo. Porto Alegre: CPGCC/UFRGS. T.I. nro 570, 1996 (Trabalho Individual).
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).
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).
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).
TOSCANI, L. V. ; SZWARCFITER, J. L. . Algoritmos Aproximativos. Porto Alegre: CPGCC/UFRGS. RP 50, 1986 (Relatório Técnico).
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).
TOSCANI, L. V. . Guia de estudo da complexidade de Algoritmos de Procura. Porto Alegre: CPGCC/UFRGS. RT 028/85, 1985 (Relatório Técnico).
TOSCANI, L. V. . Lógica Matemática. Porto Alegre: CPD/UFRGS, 1984 (Relatório Técnico).
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).
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).
TOSCANI, L. V. . Teoria dos Conjuntos. Porto Alegre: CPD/UFRGS, 1983 (Relatório Técnico).
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).
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).
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).
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).
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).
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).
TOSCANI, L. V. ; TOSCANI, S. S. . Introdução à Linguagem de Simulação GPSS. Porto Alegre: CPD/UFRGS, 1980 (Relatório Técnico).
SPECIALSKI, E. S. ; TOSCANI, L. V. . Definição Formal de uma Estrutura de Dados. Porto Alegre: CPGCC/UFRGS, 1980 (Trabalho Individual).
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).
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).
TOSCANI, L. V. . Técnicas de Verificação da Correção de Programas . Porto Alegre: CPGCC/UFRGS, 1977 (Relatório Técnico).
TOSCANI, L. V. . A importância da Verificação de Programas. Porto Alegre: CPD/UFRGS, 1975 (Boletim Informativo).
TOSCANI, L. V. . Demonstração Formal da Correção de um Compilador Simples. Rio de Janeiro: PUC/RJ, 1973 (Dissertação de Mestrado).

Outras produções

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

Histórico profissional

Experiência profissional

2012 - Atual

Faculdade São Francisco de Assis

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

2001 - 2005

Centro Universitário La Salle - Canoas

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

2007 - 2014

Universidade do Vale do Rio dos Sinos

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

1974 - 1982

Universidade Federal do Rio Grande do Sul

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

Atividades

09/1993
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
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
10/1974
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

1991 - 1993

Universidade Nova de Lisboa

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

Atividades

Ensino, Computacao, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Linguagens Formais, Algebra Computacional
Ensino, Mestrado Em Informatica, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computacao