Technical Reports by Author

CMU-CS-QTR-100
Type-Safe Web Programming in QWeS²T
Thierry Sans, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-10-125

CMU-CS-QTR-101
2008 Senior Thesis Project Reports
Iliano Cervesato, Majd Sakr, Mark Stehlik, Bernardine Dias,Lynn Cater, Editors
Noura Mohammed El-Moughny, Amer Hasan Obeidah, Authors
Abstract, .pdf

CMU-CS-QTR-102
2009 Senior Thesis Project Reports
Iliano Cervesato, Majd Sakr, Mark Stehlik, Brett Browning, Bernardine Dias, Khaled Harras, Editor
Hatem Alismail, Hend Kamal Gedawy, Authors
Abstract, .pdf

CMU-CS-QTR-103
2010 Senior Thesis Project Reports
Iliano Cervesato, Majd Sakr, Mark Stehlik, Bernardine Dias, Kemal Oflazer, Noah Smith, Editors
Rishav Bhowmick, Mohammed Kaleemur Rahman, Aysha Siddique, Authors
Abstract, .pdf

CMU-CS-QTR-104
Towards a Visual Perception System for Pipe Inspection: Monocular Visual Odometry
Peter Hansen, Hatem Alismail, Peter Rander, Brett Browning
Abstract, .pdf
Also appears as CMU-RI-TR-10-22

CMU-CS-QTR-105
iSTEP Bangladesh 2010
Sarah Belousov, Yonina Cooper, M. Bernardine Dias, M. Freddie Dias, Jen Horwitz, Brian Manalastasy, Jonathan Muller, Aysha Siddiquey, Anthony Velázquez, Ermine A. Teves
Abstract, .pdf
Also appears as CMU-RI-TR-10-35

CMU-CS-QTR-106
2011 Senior Thesis Project Reports
Iliano Cervesato, Kemal Oflazer, Majd Sakr, Mark Stehlik, Brett Browning, Bernardine Dias, Editors
Samreen Anjum Author
Abstract, .pdf

CMU-CS-QTR-107
iSTEP 2011 Uruguay
Sarah Belousov, Yonina Cooper, M. Bernardine Dias, M. Freddie Dias, Afnan Fahim, Elise Gonzales, Asma Hamid, Megan Nahass, Roberto Ponce Lopez, Ermine A. Teves, Hanae Timoulali, Vanessa Vásquez
Abstract, .pdf
Also appears as CMU-RI-TR-11-26

CMU-CS-QTR-108
Typed Multiset Rewriting Specifications of Security Protocols
Iliano Cervesato
Abstract, .pdf

CMU-CS-QTR-109
MSR 2.0: Language Definition and Programming Environment
Iliano Cervesato
Abstract, .pdf

CMU-CS-QTR-110
Unpublished

CMU-CS-QTR-111
Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Robert J. Simmons, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-11-145

CMU-CS-QTR-112
Designing an Interface and Path Translator for a Smart Phone-Based Indoor Navigation System for Visually Impaired Users
Hend K. Gedawy, M.S. Thesis
Abstract, .pdf
Thesis appears as CMU-CS-11-125

CMU-CS-QTR-113
Modeling Datalog Assertion and Retraction in Linear Logic
Edmund S. L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-12-126

CMU-CS-QTR-114
On Matching in CLF
Iliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schürmann, Robert J. Simmons
Abstract, .pdf
Also appears as CMU-CS-12-114

CMU-CS-QTR-115
2012 Senior Thesis Project Reports
Iliano Cervesato, Kemal Oflazer, Majd Sakr, Mark Stehlik*, Khaled Harras, Abderrahman Mtibaa, Editors
Dania Abed Rabbou Author
Abstract, .pdf

CMU-CS-QTR-116
Visual Pipe Mapping with a Fisheye Camera
Peter Hansen, Hatem Alismail, Peter Rander, Brett Browning
Abstract, .pdf
Also appears as CMU-TR-RI-13-02

CMU-CS-QTR-117
Unavailable to Date

CMU-CS-QTR-118
Decentralized Execution of Constraint Handling Rules for Ensembles
Edmund S. L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-13-106

CMU-CS-QTR-119
2013 Senior Thesis Project Reports
Iliano Cervesato, Kemal Oflazer, Mark Stehlik, Thierry Sans, Soha Hussein, Behrang Mohit, Khaled Harras, Abderrahman Mtibaa, Editors
Lulwa Ahmed El-Matbouly, Hanan Alshikhabobakr, Afnan Fahim, Authors
Abstract, .pdf

CMU-CS-QTR-120
Making the Case for Computational Offloading in Mobile Device Clouds
Afnan Fahim, Abderrahmen Mtibaa, Khaled A. Harras
Abstract, .pdf
Also appears as CMU-CS-13-119

CMU-CS-QTR-121
Unavailable to Date

CMU-CS-QTR-122
Optimzed Compilation of Multiset Rewriting with Comprehensions
Edmund S. L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-14-119

CMU-CS-QTR-123
Mode Checking in the Concurrent Logical Framework
Jorge Luis Sacchini, Iliano Cervesato, Frank Pfenning, Carsten Shürmann
Abstract, .pdf
Also appears as CMU-CS-14-134

CMU-CS-QTR-124
The Qatar Arabic Language Bank Guidelines
Wajdi Zaghouani, Nizar Habashy, Behrang Mohit
Abstract, .pdf

CMU-CS-QTR-125
Comingle: Distributed Logic Programming for Decentralized Android Applications
Edmund S.L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-15-101

CMU-CS-QTR-126
Unavailable to Date

CMU-CS-QTR-127
2015 Senior Thesis Project Reports
Iliano Cervesato, Kemal Oflazer, Mark Stehlik, Khaled Harras, Houda Bouamor, Alexander W. Cheek, Editors
Sabih Bin Wasi Author
Abstract, .pdf

CMU-CS-QTR-128
Modular Multiset Rewriting in Focused Linear Logic
Iliano Cervesato, Edmund S.L. Lam
Abstract, .pdf
Also appears as CMU-CS-15-117

CMU-CS-QTR-129
Unavailable to Date

CMU-CS-QTR-130
2016 Senior Thesis Project Reports
Iliano Cervesato, Kemal Oflazer, Houda Bouamore, Bhiksha Raj, William Cohen, Francisco Guzman, Editors
Naassih Gopee, Alaa Khader, Authors
Abstract, .pdf

Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu