Leaders in Learning: Publications of Faculty & Staff


Computer Science 2002-2003


ANDREWS, J.

Andrews, J. 2003. The witness properties and the semantics of the Prolog cut. Theory and Practice of Logic Programming 3 (1): 1-59.

Andrews, J., R. Fu, and V. Liu. 2002. Adding Value to Formal Test Oracles. Proceedings of the 17th Automated Software Engineering Conference (ASE'02). Los Alamitos, CA: IEEE Computer Society. 275-278.


BARRON, J.

Barron, J., and R. Klette. 2002. Quantitative Color Optical Flow. International Conference on Pattern Recognition (ICPR 2002). IEEE. 4. 251-255.

Spies, H., and J. Barron. 2002. Evaluating the Range Flow Motion Constraint. International Conference on Pattern Recognition (ICPR 2002). IEEE. 3. 517-520.


BAUER, M.A.

Katchabaw, M.J., H.L. Lutfiyya, and M.A. Bauer. 2003. Usage Based Service Differentiation for End-to-End Quality of Service Management. Department of Computer Science, The University of Western Ontario: London, Ontario. 17 pp. Technical Report.


DUNHAM, C.

Dunham, C. 2003. Application of "Neoclassical" Approximations to Quadrature. Department of Computer Science, The University of Western Ontario: London, Ontario. 2 pp. Technical Report.

Dunham, C. 2002. Applications of Monic Polynomials of Least Norm, IV. Department of Computer Science, The University of Western Ontario: London, Ontario. 27 pp. Technical Report.

Dunham, C. 2002. Approximation with Taylor Matching at the Origin, II. Department of Computer Science, The University of Western Ontario: London, Ontario. 13 pp. Technical Report.

Dunham, C. 2003. Generalization of Chebyshev Polynomials. Department of Computer Science, The University of Western Ontario: London, Ontario. 13 pp. Technical Report.

Dunham, C. 2003. Properties of Classical and Neoclassical Chebyshev Polynomials, II. Department of Computer Science, The University of Western Ontario: London, Ontario. 6 pp. Technical Report.

Dunham, C. 2003. Standard Error Curves, III. Department of Computer Science, The University of Western Ontario: London, Ontario. 15 pp. Technical Report.


EL-SAKKA, M.

Hamou, A., and M. El-Sakka. 2003. Wavelet-Filter Performance Evaluation for Digital Images. IEEE 2003 Canadian Conference on Electrical and Computer Engineering, CCECE'03. Los Alamitos, CA: IEEE Computer Society. 2075-2078.


GARGANTINI, I.

Liao, J., and I. Gargantini. 2002. Interactive Volume Rendering in a VRML Environment. Proceedings of the Second IASTED International Conference Visualization, Imaging and Image Processing. J.J. Villanueva. Anaheim, CA: ACTA Press. 508-513.


HOLST, W.

Stephenson, B., and W. Holst. 2002. Transparent Use of C++ Classes in Java Environments. Department of Computer Science, The University of Western Ontario: London, Ontario. 15 pp. Technical Report.


ILIE, L.

Ilie, L., and V. Mitrana. 2003. Crossing-over on languages: a formal representation of chromosomes recombination. Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back. C. Martin-Vide, and V. Mitrana. London: Taylor and Francis. 391-401.

Ilie, L., B. Shan, and S. Yu. 2003. Fast algorithms for extended regular expression matching and searching. Proceedings of the 20th Symposium on Theoretical Aspects of Computer Science (STACS). H. Alt, and M. Habib. Lecture Notes in Computer Science 2607. Berlin: Springer. 179-190.

Ilie, L., and S. Yu. 2002. Algorithms for computing small NFAs. Proceedings of the 27th International Symposium on Mthematical Foundations of Computer Science (MFCS). K. Kiks, and W. Rytter. Lecture Notes in Computer Science 2420. Berlin: Springer. 328-340.

Ilie, L., S. Yu, and K. Zhang. 2002. Repetition Complexity of Words. Proceedings of the 8th Annual International Computing and Combinatorics Conference (COCOON). O.Z.L. Ibarra. Lecture Notes in Computer Science 2387. Berlin: Springer. 320-329.

Ilie, L., S. Yu, and Q. Zhao. 2003. Introduction to Process Traces. Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA). H.R. Arabnia, and Y. Mun. Las Vegas: CSREA Press. 1706-1712.


KARI, L.

Adleman, L., J. Kari, L. Kari, and D. Reishus. 2002. On the decidability of self-assembly of infinite ribbons. Proceedings of FOCS 2002, IEEE Symposium on Foundations of Computer Science. Vancouver, BC, Canada: Los Alamitos, CA: IEEE Computer Society. 530-537.

