ISRI TECHNICAL REPORTS 2007
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)


Technical Reports by Author
Theses by Author

CMU-ISRI-07-100
The Supply Chain Management Game for the 2007 Trading Agent Competition
John Collins, Raghu Arunachalam, Norman Sadeh, Joakim Eriksson, Niclas Finne, Sverker Janson
Abstract, .pdf

CMU-ISRI-07-101
Unavailable to Date

CMU-ISRI-07-102
The Role of Dynamic-Network Multi-Agent Models of Socio-Political Systems in Policy
Marcus A. Louie, Kathleen M. Carley
Abstract, .pdf

CMU-ISRI-07-103
Computational and Empirical Explorations of Work Group Performance
Michael Ashworth, Ph.D. Thesis
Abstract, .pdf

CMU-ISRI-07-104
The Topes Format Editor and Parser
Christopher Scaffidi, Brad Myers, Mary Shaw
Abstract, .pdf

CMU-ISRI-07-105
Modular Typestate Verification of Aliased Objects
Kevin Bierhoff, Jonathan Aldrich
Abstract, .pdf

CMU-ISRI-07-106
The 2007 Supply Chain Trading Agent Competition: Procurement Challenge
Alberto Sardinha, Michael Benisch, James Andrews, Norman Sadeh
Abstract, .pdf
Superceded by CMU-ISRI-07-106R

CMU-ISRI-07-106R
The 2007 Supply Chain Trading Agent Competition: Procurement Challenge
Alberto Sardinha, Michael Benisch, James Andrews, Norman Sadeh
Abstract, .pdf

CMU-ISRI-07-107
Specifying Agents in Construct
Brian R. Hirshman, Kathleen M. Carley, Michael J. Kowalchuck
Abstract, .pdf

CMU-ISRI-07-108
Design Fragments
George Fairbanks, Ph.D. Thesis
Abstract, .pdf

CMU-ISRI-07-109
Computational Analysis of Merchant Marine GPS Data
George B. Davis, Kathleen M. Carley
Abstract, .pdf

CMU-ISRI-07-110
Unavailable to Date

CMU-ISRI-07-111
Characteristics that Make One Estimation Technically Better than Others
Arunkumar Jayaraman
Abstract, .pdf

CMU-ISRI-07-112
Unavailable to Date

CMU-ISRI-07-113
Simultaneous Inference of Places, Activities, and Behavioral Classes in Maritime GPS Traces
George B. Davis, Kathleen M. Carley
Abstract, .pdf

CMU-ISRI-07-114
AutoMap User's Guide 2007
Kathleen M. Carley, Dave Columbus, Matt DeReno Jana Diesner, Nicole Sebula
Abstract, .pdf
Superceded by CMU-ISR-08-123.pdf

CMU-ISRI-07-115
ORA [Organizational Risk Analyzer] User's Guide 2007
Kathleen M. Carley, Dave Columbus, Matt DeReno, Jeff Reminga, Il-Chul Moon
Abstract, .pdf
Superceded by CMU-ISR-08-125.pdf

CMU-ISRI-07-116
Loading Networks in Construct
Brian R. Hirshman, Kathleen M. Carley, Michael J. Kowalchuck
Abstract, .pdf

CMU-ISRI-07-117
Probabilistic Opaque Quorum Systems
Michael G. Merideth, Michael K. Reiter
Abstract, .pdf
Also appears as Computer Science Technical Report CMU-CS-07-117

CMU-ISRI-07-118
Write Markers for Probabilistic Quorum Systems
Michael G. Merideth, Michael K. Reiter
Abstract, .pdf
Superceded by CMU-ISRI-07-118R
Also appears as Computer Science Technical Report CMU-CS-07-165
Also appears as Computer Science Technical Report CMU-CS-07-165R

CMU-ISRI-07-118R
Write Markers for Probabilistic Quorum Systems
Michael G. Merideth, Michael K. Reiter
Abstract, .pdf
Supercedes CMU-ISRI-07-118
Also appears as Computer Science Technical Report CMU-CS-07-165R

CMU-ISRI-07-119
Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems
Marwan Abi-Antoun, Jonathan Aldrich
Abstract, .ps, .pdf
Superceded by CMU-ISRI-07-119R
Superceded by CMU-ISR-08-132

CMU-ISRI-07-119R
Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems
Marwan Abi-Antoun, Jonathan Aldrich
Abstract, .ps, .pdf
Superceded by CMU-ISR-08-132

CMU-ISRI-07-120
Dependencies in Geographically Distributed Software Development: Overcoming the Limits of Modularity
Marcelo Cataldo, Ph.D. Thesis (COS)
Abstract, .pdf

CMU-ISRI-07-121
A Language-based Approach to Specification and Enforcement of Architectural Protocols
Kevin Bierhoff, Jonathan Aldrich, Sangjin Han
Abstract, .pdf
Superceded by CMU-ISR-10-100

CMU-ISRI-07-122
A Theory of Expressiveness in Mechanisms
Michael Benisch, Norman Sadeh, Tuomas Sandholm
Abstract, .pdf
Also appears as Computer Science Technical Report CMU-CS-07-178

CMU-ISRI-07-123
The 2007 Procurement Challenge: A Competition to Evaluate Mixed Procurement Strategies
Alberto Sardinha, Michael Benisch, Norman Sadeh, Ramprasad Ravichandran, Vedran Podobnik, Mihai Stan
Abstract, .pdf


Return to: SCS Technical Report Collection

This page maintained by [email protected]