Following is a complete list of doctoral graduates of the Department of Computer Science, with their dissertation titles. Graduates of other departments or schools, whose primary adviser was a member of the Department of Computer Science, are also listed.

Advisers
Advisers names are given in parentheses. Adviser affiliations are given if the adviser was not on the UNC Department of Computer Science faculty.

Abstracts
Clicking on the author's name will take you to a separate page containing dissertation abstracts. Also, technical report numbers are given for those dissertations that have been made into technical reports by the UNC Department of Computer Science. Links to on-line versions, if available, are provided.

Availability
UNC Libraries: Except where noted, all of the dissertations listed here are available from the libraries at UNC-Chapel Hill. Those from the most recent year will not immediately be available, however.

• Microfiche copies: Microforms Section of Davis Library (second floor)
• Bound copies: Brauer Library, Phillips Hall
• Non-circulating copies: North Carolina Collection, Wilson Library

Ph.D. Graduates
Abram, Gregory D. (1986)
"Parallel Image Generation with Anti-Aliasing and Texturing"
(Henry Fuchs)

Ackermann Jr., Arthur F. (1972)
"Toward A Programming Language for Writing and Checking Mathematical Discourses"
(Donald F. Stanat)

Ahn, Ilsoo (1986)
"Performance Modeling and Access Methods for Temporal Database Management Systems"
(Richard T. Snodgrass)

Ahuja, Vijay (1976)
"Exposure of Routed Networks to Deadlock"
(Victor L. Wallace)

Airey, John M. (1990)
"Increasing Update Rates in the Building Walkthrough System with Automatic Model-Space Subdivision and Potentially Visible Set Calculations"
(Frederick P. Brooks Jr.)

Alexander, Geoffrey D. (1995)
"Proving First-Order Equality Theorems with Hyper-Linking"
(David A. Plaisted)

Aliaga, Daniel G. (1999)
"Automatically Reducing and Bounding Geometric Complexity by Using Images"
(Anselmo A. Lastra)

Amburn, Elton P. (1994)
"Development and Evaluation of an Air-to-Air Combat Debriefing System Using a Head-Mounted Display"
(Frederick P. Brooks Jr.)

Arthur, Kevin (2000)
"Effects of Field of View on Performance with Head-Mounted Displays"
(Frederick P. Brooks Jr.)

Austin Jr., Joseph H. (1973)
"Formal Models of Binding Processes in Control Programs"
(Victor L. Wallace)

Aylward, Stephen R. (1997)
"Continuous Mixture Modeling via Goodness-of-Fit Cores"
(James M. Coggins)

Azuma, Ronald T. (1995)
"Predictive Tracking for Augmented Reality"
(Gary Bishop)

Babich, Wayne A. (1977)
"High Level Data Flow Analysis Using a Parse Tree Representation of the Program"
(Medhi Jazayeri)

Bajura, Michael A. (1997)
"Merging Real and Virtual Environments with Video See-Through Head-Mounted Displays"
(Henry Fuchs)

Banks, David C. (1993)
"Interacting with Surfaces in Four Dimensions Using Computer Graphics"
(Stephen M. Pizer)

Bastos, Rui (1999)
"Superposition Rendering: Increased Realism for Interactive Walkthrough"
(Frederick P. Brooks Jr.)

Baxter, William V. III (2004)
"Physically-based Modeling Techniques for Interactive Digital Painting."
(Ming Lin)

Bellovin, Steven M. (1982)
"Verifiably Correct Code Generation Using Predicate Transformers"
(David L. Parnas)

Bentley, Jon L. (1976)
"Divide and Conquer Algorithms for Closest Point Problems in Multidimensional Space"
(Donald F. Stanat)

Bergman, Lawrence D. (1993)
"VIEW--A System for Prototyping Scientific Visualizations"
(Frederick P. Brooks Jr.)

Biagioni, Edoardo S. (1992)
"Scan Directed Load Balancing"
(Gyula A. Mago and Jan F. Prins)

Bishop, T. Gary (1984)
"Self-Tracker: A Smart Optical Sensor on Silicon"
(Henry Fuchs)

Bollella, Gregory (1997)
"Slotted Priorities: Supporting Real-Time Computing Within General-Purpose Operating Systems."
(Kevin Jeffay)

