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

Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu