Articles in Scholarly Journals [Incomplete List]

1. Analytical Chemistry, vol. 77, no. 16, pp. 5114–5123, 2005
2. Handling Continuous Attributes in an Evolutionary Inductive Learner
   IEEE Transactions on Evolutionary Computation, vol. 9, no. 1, pp. 31–43, 2005
3. Breakpoint identification and smoothing of array comparative genomic hybridization data
   Bioinformatics, vol. 20, no. 18, pp. 3636–3637, 2004
4. Evolutionary Algorithms for the Satisfiability Problem
   Evolutionary Computation, vol. 10, no. 1, pp. 35–50, 2002
5. Design of abstract domains using first-order logic
   Theoretical Computer Science, vol. 222, no. 1-2, pp. 153–179, 1999
6. Termination of logic programs with delay declarations
   The Journal of Logic Programming, vol. 39, no. 1-3, pp. 95–124, 1999
7. A transformation system for CLP with dynamic scheduling and CCP
   ACM SIGPLAN Notices, vol. 32, no. 12, pp. 137–150, 1997
8. Proving concurrent constraint programs correct
   ACM Transactions on Programming Languages and Systems, vol. 19, no. 5, pp. 685–725, 1997
9. A declarative approach for first-order built-in's of Prolog
   Applicable Algebra in Engineering, Communication and Computing, vol. 5, no. 3-4, pp. 159–191, 1994