Technical Reports by Author
Theses by Author

CMU-CS-08-100
Unavailable to Date

CMU-CS-08-101
Unavailable to Date

CMU-CS-08-102
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
Abstract, .pdf

CMU-CS-08-103
Computing Differential Invariants of Hybrid Systems as Fixedpoints
André Platzer, Edmund M. Clarke
Abstract, .pdf

CMU-CS-08-104
Unavailable to Date

CMU-CS-08-105
Increasing the Scalability of Dynamic Web Applications
Amit Manjhi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-106
Unavailable to Date

CMU-CS-08-107
Unavailable to Date

CMU-CS-08-108
Unavailable to Date

CMU-CS-08-109
Unavailable to Date

CMU-CS-08-110
Space Profiling for Parallel Functional Programs
Daniel Spoonhower, Guy E. Blelloch, Phllip B. Gibbons, Robert Harper
Abstract, .pdf

CMU-CS-08-111
Unavailable to Date

CMU-CS-08-112
Learning Domain-Specific Planners from Example Plans
Elly Zoe Winner, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-113
Volumetric Features for Video Event Detection
Yan Ke, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-114
Unavailable to Date

CMU-CS-08-115
Unavailable to Date

CMU-CS-08-116
Unavailable to Date

CMU-CS-08-117
Transient Customization of Mobile Computing Infrastructure
Adam Wolbach, Jan Harkes, Srinivas Chellappa, M. Satyanarayanan
Abstract, .pdf

CMU-CS-08-118
Modeling Variation in Motion Data
Manfred Lau, Ziv Bar-Joseph, James Kuffner
Abstract, .pdf

CMU-CS-08-119
Conditional Random Fields for Activity Recognition
Douglas L. Vail, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-120
Unavailable to Date

CMU-CS-08-121
Tailoring Configuration to User's Tasks under Uncertainty
Vahe V. Poladyan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-122
Unavailable to Date

CMU-CS-08-123
Instability Free Routing: Beyond One Protocol Instance
Franck Le, Geoffrey G. Xie, Hui Zhang
Abstract, .pdf

CMU-CS-08-124
Unavailable to Date

CMU-CS-08-125
Information Mediation in the Presence of Constraints and Uncertainties
Sandeep Pandey, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-126
Modal Types for Mobile Code
Tom Murphy VII, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-127
Extracting Conditional Confidentiality Policies
Michael Carl Tschantz, Jeannette M. Wing
Abstract, .pdf

Return to: SCS Technical Report Collection