|
Software
|
|
|
Livros
|
-
Pereira, S. L. Estruturas de Dados em C - Uma Abordagem Didática, 1ª ed., Editora Saraiva, 2016.
-
Pereira, S. L. Algoritmos e Lógica de Programação em C - Uma Abordagem Didática, 1ª ed., Editora Érica, 2010.
-
Pereira, S. L. Estruturas de Dados Fundamentais - Conceitos e Aplicações, 12ª ed., 3ª reimpr., Editora Érica, 2010.
-
Mizrahi, V. V. Treinamento em Linguagem C - Módulos I e II, Editora McGraw-Hill, 1990 (colaborador).
|
|
Monografias
|
-
Planejamento sob Incerteza para metas de Alcançabilidade Estendidas, Tese de Doutorado, IME-USP, 2007.
-
Planejamento Não-Determinístico baseado em Verificação de Modelos, Qualificação de Doutorado, IME-USP, 2007.
-
Planejamento Abdutivo no Cálculo de Eventos, Dissertação de Mestrado, IME-USP, 2002.
-
Raciocínio Abdutivo usando Cálculo de Eventos, Qualificação de Mestrado, IME-USP, 2001.
|
|
Relatórios
|
-
Pereira & Barros. Nondeterministic Planning based on α-CTL: Implementation and Formal Properties, RT-MAC-2007-11, IME-USP, 2007.
-
Pereira & Barros. Formalizing Planning Algorithms for Temporally Extended Goals, RT-MAC-2007-09, IME-USP, 2007.
-
Pereira, Barros & Cozman. Strong Probabilistic Planning, RT-MAC-2007-08, IME-USP, 2007.
-
Pereira & Barros. Diagramas de Decisão Binária, RT-MAC-2007-05, IME-USP, 2007.
-
Pereira & Barros. Planejamento baseado em Processos de Decisão Markovianos, RT-MAC-2007-04, IME-USP, 2007.
-
Pereira. Planejamento em Inteligência Artificial, IME-USP, 2003.
-
Pereira. Mudança de Fase em Problemas 3-SAT, IME-USP, 2003.
-
Pereira. Diagnóstico Baseado em Modelo, IME-USP, 2003.
-
Pereira & Menezes. HSP: Hill-Climbing Reforçado, IME-USP, 2003.
|
|
Apostilas
|
|
|
Apresentações
|
-
Planejamento sob Incerteza para Metas de Alcançabilidade Estendidas, CTDIA, 2008.
-
Planejamento Abdutivo no Cálculo de Eventos, IME-USP, 2008.
-
Planejamento sob Incerteza para Metas de Alcançabilidade Estendidas, Defesa de Doutorado, IME-USP, 2007.
-
Jogos e Busca, IME-USP, 2006.
-
Aspect J, IME-USP, 2002.
-
Planejamento Abdutivo no Cálculo de Eventos, Defesa de Mestrado, IME-USP, 2002.
-
Eficiência num Planejador Abdutivo, LAPTEC, 2001.
|
|
Outros
|
|