Daley, M., and L. Kari. 2003. Some Properties of Ciliate Bio-operations. The Sixth International Conference on Developments in Language Theory (DLT 2002). Kyoto, Japan: M. Ito, and M. Toyama. Berlin: Springer-Verlag. 2450. 116-127.

Daley, M.J., and L. Kari. 2002. DNA Computing: Models and Implementations. Comments on Theoretical Biology 7 (3): 177-198.

Hussini, S., L. Kari, and S. Konstantinidis. 2003. Coding properties of DNA languages. Theoretical Computer Science 290 (3): 1557-1579. Available at www.elsevier.com/locate.tcs.

Kari, L., and S. Konstantinidis. 2002. Descriptional Complexity of Error/Edit Systems. Proceedings of DCFS'02 Descriptional Complexity of Formal Systems. J. Dassow, M. Hoeberechts, H. Jürgensen, and D. Wotschke. London, ON, Canada: Department of Computer Science, UWO. 133-147.


KATCHABAW, M.J.

Katchabaw, M.J., H.L. Lutfiyya, and M.A. Bauer. 2003. Usage Based Service Differentiation for End-to-End Quality of Service Management. Department of Computer Science, The University of Western Ontario: London, Ontario. 17 pp. Technical Report.


LUTFIYYA, H.L.

Katchabaw, M.J., H.L. Lutfiyya, and M.A. Bauer. 2003. Usage Based Service Differentiation for End-to-End Quality of Service Management. Department of Computer Science, The University of Western Ontario: London, Ontario. 17 pp. Technical Report.


OSBORN, S.

Ionita, C., and S. Osborn. 2002. Privilege Administration for the Role Graph Model. Research Directions in Data and Applications Security, Proceedings of IFIP WG11.3 Annual Conference on Data and Applications Security. E. Gudes, and S. Shenoi. Boston: Kluwer Academic Publishers. 15-25.

Osborn, S. 2002. Integrating role graphs: a tool for security integration. Data & Knowledge Engineering 43: 317-333.

Osborn, S., Y. Han, and J. Liu. 2003. A Methodology for Managing Roles in Legacy Systems. Proceedings of Eighth ACM Symposium on Access Control Models and Technologies SACMAT 2003. Como, Italy: ACM SIGSAC. 33-40.


PERRY, M.

Perry, M. 2003. In search of security: an international conference on policing & security. Computer Law & Security. Elsevier. 19:3. 242-243.

Zhao, Q., Y. Zhou, and M. Perry. 2003. Policy-driven Licensing Model for Component Software. IEEE 4th International Workshop on Policies for Distributed Systems and Networks. S. Kawada. Los Alamitos, CA: IEEE Computer Society. 219-228.

Zhou, Y., Q. Zhao, and M. Perry. 2002. Policy Enforcement Pattern. 9th Conference on Pattern Language of Programs 2002 (PLOP). Monticello, Illinois: #42. Available at http://jerry.cs.uiuc.edu/~plop/plop2002/proceedings.html.


YU, S.

Ilie, L., B. Shan, and S. Yu. 2003. Fast algorithms for extended regular expression matching and searching. Proceedings of the 20th Symposium on Theoretical Aspects of Computer Science (STACS). H. Alt, and M. Habib. Lecture Notes in Computer Science 2607. Berlin: Springer. 179-190.

Ilie, L., and S. Yu. 2002. Algorithms for computing small NFAs. Proceedings of the 27th International Symposium on Mthematical Foundations of Computer Science (MFCS). K. Kiks, and W. Rytter. Lecture Notes in Computer Science 2420. Berlin: Springer. 328-340.

Ilie, L., S. Yu, and K. Zhang. 2002. Repetition Complexity of Words. Proceedings of the 8th Annual International Computing and Combinatorics Conference (COCOON). O.Z.L. Ibarra. Lecture Notes in Computer Science 2387. Berlin: Springer. 320-329.

Ilie, L., S. Yu, and Q. Zhao. 2003. Introduction to Process Traces. Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA). H.R. Arabnia, and Y. Mun. Las Vegas: CSREA Press. 1706-1712.


ZHANG, K.

Ilie, L., S. Yu, and K. Zhang. 2002. Repetition Complexity of Words. Proceedings of the 8th Annual International Computing and Combinatorics Conference (COCOON). O.Z.L. Ibarra. Lecture Notes in Computer Science 2387. Berlin: Springer. 320-329.