University of Waterloo Computer Science PhDs

2016 (27)

2015 (15)

Amer Abdo Mouawad

On Reconfiguration Problems: Structure and Tractability

Supervisor: Naomi Nishimura
Karim Ali

The Separate Compilation Assumption

Supervisor: Ondrej Lhotak
Swathi Amarala

Monotone Numerical Methods for Nonlinear Systems and Second Order Partial Differential Equations

Supervisor: Justin Wan
Omid Ardakanian

On the Control of Active End-nodes in the Smart Grid

Supervisors: Srinivasan Keshav; Catherine Rosenberg
Tommy Carpenter

Measuring & Mitigating Electric Vehicle Adoption Barriers

Supervisor: Srinivasan Keshav
Alessandro Cosentino

Quantum State Local Distinguishability via Convex Optimization

Supervisor: John Watrous
Adam Fourney

Web Search, Web Tutorials & Software Applications: Characterizing and Supporting the Coordinated Use of Online Resources for Performing Work in Feature-Rich Software

Supervisor: Michael Terry
Kevin John Henry

Secure Protocols for Key Pre-distribution, Network Discovery, and Aggregation in Wireless Sensor Networks

Supervisor: Douglas Stinson
Shahin Kamali

Alternative Approaches for Analysis of Bin Packing and List Update Problems

Supervisor: Alejandro López-Ortiz
Andrew Kane

Integrating Skips and Bitvectors for List Intersection

Supervisor: Frank W. Tompa
Vinayak Pathak

Reconfiguring Triangulations

Supervisor: Anna Lubiw
Krzysztof Pietroszek

3D Pointing with Everyday Devices: Speed, Occlusion, Fatigue

Supervisor: Edward Lank
Alexei Pytel

Erosion, Self-Organization, and Procedural Modeling

Supervisor: Stephen Mann
Daniel Rasmussen

Hierarchical Reinforcement Learning in a Biologically Plausible Neural Architecture

Supervisor: Chris Eliasmith
Laleh Soltan Ghoraie

New Algorithms for Predicting Conformational Polymorphism and Inferring Direct Couplings for Side Chains of Proteins

Supervisors: Mu Zhu; Forbes J. Burkowski

2014 (30)

2013 (26)

2012 (21)

2011 (22)

2010 (23)

2009 (23)

2008 (20)

2007 (16)

Reaz Ahmed

Efficient and Flexible Search in Large Scale Distributed Systems

Supervisor: Raouf Boutaba
Stefan Buettcher

Multi-User File System Search

Supervisor: Charles L. A. Clarke
Amir Chinaei

Access Control Administration With Adjustable Decentralization

Supervisor: Frank W. Tompa
Ehsan Jay Chiniforooshan

Intersperse Coloring

Supervisor: Naomi Nishimura
Simon Clift

Linear and Non-Linear Monotone Methods for Valuing Financial Options Under Two-Factor, Jump-Diffusion Models

Supervisor: Peter A. Forsyth
Michael Jason Hinek

On the Security of Some Variant of RSA

Supervisors: Mark Giesbrecht; Douglas Stinson
Jiayuan Huang

Learning from Partially Labeled Data: Unsupervised and Semi-Supervised Learning on Graphs and Learning with Distribution Shifting

Supervisors: Dale Schuurmans; Shai Ben-David
Tarique Islam

Characterizing Hardness in Parameterized Complexity

Supervisor: Jonathan F. Buss
Phillip Ronald Kaye

Techniques for Quantum Computing State Generation, Discrete Logarithms in Elliptic Curve Groups, Reliable Global Control Schemes and Algorithmic Cooling

Supervisor: Michele Mosca
Jiye Li

Rough Set Based Rule Evaluations and their Applications

Supervisors: Nicholas J. Cercone; Robin Cohen
Bradley Lushman

Direct and Expressive Type Inference for the Rank 2 Fragment of System F

Supervisor: Gordon V. Cormack
Carlos Antonio Perez Delgado

Quantum Cellular Automata: Theory and Applications

Supervisor: Michele Mosca
Basem Shihada

Transport Control Protocol (TCP) over Optical Burst Switched Networks

Supervisor: Pin-Han Ho
Michael Spriggs

Morphing Parallel Graph Drawings

Supervisors: Therese Biedl; Anna Lubiw
Linli Xu

Convex Large Margin Training Techniques: Unsupervised, Semi-supervised, and Robust Support Vector Machines

Supervisors: Dale Schuurmans; Shai Ben-David
Patsy Ann Zimmer

Prioritizing Features Through Categorization: An Approach to Resolving Feature Interactions

Supervisor: Joanne M. Atlee

2006 (13)

Bronislava Brejova

Evidence Combination in Hidden Markov Models for Gene Prediction

Supervisors: Ming Li; Daniel G. Brown
Khuzaima Daudjee

Scalable Lazy Database Replication With Ordering Guarantees

Supervisor: Kenneth M. Salem
Majid Ghaderi Dehkordi

Impact of Mobility and Wireless Channel on the Performance of Wireless Networks

Supervisors: Raouf Boutaba; Srinivasan Keshav
Ali Ghodsi Boushehri

Nonlinear Dimensionality Reduction with Side Information

Supervisors: Dale Schuurmans; Brendan Frey
Lukasz Golab

