@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583,
    title = "Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19)",
    chapter = "Compositional structures for streaming applications",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583",
    id = "record",
    isbn = "978-1-4503-6094-4",
    doi = "10.1145/3288599.3288642"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986,
    title = "Proceedings of the 2017 Winter Simulation Conference",
    chapter = "Parallel discrete event simulation: The making of a field",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986",
    id = "record",
    isbn = "978-1-5386-3428-8",
    doi = "10.1109/WSC.2017.8247793"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016,
    title = "DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems",
    chapter = "Theory and implementation of a distributed event based platform",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016",
    id = "record",
    isbn = "978-1-4503-4021-2",
    doi = "10.1145/2933267.2940321"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466,
    title = "2015 IEEE Power \& Energy Society General Meeting",
    chapter = "A model for residential adoption of photovoltaic systems",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466",
    id = "record",
    isbn = "978-1-4673-8040-9",
    doi = "10.1109/PESGM.2015.7286226"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022,
    title = "48th Annual Conference on Information Sciences and Systems (CISS)",
    chapter = "Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022",
    id = "record",
    isbn = "978-1-4799-3001-2",
    doi = "10.1109/CISS.2014.6814135"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033,
    title = "51st IEEE Conference on Decision and Control",
    chapter = "Optimal placement of energy storage in the grid",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033",
    id = "record",
    isbn = "978-1-4673-2065-8",
    doi = "10.1109/CDC.2012.6426113"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876,
    title = "2012 50th Annual Allerton Conference on Communication, Control, and Computing",
    chapter = "Equivalence of Branch Flow and Bus Injection Models",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876",
    id = "record",
    isbn = "978-1-4673-4537-8",
    doi = "10.1109/Allerton.2012.6483453"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724,
    title = "Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems",
    chapter = "Towards a Discipline of Geospatial Distributed Event Based Systems",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724",
    id = "record",
    isbn = "978-1-4503-1315-5",
    doi = "10.1145/2335484.2335495"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433,
    title = "2011 50th IEEE Conference on Decision and Control and European Control Conference",
    chapter = "Optimal contract for wind power in day-ahead electricity markets",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433",
    id = "record",
    isbn = "978-1-61284-800-6",
    doi = "10.1109/CDC.2011.6161253"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612,
    title = "2011 IEEE International Conference on Smart Grid Communications",
    chapter = "Inverter VAR control for distribution systems with renewables",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612",
    id = "record",
    isbn = "978-1-4577-1704-8",
    doi = "10.1109/SmartGridComm.2011.6102366"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326,
    title = "2011 IEEE International Conference on Smart Grid Communications (SmartGridComm)",
    chapter = "GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326",
    id = "record",
    isbn = "978-1-4577-1702-4",
    doi = "10.1109/SmartGridComm.2011.6102397"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627,
    title = "2011 IEEE International Conference on Smart Grid Communications",
    chapter = "Optimal design of hybrid energy system with PV/wind turbine/storage: A case study",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627",
    id = "record",
    isbn = "978-1-4577-1704-8",
    doi = "10.1109/SmartGridComm.2011.6102376"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194,
    title = "2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton)",
    chapter = "Optimal power flow over tree networks",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194",
    id = "record",
    isbn = "978-1-4577-1817-5",
    doi = "10.1109/Allerton.2011.6120323"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007,
    title = "Proceedings of the 5th ACM international conference on Distributed event-based system",
    chapter = "Tutorial: Event processing grand challenges",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007",
    id = "record",
    isbn = "978-1-4503-0423-8",
    doi = "10.1145/2002259.2002308"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176,
    title = "Proceedings of the 5th ACM international conference on Distributed event-based system",
    chapter = "Rapid detection of rare geospatial events: earthquake warning applications",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176",
    id = "record",
    isbn = "978-1-4503-0423-8",
    doi = "10.1145/2002259.2002276"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582,
    title = "Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks",
    chapter = "Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582",
    id = "record",
    isbn = "978-1-61284-854-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069,
    title = "Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks",
    chapter = "The next big one: Detecting earthquakes and other rare events from community-based sensors",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069",
    id = "record",
    isbn = "978-1-61284-854-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694,
    title = "Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks",
    chapter = "Sensor networks for the detection and tracking of radiation and other threats in cities",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694",
    id = "record",
    isbn = "978-1-61284-854-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651,
    title = "49th IEEE Conference on Decision and Control (CDC)",
    chapter = "A simple optimal power flow model with energy storage",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651",
    id = "record",
    isbn = "978-1-4244-7745-6",
    doi = "10.1109/CDC.2010.5718193"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459,
    title = "48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)",
    chapter = "Load-shedding probabilities with hybrid renewable power generation and energy storage",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459",
    id = "record",
    isbn = "978-1-4244-8216-0",
    doi = "10.1109/ALLERTON.2010.5706912"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665,
    title = "Formal Modeling and Analysis of Timed Systems",
    chapter = "Convergence Verification: From Shared Memory to Partially Synchronous Systems",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665",
    id = "record",
    isbn = "978-3-540-85777-8",
    doi = "10.1007/978-3-540-85778-5\_16"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629,
    title = "Theorem Proving in Higher Order Logics",
    chapter = "A Formalized Theory for Verifying Stability and Convergence of Automata in PVS",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629",
    id = "record",
    isbn = "9783540710653",
    doi = "10.1007/978-3-540-71067-7\_20"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324,
    title = "5th International Conference on Networked Sensing Systems",
    chapter = "Networked sensing systems for detecting people carrying radioactive material",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324",
    id = "record",
    isbn = "978-4-907764-31-9",
    doi = "10.1109/INSS.2008.4610916"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182,
    title = "Proceedings of the 2007 inaugural international conference on Distributed event-based systems",
    chapter = "Towards a theory of events",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182",
    id = "record",
    isbn = "978-1-59593-665-3",
    doi = "10.1145/1266894.1266929"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819,
    title = "SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data",
    chapter = "Event processing using database technology",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819",
    id = "record",
    isbn = "978-1-59593-686-8",
    doi = "10.1145/1247480.1247645"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673,
    title = "27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007",
    chapter = "Self-Similar Algorithms for Dynamic Distributed Systems",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673",
    id = "record",
    isbn = "9780769528373",
    doi = "10.1109/ICDCS.2007.137"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666,
    title = "SCW 2006: IEEE Services Computing Workshops",
    chapter = "Control-based Scheduling in a Distributed Stream Processing System",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666",
    id = "record",
    isbn = "0-7695-2681-0",
    doi = "10.1109/SCW.2006.8"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206,
    title = "2006 7th IEEE/ACM International Conference on Grid Computing",
    chapter = "Snapshot Processing in Streaming Environments",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206",
    id = "record",
    isbn = "978-1-4244-0343-1",
    doi = "10.1109/ICGRID.2006.311038"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975,
    title = "10th IEEE International Enterprise Distributed Object Computing Conference proceedings",
    chapter = "Enterprise Computing Systems as Information Factories",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975",
    id = "record",
    isbn = "0-7695-2558-X",
    doi = "10.1109/EDOC.2006.24"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162,
    title = "2006 7th IEEE/ACM International Conference on Grid Computing",
    chapter = "Resource Allocation in Streaming Environments",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162",
    id = "record",
    isbn = "978-1-4244-0343-1",
    doi = "10.1109/ICGRID.2006.311025"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354,
    title = "EC '00 Proceedings of the 2nd ACM conference on Electronic commerce",
    chapter = "Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment",
    year = "2000",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354",
    id = "record",
    isbn = "1-58113-272-7",
    doi = "10.1145/352871.352894"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482,
    title = "Mathematics of Program Construction",
    chapter = "Theorems about Composition",
    year = "2000",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482",
    id = "record",
    isbn = "978-3-540-67727-7",
    doi = "10.1007/10722010\_12"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363,
    title = "FM'99 — Formal Methods",
    chapter = "Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    year = "1999",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363",
    id = "record",
    isbn = "978-3-540-66587-8",
    doi = "10.1007/3-540-48119-2\_32"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979,
    title = "Parallel and Distributed Processing",
    chapter = "Examples of program composition illustrating the use of universal properties",
    year = "1999",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979",
    id = "record",
    isbn = "978-3-540-65831-3",
    doi = "10.1007/bfb0098004"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383,
    title = "Parallel and Distributed Processing",
    chapter = "A Cottage industry of software publishing: Implications for theories of composition",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383",
    id = "record",
    isbn = "9783540643593",
    doi = "10.1007/3-540-64359-1\_751"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200,
    title = "A Comparative Study of Parallel Programming Languages: the Salishan Problems",
    chapter = "Program Composition Notation",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200",
    id = "record",
    isbn = "978-0-444-88135-9",
    doi = "10.1016/B978-0-444-88135-9.50012-7"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926,
    title = "Proceedings of Supercomputing '90",
    chapter = "UC: a language for the connection machine",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926",
    id = "record",
    isbn = "0-8186-2056-0",
    doi = "10.1109/SUPERC.1990.130064"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876,
    title = "Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing",
    chapter = "The Composition of Concurrent Programs",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876",
    id = "record",
    isbn = "0-89791-341-8",
    doi = "10.1145/76263.76325"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404,
    title = "Proceedings of the fourth annual ACM symposium on Principles of distributed computing",
    chapter = "How processes learn",
    year = "1985",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404",
    id = "record",
    isbn = "0-89791-168-7",
    doi = "10.1145/323596.323615"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670,
    title = "Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems",
    chapter = "Performance models of token ring local area networks",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670",
    id = "record",
    isbn = "0-89791-112-1",
    doi = "10.1145/800040.801414"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881,
    title = "Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing",
    chapter = "A distributed algorithm for detecting resource deadlocks in distributed systems",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881",
    id = "record",
    isbn = "0-89791-081-8",
    doi = "10.1145/800220.806693"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562,
    title = "Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing",
    chapter = "Proving safety and liveness of communicating processes with examples",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562",
    id = "record",
    isbn = "0-89791-081-8",
    doi = "10.1145/800220.806698"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422,
    title = "Proceedings of the 1982 national computer conference",
    chapter = "The use of performance models in systematic design",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422",
    id = "record",
    isbn = "0-88283-035-X",
    doi = "10.1145/1500774.1500804"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653,
    chapter = "A modeling approach and design tool for pipelined central processors",
    year = "1979",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653",
    id = "record",
    doi = "10.1145/800090.802901"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666,
    chapter = "Bayesian models of design based on intuition",
    year = "1976",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692,
    chapter = "File allocation in distributed systems",
    year = "1976",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692",
    id = "record",
    doi = "10.1145/800200.806177"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887,
    chapter = "A framework for hardware-software tradeoffs in the design of fault-tolerant computers",
    year = "1972",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887",
    id = "record",
    doi = "10.1145/1479992.1480000"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455,
    chapter = "Design automation and queueing networks: An interactive system for the evaluation of computer queueing models",
    year = "1972",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455",
    id = "record",
    doi = "10.1145/800153.804968"
}