Bokinsky, Alexandra A. (2003)
"Visualization of Multiple Spatial Variables with Data-Driven Spots"
(Frederick P. Brooks, Jr.)

Britton, Edward G. (1977)
"A Methodology for the Ergonomic Design of Interactive Computer Graphic Systems, and its Application to Crystallography"
(Frederick P. Brooks Jr.)

Brown, Peter H. (2002)
"Multiscale Evaluation of 3D Shape Perception in Computer Graphics"
(Christina Burbeck)

Brownlee, Jr., Edward H. (1975)
"Lossiness in Tessellation Automata"
(Stephen F. Weiss)

Buttelmann III, H. William (1970)
"Syntax-Semantics Systems As Structure Manipulation Systems: Phrase Structure Grammars and Generalized Finite Automata"
(David B. Benson)

Cannon, Robert L. (1973)
"State Grammar Parsing"
(Stephen F. Weiss)

Carlson, Eric D. (1972)
"Techniques for Analysis of Generalized Data Base Management Systems"
(Peter Calingaert)

Chadha, Ritu (1991)
"Applications of Unskolemization"
(David A. Plaisted)

Chan, Francis H. (1982) (Biomedical Engineering and Mathematics, UNC-Chapel Hill)
"Evaluating the Perceived Dynamic Range of A Display Device Using Pseudocolor"
(Stephen M. Pizer)

Chang, Chun-Fa. (2001)
"LDI Tree: A Sampling Rate Preserving and Hierarchical Data Representation for Image-Based Rendering"
(Gary Bishop)

Chen, David T. (1998)
"Volume Rendering Guided by Multiscale Medial Models"
(Stephen M. Pizer)

Chen, Wei Chao (2002)
"Light Field Mapping: Efficient Representation of Surface Light Fields"
(Henry Fuchs)

Christiansen, Mikkel, Aalborg University, Denmark (2002)
"The Performance of HTTP Traffic Under Random Early Detection Queue Management"
( Kevin Jeffay and Don Smith)

Chu, Heng (1994)
"Semantically Guided First-Order Theorem Proving with Hyper-Linking"
(David A. Plaisted)

Chung, Goopeel (2002)
"Log-based Collaborative Infrastructure"
(Prasun Dewan)

Chung, James Che-Ming (1993)
"Intuitive Navigation in the Targeting of Radiation Therapy Treatment Beams"
(Frederick P. Brooks Jr.)

Clary, Gregory (2003)
"Image Sequence Classification via Anchor Primitives."
(Stephen M. Pizer)

Cohen, Jonathan D. (1998)
"Appearance-Preserving Simplification of Polygonal Models"
(Dinesh Manocha)

Cromartie, Robert C. (1995)
"Structure-Sensitive Contrast Enhancement: Development and Evaluation"
(Stephen M. Pizer)

Crouch, Jessica Renee Crawford (2003)
"Medial Techniques for Automating Finite Element Analysis."
(Stephen M. Pizer)

Culver, Timothy (2000)
"Computing the Medial Axis of a Polyhedron Reliably and Efficiently"
(Dinesh Manocha)

Danforth, Scott H. (1983)
"DOT: A Distributed Operating System Model of a Tree-Structured Multiprocessor"
(Guyla A. Mago)

Davis, Mark C. (1990)
"A Computer for Low Context-Switch Time"
(Frederick P. Brooks Jr.)

Dunigan Jr., Thomas H. (1978)
"The Design of a Computer System with All-Electronic Files"
(Frederick P. Brooks Jr.)

Dwyer, Christopher L. (2003)
"Self-Assembled Computer Architecture: Design and Fabrication Theory"
(Russell Taylor)

Dybvig, R. Kent (1987)
"Three Implementation Models for Scheme"
(Gyula A. Mago)

Eastman, Caroline M. (1977)
"A Tree Algorithm for Nearest Neighbor Searching in Document Retrieval Systems"
(Stephen F. Weiss)

Eberly, David H. (1994)
"Geometric Methods for Analysis of Ridges in N-Dimensional Images"
(Stephen M. Pizer)

Ellsworth, David A. (1996)
"Polygon Rendering for Interactive Visualization on Multicomputers"
(Henry Fuchs)

