ABRAO, M. A., BOUCHOU, B., ALVES, M. H. F., LAURENT, D., MUSICANTE, M. A. Incremental Constraint Checking for XML Documents In: Xsym'04 - Second International XML Database Symposium, 2004, Toronto. Lecture Notes In Computer Science. Springer, 2004.

C.Anutariya, V.Wuwongse, K.Akama, E.Nantajeewarawat. A Foundation for XML Document Databases: DTD Modeling. URL: citeseer.nj.nec.com/anutariya99foundation.html. 1999.

Acras, R. N., Vergilio, S. R. Splinter: A Generic Framework for Evolving Modular Finite State Machines In: Simpósio Brasileiro de Inteligência Artificial - SBIA 2004, 2004, São Luis. Simpósio Brasileiro de Inteligência Artificial - SBIA 2004.

BOUCHOU, B., ALVES, M. H. F., MUSICANTE, M. A. Tree Automata to Verify XML Key Constraints In: WebDB 2003 - Sixth International Workshop on Web and Databases, 2003, San Diego - EUA. Proceedings of the Sixth International Workshop on Web and Databases, 2003. p.37 - 42

B. Bouchou, D.Duarte, M.Halfeld Ferrari Alves, D.Laurent and M.Musicante. Conservative Extensions of Regular Languages. SCCC 2004 - XXIV International Conference of the Chilean Computer Science Society, Arica, Chile, IEEE CS Press, 2004.

B. Bouchou, D.Duarte, M.Halfeld Ferrari Alves, D.Laurent and M.Musicante. Schema Evolution for XML: A Consistency-preserving Approach. MFCS 2004 - 29th International Symposium on Mathematical Foundations of Computer Science, Praga, Rep Checa, Lecture Notes in Computer Science, 2004.

Braz, M.R., Souza, C.A.F., Pozo, A.T.R., Vergilio, S.R. Exploring Genetic Programming for Software Size Estimation In: Simpósio Brasileiro de Redes Neurais, 2004, São Luis. Simpósio Brasileiro de Redes Neurais. IEEE Press, 2004.

Braz, M. R., Vergilio, S. R. Using Fuzzy Theory for Effort Estimation of Object-Oriented Softwre In: 16th IEEE Conference on Tools with Artificial Inteligence, 2004, Boca Raton-Florida- USA. Los Alamitos: IEEE-Press, 2004.

GADBMS: Minerador de dados para base de dados. Dissertação de mestrado. Departamento de Informática, Universidade Federal do Paraná (UFPR), 2002. Orientador: Aurora Pozo.

Duarte, D. Utilizando Técnicas de Programação Lógica Indutiva para Mineração de Banco de Dados Relacional. Dissertação de mestrado. Departamento de Informática, Universidade Federal do Paraná (UFPR), 2001. Orientador: Silvia Vergilio.

Emer, M.C.F.P. Seleção e Avaliação de Dados Teste Baseadas em Programação Genética. Dissertação de mestrado. Departamento de Informática, Universidade Federal do Paraná (UFPR), 2002. Orientador: Silvia Vergilio.

Emer, M.C.F.P and Vergilio, S.R. GPTest: A Testing Framework Based on Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference -GECCO, Morgan Kaufmann Publishers, New York, 2002.

Emer, M. C., Vergilio, S. R. Selection and Evalution of Test Data Based on Genetic Programming. Software Quality Journal., v.11, n.2, p.167 - 186, 2003.

Fogel D. B. Evolutionary Computations: Toward a New Philosophy of Machine Intelligence. IEEE Press, New York, 1995.

Ferreira, L. P., Vergilio, S. R. A Framework for Generation of Test Data Sets Based on Genetic Algorithms In: IEEE Latin- American Test Workshop - LATW2003, 2003, Natal - RN. IEEE Latin- American Test Workshop - LATW2003. , 2003. v.1.

M.Hasse. Algoritmos Geneticos na mineração de dados. Dissertação de mestrado. Departamento de Informática, Universidade Federal do Paraná (UFPR), 2000. Orientador: Aurora Pozo.

Hauagge, J.M. Especificação formal de data warehousing usando semantica de acoes. Dissertação de Mestrado, Departamento de Informática, UFPR, 2000. Orientador: Martin Musicante.

HAUAGGE, J. M., MUSICANTE, M. A. Uso de Semântica de Ações na Especificação de um Sistema de Data Warehousing. Revista ciências exatas e naturais. Guarapuava-Paraná-Brasil: , v.4, n.1, p.43 - 58, 2002.

M.Halfeld Ferrari Alves and M.Musicante. Personal Communication, 2004.

Ishida, C. Programação Genética Orientada a Gramática e a Mineração de Dados Relacional. Dissertação de mestrado. Departamento de Informática, Universidade Federal do Paraná (UFPR), 2002. Orientador: Aurora Pozo.

Ishida, C & Pozo, A. GPSQL Miner: SQL-Grammar Genetic Programing in Data Mining. In proceedings: 2002 World Congress on Computational Intelligence, CEC´2002. IEEE Press.

Kartalopoulos, S.V. Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications. IEEE Press. 1996.

N. Klarlund, A. Moller, M. Schwatzbach. DSD: A Schema Language for XML. Proc. 3rd ACM Workshop on Formal Methods in Software Practice, 2000.

Koza, J.R. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, (1992).

F.Lopes. Algoritmos Geneticos e Meta-heuristicas na mineração de dados. Departamento de Informática, Universidade Federal do Paraná (UFPR), 2000. Orientador: Aurora Pozo.

Otto, M.L. et al. Utilização de Algoritmos Genéticos para Facilitar a Automação de Critérios de Teste. Monografia de Trabalho de Graduação, Departamento de Informática, UFPR, 2001.

Rodrigues E., Pozo, A. , Vergilio, S. e Musicante, M. Chamaleon: Uma ferramenta de Indução de Programas In: SCCC2001 -II Workshop em Inteligência Artificial, 2001, Punta Arenas, Chile.

Ernesto Malta Rodrigues. Evolução de Funções em Programação Genética Orientada à Gramática. Dissertação de Mestrado, Departamento de Informática, UFPR, 2002. Orientador: Aurora Pozo.

I.W. Soares. Análise de Mutantes e Critérios Restritos no Contexto de Teste de Software: Resultados de uma Avaliação Empírica. Departamento de Informática, Universidade Federal do Paraná (UFPR), Outubro de 2000. Orientador: Silvia Vergilio.

Spinosa, E., Pozo A.T.R. Controlling the Population Size in Genetic Programming In: XVI Simposio Brasileiro de Inteligencia Artificial, 2002, Recife. Lecture Notes in Artificial Intelligence. Germany: Springer-Verlag, 2002. v.2507. p.345 - 355.

Spinosa, E, Pozo A., Vergilio S e Rodrigues E. Chameleon: A Generic Tool for Genetic Programming. Encontro Nacional de Inteligência Artificial (ENIA-2001). Julho de 2001, Fortaleza - CE, Cd-Rom.

Spinosa, E. Programação Genética sem Paramêtros. Dissertação de Mestrado, Departamento de Informática, UFPR, 2002. Orientador: Aurora Pozo.

Venske, S.M.G. Verificação Estática de Tipos de XQuery - Um Protótipo em ASF+SDF. Dissertação de Mestrado, Departamento de Informática, UFPR, 2004. Orientador: Martin Musicante.