Sliding Window Query Processing Over Data Streams

Supervisor: M. Tamer Özsu
Zhenmei Gu

Adaptive Information Extraction From Online Documents

Supervisor: Nicholas J. Cercone
Kin Fai Michael Kwok

Performance Analysis of Distributed Virtual Environments

Supervisor: Johnny W. Wong
Celine Latulipe

A Symmetric Interaction Model for Bimanual Input

Supervisors: Craig S. Kaplan; Charles L. A. Clarke
Claude-Guy Quimper

Efficient Propagators for Global Constraints

Supervisor: Alejandro López-Ortiz
Davor Svetinovic

Increasing the Semantic Similarity of Object-Oriented Domain Models by Performing Behavioral Analysis First

Supervisor: Daniel Berry
Tomas Vinar

Enhancements to Hidden Markov Models for Gene Finding and Other Biological Applications

Supervisors: Ming Li; Daniel G. Brown
Jingwei Wu

Open Source Software Evolution and its Dynamics

Supervisor: Richard C. Holt
Ning Zhang

Query Processing and Optimization in Native XML Databases

Supervisor: M. Tamer Özsu

2005 (15)

Xiangdong An

Towards Dynamic Multiagent Probabilistic Inference: Testbeds and Methods

Supervisors: Nicholas J. Cercone; Yang Xiang
Ivan Thomas Bowman

Scalpel: Optimizing Query Streams Using Semantic Prefetching

Supervisor: Kenneth M. Salem
Jiongxiong Chen

Extensions to Fixed Priority With Preemption Threshold and Reservation-Based Scheduling

Supervisor: Peter A. Buhr
Lei Chen

Similarity Search Over Time Series and Trajectory Data

Supervisor: M. Tamer Özsu
Octavian Andrei Dr?goi

The Continuum Architecture: Towards Enabling Chaotic Ubiquitous Computing

Supervisor: James P. Black
David Evans

Resource Management for Delivery of Dynamic Information

Supervisor: Johnny W. Wong
Masud Hasan

Reconstruction and Visualization of Polyhedra Using Projections

Supervisors: Therese Biedl; Alejandro López-Ortiz
Ahmed Hassan

Mining Software Repositories to Assist Developers and Support Managers

Supervisor: Richard C. Holt
Robert Kroeger

Admission Control for Independently-Authored Realtime Applications

Supervisor: William B. Cowan
Jianwei Niu

Template Semantics: A Parameterized Approach to Semantics-Based Model Compilation

Supervisors: Joanne M. Atlee; Nancy Day
Christopher Pal

Probability Models for Information Processing and Machine Perception

Supervisor: Brendan Frey
Relu-Eugen Patrascu

Linear Approximations for Factored Markov Decision Processes

Supervisor: Dale Schuurmans
Lubomir Stanchev

Automating Physical Design for an Embedded Control Program

Supervisor: Grant E. Weddell
Mauro Steigleder

Pencil Light Transport

Supervisor: Michael McCool
Egidio Loch Terra

Lexical Affinities and Language Applications

Supervisor: Charles L. A. Clarke

2004 (6)

Reem Al-Halimi

Mining Topic Signals From Text

Supervisor: Frank W. Tompa
Yann d'Halluin

Numerical Methods for Real Options in Telecommunications

Supervisor: George Labahn
Michael William Fleming

Reasoning About Interaction in Mixed-Initiative Artificial Intelligence Systems

Supervisor: Robin Cohen
Finnegan Southey

Augmenting Local Search for Satisfiability

Supervisor: Dale Schuurmans
Thomas Tran

Reputation-Oriented Reinforcement Learning Strategies for Economically-Motivated Agents in Electronic Market Environments

Supervisor: Robin Cohen
Ming-Wei Wang

Periodicity and Repetition in Combinatorics on Words

Supervisor: Jeffrey O. Shallit

2003 (14)

Howard Cheng

Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials

Supervisor: George Labahn
Ha Quang Le

Algorithms for the Construction of the Minimal Telescopers

Supervisors: Keith O. Geddes; Sergei A. Abramov
Yanni Ellen Liu

Deadline Based Network Resource Management

Supervisor: Johnny W. Wong
Fletcher Lu

Exploring Model-Based Methods for Reinforcement Learning

Supervisors: Nicholas J. Cercone; Dale Schuurmans
Maria Augusta Vieira Nelson

A Problem-Oriented Approach to Description and Analysis of Geographic Requirements

Supervisor: Donald D. Cowan
Torsten Paul Nelson

Formal Verification of Projection-Based Software Systems

Supervisor: Donald D. Cowan
Fuchun Peng

Language Independent Text Learning with Statistical n-Gram Language Models

Supervisor: Dale Schuurmans
David Pooley

Numerical Methods for Nonlinear Equations in Option Pricing

Supervisor: Peter A. Forsyth
Kamran Sartipi

Software Architecture Recovery Based on Pattern Matching

Supervisors: Farhad Mavaddat; Kostas Kontogiannis
Xuerong Tang

A High-Level Specification Language for Structured Document Transformation

Supervisor: Frank W. Tompa
Yingwei Wang

Binary One Algorithm: Retrieving High-Frequency Words in Linear Time and Logarithmic Space

Supervisor: Nicholas J. Cercone
Heath Windcliff

Computational Methods for Valuing Path-Dependent Derivatives