Erikson, Carl M. (2000)
"Hierarchical Levels of Detail to Accelerate the Rendering of Large Static and Dynamic Polygonal Environments"
(Dinesh Manocha)

Faith, Rickard E. (1998)
"Debugging Programs After Structure-Changing Transformation"
(Jan F. Prins)

Faulk, Stuart R.(1989)
"State Determination in Hard-Embedded Systems"
(David L. Parnas)

Fletcher, Tom (2004)
"Statistical Variability in Nonlinear Spaces: Application to Shape Analysis and DT-MRI."
(Stephen Pizer)

Frank, Geoffrey A. (1979)
"Virtual Memory Systems for Closed Applicative Language Interpreters"
(Donald F. Stanat)

Fredericksen, R. Eric (1993)
"The Biological Computation of Visual Motion"
(Stephen M. Pizer and Willem H. van de Grind, University of Utrecht)

Fridman, Yoni (2004)
"Extracting Branching Object Geometry via Cores."
(Stephen Pizer)

Fritsch, Daniel S. (1993) (Biomedical Engineering, UNC-Chapel Hill)
"Registration of Radiotherapy Images Using Multiscale Medial Descriptions of Image Structure"
(James Coggins)

Funk, Shelby (2004)
"EDF Scheduling on Heterogeneous Multiprocessors."
(Sanjoy Baruah)

Furst, Jacob D. (1999)
"Height Ridges of Oriented Medialness"
(Stephen M. Pizer)

Gauch, John M. (1989)
"The Multiresolution Intensity Axis of Symmetry and its Application to Image Segmentation"
(Stephen M. Pizer)

Gauch, Susan E. (1990)
"An Expert System for Searching in Full-Text"
(John B. Smith)

Glassner, Andrew S. (1988)
"Algorithms for Efficient Image Synthesis"
(Frederick P. Brooks Jr.)

Goddard, Stephen (1998)
"On the Management of Latency in the Synthesis of Real-Time Signal Processing Systems from Processing Graphs"
(Kevin Jeffay)

Gottschalk, Stefan (2000)
"Collision Queries Using Oriented Bounding Boxes"
(Ming C. Lin and Dinesh Manocha)

Gotz, David. (2005)
"Channel Set Adaptation: Scalable and Adaptive Streaming for Non-Linear Media"
(Ketan Mayer-Patel)

Govindaraju, Naga (2004)
"Efficient Visability-based Algorithms for Interactive Walkthrough, Shadow Generation, and Collision Detection."
(Dinesh Manocha)

Grant, Eric D. (1991)
"Constraint-Based Design by Cost Function Optimization"
(Turner Whitted)

Gross, Richard R. (1985)
"Using Software Technology to Specify Abstract Interfaces in VLSI Design"
(Peter Calingaert)

Guan, Sheng-Uei (1989)
"A Model, Architecture, and Operating System Support for Shared Workspace Cooperation"
(Hussein Abdel-Wahab)

Gupta, Gopal (1992)
"Parallel Execution of Logic Programs on Shared Memory Multiprocessors"
(Bharadwaj Jayaraman)

Han, Taisook (1990)
"A New Class of Recursive Routing Algorithms on Mesh-connected Computers"
(Donald F. Stanat)

Harris, Mark Jason (2003)
"Real-Time Cloud Simulation and Rendering."
(Anselmo Lastra)

Heath, Lenwood S. (1985)
"Algorithms for Embedding Graphs in Books"
(Arnold Rosenberg, Duke University)

Hetzel, William C. (1976)
"An Experimental Analysis of Program Verification Methods"
(Peter Calingaert)

Hillesland, Karl E. (2005)
"Image Streaming to Build Image-based Models."
(Anselmo Lastra)

Hirota, Gentaro (2002)
"An Improved Finite Element Contact Model for Anatomical Simulations"
(Henry Fuchs)

Ho, Sean (2004)
"Profile Scale Spaces for Statistical Image Match in Bayesian Segmentation."
(Guido Gerig)

Hoffman, Daniel M. (1984)
"Trace Specification of Communications Protocols"
(Richard T. Snodgrass)

Hoffman, Doug L. (1996)
"Comparison of Protein Structures by Transformation into Dihedral Angle Sequences"
(Raj K. Singh)

Holloway, Richard L. (1995)
"Registration Errors in Augmented Reality Systems"
(Frederick P. Brooks Jr.)

