Theses & Reports

Instructions for submitting a technical report or thesis.

  • TR2006-880 2006 A Unified Construction of the Glushkov, Follow, and Antimirov Automata Allauzen, Cyril; Mohri, Mehryar Abstract | PDF
  • TR2006-885 2006 Shape Analysis of Single-Parent Heaps Balaban, Ittai; Pnueli, Amir; Zuck, Lenore Abstract | PDF
  • TR2006-884 2006 Invisible Safety of Distributed Protocols Balaban, Ittai; Pnueli, Amir; Zuck, Lenore Abstract | PDF
  • M.S. Thesis 2006 TimeIn: A temporal visualization for file access Borden, Jeffrey Abstract | PDF
  • TR2006-883 2006 On Transductive Regression Cortes, Corinna; Mohri, Mehryar Abstract | PDF
  • Ph.D. Thesis 2006 Guaranteed Precision for Transcendental and Algebraic Computation Made Easy Du, Zilin Abstract | PDF
  • Ph.D. Thesis 2006 On Cryptographic Techniques for Digital Rights Management Fazio, Nelly Abstract | PDF
  • Ph.D. Thesis 2006 Finding Your Match: Techniques for Improving Sequence Alignment in DNA and RNA Gill, Ofer Hirsch Abstract | PDF
  • M.S. Thesis 2006 Kronosphere: A temporal visualization for file access Harrison, Chris Abstract | PDF
  • Ph.D. Thesis 2006 DataSlicer: A Hosting Platform for Data-Centric Network Services He, Congchun Abstract | PDF
  • Ph.D. Thesis 2006 Multimarker Genetic Analysis Methods for High Throughput Array Data Ionita, Iuliana Abstract | PDF
  • TR2006-882 2006 A FETI-DP algorithm for elasticity problems with mortar discretization on geometrically non-conforming partitions Kim, Hyea Hyun Abstract | PDF
  • Ph.D. Thesis 2006 Expressive Motion Lees, Alyssa Abstract | PDF
  • Ph.D. Thesis 2006 Building Trustworthy Storage Services out of Untrusted Infrastructure Li, Jinyuan Abstract | PDF
  • Ph.D. Thesis 2006 Measures for Robust Stability and Controllability Mengi, Emre Abstract | PDF
  • Ph.D. Thesis 2006 Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology Mysore, Venkatesh Pranesh Abstract | PDF
  • Ph.D. Thesis 2006 Building an Automatic Phenotyping System of Developing Embryos Ning, Feng Abstract | PDF
  • Ph.D. Thesis 2006 A Polymorphic Type System and Compilation Scheme for Record Concatenation Osinski, Edward Abstract | PDF
  • Ph.D. Thesis 2006 A Probabilistic Learning Approach to Attribute Value Inconsistency Resolution Pevzner, Ilya Abstract | PDF
  • TR2006-881 2006 PSL Model Checking and Run-time Verification via Testers Pnueli, Amir; Zaks, Aleksandr Abstract | PDF
  • Ph.D. Thesis 2006 Animating Autonomous Pedestrians Shao, Wei Abstract | PDF
  • Ph.D. Thesis 2006 Complexity Analysis of Algorithms in Algebraic Computation Sharma, Vikram Abstract | PDF
  • Ph.D. Thesis 2006 Pairwise Comparison between Genomic Sequences and Optical-Maps Sun, Bing Abstract | PDF
  • Ph.D. Thesis 2006 Exploiting Service Usage Information for Optimizing Server Resource Management Totok, Alexander Abstract | PDF
  • Ph.D. Thesis 2006 Time Series Matching: A Multi-Filter Approach Wang, Zhihua Abstract | PDF
  • Ph.D. Thesis 2006 Incremental Web Search: Tracking Changes in the Web Wang, Ziyang Abstract | PDF
  • Ph.D. Thesis 2006 Fast Algorithms for Burst Detection Zhang, Xin Abstract | PDF
  • Ph.D. Thesis 2006 High Performance Algorithms for Multiple Streaming Time Series Zhao, Xiaojian Abstract | PDF
  • Ph.D. Thesis 2006 Distribution of Route-Impacting Control Information in a Publish/Subscribe System with Delivery Guarantees Zhao, Yuanyuan Abstract | PDF