Supervisor: Peter A. Forsyth
Jinbo Xu

Protein Structure Prediction by Linear Programming

Supervisors: Ming Li; Prabhakar L. Ragde
Hui Zhang

XML Query Processing and Optimization

Supervisor: Frank W. Tompa

2002 (7)

Anthony Cox

A Source-Based Approach to Program Comprehension

Supervisors: Charles L. A. Clarke; Gordon V. Cormack
Erik D. Demaine

Folding and Unfolding

Supervisors: Anna Lubiw; J. Ian Munro
Jing Dong

Design Component Contracts: Modeling and Analysis of Pattern-Based Composition

Supervisor: Donald D. Cowan
Vlado Keselj

Modular Stochastic HPSGs for Question Answering

Supervisor: Nicholas J. Cercone
Trausti Thor Kristjansson

Speech Recognition in Adverse Environments: A Probabilistic Approach

Supervisor: Brendan Frey
David Victor Mason

Probabilistic Program Analysis for Software Component Reliability

Supervisors: Joanne M. Atlee; Denise Woit
Paul A. S. Ward

A Scalable Partial-Order Data Structure for Distributed-System Observation

Supervisor: David J. Taylor

2001 (3)

Jianchao Han

Interactive Visualization for Knowledge Discovery

Supervisor: Nicholas J. Cercone
Arunprasad Prabhaka Marathe

Query Processing Techniques for Arrays

Supervisor: Kenneth M. Salem
Matthew Young-Lai

Text Structure Recognition Using a Region Algebra

Supervisor: Frank W. Tompa

2000 (8)

Vitaliy Khizder

Uniqueness Constraints in Object-Relational Databases and Description Logics

Supervisor: Grant E. Weddell
Kevin Lanctot

Some String Problems in Computational Biology

Supervisor: Ming Li
Kurt Lichtner

A Framework for Machine-Assisted Software Architecture Validation

Supervisor: Donald D. Cowan
Daniel Morales Germán

Hadez, A Framework for the Specification and Verification of Hypermedia Applications

Supervisor: Donald D. Cowan
Luis Nova

A Formalization of an Extended Object Model Using Views

Supervisor: Donald D. Cowan
Glenn Norman Paulley

Exploiting Functional Dependence in Query Optimization

Supervisors: Per-Åke Larson; Frank W. Tompa
Piotr Roald Sidorowicz

A Formal Framework for Modeling and Testing Memories

Supervisor: Janusz A. Brzozowski
Robert Zvan

The Numerical Solution of Two-Factor Option Pricing Models

Supervisors: Peter A. Forsyth; Kenneth R. Vetzal

1999 (3)

Igor Benko

ECF Processes and Asynchronous Circuit Design

Supervisor: Jo Ebergen
Wing-Ki Wilkin Chau

Colour Reproduction for Reflective Images

Supervisor: William B. Cowan
Claudio C. Iturriaga-Velazquez

Map Labeling Problems

Supervisor: Anna Lubiw

1998 (7)

Nadarajah Asokan

Fairness in Electronic Commerce

Supervisors: James P. Black; Michael Waidner
Robert Berks

Performance Analysis of Asynchronous Networks

Supervisor: Jo Ebergen
Craig Steven Bruce

Performance Optimization for Distributed Shared-Data Systems

Supervisor: David J. Taylor
Toby Donaldson

A Computational Model of Turn-Taking in Discourse

Supervisor: Robin Cohen
Marzena H. Makuta

A Computational Model of Lexical Cohesion Analysis and Its Application to the Evaluation of Text Coherence

Supervisor: Robin Cohen
Radu Negulescu

Process Spaces and Formal Verification of Asynchronous Circuits

Supervisor: Janusz A. Brzozowski
Karsten Verbeurgt

Approximation of Some AI Problems

Supervisor: Ming Li

1997 (4)

Lori M. Case

An l1 Penalty Function Approach to the Nonlinear Bilevel Programming Problem

Supervisors: Paul Calamai; Andrew R. Conn
David Clark

Compact PAT Trees

Supervisor: J. Ian Munro
Weiye Zhang

Improving the Performance of Concurrent Sorts in Database Systems

Supervisors: Per-Åke Larson; J. Ian Munro
Mei Zhou

The Suffix-Signature Method for Searching for Phrases in Text

Supervisor: Frank W. Tompa

1996 (16)

Gopi Attaluri

Concurrency Control of Unstructured Data in an Interoperable Environment

Supervisor: Per-Åke Larson
Ian Eric Bell

Spline-Based Tools for Conventional and Reflective Image Reproduction

Supervisor: William B. Cowan
Peter Janis Bumbulis

Combining Formal Techniques and Prototyping in User Interface Construction and Verification

Supervisor: Donald D. Cowan
Yeow Meng Chee

Turan-Type Problems in Group Testing, Coding Theory, and Cryptography

Supervisor: Charles J. Colbourn
Charles L. A. Clarke

An Algebra for Structured Text Search

Supervisor: Gordon V. Cormack
James Jianghai Fu

Pattern Matching in Directed Graphs

Supervisor: Naomi Nishimura
Anil Kumar Goel

Exact Positioning of Data Approach to Memory Mapped Persistent Stores: Design, Analysis and Modelling

Supervisor: Peter A. Buhr
Masum Z. Hasan