Holman, Philip (2004)
"Implementation of Pfair-scheduled Multiprocessor Systems."
(James Anderson)

Hsieh, Cheng-Hong (1989)
"A Connectionist Algorithm for Image Segmentation"
(Stephen M. Pizer)

Hudson, Thomas C. (2004)
"Adapting a Collaborative, Force-Feedback, Graphical User Interface to Best-Effort Networks"
(Russell M. Taylor II and Kevin Jeffay)

Hultquist, Jeffrey P. (1995)
"Interactive Numerical Flow Visualization Using Stream Surfaces"
(Frederick P. Brooks Jr.)

Insko, Brent E. (2001)
"Passive Haptics Significantly Enhances Virtual Environments"
(Frederick P. Brooks Jr.)

Interrante, Victoria L. (1996)
"Illustrating Transparency: Communicating the 3D Shape of Layered Transparent Surfaces via Texture"
(Henry Fuchs and Stephen M. Pizer)

Isenburg, Martin (2004)
"Compression and Streaming of Polygon Meshes."
(Jack Snoeyink)

Janikow, Cezary Z. (1991)
"Inductive Learning of Decision Rules from Attribute-Based Examples: A Knowledge-Intensive Genetic Algorithm Approach"
(Kenneth De Jong and David A. Plaisted)

Johnson, Frankford M. (1969) (Education, UNC-Chapel Hill)
"An Experiment in the Teaching of Programming Language/One Using Computer Assisted Instruction"
(Frederick P. Brooks Jr.)

Jolley Jr., Truman M. (1972)
"The Use of the Walsh Transform in Scintigram Enhancement"
(Stephen M. Pizer)

Jones, Edward L. (1984)
"Procedure-Level Program Modeling for Virtual-Memory Performance Improvement"
(Peter Calingaert)

Kalarickal, George J. (1998)
"Theory of Cortical Plasticity in Vision"
(Jonathan A. Marshall)

Katz, Robert (2002)
"Shape Analysis for Computer Graphics via Figural Models of Perception"
(Stephen M. Pizer)

Kehs, David R. (1978)
"A Routing Network for a Machine to Execute Reduction Languages"
(Gyula A. Mago)

Keyser, John. (2000)
"Exact Boundary Evaluation for Curved Solids"
(Dinesh Manocha)

Kilpatrick, Paul J. (1976)
"The Use of a Kinesthetic Supplement in an Interactive Graphics System"
(Frederick P. Brooks Jr.)

Kim, Yong-Jik (2003)
"Time Complexity Bounds for Shared-memory Mutual Exclusion."
(James Anderson)

Koltun, Philip L. (1982)
"Evaluation of a Teaching Approach for Introductory Computer Programming"
(Donald F. Stanat)

Konstantinow, George, Jr. (1983) (Biomedical Engineering and Mathematics, UNC-Chapel Hill)
"Automated Region of Interest Selection and Decontamination of Time Activity Curves From First Pass Radionuclide Angiocardiographic Data"
(Stephen M. Pizer)

Kosa, Martha J. (1994)
"Consistency Guarantees for Concurrent Shared Objects: Upper and Lower Bounds"
(Jennifer Welch)

Koster, V. Alexis (1977)
"Execution Time and Storage Requirements of Reduction Language Programs on a Reduction Machine"
(Gyula A. Mago)

Kotliar, Michael S. (1989)
"The Right Stuff--Techniques for High Speed CMOS Circuit Synthesis"
(Kye S. Hedlund)

Krishnan, Shankar (1997)
"Efficient and Accurate Boundary Evaluation Algorithms for Boolean Combinations of Sculptured Solids"
(Dinesh Manocha)

Kum, Hye-Chung (Monica) (2004)
"Approximate Mining of Consensus Sequential Patterns."
(Wei Wang and Dean Duncan)

Kumar, Subodh (1996)
"Interactive Rendering of Parametric Spline Surfaces"
(Dinesh Manocha)

Ladd, Brian C. (2000)
"Lingua Graphica: A Language for Concise Expression of Graph-Based Algorithms"
(John B. Smith)

