Programação Dinâmica e Método Guloso. - Laira Vieira Toscani; Paulo A. S. Veloso (SBES, 1988)

Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. - Laira Vieira Toscani; Paulo A. S. Veloso (SBES, 1989)

A Programação Dinâmica: um caso particular da Divisão e Conquista. - Laira Vieira Toscani; Paulo A. S. Veloso (RITA, 1989)

Uma metodologia para cálculo da complexidade de algoritmos. - Laira Vieira Toscani; Paulo A. S. Veloso (SBES, 1990)

Complexity analysis of reactive graph grammars. - Aline Brum Loreto; Laira Vieira Toscani; Leila Ribeiro 001 (RITA, 2000)

Optimization Problems Categories. - Liara Aparecida dos Santos Leal; Paulo Blauth Menezes; Dalcidio Moraes Claudio; Laira Vieira Toscani (EUROCAST, 2001)

Decidability and Tractability of Problems in Object-Based Graph Grammars. - Aline Brum Loreto; Leila Ribeiro 001; Laira Vieira Toscani (IFIP TCS, 2002)

A Categorical Approach to NP-Hard Optimization Problems. - Liara Aparecida dos Santos Leal; Dalcidio Moraes Claudio; Laira Vieira Toscani; Paulo Blauth Menezes (EUROCAST, 2003)

Approximation Problems Categories. - Liara Aparecida dos Santos Leal; Dalcidio Moraes Claudio; Laira Vieira Toscani; Paulo Blauth Menezes (EUROCAST, 2005)