The Management of Data, Events, and Information Presentation for Network Management

Supervisor: William B. Cowan
Alejandro López-Ortiz

On-Line Target Searching on Bounded and Unbounded Domains

Supervisor: Prabhakar L. Ragde
Naji Mouawad

Interval Graphs as Visibility Graphs of Simple Polygons

Supervisor: Anna Lubiw
Darrell Ronald Raymond

Partial Order Databases

Supervisor: Frank W. Tompa
Martin Francis van Bommel

Path Constraints for Graph-Based Data Models

Supervisor: Grant E. Weddell
Alfredo Viola

Analysis of Hashing Algorithms and a New Mathematical Transform

Supervisors: J. Ian Munro; Patricio V. Poblete
Gordon Vreugdenhil

A Framework for Online Partial Evaluation

Supervisor: Gordon V. Cormack
Xinxin Wang

Tabular Abstraction, Editing, and Formatting

Supervisor: Derick Wood
Steven Woods

A Method of Program Understanding Using Constraint Satisfaction for Software Reverse Engineering

Supervisor: Qiang Yang

1995 (5)

Andrej Brodnik

Searching in Constant Time and Minimum Space

Supervisor: J. Ian Munro
Heidi J. Strayer

Bounding Flows, Distances, and Reliability in Probabilistic Networks

Supervisor: Charles J. Colbourn
Weipeng Paul Yan

Rewrite Optimization of SQL Queries Containing GROUP-BY

Supervisor: Per-Åke Larson
Louxin Zhang

Emulations and Embeddings of Meshes of Trees and Hypercubes of Cliques

Supervisor: Jonathan F. Buss
Qiang Zhu

Estimating Local Cost Parameters for Global Query Optimization in a Multidatabase System

Supervisor: Per-Åke Larson

1994 (6)

Luiza M. F. Carneiro-Coffin

Jasminum: Joining ADV's and State Machines in a Notation for User-Interface Modeling

Supervisor: Donald D. Cowan
Mert Cramer

Effects of Structure, Other Mnemonics, and Descriptive Text on Command Language Usability

Supervisor: Frank W. Tompa
Wai Lam

Learning and Refining Bayesian Network Structures from Data

Supervisor: Fahiem Bacchus
Alan William Paeth

Linear Models of Reflective Colour

Supervisor: William B. Cowan
Chuan-Jin Richard Shi

Optimum Logic Encoding and Layout Wiring for VLSI Design: A Graph-Theoretic Approach

Supervisor: Janusz A. Brzozowski
Hari S. Titan

Maxcuts in Circuit Layout, Bitmaps, and Ising Models: Algorithms and Computational Experience

Supervisors: Anthony Vannelli; Anna Lubiw

1993 (5)

Glen Jeffrey Ditchfield

Contextual Polymorphism

Supervisor: Peter A. Buhr
Doreen L. Erickson Galli

Conflict-Free Access to Rectangular Subarrays in Parallel Memory Modules

Supervisor: Charles J. Colbourn
Luke James P. O'Connor

An Analysis of Product Ciphers Based on the Properties of Boolean Functions

Supervisors: Prabhakar L. Ragde; Ronald C. Mullin
Thomas Papadakis

Skip Lists and Probabilistic Analysis of Algorithms

Supervisor: J. Ian Munro
Jun Shen

Parametric Polymorphism, Higher Order Modules and Dynamic Dispatch: An ADA-Based Approach

Supervisors: Gordon V. Cormack; Dominic Duggan

1992 (6)

Helen Cameron

Extremal Cost Binary Trees

Supervisor: Derick Wood
Hang Khanh Du

New Resolvent Methods with Applications to Curves and Surfaces in Geometric Modeling

Supervisor: Ronald N. Goldman
Janelle J. Harms

Performance Evaluation of Scheduling for Reservation Systems with Applications to High-Speed Networks

Supervisor: Johnny W. Wong
Mark P.W. Mutrie

Towards a Symbolic System for Floating-Point Error Analysis

Supervisor: Richard H. Bartels
Lim Yohanes Stefanus

Blossoming Off the Diagonal

Supervisor: Ronald N. Goldman
Violet R. Syrotiuk

Wang Tilings and Distributed Orientation on Anonymous Torus Networks

Supervisors: Charles J. Colbourn; Jan K. Pachl

1991 (11)

Vinay Deshpande

Specification and Parallel Implementation of Joins for Flat and Nested Relations

Supervisor: Per-Åke Larson
Bart C. Domzy

Performance of Network Protocols for Time-Constrained Applications

Supervisor: Johnny W. Wong
Vladimir Estivill-Castro

Sorting and Measures of Disorder

Supervisor: Derick Wood
Daniel Alexander Ford

Performance Optimizations for Optical Disc Architectures

Supervisor: Stavros Christodoulakis
James Won-Ki Hong

Communication Abstractions for Distributed Systems

Supervisor: James P. Black
Richard Thomas Hurley

An Investigation of File Migration in a Distributed File System

Supervisor: Johnny W. Wong
Venkatesh Raman

Sorting In-Place with Minimum Data Movement

Supervisor: J. Ian Munro
Fei Song

A Processing Model for Temporal Analysis and Its Application to Plan Recognition

Supervisor: Robin Cohen
E. Bruce Spencer