Lamastra, Gerardo - Scuola Superiore Santa Anna, Italy (2000)
"Operating Systems for Multimedia Applications: Monolithic Approach v. MicroKernel Approach"
(Kevin Jeffay and Giorgio Buttazzo - Scuola Superiore Santa Anna)

Le, Nguyen Tuong Long (2005)
"Investigating the Effects of Active Queue Management on the Performance of TCP Applications"
(Kevin Jeffay)

Lee, Shie-Jue (1990)
"CLIN: An Automated Reasoning System Using Clause Linking"
(David A. Plaisted)

Leler, William J. (1987)
"Specification and Generation of Constraint Satisfaction Systems"
(Bharadwaj Jayaraman)

Levoy, Marc S. (1989)
"Display of Surfaces From Volume Data"
(Henry Fuchs)

Lifshitz, Lawrence M. (1987)
"Image Segmentation via Multiresolution Extrema Following"
(Stephen M. Pizer)

Lin, Wei-Jyh (1991)
"Boundary Estimation in Ultrasound Images"
(Stephen M. Pizer)

Lipscomb, James S. (1981)
"Three-Dimensional Cues for a Molecular Computer Graphics System"
(Frederick P. Brooks Jr.)

Liu, Alan Ve-Ming (1998)
"3D/2D Registration and Reconstruction in Image-Guided Surgery"
(Stephen M. Pizer)

Livingston, Mark A. (1998)
"Vision-Based Tracking with Dynamic Structured Light for Video-See-Through Augmented Reality"
(Henry Fuchs)

Lok, Benjamin Chak Lum (2002)
"Interacting With Real Objects Significantly Enhances Cognitive Virtual Environment Tasks"
(Frederick P. Brooks Jr)

Luebke, David P. (1998)
"View-Dependent Simplification of Arbitrary Polygonal Environments"
(Frederick P. Brooks Jr.)

Majumder, Aditi (2003)
“A Practical Framework to Achieve Perceptually Seamless Multi-Projector
Displays”
(Gregory Welch and Rick Stevens)

Mark, William R. (1999)
"Post-Rendering 3D Image Warping: Visibility, Reconstruction, and Performance for Depth-Image Warping"
(Gary Bishop)

McAllister, David K. (2002)
"A Generalized Surface Appearance Representation for Computer Graphics"
(Anselmo Lastra)

McAllister, David F. (1972)
"Algorithms for Chebychev Approximation Over Finite Sets"
(Stephen M. Pizer)

McAnulty, Michael A. (1973)
"Computer-Aided Processing of Coronary Arterial Tree Cinearteriograms"
(Donald F. Stanat)

McInroy, John W. (1978)
"A Concept-Vector Representation of the Paragraphs in a Document, Applied to Automatic Extracting"
(Stephen F. Weiss)

McKenzie Jr., Leslie E. (1988)
"An Algebraic Language for Query and Update of Temporal Databases"
(Richard T. Snodgrass)

McMillan, Jr., Leonard (1997)
"An Image-Based Approach to Three-Dimensional Computer Graphics"
(Gary Bishop)

Meehan, Michael J. (2001)
"Physiological Reaction as an Objective Measure of Presence in Virtual Environments"
(Frederick P. Brooks Jr.)

Meenakshisundaram, Gopi (2001)
"Theory and Practice of Sampling and Reconstruction of Manifolds with Boundaries"
(Jack Snoeyink)

Middleton, David J. (1986)
"Alternative Program Representations in the FFP Machine"
(Gyula A. Mago)

Miller, Swaha Das (2005)
"OSHL-U: A First Order Theorem Prover Using Propositional Techniques and Semantics"
(David Plaisted)

Mine, Mark R. (1997)
"Exploiting Proprioception in Virtual-Environment Interaction"
(Frederick P. Brooks Jr.)

Moir, Mark S. (1996)
"Efficient Object Sharing in Shared-Memory Multiprocessors"
(James Anderson)

Molnar, Steven E. (1991)
"Image-Composition Architectures for Real-Time Image Generation"
(Henry Fuchs)

Morse, Bryan S. (1995)
"Computation of Object Cores from Grey-level Images"
(Stephen M. Pizer)

Mudge, J. Craig (1973)
"Human Factors in the Design of a Computer-Assisted Instruction System"
(Frederick P. Brooks Jr.)

