publicações Aplicação do algoritmo de Otimização por Colônia de Formigas sobre o Problema do Passeio do Robô Seletivo Documento CROSSMDA2: Promovendo o desacoplamento de pointcuts em um processo de desenvolvimento DSOA e MDA Documento Evolving Future Internet clean-slate Entity Title Architecture with quality-oriented control-plane extensions Documento Formal Verification of PLC Programs using the B Method Documento Joker: An Animator for Formal Languages Documento Números Complexos Graduados e Avaliação de Desempenho de Classificadores Documento RR3D: Uma solução para renderização remota de imagens médicas tridimensionais Documento Segmentação fuzzy de objetos tridimensionais com propriedades texturais Documento Uma Abordagem Dirigida por Modelos para Gerência de Variabilidades e Execução de Processos de Software Documento Uma plataforma extensível para a transformação de fluxo de dados heterogêneos em cidades inteligentes Documento