Assimilation in Plan Recognition via Truth Maintenance with Reduced Redundancy

Supervisor: Robin Cohen
Peter Triantafillou

Employing Replication to Achieve High Availability and Efficiency in Distributed Systems

Supervisor: David J. Taylor
Peter van Beek

Exact and Approximate Reasoning about Qualitative Temporal Relations

Supervisor: Robin Cohen

1990 (13)

Eng-Wee Chionh

Base Points, Resultants, and the Implicit Representation of Rational Surfaces

Supervisor: Ronald N. Goldman
Bruce Fordyce Cockburn

Fault Models and Tests for Random-Access Memories

Supervisor: Janusz A. Brzozowski
David Robert Forsey

Motion Control and Surface Modeling of Articulated Figures in Computer Animation

Supervisors: Richard H. Bartels; Kellogg S. Booth
Pierre Gaboury

VLSI Architecture Design Using Predicate Logic

Supervisors: Mohamed I. Elmasry; David L. Poole
Anthony Joseph Gahlinger

Coherence and Satisfiability of Waveform Timing Specifications

Supervisor: Charles J. Colbourn
Tony Wen Hsun Lai

Efficient Maintenance of Binary Search Trees

Supervisor: Derick Wood
Ronald Gary McFadyen

Sequential Access in Files Used for Partial Match Retrieval

Supervisor: Per-Åke Larson
Michael Burnett Monagan

Signatures + Abstract Types = Computer Algebra - Intermediate Expression Swell

Supervisor: Gaston H. Gonnet
Sanjay R. Radia

Names, Contexts, and Closure Mechanisms in Distributed Computing Environments

Supervisor: Jan Pachl
Daniel Joseph Salomon

Metalanguage Enhancements and Parser-Generation Techniques for Scannerless Parsing of Programming Languages

Supervisor: Gordon V. Cormack
Trevor Janathan Smedley

Fast Methods for Computation with Algebraic Numbers

Supervisor: Keith O. Geddes
J. Andre N. Trudel

Representing and Reasoning About a Dynamic World

Supervisor: Randy G. Goebel
Paul Van Arragon

Nested Default Reasoning for User Modeling

Supervisor: David L. Poole

1989 (9)

Hosam M. Famy Abo El Fotoh

Reliability of Radio Broadcast Networks: A Graph Theoretic Approach

Supervisor: Charles J. Colbourn
Ricardo A. Baeza-Yates

Efficient Text Searching

Supervisor: Gaston H. Gonnet
Wing Hong Cheung

Process and Event Abstraction for Debugging Distributed Programs

Supervisors: James P. Black; Eric G. Manning
Eduardo Francisco D'Azevedo

On Optimal Triangulation for Piecewise Linear Approximation

Supervisor: R. Bruce Simpson
Ian John Davis

Error Correction in Robust Storage Structures

Supervisor: David J. Taylor
Robert Victor Klassen

Device Dependent Image Construction

Supervisors: William B. Cowan; Kellogg S. Booth
Louis Daniel Nel

Network Reliability and Facility Location in Unreliable Networks

Supervisor: Charles J. Colbourn
Eric Neufeld

Construction of a Sound Nonnumeric Probabilistic Reasoner

Supervisors: Romas Aleliunas; David L. Poole
Dimpy Pathria

The Numerical Analysis of Certain Nonlinear Dispersive Wave Equations

Supervisor: John LI. Morris

1988 (9)

Eleanor C. H. Lee Chu

Orthogonal Decomposition of Dense and Sparse Matrices on Multiprocessors

Supervisor: J. Alan George
Neil Coburn

Updating Derived Relations

Supervisor: Per-Åke Larson
Harold Douglas Dykeman

Architecture and Performance of Information Delivery Systems

Supervisor: Johnny W. Wong
Eric S. Fraga

Adaptive Mesh Refinement Techniques for Nonlinear Dispersive Wave Equations

Supervisor: John LI. Morris
Rangaswamy Jagannathan

A Descriptive and Prescriptive Model for Dataflow Semantics

Supervisor: Edward A. Ashcroft
Yuying Li

An Efficient Algorithm for Nonlinear Minimax Problems

Supervisor: Andrew R. Conn
Wendy J. Myrvold

The Ally and Adversary Reconstruction Problems

Supervisor: Charles J. Colbourn
Carl-Johan Henry Seger

Models and Algorithms for Race Analysis in Asynchronous Circuits

Supervisor: Janusz A. Brzozowski
Paul C. van Oorschot

Combinatorial and Computational Issues Related to Finding Roots of Polynomials over Finite Fields

Supervisor: Scott A. Vanstone

1987 (12)

José A. Blakeley-Perez

Updating Materialized Database Views

Supervisors: Per-Åke Larson; Frank W. Tompa
Mantis Hoi Ming Cheng

Lambda-Equational Logic Programming

Supervisor: Maarten H. van Emden
Ehab S. El-Mallah

Decomposition and Embedding Problems for Restricted Networks

Supervisor: Charles J. Colbourn
Jose I. Icaza

Adaptive Selection of Query Processing Strategies

Supervisor: Frank W. Tompa
Gerald W. Neufeld

A Name Service for Widely Distributed Computing Environments

Supervisor: Michael A. Malcolm
Patrick A. D. Powell

Icewater: A Procedural Design Language for VLSI

