Please select from the list below to see who received their Ph.D in that year.
August 2006
Xuxian Jiang
Enabling Internet Worms and Malware Investigation and Defense Using Virtualization
D. Xu
Tiberiu Vasile Stef-Praun
Ownership and Decentralization in Distributed Systems Allocation Mechanisms
V. J. Rego
May 2006
Brian David Carrier
A Hypothesis-based Approach to Digital Forensic Investigations
E. H. Spafford
Rajeev Gopalakrishna
Improving Software Assurance Using Lightweight Static Analysis
E. H. Spafford & J. Vitek
Jiangtao Li
Privacy Enhanced Automated Trust Negotiation
M. J. Atallah & N. Li
Gahyun Park
Profile of Tries
W. Szpankowski
Adam Welc
Concurrenty Abstractions for Programming Languages Using Optimistic Protocols;from thesis
A. L. Hosking & S. Jagannathan
December 2005
Robert Gwadera
Reliable Identification of Significant Sets of Episodes in Event Sequences
W. Szpankowski and M. J. Atallah
Mahesh Veeraragh Tripunitara
A Theory Based on Security Analysis for Comparing the Expressive Power of Access Control Models
N. Li
August 2005
Florian Buchholz
Pervasive Binding of Labels to System Processes
E. H. Spafford
James Patrick Early
Behavioral Feature Extraction for Network Anomaly Detection
C. E. Brodley & E. H. Spafford
Keith Byron Frikken
Secure and Private Online Collaboration
M. J. Atallah
Murat Kantarcioglu
Privacy-Preserving Distributed Data Mining and Processing on Horizontally Partitioned Data
C. W. Clifton
Mohamed Fathalla Mokbel
Scalable Continuous Query Processing in Location-Aware Database Servers
W. G. Aref
Weichao Wang
Securing Wireless Network Topology and Routing
B. Bhargava
Paul David Williams
CuPIDS: Increasing Information System Security through the Use of Dedicated Co-processing
E. H. Spafford
Yuni Xia
Efficient Indexing Techniques for the Update-Intensive Environment
S. K. Prabhakar
Rong Xu
Improving Cache Performance by Smart Page Mapping in Application Programs
Z. Li
Ossama Mohamed Younis
An Energy-Efficient Architecture for Wireless Sensor Networks
S. Fahmy
May 2005
Bogdan Carbunar
Coverage Problems in Wireless Sensor and RFID Systems
J. Vitek & A. Y. Grama & C. Nita-Rotaru
Chun-Kong Cheng
Managing Uncertainty in Constantly-Evolving Environments
S. K. Prabhakar
Mohamed Galal Elfeky
Online Periodicy Mining
A. K. Elmagarmid & W. G. Aref
Ioannis Ioannidis
Algorthims and Data Structures for IP Lookup
A. Y. Grama
Yuhui Zhong
Formalization of Dynamic Trust and Uncertain Evidence for User Authorization
B. Bhargava
December 2004
Ding, Yonghua
Compiler-Based Computation Reuse Schemes for Handheld Devices
Z. Li
Palacz, Krzysztof
Crusoë -- Towards a Multicomputer Execution Environment for Java
J. Vitek
August 2004
Moustafa Mohamed Hammad
Query Processing in Stream Database Systems
Advisor: A. K. Elmagarmid and W. G. Aref
Mohamed Mosaad Hefeeda
A Framework for Cost-Effective Peer-to-Peer Content Distribution
Advisor: B. Bhargava
Ihab Francis Ilyas
Rank-aware Query Processing and Optimization
Advisor: A. K. Elmagarmid and W. G. Aref
Benjamin Asher Kuperman
A Categorization of Computer Security Monitoring Systems and the Impact on the Design of Audit Sources
Advisor: E. H. Spafford
Minseok Kwon
Designing and Characterizing Overlay Networks
Advisor: S. Fahmy
Yi Lu
Adaptive and Heterogeneous Mobile Wireless Networks
Advisor: B. Bhargava
Di Ma
Bounding the Stack Size of Interrupt-driven Programs
Advisor: J. Palsberg
Radu Sion
Rights Assessment for Discrete Digital Data
Advisor: M. J. Atallah and S. K. Prabhakar
Jaideep Shrikant Vaidya
Privacy Preserving Data Mining over Vertically Partitioned Data
Advisor: C. W. Clifton
Thomas John VanDrunen
Partial Redundancy Elimination for Global Value Numbering
Advisor: A. L. Hosking
Cheng Wang
Program Analysis and Scheduling for Distributed Computing on Handheld Devices
Advisor: Z. Li
August 2003
Dennis William Brylow
Static Checking of Interrupt-Driven Software
Advisor: J. Palsberg
Hoi Chang
Building Self-Protecting Software with Active and Passive Defenses
Advisor: M J Atallah
Md Ahsan Habib
Monitoring and Controlling QoS Network Domains: An Edge-to-Edge Approach
Advisor: B. Bhargava
Baskar Sridharan
Enforcing Safety in Pervasive Computing Environments
Advisor: A. P. Mathur
May 2003
Dmitri V. Kalashnikov
Efficient Querying of Constantly Evolving Data
Advisor: S. K. Prabhakar
Christopher Adam Telfer
Abstractions and Efficient Implementation of Automatically Reconfigurable Network Testbeds
Advisor: D. E. Comer
December 2002
Thomas Earl Daniels
Reference Models for the Concealment and Observation of Origin Identity in Store-and-Forward Networks
Advisor: E. H. Spafford
Huan Ren
Aggregate-Flow Scheduling: Theory and Practice
Advisor: K. Park
August 2002
Joao Wagner Lima Cangussu
A Mathematical Foundation for Software Process Control
Advisor: A. P. Mathur
Chuan-Ming Liu
Broadcasting and Blocking Large Data Sets with an Index Tree
Advisor: S. E. Hambrusch
Tian Zhao
Type Matching and Type Inference for Object-Oriented Systems
Advisor: J. Palsberg
December 2001
Susan Beth Evans Iacobacci
Interactive Surface Modeling and Analysis
Advisor: C. Bajaj
August 2001
Wenliang Du
A Study of Several Specific Secure Two-Party Computation Problems
Advisor: M. J. Atallah and E. H. Spafford
Min-Ho Kyung
Computer-Aided Kinematic Synthesis of Mechanical Systems Using Configuration Space
Advisor: E. P. Sacks
Stefano Lonardi
Global Detectors of Unusual Words: Design, Implementation, and Applications to Pattern Discovery in Biosequences
Advisor: A. Apostolico
Diego Martin Zamboni
Using Internal Sensors for Computer Intrusion Detection
Advisor: E. H. Spafford
May 2001
Kyung Koo Jun
Monitoring and Control of Networked Systems with Mobile Agents: Algorithms and Applications
Advisor: D. C. Marinescu
December 2000
Shalab Goel
Access and Method Execution for Distributed Complex Objects
Advisor: B. Bhargava
Matthew Gregg Knepley
Parallel Simulation of Particulate Flow
Advisor: A. H. Sameh
Yonghong Song
Compiler Algorithms for Efficient Use of Memory Systems
Advisor: Z. Li
August 2000
Yung-Pin Cheng
Refactoring Design Models for Compositional Verification, Conformance Testing, and Inductive Verification
Advisor: M. Young
Steven M Cutchin
Flexible User Interface Coupling with Operation Transformation
Advisor: C. Bajaj
Young Jun Kim
Visualization and Animation for Situation Awareness in the Battlefield
Advisor: C. M. Hoffmann
Sudipto Ghosh
Testing Component-Based Distributed Applications
Advisor: A. P. Mathur
May 2000
Ladislau-Lehel Boloni
Contributions to Distributed Object and Agent Systems
Advisor: D. C. Marinescu
David Lutterkort
Envelopes of Nonlinear Geometry
Advisor: J. Peters
Valerio Pascucci
Multidimensional And Multiresolution Geometric Data Structures For Scientific Visualization
Advisor: C. Bajaj
Sheng-Yih Wang
Approaches to Multimedia Traffic Management and Control
Advisor: B. Bhargava
December 1999
Neelam Gupta
Automated Test Data Generation Using Iterative Relaxation Methods.
Advisor: A. P. Mathur
Shahani M. Weerawarana
Network-based Problem Solving Environments.
Advisor: E. N. Houstis
August 1999
Reuben D. Pasquini
Algorithms for Improving the Performance of Optimistic Parallel Simulation.
Advisor: V. J. Rego
Zhanye Tong
Parallel Algorithms for Large Sparse Generalized Eigenproblems.
Advisor: A. H. Sameh
Vassilios Verykios
Knowledge Discovery in Scientific Databases.
Advisor: E. N. Houstis
May 1999
Carlos Gonzalez-Ochoa Aleman
Interactive Modeling Using Surface Splines.
Advisor: J. Peters
Guozhong Zhuang
The Coding and Compression of Geometric Objects.
Advisor: C. Bajaj
December 1998
Cassiano Ricardo Berenguer Durand
Symbolic and Numerical Techniques for Constraint Solving.
Advisor: C. M. Hoffmann
Haitao Jiang
Building Video Databases to Provide Content-Based Access.
Advisor: A. K. Elmagarmid
Gustavo Rodriguez-Rivera
Cyclic Distributed Garbage Collection Without Global Synchronization.
Advisor: V. F. Russo
May 1998
Juan Carlos Gomez
A Software Architecture for Multithreaded and Multiprotocol Distributed Applications.
Advisor: V. J. Rego
Ivan Victor Krsul
Computer Vulnerability Analysis.
Advisor: E. H. Spafford
Konstantinos N. Pantazopoulos
Numerical Methods and Software for Pricing American Financial Derivatives.
Advisor: E. H. Houstis
December 1997
Melliyal Annamalai
Efficient Retrieval of Images in Distributed Digital Libraries.
Advisor: B. Bhargava
Shunge Li
Quality of Service Control for Distributed Multimedia Systems.
Advisor: B. Bhargava
Christoph Ludwig Schuba
On the Modeling, Design, and Implementation of Firewall Technology.
Advisor: E. H. Spafford
August 1997
Narendran Ramakrishnan
Recommender Systems for Problem Solving Environments.
Advisor: E. N. Houstis
Daniel Robert Schikore
Interactive Visualization of Multidimensional Scientific Data.
Advisor: C. Bajaj
Mihai G. Sirbu
Intelligent Agent Support for Prallel and Distributed Computing.
Advisor: D. C. Marinescu
Roberto Solis-Oba
Robustness and Approximation in Combinatorial Optimization.
Advisor: G. N. Frederickson
December 1996
Fausto Bernardini
Automatic Reconstruction of CAD Models and Properties from Digital Scans.
Advisor: C. Bajaj
Tzvetan Todorov Drashansky
An Agent-Based Approach to Building Multidisciplinary Problem Solving Environments.
Advisor: J. R. Rice
Muhammad Farrukh Khan
Techniques for Synchronous Retrieval of Concurrent Multimedia I/O Streams.
Advisor: A. Ghafoor and A. K. Elmagarmid
Chueng-Hsien Lin
An Architecture for a Campus-sized Wireless Mobile Network.
Advisor: D. E. Comer
Peinan Zhang
Brokered Collaborative Systems for CSCW.
Advisor: C. Bajaj
August 1996
Gerald Baumgartner
Modularization Constructs for Object-Oriented and Functional Languages.
Advisor: V. F. Russo
Felipe Knop
Software Architectures for Fault-Tolerant Replications and Multithreaded Decompositions: Experiments with Practical Parallel Simulation.
Advisor: V. J. Rego
Ioana Maria Martin
Scientific Data Visualization and Image Processing Data with Applications to Structural Biology.
Advisor: D. C. Marinescu
Edward Mascarenhas
A System for Multithreaded Parallel Simulation and Computation with Migrant Threads and Objects.
Advisor: V. J. Rego
Kuei Yu Wang
Hiding the Latency of Paging and Input/Output Operations on Massively Parallel Systems.
Advisor: D. C. Marinescu
May 1996
Jindong Chen
Interactive Modeling with A-patches.
Advisor: C. Bajaj
Jin Jing
Data Management in Wireless Client-Server Information Systems.
Advisor: A. K. Elmagarmid
Patrick Andrew Muckelbauer
Structural Subtyping in a Distributed Object System.
Advisor: V. F. Russo
December 1995
Tsanchi Li
Adequacy Assessment of Tests for Fault-tolerance.
Advisor: A. P. Mathur
Xiangning Liu
Data Replication and Communication for Topologically Scaled Distributed Systems.
Advisor: B. Bhargava
Lu Xu
Two Dimensional Concurrent Program Debugging.
Advisor: M. Young
August 1995
Xiangping Chen
Representation, Evaluation and Editing of Feature-Based and Constraint-Based Design.
Advisor: C. M. Hoffmann
Ioannis P. Fudos
Constraint Solving for Computer Aided Design.
Advisor: C. M. Hoffmann
Sandeep Kumar
Classification and Detection of Computer Intrusions.
Advisor: E. H. Spafford
Evaggelia Pitoura
Transaction Management for Mobile Heterogeneous Computing.
Advisor: B. Bhargava
Po-ting Wu
Parallel Electronic Prototyping of Physical Objects.
Advisor: E. N. Houstis
December 1994
Yongguang Zhang
Communication Experiments for Distributed Transaction Processing -- From Lan to Wan.
Advisor: B. Bhargava
August 1994
Vinod Anupam
Collaborative Multimedia Environments for Problem Solving.
Advisor: C. Bajaj
Mei-Hwa Chen
Tools and Techniques for Testing Based Software Reliability Estimation.
Advisor: V. J. Rego and A. P. Mathur
Yin-he Jiang
Enhancing Functionality of Relational Database Systems.
Advisor: B. Bhargava
Victor Todd Norman
Management of an Internet of Routers.
Advisor: D. E. Comer
Janche Sang
Multi-Threading in Distributed-Memory Systems and Simulation: Design, Implementation, and Experiments.
Advisor: V. J. Rego
Honghai Shen
Access Control for Collaborative Environments.
Advisor: P. Dewan
Sanjiva Weerawarana
Problem Solving Environments for Partial Differential Equations.
Advisor: E. N. Houstis
Ai-dong Zhang
Advanced Transaction Management for Supporting Interoperability in Multidatabase Systems.
Advisor: B. Bhargava
May 1994
Hyeran Byun
Neurocomputing on Distributed Memory Machines.
Advisor: E. N. Houstis
Marius Adrian Cornea-Hasegan
Determination of Biological Macromolecular Structures Using Distributed Memory MIMD Systems.
Advisor: D. C. Marinescu
Shawn David Ostermann
Reliable Message Transport For Network Communication.
Advisor: D. E. Comer
Lih-Chyun Shu
Concurrency Control and Scheduling for Hard Real-Time Systems.
Advisor: M. Young
Pamela Jean Vermeer
The Medial Axis Transform to Boundary Representation Conversion.
Advisor: C. M. Hoffmann
Chonchanok Viravan
Enhancing Debugging Technology.
Advisor: E. H. Spafford
December 1993
Stephen Joel Chapin
Scheduling Support Mechanisms for Autonomous, Heterogeneous, Distributed Systems.
Advisor: E. H. Spafford
Ling-Yu Chuang
Concurrency Enhancement through Program Unification: Design, Techniques, and Experiments.
Advisor: V. J. Rego
James Gentry Mullen
Atomic Commitment in Multidatabase Systems.
Advisor: A. K. Elmagarmid
Weichen Eric Wong
On Mutation and Data Flow.
Advisor: A. P. Mathur
Wei Jen Yeh
Controlling State Explosion in Reachability Analysis.
Advisor: M. Young
August 1993
Jiansan Chen
A Systematic Approach for the Specification and the Execution of Global Transactions in Multidatabase Systems.
Advisor: A. K. Elmagarmid
Ke-Hsiung Chung
Concurrent Composite Computational Model for Stochastic Simulation.
Advisor: V. J. Rego
Anupam Joshi
On Connectionism and the Problem of Correspondence.
Advisor: C.-H. Lee and V. J. Rego
Hsin Pan
Software Debugging with Dynamic Instrumentation and Test-Based Knowledge.
Advisor: R. A. DeMillo and E. H. Spafford
Hung-Yi Tony Tu
New Approaches for VLSI Layout Compaction.
Advisor: S. E. Hambrusch
May 1993
Malcolm C. Fields
Computational Problems in Feature Research.
Advisor: D. C. Anderson
December 1992
Andrew Vasanth Royappa
Symbolic Methods in Computer Graphics and Geometric Modeling.
Advisor: C. Bajaj
August 1992
Zi-Yi Danny Chen
Parallel Techniques for Paths, Visibility, and Related Problems.
Advisor: M. J. Atallah
Ching-Shoei Chiang
The Euclidian Distance Transform.
Advisor: C. M. Hoffmann
Nicolaos Panayiotis Chrisochoides
On the Mapping of Partial Differential Equation Computations onto Distributed Memory MIMD Parallel Machines.
Advisor: E. N. Houstis
Herbert Scott McFaddin
An Object-based Problem Solving Environment for Collaborating PDE Solvers and Editors.
Advisor: J. R. Rice
Jagannathan Srinivasan
Replication and Fragmentation of Composite Objects in Distributed Database Systems.
Advisor: B. Bhargava
May 1992
Bonita Marie Rais
Analysis of some trie parameters under probabilistic models.
Advisor: W. Szpankowski
Brian Louis Stuart
An Alternative Computational Model for Artificial Intelligence.
Advisor: C.-H. Lee
December 1991
Edward William Krauser, Jr.
Compiler-Integrated Software Testing.
Advisor: R. A. DeMillo
Jiaxun Yu
Exact Arithmetic Solid Modeling.
Advisor: C. M. Hoffmann
Jianhua Zhou
Visualization of Four Dimensional Space and Its Applications.
Advisor: C. M. Hoffmann
August 1991
Hiralal Agrawal
Towards Automatic Debugging of Computer Programs.
Advisor: R. A. DeMillo and E. H. Spafford
Paul Edward Buis
Distributed Scientific Software Systems.
Advisor: W. R. Dyksen
Tamal Krishna Dey
Decompositions of Polyhedra in Three Dimensions.
Advisor: C. Bajaj
James Nelson Griffioen
Remote Memory Backing Storage for Distributed Virtual Memory Operating Systems.
Advisor: D. E. Comer
Insung Ihm
On Surface Design with Implicit Algebraic Surfaces.
Advisor: C. Bajaj
Yungho Leu
Flexible Transaction Management in the InterBase Project.
Advisor: A. K. Elmagarmid
Lynn Ellen Te Winkel
Mesh Algorithms for Problems in Image Processing.
Advisor: S. E. Hambrusch
May 1991
Weiming Du
Maintaining Multidatabase Consistency: The Quasi Serializability Approach.
Advisor: A. K. Elmagarmid
Abdelsalam Ali Helal
Adaptability to Failures in Distributed Systems.
Advisor: B. Bhargava
Kenneth Robert Rodemann
Route Adaptation and Persistence in Networks.
Advisor: D. E. Comer
Ko-Yang Wang
Intelligent Program Optimization and Parallelization for Parallel Computers.
Advisor: P. Mehrotra
December 1990
Guillermina Cabral
Design Format Transformations.
Advisor: H. E. Dunsmore
Byoungju Choi
Software Testing Using High Performance Computers.
Advisor: A. P. Mathur
Charles Howard Koelbel
Compiling Programs for Distributed Memory Machines.
Advisor: P. Mehrotra
Shy-Renn Lian
On Increasing Reliability and Availability in Distributed Database Systems.
Advisor: B. Bhargava
Luis Enrique Mafla Gallegos
Experimental Studies in Distributed Transaction Processing Systems.
Advisor: B. Bhargava
Joseph Brendan Manning
Geometric Symmetry in Graphs.
Advisor: M. J. Atallah
Daniel Wayne Wetklow
Type Reconstruction Algorithms for Object-Oriented Languages.
Advisor: R. D. Stansifer
August 1990
Jung-Hong Chuang
Surface Approximations in Geometric Modeling.
Advisor: C. M. Hoffmann
Jyh-Jong Tsay
Techniques for Solving Geometric Problems on Mesh-Connected Computers.
Advisor: M. J. Atallah
May 1990
John Thomas Riedl
Adaptable Distributed Transaction Systems.
Advisor: B. Bhargava
Shirley Victoria Browne
Quorum-based Recovery in Replicated Database Systems.
Advisor: B. Bhargava
December 1989
Susan Hatcher Rodger
Parallel Job Scheduling Algorithms.
Advisor: G. N. Frederickson
August 1989
John Paul Bonomo
Parallel Iterative Techniques for the Solution of Elliptic Partial Differential Equations.
Advisor: W. R. Dyksen
Dah Jyh Guan
Vehicle Routing in Simple Graphs.
Advisor: G. N. Frederickson
Ajay Kumar Gupta
On the Relationship Between Parallel Computation and Graph Embeddings.
Advisor: S. E. Hambrusch
Rajendra Shivaram Yavatkar
An Architecture for High-Speed Packet Switched Networks.
Advisor: D. E. Comer
December 1988
Myung-Soo Kim
Motion Planning with Geometric Models.
Advisor: C. Bajaj
Pei-Jyun Leu
Consistent State Detection and Recovery for Concurrent Processing.
Advisor: B. Bhargava
Thomas Narten
Best Effort Delivery in Connectionless Networks.
Advisor: D. E. Comer
August 1988
Parthasarathy Bhasker
Semlog: Multiparadigm Programming Language for Knowledge Engineering.
Advisor: A. B. Whinston
Christina C. Christara
Parallel Algorithms and Architectures for the Numerical Solution of Partial Differential Equations.
Advisor: E. N. Houstis
Mahesh Kumar Rathi
An Objective Methodology for Early Software Size Estimation.
Advisor: S. D. Conte
Gregory E. Shannon
Designing Efficient Parallel Algorithms: Techniques and Applications.
Advisor: G. N. Frederickson
May 1988
Robert L. Brown
A Distributed Program Composition System.
Advisor: D. E. Comer and P. J. Denning
Craig E. Wills
Service Execution in a Distributed Environment.
Advisor: J. T. Korb
December 1987
Balachander Krishnamurthy
A Uniform Model of Interaction in Interactive Systems.
Advisor: J. T. Korb
August 1987
Michael T. Goodrich
Efficient Parallel Techniques for Computational Geometry.
Advisor: M. J. Atallah
Ravi Janardan
Space-efficient Schemes for Message Routing in Distributed Networks.
Advisor: G. N. Frederickson
Cristina Ruggieri
Dynamic Memory Allocation Techniques based on the Lifetime of Objects.
Advisor: T. P. Murtagh
August 1986
Ralph E. Droms
Naming of Files in Distributed Systems.
Advisor: D. E. Comer
Christopher A. Kent
Cache Coherence in Distributed Systems.
Advisor: D. E. Comer
Calvin J. Ribbens
Domain Mappings: A Tool for the Development of Vector Algorithms for Numerical Solutions of Partial Differential Equations.
Advisor: J. R. Rice
Zuwang Ruan
File Replication in Distributed Systems.
Advisor: W. F. Tichy
May 1986
Atte Juhani Kortekangas
Recognition of 3-Dimensional Objects by Rendering Function Matching.
Advisor: A. B. Whinston
Shuh-Shen James Pan
An Equational Approach to Decision Support Systems.
Advisor: A. B. Whinston
December 1985
Alejandro A. Kapauan
Pringle; A Test Bed for Parallel Computer and Parallel I/O Architectures.
Advisor: D. B. Gannon
Jairo Panetta
Primitive Parallel Operations for Computational Linear Algebra.
Advisor: D. B. Gannon
Tze-Jie Yu
The Static and Dynamic Models of Software Defects and Reliability.
Advisor: H. E. Dunsmore
August 1985
Stephan V. Bechtolsheim
Graph Based Data Flow Programming of Parallel Machines.
Advisor: D. B. Gannon
Yeou-Huei Hwang
Parallel Processing Image Synthesis.
Advisor: D. B. Gannon
Teemu Tapani Kerola
Approximate and Exact Solutions for Multiple Class Queueing Network Models.
Advisor: H. D. Schwetman
May 1985
Larry Lee Peterson
Defining and Naming the Fundamental Objects in a Distributed Message System.
Advisor: D. E. Comer
December 1984
Kuo-Cheng Li
Vector C - A Programming Language for Vector Processing.
Advisor: H. D. Schwetman
August 1984
Andrew Wang
The Estimation of Software Size and Effort: An Approach Based on the Evaluation of Software Metrics.
Advisor: H. E. Dunsmore
May 1984
Matthew Bishop
Practical Take-Grant Systems: Do They Exist?
Advisor: D. E. Denning
Andre B. Bondi
Incorporating Open Queueing Models into Closed Queueing Network Algorithms.
Advisor: P. J. Denning
December 1983
David M. Capka
The Nondeterministic Computation of Functions.
Advisor: P. R. Young
August 1983
Subhash C. Agrawal
Metamodeling: A Study of Approximations in Queueing Models.
Advisor: P. J. Denning
James D. Arthur
OMNI: An Interactive Environment for Tool Selection, Specification, and Composition.
Advisor: D. E. Comer
May 1983
David Mount
Graph Spectra and Isomorphism Testing.
Advisor: C. M. Hoffmann
Danny A. Reed
Performance Based Design and Analysis of Multimicrocomputer Networks.
Advisor: H. D. Schwetman
David K. Schrader
Concurrency Control in Distributed Ring Computer Systems.
Advisor: P. J. Denning
Stephen Thebaut
The Saturation Effect in Large-Scale Software Development: Its Impact and Control.
Advisor: V. Y. Shen
December 1982
Jeffrey A. Brumfield
Operational Analysis of Queueing Phenomena.
Advisor: P. J. Denning
Eric R. Dittert
On the Complexity of Retrieving Information Associated with Data Keys.
Advisor: M. J. O'Donnell
Kye Sherrick Hedlund
Wafer Scale Integration of Configurable, Highly Parallel Processors.
Advisor: L. Snyder
Ching-Chih Hsiao
Highly Parallel Processing of Relational Databases.
Advisor: L. Snyder
August 1982
Vance E. Waddle
A Methodology and System for Logical Data Base Design.
Advisor: A. B. Whinston
May 1982
William A. Ward, Jr.
Finite Difference Methods for Nearly Singular Problems.
Advisor: J. R. Rice
December 1981
Leslie Paul Chew
Normal Forms in Term Rewriting Systems.
Advisor: M. J. O'Donnell
August 1981
Deborah A. Joseph
On the Power of Formal Systems for Analyzing Linear and Polynomial Time Program Behavior.
Advisor: P. R. Young
Stephen J. Tolopka
On Modeling Local Paging Algorithms for Virtual Memory Systems.
Advisor: H. D. Schwetman
December 1980
Scott N. Woodfield
Enhanced Effort Estimation by Extending Basic Programming Models to Include Modularity Factors.
Advisor: V. Y. Shen
August 1980
Joseph H. Fasel III
Programming Languages as Abstract Data Types -- Definition and Implementation.
Advisor: P. J. Denning
May 1980
T. Donald Dennis
A Capability Based Machine.
Advisor: P. J. Denning
December 1979
Gianfranco Balbo
Approximate Methods in Computer Performance Evaluation.
Advisor: P. J. Denning
Alan R. Hevner
The Optimization of Query Processing on Distributed Database Systems.
Advisor: S. B. Yao
James R. Miller
Computer Graphics in Macromolecular Crystallography.
Advisor: D. C. Anderson
August 1979
Ronald F. Boisvert
High Order Finite Difference Techniques for Elliptic Boundary Value Problems.
Advisor: J. R. Rice
May 1979
Edward F. Gehringer
Functionality and Performance in Capability-Based Operating Systems.
Advisor: H. D. Schwetman
Richard T. Simon
Modeling of Virtual Memory Systems.
Advisor: P. J. Denning
December 1978
Steven C. Bruell
On Single and Multiple Job Class Queueing Network Models of Computer Systems.
Advisor: H. D. Schwetman
Robert L. Mead, Jr.
On the Modeling of Resource Demands in a Multiprogrammed Computer System.
Advisor: H. D. Schwetman
August 1978
Timothy J. Long
Some Polynomial Time Reducibilities.
Advisor: P. R. Young
Karl J. Ottenstein
Data-Flow Graphs as an Intermediate Program Form.
Advisor: M. H. Halstead
Linda M. Ottenstein
Predicting Parameters of the Software Validation Effort.
Advisor: M. H. Halstead
David A. Poplawski
Error Recovery for Extended LL-Regular Parsers.
Advisor: C. M. Hoffmann
August 1977
Ronald D. Gordon
A Measure of Mental Effort Related to Program Clarity.
Advisor: M. H. Halstead
Mayer D. Schwartz
Inference From Statistical Data Bases.
Advisor: P. J. Denning
Karl A. Winklmann
A Theoretical Study of Some Aspects of Parameter Passing in ALGOL 1960 and in Similar Programming Languages.
Advisor: P. R. Young
December 1976
Gordon S. Graham
A Study of Program and Memory Policy Behaviour.
Advisor: P. J. Denning
Ben R. Konsynski
Computer Aided Logical Applications Software Design.
Advisor: J. F. Nunamaker, Jr.
August 1976
Robert H. Bonczek
Theoretical description of an access language for a general decision support system.
Advisor: A. B. Whinston
Sharon K. Fletcher
A Quasi-Interactive Approach to Computer Assisted Instruction.
Advisor: H. D. Schwetman
Kevin C. Kahn
Program Behavior and Load Dependent System Performance.
Advisor: P. J. Denning
May 1976
Patrick A. Blosser
An Automatic System for Application Software Generation and Portability.
Advisor: J. F. Nunamaker, Jr.
James M. Lemme
Speedup in Parallel Algorithms for Adaptive Quadrature.
Advisor: J. R. Rice
Richard F. Puk
The Optimal Distribution of Device-Dependent Graphics Functions.
Advisor: R. Garrett
Bradford W. Wade
A Micro-program Mini-computer for the Efficient Execution of High-level Language Program.
Advisor: V. B. Schneider
December 1975
George W. Cox
Portability and Adaptability in Operating System Design.
Advisor: V. B. Schneider
Atilla Elci
Factors affecting the program size of control functions of operating systems.
Advisor: M. H. Halstead
Bruce J. MacLennan
Extensible Programming Language.
Advisor: V. B. Schneider
May 1975
Dorothy E. Denning
Secure Information Flow in Computer Systems.
Advisor: H. D. Schwetman
December 1974
David I. Heiman
Computational Aspects of the Busy Period for the Single-Server Queue in Discrete Time.
Advisor: M. F. Neuts
Thomas I. M. Ho
A Non-Procedural High-Level Language for Automated Design of Application Systems.
Advisor: J. F. Nunamaker, Jr.
Dennis G. Kafura
Analysis of Scheduling Algorithms for a Model of a Multiprocessor Computer System.
Advisor: V. Y. Shen
William G. Verbrugge
Planning and Management Systems for Small Colleges.
Advisor: J. F. Nunamaker, Jr.
August 1974
Larry A. Anderson
Optimal Chebyshev-Type Quadrature Formulas for Various Weight Functions.
Advisor: W. Gautschi
William J. Dahl
An Interactive Information Systems Optimization and Design Algorithm.
Advisor: J. F. Nunamaker, Jr.
Frank L. Friedman
Decompilation and the Transfer of Mini Computer Operating Systems.
Advisor: V. B. Schneider
Paul M. Zislis
Semantic Decomposition of Computer Programs: A Program Test Aid.
Advisor: M. H. Halstead
May 1974
William J. Collins
Provably Recursive Analysis.
Advisor: P. R. Young
Lawrence J. Schutte
The Value of Dynamic Algebra Operators for Sequential Computers.
Advisor: M. H. Halstead
Stuart H. Zweben
The Internal Structure of Algorithms.
Advisor: M. H. Halstead
December 1973
Richard E. Buten
A Scheduling Model for Computer Systems with Two Classes of Processors.
Advisor: V. Y. Shen
Kenneth Leroy Krause
Analysis of Computer Scheduling with Memory Constraints.
Advisor: V. Y. Shen
Donald E. Swenson
Performance Measures for a Data Base Management System.
Advisor: A. B. Whinston
August 1973
Necdet Bulut
Invariant Properties of Algorithms.
Advisor: M. H. Halstead
Barron C. Housel III
A Study of Decompiling Machine Languages into High-Level Machine Independent Languages.
Advisor: M. H. Halstead
James A. Iverson, Jr.
Magnetic Tape Portability.
Advisor: J. F. Nunamaker, Jr.
Rodney R. Oldehoeft
Design Considerations for Interactive, Application Oriented, Transportable Subsystems.
Advisor: J. R. Rice
May 1973
Thomas J. Aird
Computational Solution of Global Nonlinear Least Squares Problems.
Advisor: J. R. Rice
James R. Arsenault
GPLAN-WPC: A Generalized Data Base Planning System for Water Pollution Control.
Advisor: J. F. Nunamaker, Jr.
Dennis M. Conti
A Formal Model of Interacting Learning Machines.
Advisor: T. J. Frederick
Jean-Louis Lassez
On the Relationship Between Prefix Codes, Trees, and Automata.
Advisor: J. R. Buchi
Marshall D. Mickunas
Techniques for Compressing Bounded Context Acceptors.
Advisor: V. B. Schneider
Roger V. Roman
The Structure of an Environment for an Experimental, Interactive, Mathematical Problem Solving System.
Advisor: S. D. Conte
December 1972
Ronald Leo Lancaster
Semantic Primitives for Quick Implementation of a Family of Procedural Languages.
Advisor: V. B. Schneider
Edward G. Pekarek, Jr.
Some Galerkin Methods for a Semilinear Hyperbolic Mixed Boundary Value Problem.
Advisor: R. E. Lynch
August 1972
Toby S. Berk
The Design and Implementation of TUNA, A High Level Graphical Programming Language.
Advisor: M. H. Halstead
David S. Dodson
Optimal Order Approximation by Polynomial Spline Functions.
Advisor: C. deBoor
June 1972
Raymond F. Boyce
Topological Reorganization as an Aid to Program Simplification.
Advisor: M. H. Halstead
Thomas Gregory DeLutis
Effectiveness of R___ling Storage Design with Respect to Data Base Organization.
Advisor: M. H. Halstead
Guy T. Hochgesang
An Algorithm for Grammatical Inference of Programming Languages.
Advisor: M. H. Halstead
William C. Nylin, Jr.
Structural Reorganization of Multipass Computer Programs.
Advisor: M. H. Halstead
Michael D. Shapiro
A SNOBOL Machine: Functional Architectural Concepts of a String Processor.
Advisor: M. H. Halstead
June 1971
James C. Blair
An Extendible Interactive Debugging System.
Advisor: S. Rosen
Robert E. Noonan
Computer Programming with a Dynamic Algebra.
Advisor: M. H. Halstead
January 1970
Dennis J. Frailey
A Study of Code Optimization Using a General Purpose Optimizer.
Advisor: M. H. Halstead
Peng-Siu Mei
Linear Closure Spaces and Matroids, Convex Closure Spaces and Paramatroids.
Advisor: J. R. Buchi
August 1970
Leonard J. Bass
Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets.
Advisor: P. R. Young
Stefan M. Silverston
Aspen -- An Automatic Partial Differential Equation Solver.
Advisor: S. D. Conte
June 1970
Arthur E. Oldehoeft
A Computer System to Teach Computational Mathematics.
Advisor: S. D. Conte
Steven A. Pruess
Estimating the Eigenvalues of Sturm-Liouville Problems by Approximating the Differential Equation.
Advisor: C. deBoor
August 1969
Herbert L. Dershem
Approximation of Bessel's Differential Operator of Fractional Order by Finite-Difference Operators.
Advisor: R. E. Lynch
James L. Phillips
Collocation as a Projection Method for Solving Integral and Other Operator Equations.
Advisor: W. Gautschi
Douglas K. Smith
A Dynamic Component Suppression Algorithm for the Acceleration of Vector Sequences.
Advisor: L. D. Pyle
June 1969
Larry E. Axsom
A System for the Construction of Variable Model Compilers and Schedulers.
Advisor: S. Rosen
Edouard J. Desautels
The PUFFT Time Sharing System -- Design, Implementation and Performance.
Advisor: S. Rosen
Norman E. Gibbs
The Bandwidth of Graphs.
Advisor: R. E. Korfhage
Lawrence R. Symes
A Mathematical Problem Solving Language and Its Interpreter.
Advisor: J. R. Rice
August 1968
Hermann G. Burchard
Interpolation and Approximation by Generalized Convex Functions.
Advisor: J. R. Rice
June 1968
John C. Hoff
Approximation with kernels of finite oscillations.
Advisor: J. R. Rice
January 1967
William H. Hosken
Certain Extended Post Canonical Systems Related to Context-Sensitive Languages.
Advisor: J. R. Buchi
Ramsay V. M. Zahar
Computational Algorithms for Linear Difference Equations.
Advisor: W. Gautschi
August 1967
Bernard B. Evans
Explicit Asymmetric Difference Algorithms for the Approximate Solution of Parabolic Partial Differential Equations.
Advisor: S. D. Conte
Douglas S. Kerr
On Some Iterative Methods for Solving a Class of Nonlinear Boundary Value Problems.
Advisor: S. D. Conte
Lawrence H. Landweber
A Design Algorithm for Sequential Machines and Definability in Monadic Second-Order Arithmetic.
Advisor: J. R. Buchi
Roland A. Sweet
Properties of a Semi-Discrete Approximation to the Beam Equation.
Advisor: J. S. Maybee
June 1967
Walter Scott Brainerd
Tree generating systems and tree automata.
Advisor: J. R. Buchi
James E. Kalan
Some Results on Amplitude Damped Vibrations.
Advisor: J. S. Maybee
August 1966
Kenneth M. Brown
A quadratically convergent method for solving simultaneous non-linear equations.
Advisor: S. D. Conte
June 1966
Karl H. Usow
Computational Aspects of Approximation in the L1 Metric.
Advisor: J. R. Rice
| 
