Birta, L.G. and Yang, M. (1995), "Some Stepsize Adjustment Procedures for ODE Solvers", Trans. of the Society for Computer Simulation, 12 (4), pp. 303-324.
Birta, L.G. and Ozmizrak, F. Nür, "A Knowledge-Based Approach for the Validation of Simulation Models: The Foundation", to appear in ACM Transactions on Computer Modeling and Simulation.
o Other Publications (Books, chapters in books, Edited volumes refereed conference proceedings)
Birta, L.G. and Cheng, P., "Parallel Runge-Kutta and Predictor-Corrector Methods for Continuous System Simulation", 1995 Summer Computer Simulation Conference, Ottawa, Ontario, July 24-26, 1995 (pp. 137-142 of Conference Proceedings).
Ghasem-Aghee, N., Birta, L.G. and King, D., "Practical Performance of Some Parallel Variable Stepsize ODE Solvers", 1994 Summer Computer Simulation Conference, San Diego, California, July 18-20, 1994 (pp. 3-8 of Conference Proceedings).
Boyd, S.C., Cunningham, W.H., Queyranne, M. and Wang, Y., "Ladders for travelling Salesmen", SIAM Journal on Optimization, Vol. 5, No. 2, pp. 408-420.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Boyd, S.C., and Zhang, F., "A new bound for the 2-matching problem", TR-96-07, University of Ottawa.
Boyd, S.C. and Weedmark, M., "Extensions to the Greedy perturbation Method for
Minimizing Machine Set-up Time for PCB Production", TR-95-16, University of Ottawa.
Boyd, S.C. and Zhang, F., "Transforming clique tree inequalities to induce facets for the 2-edge connected polytope", TR-94-13, University of Ottawa.
Boyd, S.C. and Carr, R., "A round-up validity proof for the clique tree inequalities for 2-edge connected subgraph polytope", TR-94-12, University of Ottawa.
Holte, R.C., Mkadmi, T., Zimmer, R.M. and MacDonald, A. J. (1996), "Spending Up Problem-Solving by Abstraction: A Graph-Oriented View", Artificial Intelligence (special issue on Empirical AI).
Drummond, C., Ionescu, D. and Holte, R.C. (1996), "Accelerating the Searching of Software Libraries through Goal Inference", submitted to IEEE Transactions on Software on Software Engineering.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Holte, R.C., Perez, M.B., Zimmer, R.M. and MacDonald, A.J. (1996), "Hierarchical A*: Searching Abstraction Hierarchies Efficiently", AAAI'96 (13 pages).
Holte, R.C. and Ng Yuen Yan, J. (1996), "Inferring What a User is Not Interested In", AI'96 (the Canadian AI conference). (9 pages).
Zimmer, R. and Holte, R. (1996), "Categorical Decompositions, Graph Searching and Problem Solving", Fourth International Symposium on Artificial Intelligence and Mathematics.
Auer, P., Holte, R.C. and Maass, W. (1995), "Theory and Applications of Agnostic PAC-Learning with Small Decision Trees", International Conference on Machine Learning.
Holte, R.C., Drummond, C., Perez, M.B., Zimmer, R.M., MacDonald, A.J. (1994), "Searching With Abstractions: A Unifying Framework and New High-Performance Algorithm", Proc. of the 10th Canadian Conference on Artificial Intelligence (AI'94), pp.263-270, Morgan-Kauffmann.
Laganière, R. and Mitiche, A. (1995), "Direct Bayesian Interpretation of Visual Motion", Robotics and Autonomous Systems, 14, pp. 247-254.
Laganière, R. and Cohen, P. (1995), "Gradual Perception of Structure from Motion: A Neural Approach", IEEE trans. on Neural Networks, vol. 6, no. 3, pp. 736-748.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Laganière R., Mitiche A., (May 1996) "Tabu Search for disparity estimation'', Proceedings of Vision Interface'96, Toronto, Ont., pp. 152-158.
Laganière R., Labonté F., (1996) "Stereokineopsis: A survey'', Technical Report GRPR-RT-9603, École Polytechnique de Montreal, 41 pp.
Laganière, R. and Mitiche, A., (1995) "Parallel Tabu Search for Robust Image Filtering", Proc. of IEEE Workshop on Nonlinear Signal and Image Processing, Grèce, vol. II, pp. 603-605.
Skuce, D. and Lethbridge, T.C. (1995). "CODE 4: A Unified System for Managing Conceptual Knowledge". International Journal of Human-Computer Studies, 42, pp. 413-451.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Lethbridge, T. and Singer, J. (1996, to appear). "Strategies for Studying Maintenance", International Workshop on Empirical Studies of Software Maintenance, Monterey, California.
Singer, J. and Lethbridge, T. (1996, submitted). "Methods for Studying Maintenance Activities", International Workshop on Empirical Studies of Software Maintenance, Monterey, California.
Lethbridge, T.C. (1996, submitted). "Metrics for Concept-Oriented Knowledge Bases", International Journal of Software Engineering and Knowledge Engineering.
Bowker, L. and Lethbridge, T. (1994, October). "CODE 4: Applications for Managing Classification Schemes", Proc. 5th ASIS SIG/CR Classification Research Workshop, Alexandria, Virginia.
Bowker, L. and Lethbridge, R. (1994, June). "Terminology and Faceted Classification: Applications Using CODE 4", to appear in Advances in Knowledge Organization (Proceedings of the Third International ISKO Conference), Copenhagen.
Lethbridge, T.C. and Skuce, D. (1994, January). "Knowledge Base Metrics and Informality: User Studies with CODE 4". Proc. 8th Knowledge Acquisition for Knowledge-Based Systems Workshop. Banff, Alberta.
Lethbridge, T.C. and Skuce, D. (1994, January). "CODE 4: A Multifunctional Knowledge Management System". Proc. 8th Knowledge Acquisition for Knowledge- Based Systems Workshop. Banff, Alberta.
Courtiat, J.P, Dembinski, P., Holzmann, G., Logrippo, L., Rudin. R. and Zave, P. "Formal Methods after 15 years: Status and Trends". To appear in Computer Networks and ISDN Systems.
Faci, M., Logrippo, L., and Stépien, B. "Structural Models for Specifying Telephone Systems". To appear in Computer Networks and ISDN Systems.
Farooqui, K., Logrippo, L. (1996), "Group Communication Models". To appear in Computer Communications.
Farooqui, K., Logrippo, L. and deMeer, J. (1995), "The ISO Reference Nodel for Open Distributed Processing: an introduction". Computer Networks and ISDN Systems, 27, pp. 1215-1229.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Farooqui, K., and Logrippo, L. (1996), "Architecture for Open Distributed Software Systems". Chapter 11 of: A. Zomaya (ed.) Handbook of Parallel and Distributed Computing, Mc. Graw-Hill, pp. 303-329.
Kamoun, J., and Logrippo, L. (1996), "Spécification formelle et détection d'interaction entre les services dans les Réseaux Intelligents". To appear in the Proceedings of the Colloque francophone d'inginierie de protocoles, Rabat.
Stépien, B., Farooqui, K., and Logrippo, L. (1996), "An experience Modelling Telecommunication Systems using ODP-DL comp". To appear in the Proc. of FMOODS'96.
Faci, M., and Logrippo, L. (1996), "An Algebraic Framework for the Feature Interaction Problem". Proc. of the 3rd AMAST Workshop on Real-Time Systems, Salt Lake City, pp. 280-294.
Amyot, D., Bordeleau, F., Buhr, R. J. A. and Logrippo, L. (1996), "Formal Support for Design Techniques: A Timethreads-LOTOS Approach". To appear in: R. Dssouli, and G.v. Bochmann (Eds.) Formal Description Techniques, VIII. North-Holland (Proc. of the 8th Formal Techniques International Conference, Montreal, 1995. Sponsored by IFIP WG 6.1)
Stépien, B. and Logrippo, L. (1995), "Representing and Verifying Intentions in Telephony Features Using Abstract Data Types". To appear in the Proc. of the 3rd International Workshop on feature Interactions in Telecommunications Systems, Kyoto.
Farooqui, K. and Logrippo, L. (1995), "The Intelligent Network Model in the Open Distributed Processing Architectural Framework". In: Proceedings of the IEEE International 1995 Intelligent Network Workshop. Ottawa, pp. 35-58.
Stépien B. and Logrippo, L. (1995), "Feature Interaction Detection Using Backward Reasoning with LOTOS". In: S. Vuong (ed.) Protocol Specification Testing, and Verification, XIV (Proc. of the 14th International Symposium on Protocol Specification, Testing, and Verification, organized by IFIP WG 6.1, Vancouver), pp. 71-86.
Faci, M., and Logrippo, L. (1994), "Specifying Features and Analyzing their Interactions in a LOTOS Environment". In: L.G. Bouma and H. Velthuijsen (eds.) Feature Interactions in Telecommunications Systems. IOS Press, 1994 (Proc. of the 2nd International Workshop on Feature Interactions in Telecommunications Systems, Amsterdam) pp. 136-151. Also published in S. Brlek (ed.) BMW-94, Modèles mathématiques pour la synthèse des systèmes informatique (62e congrès ACFAS), Publications du Laboratoire de Combinatoire et d'Informatique Mathématique de Montréal, pp. 167-182.
Stépien, B., and Logrippo, L. (1994), "Status-Oriented Telephone Service Specification". In: T. Rus and C. Rattray (eds.) Theories and Experiences for Real-Time System Development. AMAST Series in Computing, Vol.2, World Scientific, pp. 265-286.
Luo, Gang, Probert, Robert L. and Ural, Hasan (1995), "Approach to Constructing Software Unit Testing Tool", IEEE Software Engineering Journal, Vol. 10, No.6, November, 1995, pp.245-252.
Luo, Gang, Das, Anindya and Bochmann, Gregor v. (1994), "Software Testing Based on SDL with SAVE", IEEE Transactions on Software Engineering, Vol.20, No.1, January 1994, pp.72-87.
Luo, Gang, Bochmann, Gregor v. and Petrenko, Alexandre (1994), "Test Selection Based on Communicating Nondeterministic Finite State Machines Using A Generalized Wp-Method", IEEE Transactions on Software Engineering, Vol.20, No.2, February 1994, pp.149-162.
Golea, Mostefa, Marchand, Mario and Hancock, Thomas, (1996) "On Learning mu- Perceptron Networks On the Uniform Distribution", Neural Networks, vol. 9, pp. 67-82.
Hancock, Thomas, Golea, Mostefa and Marchand, Mario, (1994) "Learning Nonoverlapping Perceptron Networks from Examples and Membership Queries", Machine Learning, vol. 16, pp. 161-183.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Marchand, Mario and Hadjifaradji, Saeed, (1996) "Strong Unimodality and Exact Learning of µ Perceptron Networks", in D.S. Touretzky, M.C. Mozer and M.E. Hasselmo, eds., Advances in Neural Information Processing Systems 8, pp. 288-294, MIT Press, Cambridge MA.
Marchand, Mario and Hadjifaradji, Saeed, (1995) "Learning Stochastic Perceptrons under k-Blocking Distribution", in G. Tesauro, D. S. Touretzky and T. K. Leen, eds., Advances in Neural Information Processing Systems 7, pp. 279-286, MIT Press, Cambridge MA.
Golea, Mostefa and Marchand, Mario (1994) "On Learning Simple Deterministic and Probabilistic Neural Concepts", in Shawe-Talor J., Anthony M., eds., Computational Learning Theory: EuroCOLT'93, pp. 47-60, Oxford University Press.
Matwin, S. and Rios, R., "Learning recursive definitions in Horn-clause logic", to appear, Brazilian Computer Journal.
Clark, P., Feng, C., Matwin, S and Fung, K., "Improving Image Classification by Combining Statistical, Case-based and Model-based Prediction Methods", to appear, Fundamenta Informaticae.
Matwin, S. and Mason, C. (1995), "Environmental Applications of Artificial Intelligence", IEEE EXPERT and Intelligent Systems, pp. 12-14.
Matwin, S., Charlebois, D. and Goodenough, D. (1995), "Machine Learning and Planning for Data Management in Forestry", to appear, IEEE EXPERT and Intelligent Systems, pp. 35-41.
Goodenough, D., Charlebois, D. Matwin, S. and Robson, R. (1994), "Automating Reuse of Expert System Software for Analysis of Rd Data", IEEE Trans. on Geoscience and Remote Sensing, 32 (3): pp. 525-533.
Matwin, S. and Plante, B., "Theory Revision by means of Analyzing Explanations and Prototypes", to appear, Machine Learning, Vol. 4.
Matwin, S., Charlebois, D. and Goodenough, D., "Machine Learning and Planning for Data Management in Forestry", accepted IEEE EXPERT and Intelligent Systems.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Charlebois, D., Goodenough, D., Matwin, S., Bhogal, A.S. and Barclay, H. (1996), "Planning and Learning in a Natural Resource Information System" to appear, Procs. of AI-96, pp. 187-195, Toronto.
Matwin, S. and Kubat, M. (July 1996), "The Role of Context in Concept Learning", Proceedings of the pre-conference workshop on Learning in context-sensitive domains, ICML'96, pp. 1-5, Bary.
Matwin, S., Rios, R. and Mount, J. (1996), "An Explainable-Induction Approach for Diagnosing Retinal Degeneration", Intelligent Data Analysis in Medicine and Pharmacology, ECAI'96, pp. 64.-68, Budapest.
Matwin, S. and Rios, R. (1996), "Efficient Induction of Recursive Prolog Definitions", Procs. of AI-96, pp. 240-248, Toronto.
Li, X, Szpakowicz, S. and Matwin, S., (1995), "A Work Net Based Algorithm for Word Sense Disambiguation", Procs. of 11th Int'l Joint Conf. on AI IJCAI-95, pp. 1368-1374, Montreal.
Matwin, S., Charlebois, D. and Goodenough, D. (1995), Training agents in a complex environment, Procs. of the 11th IEEE Conference on AI for Applications (CAIA), pp. 94-100, Los Angeles.
Goodenough, D., Bhogal, P., Charlebois, D, Heyd, M. Matwin, S. and Portigal, F. (1995), "Knowledge-Based Imaging Spectrometer Analysis and GIS for Forestry", IEEE Pacific Rim Conference on Communications, Computers, and Data Processing, pp. 287-291, Victoria.
Goodenough, D., Charlebois, D, Bhogal, P., Heyd, S., Matwin, S., Niemann, O. and Portigal, F. (1995), "Intelligent Data Fusion for Environmental Monitoring", IGARSS 95, pp. 2157-2160, Florence, Italy, 1995.
Matwin, S., Charlebois, D., Goodenough (1995) "Training Agents in a Complex Environment", Procs. of the 11th IEEE Conference on AI for Applications (CAIA), LA, to appear.
Matwin, S., Affa, A. (1994) "Reuse of Modular Software with Automated Comment Analysis", Procs. IEEE International Conference on Software Engineering, pp. 222-233, Victoria, BC.
Goodenough, D., Charlebois, D., Matwin, S., MacDonald, D., Thompson, A. (1994) "Queries and Their Application to Reasoning with Remote Sensing and GIS", Procs. of IGARSS-94.
Clark, P., Feng, C., Matwin, S., Fung, K. (1994) "Improving Image Classification by Combining Statistical, Case-based, and Model-based Prediction Methods", Machine Learning Workshop, AI-94, pp. IX.1-IX.15.
Matwin, S., Charlebois, D., Goodenough, D.G. (1994) "Machine Learning and Planning for Data Management in Forestry", AAAI Workshop on AI Technologies for Environmental Applications, pp. 83-90.
Aha, D.W., Lapointe, S., Ling, C.X., Matwin, S. (1994) "Learning Recursive Relations with Randomly Selected Small Training Sets", 11th International Conference on Machine Learning, pp.12-18.
Pelletier, B., Matwin, S. (1994) "Unsupervised Learning of Planning Knowledge", Procs. of AI'94, pp. 107-114, Banff.
Delisle, S., Barker, K., Delannoy, J-F., Matwin, S., Szpakowicz, S. (1994) "From Text to Horn Clauses: Combining Linguistic Analysis and Machine Learning", Procs. of AI'94, pp. 9-16.
Delannoy, J-F., Copeck, T., Feng, C., Matwin, S., Szpakowicz, S. (1994) "Du texte aux clauses de HORN par combinaison d'analyse linguistique et d'apprentissage symbolique", Comptes rendues des 3èmes journées francophones de l'acquisition des connaissances, pp. L1-L14.
Aha, D., Lapointe, S., Ling, C., Matwin, S. (1994) "Learning Singly recursive Relations from Small Datasets", Procs. of the 2nd European Conference on Machine Learning, pp. 31-48.
Feng, C., Copeck, T., Matwin, S., Szpakowicz, S., (1994) "Semantic Clustering Acquisition of Partial Ontologies from Public Domain Lexical Sources: First Experiments", Procs. of the 1994 Banff Knowledge Acquisition Workshop.
Frappier, M. J. Desharnais, J. and Mili, A., "Structure Coercion in Relational Specifications". Bulletin of the Interest Group on Pure and Applied Logic. Special Issue: Relational Methods in Computer Science. To appear.
Mili, A., Frappier, M. and Desharnais, J., (1996), "A Calculus of Program Construction by Parts". Science of Computer Programming.
Mili, H., Mili, F., Mili, A., (1995), "Reusing Software: Issues and Research Directions", IEEE Transactions on Software Engineering.
Desharnais, J., Mili, A. and al., (1995) "Embedding a Demonic Semi-Lattice in a Relation Algebra". Theoretical Computer Science.
Mili, A. and Skuce, D., (1995), "Using Action Histories to Specify Objects". Journal of Object Oriented Programming.
Maukai, Ch. and Mili, A., (1995), "Machine Translation from Arabic to English". Information Sciences, and International Journal.
Desharnais, J., Belkhiter, N., Ben Salah, M., Tchier, F., Zaguia, N., Mili, A., (1994), "Embedding a Demonic Semi Lattice in a Relation Algebra". Theoretical Computer Science.
Skuce, D., Mili, A., (1994), "Using Action Histories to Specify Objects", Journal of Object Oriented Programming.
Mankai, Ch. and Mili, A., (1994), "Machine Translation from Arabic to English and French", Information Sciences, an International Journal, North Holland.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Ben Arfa, L., Frappier, M., Mili R. and Mili, A. (1996), "Verification Based Inspection of Object Oriented Software". Third Annual International Conference on Cleanroom Software Engineering Practices. Baltimore, MD, October 1996.
Mili, R. and Mili, A. (1996), "The Cleanroom Testing of Object Oriented Programs". Workshop on Cleanroom Software Engineering. Berlin, Germany, March 1996.
Mili, R. and Mili, A. (1996), "Teaching a Software Engineering Course with Cleanroom". Workshop on Cleanroom Software Engineering. Berlin, Germany, March 1996.
Mili, R. and Mili, A. (1996), "Economic Models: A Key to Successful Software Reuse. International Informatics Forum, Tunis, Tunisia, March 1996.
Mankai, Ch. and Mili, A. (1995), "Interpreting Arabic Quantifiers: A Probabilistic Approach". Second Colloquium on Translation and Meaning. Lodz, Poland, September 1995.
Mili, A., Ben Ayed, R. and Frappier, M. (1995), "A Relational Calculus for Software Reuse". IJCAI Workshop on Formal Approaches to the Reuse of Plans, Proofs and Programs. Montreal, Canada, August 1995.
Mili, A. (1995), "Structure Coercion in Relational Specifications". RelMICS: Relational Methods in Computer Science. Parati, Brazil, July 1995.
Mili, A. (1995), "Program Construction by Parts". Proceedings, Mathematics for Program Construction'95. Kloster Irsee, Germany, July 1995.
Mili, A., Desharnais, J., Tran, N. "Demonic Relational Semantics of Programs". In Relations in Computer Science. G. Schmidt, editor. Springer Verlag.
Desharnais, J., Mili, A., Mili, R., Mullins, J., Slimani, Y. (1994), "Semantics of Concurrency". In: Handbook of Parallel and Distributed Computing. A. Zomaya, editor. McGraw Hill, New York, NY.
Mili, A., Desharnais, J., Mili, F. (1994), "Computer Program Construction". New York, NY: Oxford University Press.
Desharnais, J., Mullins, J., Mili, A., "Demonic Relational Semantics of Programs". In: Relations in Computer Science. G. Schmidt, editor. Springer Verlag.
Frappier, M. and Mili, A. (1994), "Les Mathématiques de la Construction de Programmes". Invited paper, 42ième Colloque de Mathématiques du Quebec, Sherbrooke, PQ, October 1994.
Crabtree, D., Frappier, M., Matwin, S. and Mili, A. (1994), "Lifecycle Maintainability Estimation for a Space Robotics Simulator". 45th International Astronautical Federation Congress, Jerusalem, Israel, October 1994.
Ben Arfa, L., Frappier, M., Mili, A., Mili, R. and Skuce, D. (1994), "A Process for Verification Based Inspections". Sixth International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 1994.
Mili, A., Mili, R. and Mittermeir, R. (1994), "Storing and Retrieving Software Components: A Refinement Based Approach". Sixteenth International Conference on Software Engineering, Sorento, Italy, May 1994.
Mili, A., Mili, R. and Talbert, S.H. (1994), "Modelling Software Engineering Knowledge: Applications to Curriculum Development". International Workshop on Software Engineering Education, Sorento, Italy, May 1994.
Mili, A. and Mili, R. (1994), "A First Course in Data Structure: A Software Engineering Approach". SIGCSE'94, Phoenix, AZ, March 1994.
Ghasem-Aghaee, N. and Ören, T. I. (1995). "KbDif: A Knowledge-Based Approach for Continuous Simulation", Transactions of the Computer Simulation Society, 12:4, p. 287-301.
Ören, T.I. (1994), "Artificial Intelligence and Simulation", Annals of Operations Research, vol. 53, pp. 287-319.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Ören, T.I. and Birta, L.G. (eds.) (1995). "Proceedings of the 1995 Summer Computer Simulation Conference", The Society for Computer Simulation, San Diego, California, 1136 p.
Ören, T.I. (1995). "Enhancing Innovation and Competitiveness Through Simulation". In: Proceedings of 1995 Summer Computer Simulation Conf., Ottawa Ont., July 24-26, SCS, San Diego, CA., pp. vi-vii.
Abdullah, B., Ören, T.I. (1995). "Integration of Visual Intelligent Software Agent Gauges (VISAG) into a Simulation Environment". In: Proceedings of 1995 Summer Computer Simulation Conf., Ottawa, Ont., July 24-26, SCS, San Diego, CA., pp. 269-274.
Coskun, R., Ören, T.I. (1995). "Architecture of a Teal-Time, simulation-Based and Intelligent Production Scheduling System". In: Proceedings of 1995 Summer Computer Simulation Conf., Ottawa, Ont., July 24-26, SCS, San Diego, CA, pp. 367-372.
Keon, N., Simader, G. and Ören, T.I., de Oliveira, J.C.T. (1995). "Modeling and Simulation of Proton Exchange Membrane Fuel Cell: A State-of-the-Art Review". In: Proceedings of 1995 Summer Computer Simulation Conf., Ottawa, Ont., July 24-26, SCS, San Diego, CA, pp. 659-664.
Ören, T.I. (1995). "Artificial Intelligence and Simulation: A Typology" (Invited Opening Speech). In: Proceedings of the 3rd Conference on Computer Simulation, S. Raczynski (ed.), Mexico City, Nov. 15-17, pp. 1-5.
Ören, T.I. and Klir, G.J. (eds.) (1995 - In Press) "Computer Aided Systems Theory - CAST'94", Springer-Verlag, Berlin, New York.
Ören, T.I. and Ghasem-Aghaee, N. (1995 - In Press) "Architectures of Mixed and Pure Knowledge-Based Approaches for continuous Simulation Environments". In: Computer Aided Systems Theory - CAST'94, T.I. Ören and G.J. Klir, (eds.) Springer-Verlag, New York, NY.
Ören, T.I. and G.J. Klir (1995 - In Press) Desirable Research Directions. In: Computer Aided Systems Theory - CAST'94, T.I. Ören and G.J. Klir (eds.) Springer-Verlag, Berlin, New York.
Ören, T.I. and King, D.G. (1994) Computer-Aided Systems Technology for CAD Environments: Complexity Issues and a Repository-Based Approach. In: Computer Aided Systems Theory - EuroCast'93, F. Pichler and R. Moreno Diaz (eds.), Springer-Verlag, Berlin, Germany, pp. 151-136.
Ören, T.I., (1994) Computer-Aided Systems Technology: Its Fundamental Role in Advanced Computerization. In: Computer Aided Systems Theory - EuroCast'93, F. Pichler and R. Moreno Diaz (eds.), Springer-Verlag, Berlin, Germany, pp. 11-20.
Coskun, R. and Ören, T.I. (1994) Simulation in Knowledge-Based Production Scheduling Systems: A State-of-the-Art Review. In: Proc. of the European Simulation Symposium, vol. 2, A.R. Kaylan, A. Lehmann, and T.I. Ören (eds.), Oct. 9-12, 1994, Istanbul, Turkey, SCS, San Diego, CA, pp. 293-297.
Coskun, R. and Ören, T.I. (1994) SIMEX: A Simulation-Based Expert Production Scheduling System. In: Proc. of the European Simulation Symposium, vol. 2, A.R. Kaylan, A. Lehmann, and T.I.Ören (eds.), Oct. 9-12, 1994, Istanbul, Turkey, SCS, San Diego, CA, pp.298-301.
Kaylan, A.R., Lehmann, A., Ören, T.I. (eds.) (1994). Proc. of the European Simulation Symposium, Oct.9-12, 1994, Istanbul, Turkey. Society for Computer Simulation International, San Diego, CA. Vol. 1: Advances in Simulation Methodology and Practices, Artificial Intelligence in Simulation, 359p. Vol. 2: Industrial Simulation , Computer and Telecommunication Systems, 35p. Vol. 3: Additional Papers, 113 p.
Ören, T.I. (1994) Review of the Book, "Facets of Systems Science" by G.J. Klir. International Journal of General Systems, 22:3, 329-330.
Ören, T.I. (1994). Simulation Languages (In Turkish), Informatics (In Turkish: Bilisim), Number 51 (June), pp. 62-63.
Ören, T.I., Thizy, J.M. (eds.) (1994). Lecture Notes CAST'94 - Fourth International Workshop on Computer Aided Systems Technology, May 16-20, 1994, University of Ottawa, Ottawa, Ontario.
Luo, G. Probert, R.L. and Ural, H. (1995), "Approach to Constructing Software Unit Testing Tools", IEEE Software Engineering Journal, Vol. 10, No. 6, pp. 245-252.
Probert, R.L., Saleh, K. and Yu, H. (1995), "Validation-directed Specification of Communications, Protocols", Journal of Information and Software Technology, Vol. 37, Nol 8, pp. 403-410.
Probert, R.L. and Lew, N., (1996) "Protocol Quality Engineering and Formal Method's", to appear in Special Issue on Protocol Engineering, Journal of Computer Communications.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Williams, A. W. and Probert, R. L. (1996) "A Practical Strategy for Testing Pair-Wise Coverage of Network Interfaces", accepted to The Seventh International Symposium on Software Reliability Engineering (ISSRE'96) White Plains, NY, Oct. 30-Nov. 2, 1996.
Saleh, K., Probert, R. L. and Ilangovan, M. (1996) "Recovery of Communications Protocol Design from Protocol Execution Traces", accepted to The Second IEEE International Conference on Engineering of Complex Systems (ICECCS'96) Montreal, P.Q., October 21-25, 1996.
Ural, H., Probert, R. L. and Yang, B. (1996) "Data Flow Testing at the Program Level", accepted to The Sixth International Conference on Software Quality (6ICSQ) Ottawa, Ontario, October 28-31, 1996.
El-Gendy, H. and Probert, R. L. (1996) "Towards International Universal Standard for IN, and Personal and Multimedia Communications", 11th Intl. Conference on System Engineering, July 1996.
Probert, R. L. and Wei, L. (1995) "Towards a Practical Formal Method for Test Derivation", 8th International Workshop on Protocol Test Systems (IWPTS'95) Evry, France, 443-456.
Nursimulu, K. and Probert, R. L. (1995) "Cause-effect graphing analysis and validation of requirements", CASCON'95 on CD-ROM.
El-Gendy, H. and Probert, R. L. (1995) "An SDL (Formal) specification of a North American OSI-application layer interface for distributed multimedia systems and applications", LASTED/ISMM International conference Distributed Multimedia Systems and Applications, Stanford University, CA, 181-185.
El-Gendy, H. and Probert, R. L. (1995) "Integrated message desk and intelligent networks-based approach for multimedia mail", Proceedings of IEEE International Conference on Communications, Seattle, Washington, 1459-1466.
Probert, R. L. and Wei, L. (1995) "Testing behaviors of processes based on non-deterministic rippling and environment control", The 7th International Conference on Computing and Information, ICCI'95, Trent University, Peterborough, Ontario, on CD-ROM.
Probert, R. L. and Williams, A. (1995) "Optimal Test Strategy for Pairwise Interface Testing of Large Systems", IBM CASCON'95, November 7-9, 1995.
El-Gendy, H. and Probert, R. L. (1994), "Integration of Upper Layers of Computers and Telephony Switches for IN", IEEE International Conference on Communications Systems'94, Singapore, pp. 964-968, 1994.
El-Gendy, H. and Probert, R. L. (1994), "Computer-supported Routing for Intelligent Networks and Personalized Wired Communication", IEEE International Conference on Communications Systems'94, Singapore, pp. 1027-1033.
El-Gendy, H., Probert, R. L. and Wei, L. (1994), "Routing of Calls in North American Intelligent Telephony Networks for Personalized Communications and Multimedia", 1994 International Computer Symposium, Taiwan, Vol. 2, pp. 992-997.
Probert, R. L. and Monkewich, O. (1994), "TTCN: The International Notation for Specifying Tests of Communications Systems", Conformance Testing Methodologies and Architectures for OSI Protocols, edited by Richard J. Linn and M. Umit Uyar, pp. 162-183, Published by the IEEE Computer Society Press, Los Alamitos, California, 1994.
Kanungo, B. Lamont, L., Probert, R. L. and Ural, H. (1994), "A Useful FSM Representation for Test Suite Design and Development", in Conformance Testing Methodologies and Architectures for OSI Protocols, edited by Richard J. Linn and M. Umit Uyar, pp. 78-92, Published by the IEEE Computer Society Press, Los Alamitos, California, 1994.
"The Vaunted Electronic Information Super Highway...What's Happening?", Invited paper, FOCUS, The Executive magazine on Canada's Public Service, Vol. 3, Issue 1, p. 16 and p. 48, Winter 1994.
Raymond, J., (1994) "Software tools for Computer Aided lecturing", IEEE Transactions on Education.
Pilon, D., & Raymond, J. (1994) "Software tools for Improving Student/Professor Interaction in distance education", ITCA YearBook, pp.82-98.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Raymond, J., (1996), "Delphi as a CALec development platform, Invited state-of-the-art conference, International conference on Computers and Education. Chandigar, India, March 1996
Mili, R. and Raymond, J. (1996), "A measure of reusability: a ROI approach", Ottawa Conference On Software Engineering, Sept 1996.
Pilon, D, Raymond, J. and Raymond, P. (1996), "Software tools for the Language class of the future, RELC conference on the language class of the future, Singapore, April 1996.
Pilon, D, Raymond, J. and Raymond, P., (1995), "Software tools to improve professor-Student dialog in the lecture hall", EdMedia95 Graz, Austria, June 1995, BR.
Pilon, D. and Raymond, J., "Software tools for Improving Prof./Student interaction". Submitted to IEEE transactions on Education.
Pilon, D., Raymond, J. and Raymond, P, "Improving student/prof. interaction via software". Gratz Austria, June 95 (to be published).
Pouzet, M., Reuter, K., Rival, I. and Zaguia, N. (1995), "A generalized permmutahedron", Algebra Universalis, 34, pp. 496-509.
Grant, K., Nowakowski, R. J. and Rival I. (1995), "The endomorphism spectrum of an ordered set", ORDER, 12 (1), pp. 45-55.
Hashemi, M., Kisielewicz, A. and Rival, I. (1996) "Upward drawings on planes and spheres", Lecture Notes in Computer Science, 1027, Symposium on Graph Drawing GD'95, Passau (F. J. Brandenburg (ed.)), Springer, pp. 277-286.
Fofanova, T., Rival, I. and Rutkowski, A. (1996) Dimension two, fixed points and dismantlable ordered sets, ORDER, 13 (3).
Gratzer, G., Rival, I. and Zaguia, N. (1995), "Small representations of finite distributive lattices as congruence lattices", Proc. Amer. Math. Soc., 123, 1959-1961.
Liu, W.-P., Rival, I. and Zaguia, N. (1995), "Automorphisms, isotone self-maps and cycle- free orders, Discrete Math.,144, pp. 59-66.
Rival, I., and Zaguia, N. (1995), "Images of simple lattice polynomials", Algebra Universalis, 33, pp. 10-14.
Rival, I., and Zaguia, N. (1995), "Perpendicular orders", Discrete Mathematics, 137, pp. 303-313.
Fon-Der-Flaass, D., and Rival, I., (1994) "Collecting information in graded ordered sets", Parallel Processing Letters.
Ewacha, K., Rival, I. and Zaguia, N., "Approximating the number of Linear extensions", Theoretical Computer Science.
Fofanova, T., Rival, I. and Rukowski, A., "Dimension two, fixed points and dismantlable ordered sets", ORDER.
Ewacha, K., Rival, I. and Zaguia, N., "Unimodality, linear extensions, and width two orders", Discrete Mathematics.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Rival, I. (1995), "Order Ice and surfaces", in Lattice Theory and its Applications (K. A. Baker, R. Wille (eds.)), Heldermann Verlag., pp. 211-218.
Jourdan, G.-V., Rival, I. and Zaguia N. (1995), "Conjectures and Constructions about perpendicular pairs - by experiment, Proceedings of 7th Conference, Formal power series and algebraic combinatorics, Marne-la-Vallee, France (eds. B. Leclerc and J. Y. Thibon), pp. 613-621.
Rival, I. and Zaguia, N. (1995), "Learning Navigator: A multi-purpose visualization software tool for education, career, and employment counseling", NATCON papers 21st National Consultation on Career Development (NATCON), pp. 185-188.
Jourdan, G. V., Rival, I. and Zaguia, N. (1995), "Order Explorer: A Visual System to See and Do, Proceedings OSDA'95, International Conference on Ordinal and Symbolic Data Analysis, INRIA, Paris, ENS des Telecommunications, pp. 57-58.
Hashemi, S. Mehdi and Rival, I., (1994) "Upward drawings to fit surfaces, in Orders", Algorithms, and Applications (ORDAL 94) (eds. V. Bouchitte, M. Morvan), Lecture Notes in Computer Science 831, Springer, pp. 53-58.
Jourdan, G. V., Rival, I., and Zaguia, N., "Upwards drawings on the plane using less ink", in Graph Drawings 94, (eds. Tamassia, Tollis), Lecture Notes in Computer Science 894, Springer, pp.318-327.
Pouzet, M., and Rival, I., "Structural arithmetic of the extension lattice of an order".
Lee, J.G., Liu, W.-P., Nowakowski, R., and Rival, I., "Dimension invariance of subdivision".
Nowakowski, R., and Rival, I., "Bending and stretching orders into three channels".
Rival, I., and Stechkin, B., "Lattice structures in the refinement order of number partitions".
Rival, I., "Order, ice and surfaces".
Ton, Dao-Rong, and Rival, I., "Order convergence and order varieties".
Skuce, D. (1995), "Knowledge Management in Software Design: a Tool and a trial", Software Engineering Journal, September, pp. 183-193, 1995.
Skuce, D., and Lethbridge, T. (1995), "CODE 4: A Unified System for Managing Conceptual Knowledge", International Journal Human Computer Studies, (42) 413-451, 1995.
Skuce, D., and Mili, A., (1995), "Behavioural Specifications in Object-Oriented Programming", Journal of Object-Oriented Programming, pp.41-49, 1995.
Meyer, I., Eck, K. and Skuce, D. (to appear), "Systematic Representation of Concepts in a Knowledge-based System". In Handbook of terminology Management, Eds. S. E. Wright and G. Budin. Amsterdam/Philadelphia: John Benjamins, 20 pp., 1995.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Skuce, D. (1995). "Viewing Ontologies as Vocabulary". International Joint Conference on Artificial Intelligence. Workshop on Basic Issues in Ontologies, Montreal, August 1995, 11 pp.
Skuce, D. (1995), "Conventions for Reaching Agreement on Shared Ontologies". 9th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, February 1995, 21 pp.
Ben Arfa, L., Frappier, M., Mili, R., Mili, A. and Skuce, D. (1994), "A Process for Verification Based Inspections". International Conference on Software Engineering and Knowledge Engineering, Riga, Latvia, (June 1994), 8 pp.
Skuce, D., and Lethbridge, T. (1994), "Code 4: A Multifunctional Knowledge Management System", 8th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, 1994, 22 pp.
Lethbridge, T., and Skuce, D. (1994), "Knowledge Base Metrics and Informality: User Studies with CODE 4", 8th Knowledge acquisition for Knowledge-Based Systems Workshop, Banff, 1994, 21 pp.
Akl, S. G. and Stojmenovic, I., (1996), "Generating t-ary trees in parallel", Nordic Journal of Computing, Vol. 3, pp. 63-71.
Klette, R., Stojmenovic, I. and Zunic, J., (1996), "A parametrization of digital planes by least square fits and generalizations", CVGIP: Graphical Models and Image Processing, Vol. 58, No. 3, pp. 295-300.
Stojmenovic, I. (1996), "Constant time BSR solutions to parenthesis matching, tree decoding and tree reconstruction from its traversals", IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 2, pp. 218-224.
Stojmenovic, I. (1996), "Generating n-ary reflected Gray codes on a linear array of processors, Parallel Processing Letters, Vol. 6, No. 1, pp. 27-34.
Boult, T., Melter, R., Skorina, F. and Stojmenovic, I. (1995), "Applications of G-neighbors to image processing and morphology", Machine Graphics and Vision, Vol. 4, No. ½, pp. 39-58.
Kim, C. E. and Stojmenovic, I. (1995), "Sequential and Parallel approximate convex hull algorithms", Computers and Artificial Intelligence, Vol. 14, No. 6, pp. 597-610.
Tosic, R. and Stojmenovic, I. (1995), "Chemical graphs, Kekule structures and Fibonacci -numbers", Univ. u Novoom Sadu Zb. Rad. Prirod.-Mat. Fak. Ser. Mat., Novi Sad, Vol. 25, No. 2, pp. 79-195.
Bhagavathi, D., Bokka, V., Gurla, H., Olariu, S., Schwing, J.L., Stojmenovic I., and Zhang, J. (1995), "Time-optimal visibility-related algorithms on meshes with multiple broadcasting", IEEE Transaction on Parallel and Distributed Systems, Vol. 6, No. 7, pp. 687-703.
Zoghbi, A. and Stojmenovic, I. (1995), "Fast algorithms for generating integer partitions, Int. Conference on Computing and Information ICCI'94, Peterborough, Canada, CD-ROM Journal of Computing and Information, Vol.1, No. 1.
Tosic, R., Masulovic, D., Stojmenovic, I., Brunvoll, J., Cyvin, B. N. and Cyvin S. J. (1995), "Enumeration of Polyhex Hydrocarbons to h=17, Journal of Chemical Information and Computer Sciences, 35, 2, pp. 181-187.
Melter, R.A. and Stojmenovic, I. (1995), "Constant time VSR solutions to L1 metric and digital geometry problems, Journal of Mathematical Imaging and Vision, 5, pp. 119-127.
Djokic, B., Ruppert, J., and Stojmenovic, I. (1994), "Constant time digital geometry algorithms on the scan model or parallel computation", International Journal High Speed Computing, 6, 4, pp. 501-517.
Gewali, L.P., Stojmenovic, I. (1994), "Computing external watchman routes on PRAM, BSR and interconnection network models of parallel computation", Parallel Processing Letters, 4, 182, pp. 83-93.
Belbaraka, M., Stojmenovic, I. (1994), "On generating B-trees with constant average delay and in lexicographic order", Information Processing Letters, 49, 1, pp. 27-32.
Akl, S.G., Meijer, H. and Stojmenovic, I. (1994), "An optimal systolic algorithm for generation permutation in lexicographic order", Journal of Parallel and Distributed Computing, 20(1): pp. 84-91.
Olariu, S. and Stojmenovic, I., "Time optimal nearest-neighbor computations on enhanced meshes", Journal of Parallel and Distributed Computing, 1996, to appear.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Czyzowitz, J., Stojmenovic, I. and Szymacha, T., "On a problem of immobilizing polygons, 8th Canadian Conference on Computational Geometry CCG'96, Ottawa, August 1996, to appear.
Olariu, S., Stojmenovic, I. and Zomaya, A., "Time-optimal proximity graph computations on enhanced meshes, 8th Canadian Conference on Computational Geometry CCCG'96, Ottawa, August 1996, to appear.
Olariu S. and Stojmenovic, I., "On the dynamic initialization of parallel computers, (CD ROM) Proceedings of the 10th Annual International Symposium on High Performance Computers HPCS'96, IEEE Canada, Ottawa, June 5-7, 1996.
Stojmenovic, I., "Direct interconnection networks", in: Parallel and Distributed Computing Handbook (A. Y. Zomaya, ed.)., McGraw-Hill, Inc., 1996, pp. 537-567.
Akl, S.G. and Stojmenovic, I., "Broadcasting with selective reduction: A powerful model of Parallel computation", in: Parallel and Distributed Computing Handbook (A. Y. Zomaya, ed.)., McGraw-Hill, Inc., 1996, pp. 192-222.
Akl, S.G. and Stojmenovic, I., "Generating combinatorial objects on linear array of processors", in: Parallel Computing: Paradigms and Applications (A. Y. Zomaya, ed.)., International Thomson Computer Press, 1996, pp. 639-670.
Bokka, V., Gurla, H., Olariu, S., Schwing, J. L. and Stojmenovic, I., "Time-optimal digital geometry algorithms on meshes with multiple broadcasting, in: Parallel Image Analysis: Theory and Applications (L. S. Davis, K. Inoue, M. Nivat, A. Rosenfeld, P.S.P. Wang, eds.), series in Machine Perception Artificial Intelligence, Vol. 19, World Scientific, 1996, pp. 43-55.
Reischer, C., Simovici, D. and Stojmenovic, I., "An algebraic approach to entropy, in: Contributions to General Algebra 9, Verlag Holder-Pichler-Tempsky, Wien 1995, verlag B.G. Teubner, Stuttgart, pp. 271-280.
Stojmenovic, I., "Honeycomb networks: Topological properties and communication algorithms, Mathematical Foundations of Computer Science MFCS'95, Prague, Czech Republic, Aug. 1995, Lecture Notes in Computer Science, Vol. 969, Springer-Verlag, 1995, pp. 267-276.
Ngom, A., Reischer, C. and Stojmenovic, I., "Classification of functions and enumeration of bases of set logic under Boolean compositions, 25th IEEE Int. Symp. Multiple-Valued Logic, Bloomington, IN, USA, May 1995, 78-85.
Tosic, R., Masulovic, D., Stojmenovic, I., Brunvoll, J., Cyvin, B. N. and Cyvin, S. J., Enumeration of Polyhex Hydrocarbons to h=17, Journal of Chemical Information and Computer Sciences, 35, 2, 1995, 181-187
Reisher, C., Simovici, D., and Stojmenovic, I., An algebraic approach to entropy, Proc. 48th Workshop on General algebra, Linz, Austria, June 1994.
Bokka, V., Gurla, H., Olariu, S., Schwing, J. L., and Stojmenovic I., Time-optimal solutions for digital geometry algorithms on enhanced meshes, Vision Geometry III, part of SPIE, Proceedings Vol. 2356, Boston, Nov. 1994, 125-136.
Melter, R., and Stojmenovic, I., Solving visibility problems on a BST model of parallel computation, Vision Geometry III, part of SPPIE, Proceedings Vol. 2356, Boston, Nov. 1994, 264-271.
Delisle, S., Barker, K., Copeck, T. and Szpakowicz, S., (1996) "Interactive Semantic Analysis of Technical Texts: Case Pattern Acquisition", Computational Intelligence 12(2) (in print).
Kersten, G. E. and Szpakowicz, S., (1995) "Forming Decision Making Skills with a Patient Simulator", Control and Cybernetics, vol. 24, no. 3, 301-326.
Swidzinski, M. and Szpakowicz, S., (1994) "Sentence Schemata for the Universal Basic Dictionary of Contemporary Polish". Int. J. of Lexicography, vol. 7, no. 1, 1-30.
Kersten, G. E. and Szpakowicz, S., (1994) "Decision Making and Decision Aiding: Defining the Process, Its Representations, and Support". Group Decision and Negotiation, vol. 3, no. 2, 237-261.
Kersten, G. E. and Szpakowicz, S., (1996) "A Formal Account of Sequential Decision Making in a Co-Operative Setting", Fundamenta Informaticae, (to appear).
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Yang, L. and Szpakowicz, S., (1994) "Path-Finding in Networks". J. Computing and Information, 1(1). Special Issue: Proc. 6th International Conference on Computing and Information, 1042-1057.
Kersten, G. E. and Szpakowicz, S., (1994) "Negotiation in Distributed Artificial Intelligence: Drawing from Human Experience", Proc. 27th Hawaii International Conf. on Systems Sciences. Vol. IV, Information Systems: Collaboration Technology, Organizational Systems and Technology, J.F. Nunamaker and R.H. Sprague, Jr. (eds), Jan. 1994, Los Alamitos, CA: IEEE Computer Society Press, 258-270. [Nominated for the Best Paper Award.]
Kersten, G. E., Rubin, S. and Szpakowicz, S., (1994) "Medical Decision-making in Negoplan". Proc. Second World Congress on Expert Systems, Estoril, J. Liebowitz (ed.), Jan. 1994, Macmillan (CD ROM), 1130-1137.
Feng, C., Copeck, T., Szpakowicz, S. and Matwin, S., (1994) "Semantic Clustering. Acquisition of Partial Ontologies from Public Domain Lexical Sources". Proc. AAAI Knowledge Acquisition for Knowledge-Based Systems Workshop. Banff, 1-1-1-16.
Delisle, S., Barker, K., Delannoy, J.-F., Matwin, S. and Szpakowicz, S., (1994) "Du texte aux clauses de Horn par la combinaison de l'analyse linguistique et de l'apprentissage automatique", Proc. Cinquièmes Journees Acquisition des Connaissances JAC-94, Strasbourg, O-1-O-14.
Delisle, S., Barker, K., Delannoy, J.-F., Matwin, S. and Szpakowicz, S., (1994) "From Text to Horn Clauses: Combining Linguistic Analysis and Machine Learning". R. Elio (ed.), Proc. Tenth Canadian Conf. on AI, CSCSI, Banff, 9-16.
Kersten,G. E., Lu, P. and Szpakowicz, S., (1994) "Indicative and Action Planning for an Intelligent Agent". R. Elio (ed.), Proc. Tenth Canadian Conf. on AI, CSCSI, Banff, 287-294.
Kersten, G. E., Cray, D. and Szpakowicz, S., (1995) "Supporting Strategic Decisions: Requirements, Approach and Application". Proc. Third Int. Conf. on Decision Support Systems, T. Bui (ed.), Hong Kong: HKUST, vol. 1, 1995, 329-346.
Barker, K. and Szpakowicz, S., (1995), "Interactive Semantic Analysis of Clause-Level Relationships", PACLING'95, 22-30.
Delisle, S. and Szpakowicz, S., (1995) "Realistic Parsing: Practical Solutions of Difficult Problems", PACLING'95, 59-68.
Li, X., Szpakowicz, S. and Matwin, S., (1995) "A WordNet-based Algorithm for Word Sense Disambiguation". Proc. IJCAI-95, 1368-1374.
Kersten,G. E., Koperczak, Z. and Szpakowicz, S., (1995) "Modelling Autonomous Agents in Changing Environments". G. W. Zobrist and C. Y. Ho (eds.) Progress in Robotics and Intelligent Systems, vol. 3. Ablex, Norwood, NJ, 1-50.
Noronha, S. J. and Szpakowicz, S., (1996) "Forest Fire Management with Negoplan". Z. W. Ras and M. Michalewicz (eds.), Foundations of Intelligent Systems, Proc. 9th International Symposium on Methodologies for Intelligent Systems ISMIS'96, Zakopane, Poland, June 1996, Lecture Notes in Artificial Intelligence 1079, Springer-Verlag, 479-490.
Noronha, S. J. and Szpakowicz, S., (1996) "Negoplan: A System for Logic-Based Decision Modelling". G. McCalla (ed.), Advances in Artificial Intelligence, Proc. 11th Bienial Conf. of the CSCSI, AI'96, Toronto, May 1996. Lecture Notes in Artificial Intelligence 1081, Springer-Verlag, 417-428.
Rezaki, A. and Ural, H. (1995) "Construction off checking sequences based on characterization sets", Computer Communications, 18(12): 911-920.
Schoot van der, H. and Ural, H. (1995) "Data flow oriented test selection for LOTOS", Computer Networks, 27(7), pp. 1111-1136.
Luo, G., Probert, R. and Ural, H. (1995) "Approach to constructing software unit testing tools", IEE Software Engineering, 10(6), pp. 245-252.
Chen, W-H. and Ural, H. (1995) "Minimum-cost synchronizable test sequences based on multiple UIOs", IEEE/ACM Transactions on Networking, 3(2), pp. 152-157.
Rodrigues, M. and Ural, H. (1995) "Lower bounds on the length of test sequences using UIO's", Networks, 25(1): 31-39.
Agarwal, A., Saleh, K. and Ural, H. (1994) "Modified distributed snapshots algorithm for protocol stabilization", Computer Communications, 17(12), pp. 863-870.
Saleh, K. and Ural, H. (1994) "Formal Specification of an information gateway service interface in Estelle", Computer Standards & Interfaces, 16, pp. 341-368.
Ural, H., Wu, X. and Zhang, F., "On minimizing the length of checking sequences", Accepted for publication in IEEE Transactions on Computers.
Schoot van der, H. and Ural, H., "Data flow analysis of system specifications in LOTOS", Accepted for publication in Journal of Software Engineering and Knowledge Engineering.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Schoot van der, H. and Ural, H., "Deciding deadlock-freedom of daisy-chain protocols by fair reachability analysis", Accepted for publication in Proc. of ISCIS'96.
Schoot van der, H. and Ural, H., "Protocol verification by leaping reachability analysis", Accepted for publication in Proc. of IEEE ICCCN'96.
Probert, R., Ural, H. and Yang, B., "Data flow testing at the program level", Accepted for publication in Proc. of ICSQ'96.
Liu, H., Miller, R., Schoot van der, H. and Ural, H. "Fair reachability analysis on multi-cyclic protocols and beyond", Accepted for publication in Proc. of IEEE ICDCS'96.
Guyot, S. and Ural, H. (Sept. 1995) "Synchronizable checking sequences based on UIO sequences", Proc. of IFIP IWPTS'95, Evry, France, pp. 395-407.
Schoot van der, H. and Ural, H. (Aug. 1995) "On generalizing fair reachability analysis to protocols with arbitrary topology", Proc. of ACM PODC'95, Ottawa, Ontario.
Rezaki, A., Ural, H. and White, G. (Nov. 1994) "Construction of checking sequences based on UIO sequences", Proc. of ISCIS'94, Antalya, Turkey, pp. 319-326.
Ural, H. and Zeng, H. (May 1994) "Computer-aided design of protocol converters", Proc. of CAST'94, Ottawa, Ontario, Canada.
Ozdemir, K. and Ural, H. (May 1994) "Deadlock detection in CFSM models via simultaneously executable sets", Proc. of ICCI'94, Peterborough, Ontario, Canada, pp. 673-688.
Massapati, G. H. and Ural, H. (May 1994) "Termination detection in H-meshes", Proc. of SISC'94, Ottawa, Ontario, Canada.
Haghverdi, E. and Ural, H., "Heterogeneous algebras and decomposition of automata", TR-95-06, Dept. of CSI, University of Ottawa, March 1995.
Ozdemir, K. and Ural, H., "Protocol validation by simultaneous reachability analysis", TR-95-09, Dept. of CSI, University of Ottawa, March 1995.
Schoot van der, H. and Ural, H., "Deadlock detection by fair reachability analysis: from cyclic to bi-cyclic protocols", TR-95-10, Dept. of CSI, University of Ottawa, March 1995.
Haghverdi, E. and Ural, H., "Submodule construction using derivatives", TR-95-13, Dept. of CSI, University of Ottawa, June 1995.
Schoot van der H. and Ural, H., "Deadlock detection by fair reachability analysis: multi-cyclic protocols and beyond", TR-95-17, Dept. of CSI, University of Ottawa, July 1995.
Schoot van der, H. and Ural, H., "On improving simultaneous reachability analysis for the efficient verification of deadlock-freedom", TR-95-20, Dept. of CSI, University of Ottawa, December 1995.
Ural, H., "An extension of def-use graph for increased accuracy of data flow representation", TR-94-08, Dept. of CSI, University of Ottawa, April 1994.
Ozdemir, K. and Ural, H., "Verification in concurrent systems by simultaneous reachability analysis", TR-94-10, Dept. of CSI, University of Ottawa, May 1994.
Rezaki, A. and Ural, H., "A proof for checking sequence construction by the UIOv method", TR-94-11, Dept. of CSI, University of Ottawa, June 1994.
Akiyama, J., Ishigami, Y, Urabe, M. and Urrutia, J., (1996), "On circles containing the maximum number of points", Discrete Mathematics, 151, pp. 15-18.
Abellanas, M., Garcia, J., Hernandez, G., Hurtado, F., Serra, O. and Urrutia, J. (1996), "Onion polygonizations", Information Processing Letters, 57, pp. 165-173.
Boland, R.P. and Urrutia, J. (1995), "Separating families of points on the plane", Information Processing Letters, 53, pp. 177-183.
Czyzowicz, J., Rivera-Campo, E., Urrutia, J. and Zaks, J. (1995), "On illuminating line segments in the plane", Discrete Mathematics, 137, pp.147-153.
Chénier, C., Urrutia, J. and Zaguia, N. (1995), "Scheduling tasks with communication delays on parallel processors", Order, 12, pp. 213-220.
Estivill-Castro, V., O'Rourke, J., Urrutia, J. and Xu, D. (1995), "Illumination of polygons with vertex floodlights", Information Processing Letters, 56, pp. 62-73.
Czyzowicz, J., Gaujal, B., Rivera-Campo, E., Urrutia, J. and Zaks, J. (1995), "Illuminating high-dimensional convex sets" Geometria Dedicata, 56, pp. 115-120.
Bracho, J., Montejano, L. and Urrutia, J. (1994), "Immobilization of smooth convex figures" Geometria Dedicata, 53, 119-132.
Czyzowicz, J., Rivera-Campo, E., Urrutia, J. and Zaks, J. (1994), "Protecting convex sets", Graphs and Combinatorics, 10, pp. 311-321.
Czyzowicz, J., Rivera-Campo, E., Urrutia, J. and Zaks, J. (1994), "Guarding rectangular art galleries", Discrete Mathematics, 50, pp. 149-157.
Czyzowicz, J., Rivera-Campo, E. and Urrutia, J. (1994), "Separation of convex sets", Discrete and Applied Mathematics, 51, pp. 325-328.
Gavril, F. and Urrutia, J. (1994), "Intersection graphs of concatenable subtrees of graphs", Discrete Mathematics, 52, pp. 195-209.
Abellanas, M., Hernandez, G., Neumann-Lara, V., Urrutia J., and Klein, R., "Containment of families of convex sets on the plane", to appear in Discrete and Computational Geometry.
Kranakis, E., Krizanc, D., Maheshwari, A., Noy, M., Sack, J.R., and Urrutia, J., "Stage-graph representations", to appear in Discrete Applied Mathematics.
Abello, J., Estivill-Castro, V., T. Shermer and J. Urrutia, "Illumination of orthogonal polygons with orthogonal floodlights". To appear in Int. Journal in Computational Geometry.
Hurtado F., Serra, O. and Urrutia, J., "Hiding people in arrangements of segments", to appear in Discrete Mathematics.
Bose, J., Guibas, L., Lubiw, A., Overmars, M., Souvaine, D. and Urrutia, J., "The floodlight illumination problem", to appear in Int. Journal in Computational Geometry.
Negro, A., Santoro, N. and Urrutia, J., "On the packel complexity of distributed selection", to appear in IEEE Trans..
Kranakis, E., Krizanc, D., Sack, J. R. and Urrutia, J., "Ray shooting from convex domains", to appear in Theoretical Computer Science.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Boissonnat, D., Czyzowicz, J., Devillers, O., and Urrutia, J.(1996), "Computing largest circles separating two sets of segments", Proc. of the Eighth Canadian Conference on Computational Geometry, pp. 173-178.
Czyzowicz, J., Kranakis, E., Krizanc, D., and Urrutia, J. (1996), "Maximal length common non-intersecting paths", Proc. of the Eighth Canadian Conference on Computational Geometry, pp. 185-189.
Castaneda, N., and Urrutia, J. (1996),"Straight line embeddings of planar graphs on point sets", Proc. of the Eight Canadian Conference on Computational Geometry, pp. 312-318.
Kranakis, E., Krizanc, D., Sack, J. R., and Urrutia, J. (1995), "Ray shooting from convex domains", ICALP 1995.
Abellanas, M., Hernandez, G., Klein, R., Neuman-Lara, V. and Urrutia, J. (1995), "Containment of families of convex sets on the plane", Proc. 11th ACM Symposium on Computational Geometry, June 5-7, Vancouver, BC.
Urrutia, J. (1995), "Illuminando poligonos con reflectores", Proc. VI Encuentro de Geometria Computacional, Barcelona, Spain, June 1995, pp. 59-72. Invited lecture.
Kranakis, E., Krizanc, D., Ruf, B., Urrutia, J. and Woeginger, "VC-dimensions for graphs", to appear in Proc. WG'95 21st Workshop on Graph-Theoretic Concepts in Computer Science, June 20-22, 1995. Aachen, Germany.
Estivill-Castro, V. and Urrutia, J. (1995), "The two floodlight problem", Proc. Fourth Workshop on Algorithms and Data Structures, Springer Verlag, Lecture Notes in Computer Science 955: pp. 62-73.
Kranakis, E., Drizanc, D. and Urrutia, J. (1995), "Implicit routing and shortest path information", to appear in Proc. SIROCCO'95, Olimpia, Greece, June 1995.
Kranakis, E. and Urrutia, J. (1995), "Isomorphic triangulations with few Steiner points", Proc. Seventh Canadian Conference on Computational Geometry, August 1995, 291-296.
Chen, D., Estivill-Castro, V. and Urrutia, J. (1995), "Optimal guarding of polygons and monotone chains", Proc. Seventh Canadian Conference on Computational Geometry, August 1995, 133-138.
Chénier, C. and Urrutia, J. (1995), "Shortest paths in convex and simple polygons", Proc. Seventh Canadian Conference on Computational Geometry, August 1995, pp. 175-180.
Abello, J., Estivill-Castro, V., Shermer, T. and Urrutia, J. (1995), "Illumination with orthogonal floodlights". Lecture Notes in Computer Science, Proceedings ISAA C'95. Eds.: G. Goos, J. Hartmanis, J. van Leeuwen. Vol. 1004.
Bauernoppe, F., Kranakis, E., Krizanc, D., Maheshwari, A., Zak, J.R. and Urrutia, J. (1995), "Planar stage graphs: Characterizations and applications", accepted in ICALP (International Colloquium on Automata and Languages and Programming).
Kranakis, E., Krizanc, D. and Urrutia, J. (1994), "On the number of directions in visibility representations of graphs", Proc. Int. Workshop on Graph Drawings, Lecture Notes in Computer Science, 894, pp. 167-176.
Estivill-Castro, V., and Urrutia, J. (1994), "Optimal floodlight illumination of orthogonal art galleries", Proc. of the Sixth Canadian Conference in Computational Geometry, pp. 81-86.
Belleville, P., Bose, P., Czyzowicz, J., Urrutia, J., and Zaks, J. (1994), "K-guarding polygons on the plane", Proc. of the Sixth Canadian Conference in Computational Geometry, pp. 381- 386.
Kranakis, E., Krizanc, D. and Urrutia, J. (1994), "Graph drawing", Lecture Notes in Computer Science (in press).
Cheng, C., Kang, L., Leung, N. and White, G.M. 1996), "Investigations of a Constraint Logic Programming Approach to University Timetabling", Lecture Notes in Computer Science, pp. 112-129, Aug. 1996.
Chénier, C., and White, G.M. (1994), "A Student Academic Audit System", Computers Educ., 23(4) pp.295-300 Dec. 1994.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
White, G.M., Review of "VSAT Networks", by G. Maral, ACM Computing Reviews, 37(4) p. 181, (Apr. 1996).
Saastamoinen, H. and White, G.M., "On Handling Exceptions", Proc. of ACM Conf. on Organizational Computing Systems, pp. 302-310 (Aug. 13-16, 1995)
Cheng, C., Kang, L., Leung, N. and White, G.M., "Investigations of a Constraint Logic Programming Approach to University Timetabling", Proc. of 1st Int. Conf. on the Practice and Theory of Automated Timetabling, pp. 82-93 (Aug. 30 - Sept. 1, 1995).
White, G.M., Review of "Ethernet Networks: Design, Implementation, Operation and Management" by Gilbert Held, ACM Computing Reviews 36(5), pp. 229-230 (May 1995).
White, G.M., Review of "A Modular Multirate Video Distribution System: Design and Dimensioning" by Y-W Leung and T-S Yum, ACM Computing Reviews 36(11), p. 578 (Nov. 1995).
White, G.M., Review of "Informatics Glossary: Lexique de l'Informatique" by François Mouzard, American Reference Books Annual'95, 26, pp. 734-735 (April 1995).
Rezaki, A., Ural, H., White, G.M., "Construction of Checking Sequences Based on UIO Sequences", Proc. of 9th International Symp. on Computers and Information Sciences, pp.319-326 (Nov. 7-9, 1994).
White, G.M., Review of "Migrating to Open Systems: Taming the Tiger" by Daniel R. Perley, ACM Computing Reviews, 35(9) p. 458 (Sep. 1994).
White, G.M., Review of "Application Development with Quattro Pro 5.0 for Windows" by E.M. Lunsford, ACM Computing Reviews, vol. 35, no. 8, p. 419, Aug. 1994.
White, G.M., Review of "Encyclopedia of Microcomputers", vol. 7, 8, 9, 10, American Reference Books Annual'94, 25 pp. 766-767 (Apr. 1994).
White, G.M., Review of "Microcomputer Market Place 1993", American Reference Books Annual'94, 25 p.769 (Apr. 1994).
White, G.M., Review of "The Software Encyclopedia 1993", American Reference Books Annual'94, 25 pp. 772-773 (Apr. 1994).
Chénier, C., Urrutia, J. and Zaguia, N. (1995), "Scheduling Tasks with Communication Delays on Parallel Processors", Order 12, 3, pp. 213-220.
Liu, W.P., Rival, I. and Zaguia, N. (1995), "Automorphisms, Isotone self maps and cycle free orders, Discrete Math., 144, pp. 59-66.
Desharnais, J., Belkhiter, N., Sghaier, S., Tchier, F., Jaoua, A., Mili, A. and Zaguia, N. (1995), "Embedding a demonic semilattice in a relation algebra", Theoretical Computer Science, 149, pp. 333-360.
Gratzer, G., Rival, I. and Zaguia, N. (1995) "Small Representations of finite Distributive Lattices as Congruence Lattices", Proceedings of the American Mathematical Society, Vol. 123, No. 7, pp. 1959-1961.
Rival, I. and Zaguia, N., (1995) "Images of Simple Lattice Polynomials", Algebra Universalis, 33, pp.10-14.
Rival, I. and Zaguia, N., (1995) "Perpendicular orders", Discrete Mathematics, 137, pp.303-313.
Zaguia, N., (1995) "Greedy ordered sets with no four cycles", Arts Combinatoria, 39, pp. 25-32.
Ewacha, K., Rival, I. and Zaguia, N. (1995), "Approximating the number of Linear Extensions", to appear in Theoretical Computer Science.
Ewacha, K., Rival, I. and Zaguia, N. (1995), "Unimodality, Linear Extensions and Width Two Orders", to appear in Discrete Mathematics.
o Other Publications (Books, chapters in books, Edited volumes, refereed conference proceedings)
Jourdan, G.V., Rival, I. and Zaguia, N. (1995), "Conjectures and Constructions about perpendicular pairs by experiment", Proceeding of the Seventh conference on Formal Power Series and Algebraic Combinatorics, at Marne-La-Vallée, pp. 613-621.
Jourdan, G. V., Rival, I. and Zaguia, N. (1995), "Order Explorer: A Visualization System to See and Do", Proceeding of "Ordinal and Symbolic Data Analysis, INRIA, Paris, pp. 57-58.
Rival, I. and Zaguia, N., (1995) "Learning Navigator: A Multipurpose Visualization software Tool for Education, Career and Employment counseling, NATCOM, 21, pp. 185-188.
Jourdan, G.V., Rival, I. and Zaguia, N., (1994) "Upwards drawings on the plane grid using less ink, in Graph Drawings 94", (eds. Tamassia, Tollis), Lecture Notes in Computer Science 894, Springler, pp.318-327.
Contact: Department of
Computer Science
Copyright © 1996 University of Ottawa
Last
update: 1996/12/04
Webmaster