Publications

The following are my list of peer-reviewed publications in journals or refereed conference proceedings.

• TICK:  A content management system framework for artificial intelligence research and instruction, with S. Rebecca Thomas.  Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference.  Key West, Florida.  AAAI Publications.  May, 2007.
• 
  
• Sorting the sortable from the unsortable, with Tracey Baldwin McGrail.   Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference.  Melbourne Beach, Florida.  AAAI Publications.  May, 2006.
• 
  
• Deconstructing the "Math Science Quest for Solutions" website via logic programming, with Burton Brody.  The Journal for Computing Sciences in Colleges.  20(3):  188-197.  December, 2004.
• 
  
• A grading dilemma or the abyss between sorting and the knapsack problem, with Tracey Baldwin McGrail.  The Journal for Computing Sciences in Colleges.  19(5):  97-107.  May, 2004.
• 
  
• The Genome Generator:  Simulating the development of junk DNA, with S. Rebecca Thomas and Michael Tibbetts.  The Journal for Computing Sciences in Colleges.  18(5):  72-84.  May, 2003.
• 
  
• Factors influencing the distribution of larval blacklegged tick on rodent hosts, with Margaret T. Shaw, Felicia Keesing, and Richard S. Ostfeld.   American Journal of Tropical Medicine and Hygiene.  68(4):  447-452.  2003.
  
• 
  
• Encapsulating data in logic programming via categorical constraints, with James Lipton.  In C. Palamidessi, H. Glaser, and K. Menke, editors, proceedings of Principles of Declarative Programming and Algebra of Logic Programming, 1998. Lecture Notes in Computer Science. 1490: 391-411.  Springer-Verlag, 1998.