Supervisor: Mohamed I. Elmasry
Aparna Ramanathan

Improving Bounds for All-Terminal Network Reliability

Supervisor: Charles J. Colbourn
Gregory J. E. Rawlins

Explorations in Restricted Orientation Geometry

Supervisor: Derick Wood
Gabriel de Vos Smit

A Formatter-Independent Structured Document Preparation System

Supervisor: Donald D. Cowan
Rangaswamy Vasudevan

Network Transparency in Multi-Purpose Structuring

Supervisor: Michael A. Malcolm
Hong Zhi Yang

Query Transformation

Supervisor: Per-Åke Larson
Keitaro Yukawa

Amalgamating Functional and Relational Programming Through the Use of Equality Axioms

Supervisor: Maarten H. van Emden

1986 (7)

Pedro Celis

Robin Hood Hashing

Supervisors: Per-Åke Larson; J. Ian Munro
Joseph Carl Culberson

The Effect of Asymmetric Deletions on Binary Research Trees

Supervisor: J. Ian Munro
Francis Chi-Moon Lau

Policies and Mechanisms for Distributed Clusters

Supervisors: Eric G. Manning; James P. Black
Medahalli V. Ramakrishna

Perfect Hashing for External Files

Supervisor: Per-Åke Larson
Jonathan Schaeffer

Experiments in Search and Knowledge

Supervisors: Maarten H. van Emden; Randy G. Goebel
Stephen Michael Watt

Bounded Parallelism in Computer Algebra

Supervisor: Keith O. Geddes
Sheng Yu

On Systolic Automata

Supervisor: Karel Culik II

1985 (6)

Richard J. Beach

Setting Tables and Illustrations with Style

Supervisors: Kellogg S. Booth; John C. Beatty
Senad Busovaca

Handling Degeneracy in a Nonlinear L1 Algorithm

Supervisor: Richard H. Bartels
Gita Gopal

Reliable Broadcast Protocols for Local Area Networks

Supervisor: Johnny W. Wong
Prabandham Madan Gopal

Voice Transmission on Local Area Networks

Supervisor: Johnny W. Wong
Rolf Gunnar Karlsson

Algorithms in a Restricted Universe

Supervisor: J. Ian Munro
Claudia Maria Bauzer Medeiros

A Validation Tool for Designing Database Views that Permit Updates

Supervisor: Frank W. Tompa

1984 (3)

Walter Cunto Pucci

Average Case Selection

Supervisor: J. Ian Munro
Barry Joe

Finite Element Triangulation of Complex Regions Using Computational Geometry

Supervisor: R. Bruce Simpson
Hideyuki Tokuda

Shoshin: A Distributed Software Testbed

Supervisor: Eric G. Manning

1983 (8)

Janice I. Glasgow

An Operational Semantics for Lucid and Its Correctness

Supervisor: Edward A. Ashcroft
J. Howard Johnson

Formal Models for String Similarity

Supervisor: Frank W. Tompa
Esmond G.-Y. Ng

Row Elimination in Sparse Matrices Using Rotations

Supervisor: J. Alan George
Patricio V. Poblete

Fringe Techniques for Binary Search Trees

Supervisor: J. Ian Munro
Hamza Rashwan

Auxiliary Storage Methods for Sparse Positive Definite Linear Systems

Supervisor: J. Alan George
Paul Stachour

Portability Verification of PL/I Programs: Definition and Detection of Compiler Intercompatibilities

Supervisor: W. Morven Gentleman
Son T. Vuong

Formal Techniques for Protocol Specification and Validation ¾ Toward an Integrated System

Supervisor: Donald D. Cowan
Ali Yazici

An Organization of the Extrapolation Method of Multidimensional Quadrature for Vector and Multiprocessing

Supervisor: R. Bruce Simpson

1982 (5)

James P. Black

Analysis and Design of Systems of Robust Storage Structures

Supervisors: David J. Taylor; David E. Morgan
James H. Bradford

The ETA Interface - An Error Correcting Parser for Augmented Transition Networks

Supervisors: Maarten H. van Emden; Thomas Pietrzykowski
Jan K. Pachl

Formal Description of Communication Patterns

Supervisor: Karel Culik II
Alfredo R. Piquer

A Reliable Replicated Storage Service for a Local Network

Supervisor: Michael A. Malcolm
Nivio Ziviani

The Fringe Analysis of Search Trees

Supervisor: Gaston H. Gonnet

1981 (3)

Erich Bretholz

Optimization Techniques in Physical Database Design

Supervisors: J. Wesley Graham; Doren Rotem
Paulo Roberto F. Cunha

Design and Analysis of Message Oriented Programs

Supervisor: Thomas S. E. Maibaum
Larry Rendell

An Adaptive Plan for State-Space Problems

Supervisor: Thomas Pietrzykowski

1980 (9)

Thomas Todd Carey

Reachability in Restricted Classes of Petri Nets

Supervisor: Thomas Pietrzykowski
Thomas Alan Cargill

A View of Source Text for Diversely Configurable Software

Supervisor: W. Morven Gentleman
Norman John Livesey

Run-Time Control in a Transaction-Oriented Operating System

Supervisor: Eric G. Manning
John Kent Peacock

Distributed Simulation Using a Network of Processors