Mueller, Carl A. (2000)
"The Sort-First Architecture for Real-Time Image Generation"
(Anselmo A. Lastra)

Munson, Jonathan P. (1997)
"Synchronization in Collaborative Applications."
(Prasun Dewan)

Nackman, Lee R. (1982)
"Three-Dimensional Shape Description Using the Symmetric Axis Transform"
(Stephen M. Pizer)

Navon, Jaime (2005)
"Specification and Semi-Automated Verification of Coordination Protocols for Collaborative Software Systems."
(David Stotts)

Neumann, Ulrich (1993)
"Volume Reconstruction and Parallel Rendering Algorithms: A Comparative Analysis"
(Henry Fuchs)

Nie, Xumin (1989)
"Automatic Theorem Proving In Problem Reduction Formats"
(David A. Plaisted)

Nomura, Kunihiko (1974)
"Stochastic Models for Systems of Multiple Integrated Processors"
(Victor L. Wallace)

Ohbuchi, Ryutarou (1994)
"Incremental Acquisition and Visualization of 3D Ultrasound Images"
(Henry Fuchs)

Olano, T. Marc (1998)
"A Programmable Pipeline for Graphics Hardware"
(Anselmo A. Lastra)

Oliveira Neto, Manuel Menezes de (2000)
"Relief Texture Mapping"
(Gary Bishop)

Oliver, Alfred P. (1969)
"A Measurement of the Effectiveness of An Interactive Display System in Teaching Numerical Analysis"
(Frederick P. Brooks Jr.)

Omondi, Amos R. (1990)
"Architecture and Implementation of a Parallel Machine for Imperative and Nondeterministic Functional Languages"
(David A. Plaisted)

Otaduy, Miguel A. (2004)
"6-DoF Haptic Rendering Using Contact Levels of Detail and Haptic Textures."
(Ming Lin)

Ott, David (2005)
"An Open Architecture for Transport-Level Coordination in Distributed Multimedia Applications."
(Ketan Mayer-Patel)

Ouh-young, Ming (1990)
"Force Display in Molecular Docking"
(Frederick P. Brooks Jr.)

Palmer, Daniel W. (1996)
"Efficient Execution of Nested Data-Parallel Programs"
(Jan F. Prins)

Paramasivam, Muthukrishnan (1997)
"Instance-Based First-Order Methods Using Propositional Provers."
(David A. Plaisted)

Pargas, Roy P. (1982)
"Parallel Solution of Elliptic Partial Differential Equations On a Tree Machine"
(Gyula A. Mago)

Parker, Erin (2004)
"Analyzing the Behavior of Loop Nests in the Memory Hierarchy: Methods, Tools and Applications."
(Siddhartha Chatterjee)

Parris, Mark A. (2001)
"Class-Based Thresholds: Lightweight Active Router-Queue Management for Multimedia Networking"
(Kevin Jeffay)

Partain, William D. (1989)
"Graph Reduction Without Pointers"
(Gyula A. Mago)

Pfannenstiel, Wolf (2000) (Technische Universität Berlin)
"Piecewise Execution of Nested Data Parallel Programs"
(S. Jaehnichen, Technische Universität Berlin, and Jan F. Prins)

Popelas, Judy M. (1983)
"A Case Grammar Approach to Error Correction in Computer Programs"
(Peter Calingaert)

Popescu, Voicu S. (2001)
"Forward Rasterization: A Reconstruction Algorithm for Image-Based Rendering"
(Anselmo A. Lastra)

Pozefsky, Diane P. (1979)
"Building Efficient Pass-Oriented Attribute Grammar Evaluators"
(Mehdi Jazayeri)

Pozefsky, Mark 1977)
"Programming in Reduction Languages"
(Gyula A. Mago)

Prokop, Jan S. (1969)
"An Investigation of the Effects of Computer Graphics on Executive Decision Making in an Inventory Control Environment"
(Frederick P. Brooks Jr.)

Puff, Derek T. (1995) (Biomedical Engineering, UNC-Chapel Hill)
"Human vs. Vision Model Performance for Two Medical Image Estimation Tasks"
(Stephen M. Pizer)

Rademacher, Pablo M. (2003)
"Measuring the Perceived Visual Realism of Images"
(Gary Bishop)

