Detecção automática de problemas elétricos por meio de análise computacional de imagens térmicas See

Heurísticas e solução automática eficiente para problemas espaciais:HoASP (MDP) e quebra-cabeça espacial See

Análise da aplicação de controladores em robôs móveis See

Definição e implementação de uma semântica de supervaloração para polissemia em expressões espaciais See