Towards Deriving Test Sequences by Model Checking
A Generalized Model-based Test Generation Method
A Hybrid Heuristic for Forest Harvest and Transporation Problems
Um Algoritmo Dinâmico para Árvore de Caminhos Minimos
A GRASP Strategy for a More Constrained School Timetabling Problem
Constraint Programmin and GRASP Approaches to Schedule Oil Well Drillings
IC Technical Reports 2014
IC Technical Reports 2009
IC Technical Reports 2007
IC Technical Reports 2013
IC Technical Reports 2003
IC Technical Reports 1999
Adilson Luiz Bonifácio
Cid Carvalho de Souza
Adenilso da Silva Simão
Fernando Granha Jeronimo
Marco Antônio Casanova
Igor Carboni Oliveira