back

Supervised Research Reports

  1. William Herring, Cover Transducers and Compression, Technical Report, UPEI CSIT-19, August, 2014.
  2. Xu Han, Implementation and Comparison of Complexity Measures, Technical Report, UPEI CSIT-18, July, 2012.
  3. Ian Forrest, An Analysis of Randomness and Complexity, Technical Report, UPEI CSIT-17, July, 2012.
  4. Seyed Pooria Madani Kochak, LISA The descriptive programming language, Technical Report, UPEI CSIT-16, July, 2012.
  5. Rui Zhou, MachineCat: Design and Implementation, Technical Report, UPEI CSIT-15, July, 2012.
  6. Xu Han, Rui Zhou, State Complexity Tests for NFA to DFCA Transformation, Technical Report, UPEI CSIT-14, May, 2011.
  7. Xu Han, Rui Zhou, Upgrading Grail+ -- Debugging, Technical Report, UPEI CSIT-13, November, 2010.
  8. Xu Han, Rui Zhou, Upgrading Grail+ -- New Features, Technical Report, UPEI CSIT-12, October, 2010.
  9. Denis Octavian Ivanescu, A Grail+ Implementation of Moore's Minimization Algorithm Technical Report, UPEI CSIT-11, August, 2010.
  10. M. A. Trenton, Cezar Câmpeanu, Operations with Borel Normal Strings, Technical Report, UPEI CSIT-6, October 25, 2007.
  11. M. A. Trenton, Relations between various types of Borel Normal Strings, Technical Report, UPEI CSIT-5, August 24, 2007.
  12. B. Champion, M. A. Trenton, Guide to Extending Grail, Technical Report, UPEI CSIT-4, August 24, 2007.
  13. B. Champion, Adding the Shuffle Filter to Grail, Technical Report, UPEI CSIT-3, July 30, 2007.
  14. M  A. Trenton, Some Results on Borel Normal Strings, Technical Report, UPEI CSIT-2, November 1, 2006.
  15. A. Cooper, JGrail Specification, Technical Report, UPEI CSIT-1, January 28, 2005.

Up: back