RAPPORTS TECHNIQUES D'INFORMATIQUE (1995)
École d'Ingénierie et de Technologie de l'InformationUniversité d'Ottawa
Ottawa, Ontario K1N 6N5 CANADA
http://www.site.uottawa.ca/fra/ecole/publications
| TR-95-01 | Honeycomb networks: Topological properties and communication. | Ivan Stojmenovic | January 1995. |
| TR-95-02 | Front-End Interfaces for Simulation Environments: Quality Criteria and Visual Basic's Event-Based Approach. | Tuncer Ören and Nasser Ghasem-Aghaee | January 1995. |
| TR-95-03 | A Structural Decomposition Algorithm for -Regular Languages. | John Mullins and A. Baziramwabo | February 1995. |
| TR-95-04 | On a Hierarchy of Recursive Processes: Theoretic Limit and Logical Complexity of Testing. | John Mullins | February 1995. |
| TR-95-05 | Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. | Bernard Stépien and Luigi Logrippo | March 1995. |
| TR-95-06 | Heterogeneous Algebras and Decomposition of Automata. | Esfandiar Haghverdi and Hasan Ural | March 1995. |
| TR-95-07 | Speeding Up Problem-Solving by Abstraction: A Graph-Oriented Approach. | R.C. Holte, T. Mkadmi, R.M. Zimmer, and A.J. MacDonald | March 1995. |
| TR-95-08 | Introduction to ODP Engineering Model. | Kazi Farooqui and Luigi Logrippo | March 1995 |
| TR-95-09 | Protocol Validation by Simultaneous Reachability Analysis. | Kadir Özdemir and Hasan Ural | March 1995. |
| TR-95-10 | Deadlock Detection by Fair Reachability Analysis: from Cyclic to Bi-cyclic Protocols. | Hans van der Schoot and Hasan Ural | March 1995. |
| TR-95-11 | NRS Approach to Testing of Processes. | Robert L. Probert and Linsheng Wei | April 1995. |
| TR-95-12 | A Learning Agent that Assists the Browsing of Software Librairies. | Chris Drummond, Dan Ionescu and Robert Holte | May 1995. |
| TR-95-13 | Submodule Construction Using Derivatives. | Esfandiar Haghverdi and Hasan Ural | June 1995. |
| TR-95-14 | Cause-Effect Graphing Analysis and Validation of Requirements. | Khenaidoo Nursimulu and Robert L. Probert | June 1995. |
| TR-95-15 | An SDL (Formal) Specification of a North American OSI-Application Layer Interface for Distributed Multimedia Systems and Applications. | Hasem El-Gendy and Robert L. Probert | July 1995. |
| TR-95-16 | Extensions to the Greedy Perturbation Method for Minimizing Machine Set-Up Time for PCB Production. | Sylvia Boyd and Michael E. Weedmark | July 1995. |
| TR-95-17 | Deadlock detection by fair reachability analysis: multi-cyclic protocols and beyond. | Hans van der Schoot and Hasan Ural | July 1995. |
| TR-95-18 | Hierarchical A: Searching Abstraction Hierarchies Efficiently. | R.C. Holte, M.B. Perez, R.M. Zimmer, A.J. MacDonald | December 1995. |
| TR-95-19 | The Tradeoff Between Speed and Optimality in Hierarchical Search. | R.C. Holte, M.B. Perez, R.M. Zimmer, A.J. MacDonald | December 1995. |
| TR-95-20 | On Improving Simultaneous Reachability Analysis for the Efficient Verification of Deadlock-freedom. | Hans van der Schoot and Hasan Ural | December 1995. |