Supervisors: Eric G. Manning; Johnny W. Wong
Raul Ramirez Inurrigarro

Efficient Algorithms for Selecting Efficient Data Storage Structures

Supervisor: Frank W. Tompa
Nicola Santoro

Efficient Abstract Implementations for Relational Data Structures

Supervisor: Frank W. Tompa
Hendra Suwanda

Implicit Data Structures for the Dictionary Problem

Supervisor: J. Ian Munro
Denis Therien

Classification of Regular Languages by Congruences

Supervisor: Janusz A. Brzozowski
Mehmet Sabri Unsoy

Credit-Oriented Congestion Control Schemas in Two-Level Hierarchical Packet Switching Networks

Supervisors: Johnny W. Wong; David E. Morgan

1979 (2)

Monisoye Olorunsola Afolabi

Symbolic Series Solution of Ordinary Differential Equations

Supervisor: Keith O. Geddes
Carlos A. P. de Carvalho

On Program Analysis with Inequations and Binary Relations

Supervisor: Maarten H. van Emden

1978 (5)

David R. Cheriton

Multi-Process Structuring and the Thoth Operating System

Supervisor: Michael A. Malcolm
Michael Robert Levy

Data Types with Sharing and Circularity

Supervisor: Thomas S. E. Maibaum
Tok-Wang Ling

Improving Data Base Integrity Based on Functional Dependencies

Supervisor: Frank W. Tompa
David Russell McIntyre

Linear Time and Space Ordering Algorithms for Irregular Shaped Finite Element Systems

Supervisor: J. Alan George
Sylvia Louise Osborn

Normal Forms for Relational Databases

Supervisors: Frank W. Tompa; J. Ian Munro

1977 (10)

Brian R. Allen

On Binary Search Trees

Supervisor: J. Ian Munro
Philip T. Cox

Deduction Plans: A Graphical Proof Procedure for the First-Order Predicate Calculus

Supervisor: Thomas Pietrzykowski
Mansour Farah

Correct Compilation of a Useful Subset of Lucid

Supervisor: Edward A. Ashcroft
Gaston H. Gonnet Haas

Interpolation and Interpolation Hash Searching

Supervisor: J. Alan George
Mohamed G. Gouda

Protocol Machines: Towards a Logical Theory of Communications and Communication Protocols

Supervisor: Eric G. Manning
Matthew C. B. Hennessy

A Formal Approach to the Study of Parameter Passing Mechanisms and Non-Determinism

Supervisor: Edward A. Ashcroft
Marek I. Irland

Analysis and Simulation of Congestion in Packet-Switched Networks

Supervisor: Eric G. Manning
Richard C. Kolanko

A Structured Approach to Performance Measurement of Computer Networks

Supervisor: David E. Morgan
David Wing-Hoi Szeto

A Functional Model for Data Bases

Supervisor: James G. Linders
David J. Taylor

Robust Data Structure Implementations for Software Reliability

Supervisor: David E. Morgan

1976 (7)

Victor Kenneth Barwell

The Numerical Solution of Differential-Difference Equations

Supervisor: J. Douglas Lawson
Lewis Denver Baxter

The Complexity of Unification

Supervisor: Thomas Pietrzykowski
Bui-Ngoc Duong

A Formalism for Expressing and Studying Programs and Their Computations

Supervisor: Edward A. Ashcroft
Joseph Wai-Hung Liu

On Reducing the Profile of Sparse Symmetric Matrices

Supervisor: J. Alan George
Cláudio L. Lucchesi

A Minimax Equality for Directed Graphs

Supervisor: Daniel H. Younger
Ignacio Mijares

Structural Design of Logical Data Bases

Supervisors: Eric G. Manning; Richard W. Peebles
Krishnamurthy Vidyasankar

Some Covering Problems in Directed Graphs

Supervisor: Daniel H. Younger

1975 (9)

Syed Amir Bukhari

A Relational Data Base Model

Supervisor: James G. Linders
Walter F. Finden

Some Numerical Procedures for Solving Systems of ODE's Containing a Small Parameter

Supervisor: J. Douglas Lawson
Wilf Roger Lalonde

Practical LR Analysis of Regular Right Part Grammars

Supervisor: Karel Culik II
Anthony Lavia

Perturbation Methods in the Topological Design of Computer Communications Networks

Supervisor: Eric G. Manning
Jaroslav Opatrny

Parallel Rewriting Systems

Supervisor: Karel Culik II
James A. Smith

Automated Generation of Logic Diagrams

Supervisor: James G. Linders
David A. B. Swayne

Computation of Rational Functions with Matrix Argument with Application to Initial Value Problems

Supervisor: J. Douglas Lawson
Willem M. L. van Cleemput

Mathematical Models and Algorithms for the Circuit Layout Problem

Supervisor: James G. Linders
Arndt von Staa

Data Transmission and Modularity Aspects on Programming Languages

Supervisor: W. Morven Gentleman

1974 (11)

Julian Araoz Durand

Polyhedral Neopolarities

Supervisor: Jack Edmonds
Hendrik Jacobus Boom

Optimization Analysis of Programs in Languages with Pointer Variables

Supervisor: Donald D. Cowan
William S. Bowie

Towards a Distributed Architecture for OS/360

Supervisor: James G. Linders
Sergio E. R. de Carvalho

Design of Interrelated Lexical and Syntactical Analyzers

