@article{https://resolver.caltech.edu/CaltechAUTHORS:20211209-231200000,
    title = "Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence",
    journal = "Earthquake Spectra",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20211209-231200000",
    id = "record",
    issn = "8755-2930",
    doi = "10.1177/87552930211003916",
    volume = "37"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210107-103141484,
    title = "2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises",
    journal = "Seismological Research Letters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210107-103141484",
    id = "record",
    issn = "0895-0695",
    doi = "10.1785/0220200170",
    volume = "91"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191115-160214215,
    title = "CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools",
    journal = "Seismological Research Letters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191115-160214215",
    id = "record",
    issn = "0895-0695",
    doi = "10.1785/0220190200",
    volume = "91"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20160705-133353269,
    title = "Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion",
    journal = "Earthquake Spectra",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160705-133353269",
    id = "record",
    issn = "8755-2930",
    doi = "10.1193/062315EQS101M",
    volume = "32"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170810-100823060,
    title = "Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow",
    journal = "IEEE Transactions on Control of Network Systems",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100823060",
    id = "record",
    issn = "2325-5870",
    doi = "10.1109/TCNS.2015.2401172",
    volume = "2"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20151012-154950185,
    title = "Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion",
    journal = "Seismological Research Letters",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-154950185",
    id = "record",
    issn = "0895-0695",
    doi = "10.1785/0220150094",
    volume = "86"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140819-131736568,
    title = "Community Sense and Response Systems: Your Phone as Quake Detector",
    journal = "Communications of the ACM",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140819-131736568",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/2622633",
    volume = "57"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140811-131704662,
    title = "The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes",
    journal = "Communications of the ACM",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140811-131704662",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/2622633",
    volume = "57"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20131213-111904382,
    title = "Impact of residential PV adoption on Retail Electricity Rates",
    journal = "Energy Policy",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131213-111904382",
    id = "record",
    issn = "0301-4215",
    doi = "10.1016/j.enpol.2013.07.009",
    volume = "62"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977,
    title = "Verification of distributed systems with local–global predicates",
    journal = "Formal Aspects of Computing",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977",
    id = "record",
    issn = "0934-5043",
    doi = "10.1007/s00165-010-0150-7",
    volume = "23"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20120213-121753118,
    title = "Community Seismic Network",
    journal = "Annals of Geophysics",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120213-121753118",
    id = "record",
    issn = "1593-5213",
    doi = "10.4401/ag-5269",
    volume = "54"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170309-150535053,
    title = "The Impact of Sense and Response Systems",
    journal = "IEEE Internet Computing",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170309-150535053",
    id = "record",
    issn = "1089-7801",
    doi = "10.1109/MIC.2010.12",
    volume = "14"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20110407-094212599,
    title = "The Impact of Sense and Respond Systems",
    journal = "IEEE Internet Computing",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110407-094212599",
    id = "record",
    issn = "1089-7801",
    doi = "10.1109/MIC.20",
    volume = "14"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100202-112121782,
    title = "Internet Predictions",
    journal = "IEEE Internet Computing",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100202-112121782",
    id = "record",
    issn = "1089-7801",
    doi = "10.1109/MIC.2010.12",
    volume = "14"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190829-131532981,
    title = "Specification transformers: a predicate transformer approach to composition",
    journal = "Acta Informatica",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190829-131532981",
    id = "record",
    issn = "0001-5903",
    doi = "10.1007/s00236-003-0130-y",
    volume = "40"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191112-111040108,
    title = "An Experiment in Program Composition and Proof",
    journal = "Formal Methods in System Design",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191112-111040108",
    id = "record",
    issn = "0925-9856",
    doi = "10.1023/a:1012952311559",
    volume = "20"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170409-080717471,
    title = "Using announce-listen with global events to develop distributed control systems",
    journal = "Concurrency and Computation: Practice and Experience",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170409-080717471",
    id = "record",
    issn = "1532-0626",
    doi = "10.1002/(SICI)1096-9128(199809/11)10:11/13\%3C1021::AID-CPE411\%3E3.0.CO;2-K",
    volume = "10"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140701-112530382,
    title = "Webs of Archived Distributed Computations for Asynchronous Collaboration",
    journal = "Journal of Supercomputing",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140701-112530382",
    id = "record",
    issn = "0920-8542",
    doi = "10.1023/A:1007903821879",
    volume = "11"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:CHAcj97,
    title = "Systematic composition of distributed objects: Processes and sessions",
    journal = "Computer Journal",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:CHAcj97",
    id = "record",
    issn = "0010-4620",
    doi = "10.1093/comjnl/40.8.465",
    volume = "40"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140701-135237680,
    title = "Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    journal = "Proceedings of the Annual Hawaii International Conference on System Sciences",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140701-135237680",
    id = "record",
    issn = "1060-3425",
    doi = "10.1109/HICSS.1997.667288",
    volume = "1"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20160502-095026188,
    title = "A Unifying Framework Distributed Simulation",
    journal = "ACM Transactions on Modeling and Computer Simulation (TOMACS)",
    year = "1991",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160502-095026188",
    id = "record",
    issn = "1049-3301",
    doi = "10.1145/130611.130614",
    volume = "1"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130923-092736838,
    title = "Distributed Snapshots: Determining Global States of a Distributed System",
    journal = "ACM Transactions on Computer Systems",
    year = "1985",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130923-092736838",
    id = "record",
    issn = "0734-2071",
    doi = "10.1145/214451.214456",
    volume = "3"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84,
    title = "The MVA Priority Approximation",
    journal = "ACM Transactions on Computer Systems",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84",
    id = "record",
    issn = "0734-2071",
    volume = "2"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-153432743,
    title = "The drinking philosophers problem",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-153432743",
    id = "record",
    issn = "0164-0925",
    doi = "10.1145/1780.1804",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-154120345,
    title = "Distributed deadlock detection",
    journal = "ACM Transactions on Computer Systems",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154120345",
    id = "record",
    issn = "0734-2071",
    doi = "10.1145/357360.357365",
    volume = "1"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534,
    title = "A Characterization of Product-Form Queuing Networks",
    journal = "Journal of the ACM",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/322374.322378",
    volume = "30"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-142130380,
    title = "HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-142130380",
    id = "record",
    issn = "0163-5999",
    doi = "10.1145/1035293.1035322",
    volume = "11"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-085547749,
    title = "Distributed computation on graphs: shortest path algorithms",
    journal = "Communications of the ACM",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-085547749",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/358690.358717",
    volume = "25"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106,
    title = "A Distributed Graph Algorithm: Knot Detection",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106",
    id = "record",
    issn = "0164-0925",
    volume = "4"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-104059640,
    title = "Linearizer: a heuristic algorithm for queueing network models of computing systems",
    journal = "Communications of the ACM",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-104059640",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/358396.358403",
    volume = "25"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-133115677,
    title = "Termination Detection of Diffusing Computations in Communicating Sequential Processes",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-133115677",
    id = "record",
    issn = "0164-0925",
    doi = "10.1145/357153.357156",
    volume = "4"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-144627224,
    title = "SCAT: A heuristic algorithm for queueing network models of computing systems",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    year = "1981",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-144627224",
    id = "record",
    issn = "0163-5999",
    doi = "10.1145/1010629.805476",
    volume = "10"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-142711979,
    title = "Asynchronous distributed simulation via a sequence of parallel computations",
    journal = "Communications of the ACM",
    year = "1981",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-142711979",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/358598.358613",
    volume = "24"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-151918151,
    title = "Computational algorithms for product form queueing networks",
    journal = "Communications of the ACM",
    year = "1980",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-151918151",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359015.359020",
    volume = "23"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-083035370,
    title = "A simple model of distributed programs based on implementation-hiding and process autonomy",
    journal = "ACM SIGPLAN Notices",
    year = "1980",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-083035370",
    id = "record",
    issn = "0362-1340",
    doi = "10.1145/947680.947681",
    volume = "15"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190110-110914947,
    title = "Computational algorithms for product form queueing networks",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    year = "1980",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-110914947",
    id = "record",
    issn = "0163-5999",
    doi = "10.1145/800199.806144",
    volume = "9"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-105904204,
    title = "The impact of distributions and disciplines on multiple processor systems",
    journal = "Communications of the ACM",
    year = "1979",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-105904204",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359046.359053",
    volume = "22"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-161030053,
    title = "Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap",
    journal = "Communications of the ACM",
    year = "1978",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161030053",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359619.359622",
    volume = "21"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-155805180,
    title = "Approximate Methods for Analyzing Queueing Network Models of Computing Systems",
    journal = "ACM Computing Surveys",
    year = "1978",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-155805180",
    id = "record",
    issn = "0360-0300",
    doi = "10.1145/356733.356737",
    volume = "10"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190109-110649524,
    title = "Product Form and Local Balance in Queueing Networks",
    journal = "Journal of the ACM",
    year = "1977",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-110649524",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/322003.322009",
    volume = "24"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190109-124527286,
    title = "Memory management and response time",
    journal = "Communications of the ACM",
    year = "1977",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-124527286",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359436.359443",
    volume = "20"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-104559390,
    title = "Scheduling partially ordered tasks with probabilistic execution times",
    journal = "ACM SIGOPS Operating Systems Review",
    year = "1975",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-104559390",
    id = "record",
    issn = "0163-5980",
    doi = "10.1145/800213.806534",
    volume = "9"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-140309634,
    title = "Open, Closed, and Mixed Networks of Queues with Different Classes of Customers",
    journal = "Journal of the ACM",
    year = "1975",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-140309634",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/321879.321887",
    volume = "22"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-160504256,
    title = "A comparison of list schedules for parallel processing systems",
    journal = "Communications of the ACM",
    year = "1974",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-160504256",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/361604.361619",
    volume = "17"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410,
    title = "Optimization of Memory Hierarchies in Multiprogrammed Systems",
    journal = "Journal of the ACM",
    year = "1970",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410",
    id = "record",
    issn = "0004-5411",
    volume = "17"
}