Rajgopal, Suresh (1992)
"Spatial Entropy--A Unified Attribute to Model Dynamic Communication in VLSI Circuits"
(Kye S. Hedlund)

Ramamurthy, Srikanth (1997)
"A Lock-Free Approach to Object Sharing in Real-Time Systems."
(James Anderson)

Raskar, Ramesh (2002)
"Projector-Based Three Dimensional Graphics"
(Henry Fuchs and Gregory Welch)

Razzaque, Sharif (2005)
"Redirected Walking"
(Frederick P. Brooks Jr.)

Rhee, Injong (1994)
"Efficiency of Partial Synchrony and Resource Allocation in Distributed Systems"
(Jennifer Welch)

Rheingans, Penny L. (1993)
"Dynamic Explorations of Multiple Variables in a 2D Space"
(Frederick P. Brooks Jr.)

Rhoades, John S. (1993)
"Shaping Curved Surfaces"
(Stephen M. Pizer)

Riely, James (1999)
"Applications of Abstraction for Concurrent Programs"
(Jan F. Prins)

Rosenthal, Michael H. (2005)
"Three-dimensional Registration and Tracking of Vascular Stuctures using Calibrated Biplane Fluoroscopy."
(Henry Fuchs)

Roussev, Vassil R. (2003)
"Flexible Sharing of Distributed Objects Based on Programming Patterns"
(Prasun Dewan)

Rudolph, David J. (1995) (Biomedical Engineering and Mathematics, UNC-Chapel Hill)
"Automatic Landmark Identification in Orthodontic Cephalometric Radiographs (Machine Vision)"
(James Coggins)

Sawyer, Jeanne C. (1990)
"A Reference and Planning Model for Library Online Public Access Catalogs"
(Stephen F. Weiss)

Schmitt, Charles P. (1999)
"Recognizing Moving Objects: A Neural Model of Temporal Binding in Human Vision"
(Jonathan A. Marshall)

Seeger, Adam (2004)
"Surface Reconstruction From AFM and SEM Images."
(Russell M. Taylor II)

Shan, Yen-Ping (1990)
"MoDE: An Object-Oriented User Interface Development Environment Based on the Concept of Mode"
(John B. Smith)

Shannon, Karen P. (1992)
"Tool Integration Via Fine-Grained Data Management"
(Richard Snodgrass)

Silbermann, Frank S. K. (1989)
"A Denotational Semantics Approach to Functional and Logic Programming"
(Bharadwaj Jayaraman)

Smith, Bruce T. (1992)
"Logic Programming on an FFP Machine"
(David A. Plaisted)

Smith, F. Donelson (1978)
"Models of Multiprocessing for Transaction-Oriented Computer Systems"
(Frederick P. Brooks Jr.)

Smith, Jason McColm (2005)
"SPQR: Formal Foundations and Practical Support for the Automated Detection of Design Patterns from Source Code."
(David Stotts)

Smotherman, Mark K. (1984)
"Parametric Error Analysis and Coverage Approximations in Reliability Modeling"
(Kishor Trivedi, Duke University)

Sneeringer, Cheryl C. (1975)
"Models of Memory Management Techniques for Time-sharing Systems"
(Frederick P. Brooks Jr.)

Sneeringer IV, W. James, (1975)
"A Dynamic-type Programming Language that Allows Type Control"
(Frederick P. Brooks Jr.)

Srinivasan, Anand (2003)
"Efficient and Flexible Fair Scheduling of Real-time Tasks on Multiprocessors."
(James Anderson)

Stetten, George D. (2000) (Biomedical Engineering, UNC-Chapel Hill)
"Automated Identification and Measurement of Cardiac Anatomy via Statistical Analysis of Medial Primitives"
(Stephen M. Pizer)

Stone, Donald L. (1995)
"Managing the Effect of Delay Jitter on the Display of Live Continuous Media"
(Kevin Jeffay)

Styner, Martin A. (2001)
"Combined Boundary-Medial Shape Description of Variable Biological Shapes"
(Guido Gerig)

Surles, Mark C. (1992)
"Techniques for Interactive Manipulation of Graphical Protein Models"
(Frederick P. Brooks Jr.)

Talley, Terry M. (1997)
"A Transmission Control Framework for Continuous Media"
(Kevin Jeffay)