Supervisor: Karel Culik II
Ying-Tung Chen

Iterative Methods for Linear Least Squares Problem

Supervisor: W. Morven Gentleman
Jean-Louis Houle

A Formal Language for the Description, Modelling and Subsequent Realization of Digital Systems

Supervisor: James G. Linders
David C. Lam

Implementation of the Box Scheme and Model Analysis of Diffusion-Convection Equations

Supervisor: R. Bruce Simpson
Terence Chun-Yat Lau

A Class of Approximations to the Exponential Function for the Numerical Solution of Stiff Differential Equations

Supervisor: R. Bruce Simpson
Luigi Logrippo

Renamings in Parallel Program Schemas

Supervisors: Edward A. Ashcroft; Janusz A. Brzozowski
Gabriele Ricci

The Abaci (On the Representation of Data and Representation Dependent Algorithms)

Supervisor: Karel Culik II
James W. Welch

Towards the Effective Implementation of Descriptive Storage

Supervisor: J. Wesley Graham

1973 (6)

Robert John Collens

A Computer System for Balanced Incomplete Block Designs

Supervisor: Donald D. Cowan
Shin-Shan Jou

Category, Measure and Functional Inequalities

Supervisor: John Baker

AA, not CS
Robert Brien Maguire

Methods for Producing Visual Displays of Linear Graphs

Supervisor: Donald D. Cowan
Robert L. Probert

On the Complexity of Matrix Multiplication

Supervisor: Patrick C. Fischer
Lawrence D. Rogers

Optimal Paging Strategies and Stability Considerations for Solving Large Linear Systems

Supervisor: W. Morven Gentleman
Lawrence V. Saxton

Input-Output Conventions and the Complexity of Transductions

Supervisor: Patrick C. Fischer

1972 (6)

Michael S. Doyle

The Effects of Program Behaviour on the Design of Storage Hierarchies

Supervisor: J. Wesley Graham
Pieter S. Kritzinger

An Approach to the Optimization of Direct-Access Merge Performance

Supervisor: J. Wesley Graham
Imre Simon

Hierarchies of Events with Dot-Depth One

Supervisor: Janusz A. Brzozowski
David Michael Symes

The Extension of Machine-Independent Computational Complexity Theory to Oracle Machine Computation and to the Computation of Finite Functions

Supervisor: Patrick C. Fischer
Wang Seng Tan

Numerical Solution of Second Order Integro-Differential Equations

Supervisor: Charlotte Froese Fischer
Thomas C. Wilson

A Graph-Theoretic Approach to Some Problems in Compiler Code Optimization

Supervisors: Donald D. Cowan; Ronald C. Mullin

1971 (11)

Dilip Kumar Banerji

Residue Arithmetic in Computer Design

Supervisor: Janusz A. Brzozowski
Frederic H. Chipman

Numerical Solution of Initial Value Problems using A-Stable Runge-Kutta Processes

Supervisor: J. Douglas Lawson
Andrew R. Conn

A Gradient Type Method of Locating Constrained Minima

Supervisor: Thomas Pietrzykowski
Joseph Guy Robert Custeau

Aspects of the Design of Maintainable Computers

Supervisor: Eric G. Manning
Lawrence B. Etigson

Characterization of Trigonometric and Similar Functions by Functional Equations and Inequalities

Supervisors: János Aczél; H. Haruki

AA, not CS
Ina Pamela McWhirter

Substitution Expressions for Context-Free Languages

Supervisor: Janusz A. Brzozowski
Joseph P. Mokanski

Extensions of Functions Satisfying Cauchy and Pexider Type Equations

Supervisor: János Aczél

AA, not CS
David E. Morgan

Representation and Analysis of Computer Systems and Processes

Supervisor: Eric G. Manning
Che Tat Ng

Uniqueness Theorems in the Theory of Functional Equations

Supervisor: János Aczél

AA, not CS
John Clarke Warkentin

Small Classes of Recursive Functions and Relations

Supervisor: Patrick C. Fischer
C. Robert Zarnke

A Software Development Language

Supervisor: Donald D. Cowan

1970 (2)

Doron Jacob Cohen

Computer Based Fault Analysis of Digital Systems

Supervisor: Eric G. Manning
Bobby Otis Nash

Context-Free Parallel Levelled Languages

Supervisor: Janusz A. Brzozowski

1969 (3)

Byron L. Ehle

On Pade Approximations to the Exponential Function and A-Stable Methods for the Numerical Solution of Initial Value Problems

Supervisor: J. Douglas Lawson
Halina ?wiatak

On the Regularity of the Locally Integrable and Continuous Solutions of the Functional Equations $S_{i=1}^{n} {a_{i}(x,t)f(g_{i}(x,t)} = F(x,f(l_{1}(x)),...,f(l_{p}(x))) +b(x,t)$

Supervisor: Michel A. McKiernan

AA, not CS
Hugh C. Williams

A Generalization of the Lucas Functions

Supervisors: Ronald C. Mullin; Ralph G. Stanton

1965 (2)

Donald D. Cowan

The Numerical Solution of Unilateral Equations

Supervisor: Gerald Berman

before CS
J. Douglas Lawson

Some One-step Methods for the Numerical Solution of Systems of Ordinary Differential Equations

Supervisor: Ralph G. Stanton

before CS