@other{https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537,
    title = "Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537",
    id = "record",
    doi = "10.7907/Z9BG2KZG"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:03202015-082016718,
    title = "A Model For Residential Adoption of Photovoltaic Systems",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechTHESIS:03202015-082016718",
    id = "record",
    doi = "10.7907/Z9RB72J4"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077,
    title = "Cloud Computing Services for Seismic Networks",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077",
    id = "record",
    doi = "10.7907/5D60-FG88"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04102014-131741107,
    title = "Selective Data Gathering in Community Sensor Networks",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04102014-131741107",
    id = "record",
    doi = "10.7907/NBQ4-6Q72"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456,
    title = "An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456",
    id = "record",
    doi = "10.7907/FRGW-AF26"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328,
    title = "Community Sense and Response Systems",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328",
    id = "record",
    doi = "10.7907/QFM5-FH06"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692,
    title = "Sensor Networks for Geospatial Event Detection - Theory and Applications",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692",
    id = "record",
    doi = "10.7907/MZWJ-T222"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06272013-211013400,
    title = "Situation Awareness Application",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06272013-211013400",
    id = "record",
    doi = "10.7907/CH76-YW89"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:08232011-122341638,
    title = "Cloud Computing for Citizen Science",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechTHESIS:08232011-122341638",
    id = "record",
    doi = "10.7907/8S5K-FX17"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516,
    title = "Systematic Design and Formal Verification of Multi-Agent Systems  ",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516",
    id = "record",
    doi = "10.7907/SCQF-VP66"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546,
    title = "Applying Formal Methods to Distributed Algorithms Using Local-Global Relations  ",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546",
    id = "record",
    doi = "10.7907/8FRW-ZF17"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:07072010-160100413,
    title = "Simulation and Implementation of Distributed Sensor Network for Radiation Detection",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechTHESIS:07072010-160100413",
    id = "record",
    doi = "10.7907/XF1E-XW61"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677,
    title = "SCALE: Source Code Analyzer for Locating Errors",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677",
    id = "record",
    doi = "10.7907/KXWA-7Y81"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05232007-084106,
    title = "Local-to-Global in Multi-Agent Systems",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05232007-084106",
    id = "record",
    doi = "10.7907/JY2K-6194"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05242006-175006,
    title = "Scheduling in Distributed Stream Processing Systems",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05242006-175006",
    id = "record",
    doi = "10.7907/4MH9-9104"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05262006-165801,
    title = "Resource Allocation in Streaming Environments",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05262006-165801",
    id = "record",
    doi = "10.7907/35Y5-H853"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05222006-142127,
    title = "Estimation Problems in Sense and Respond Systems",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05222006-142127",
    id = "record",
    doi = "10.7907/YZF9-ZN10"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-11012005-093745,
    title = "Automating Resource Management for Distributed Business Processes",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechETD:etd-11012005-093745",
    id = "record",
    doi = "10.7907/9GXT-BD03"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-12072001-160019,
    title = "Dynamic UNITY",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechETD:etd-12072001-160019",
    id = "record",
    doi = "10.7907/AC6E-WE21"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-06062002-164914,
    title = "Kind Theory",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechETD:etd-06062002-164914",
    id = "record",
    doi = "10.7907/TVTD-E826"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-08272001-155016,
    title = "Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechETD:etd-08272001-155016",
    id = "record",
    doi = "10.7907/44QZ-R465"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01242008-074143,
    title = "A structured approach to parallel programming",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01242008-074143",
    id = "record",
    doi = "10.7907/5ma9-h225"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01252008-095244,
    title = "A method for the specification, composition, and testing of distributed object systems",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01252008-095244",
    id = "record",
    doi = "10.7907/z89g-gm27"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01042008-085720,
    title = "A parallel programming model with sequential semantics",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01042008-085720",
    id = "record",
    doi = "10.7907/mytw-er77"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10112007-083903,
    title = "Synchronizing processes",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10112007-083903",
    id = "record",
    doi = "10.7907/G620-GG65"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10162007-111256,
    title = "Toward reliable modular programs",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10162007-111256",
    id = "record",
    doi = "10.7907/ynt2-nn65"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04112012-083734292,
    title = "Parallel Programming Archetypes in Combinatorics and Optimization",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04112012-083734292",
    id = "record",
    doi = "10.7907/g8mm-x344"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04122012-094328813,
    title = "Mach-Based Channel Library",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-094328813",
    id = "record",
    doi = "10.7907/q2v9-sq59"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:03272012-094222255,
    title = "Distributed linear algebra on networks of workstations",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechTHESIS:03272012-094222255",
    id = "record",
    doi = "10.7907/ync0-mn20"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04122012-130550435,
    title = "Integrating Task and Data Parallelism",
    year = "1993",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-130550435",
    id = "record",
    doi = "10.7907/a7ga-s950"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175,
    title = "A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language",
    year = "1993",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175",
    id = "record",
    doi = "10.7907/ngrt-q826"
}