Taylor II, Russell M. (1994)
"The Nanomanipulator: A Virtual-Reality Interface to a Scanning Tunneling Microscope"
(Frederick P. Brooks Jr.)

Thall, Andrew L. (2004)
"Deformable Solid Modeling via Medial Sampling and Displacement Subdivision"
(Stephen M. Pizer)

Thomas, Teresa A. (1988)
"The Semantics of an FP Language with Infinite Objects"
(Donald F. Stanat)

Tolle, Donald M. (1981)
"Coordination of Computation in a Binary Tree of Processors: An Architectural Proposal"
(Gyula A. Mago)

Tuck, Russell (1990) (Duke University)
"Porta-SIMD: An Optimally Portable SIMD Programming Language"
(Frederick P. Brooks Jr.)
(No UNC-Chapel Hill library copy)

Turk, Gregory (1992)
"Texturing Surfaces Using Reaction-Diffusion"
(Henry Fuchs)

Vallidis, Nicholas M. (2002)
"WHISPER: A Spread Spectrum Approach to Occlusion in Acoustic Tracking"
(Gary Bishop)

Varadhan, Gokul (2005)
"Accurate Sampling Based Algorithms for Surface Extraction and Motion Planning."
(Dinesh Manocha)

Varshney, Amitabh (1994)
"Hierarchical Geometric Approximations"
(Frederick P. Brooks Jr.)

Walker II, John Q. (1991)
"Automated Analysis of Computer-Generated Software Usage Protocols: An Exploratory Study"
(John B. Smith)

Wang, Jih-Fang (1990)
"A Real-time Optical 6D Tracker for Head-mounted Display Systems"
(Henry Fuchs)

Ward, Kelly (2005)
"Modeling Hair Using Levels-of-Detail."
(Ming Lin)

Weigle, Michele A. Clark (2003)
"Investigating the Use of Synchronized Clocks in TCP Congestion Control"
(Kevin Jeffay)

Welch, Gregory F. (1997)
"SCAAT: Incremental Tracking with Incomplete Information"
(Gary Bishop)

Westover, Lee A. (1991)
"SPLATTING: A Parallel, Feed-Forward Volume Rendering Algorithm"
(Turner Whitted)

Whitaker, Ross T. (1993)
"Geometry-Limited Diffusion"
(Stephen M. Pizer)

Williams Jr., E. Hollins (1981)
"Analysis of FFP Programs for Parallel Associative Searching"
(Donald F. Stanat)

Willams, Thomas V. (1982)
"A Man-Machine Interface for Interpreting Electron Density Maps"
(Frederick P. Brooks Jr.)

Wilson, Andrew Thomas (2002)
"Spatially Encoded Image-Space Simplifications for Interactive Walkthrough"
(Dinesh Manocha)

Wright, William V. (1972)
"An Interactive Computer Graphics System for Molecular Studies"
(Frederick P. Brooks Jr.)

Yakowenko, William J. (1999)
"Propositional Theorem Proving by Semantic Tree Trimming for Hardware Verification"
(David A. Plaisted)

Yang, Ruigang (2003)
"View-Dependent Pixel Coloring - A Physically-Based Approach for 2D View
Synthesis"
(Gregory Welch)

Yoo, Terry S. (1996)
"Image Geometry Through Multiscale Statistics"
(Stephen M. Pizer)

Yoon, Sung-Eui (2005)
"Interactive Visualization and Collision Detection using Dynamic Simplification and Cache-Coherent Layouts."
(Dinesh Manocha)

Yushkevich, Paul Alexander (2003)
"Statistical Shape Characterization Using the Medial Representation"
(Stephen M. Pizer)

Zarling, Raymond L. (1976)
"Numerical Solution of Nearly Decomposable Queuing Networks"
(Victor L. Wallace)

Zhang, Hansong (1998)
"Effective Occlusion Culling for the Interactive Display of Arbitrary Models"
(Dinesh Manocha)

Zhu, Yunshan (1998)
"Efficient First-Order Semantic Deduction Techniques"
(David A. Plaisted)

Zimmerman, John B. (1985)
"The Effectiveness of Adaptive Contrast Enhancement"
(Stephen M. Pizer)

Zimmons, Paul Michael (2004)
"The Influence of Lighting Quality on Presence and Task Performance in Virtual Environments"
(Frederick Brooks)