@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92157,
    title ="Compositional structures for streaming applications",
    author = "Chandy, K. Mani and Bunn, Julian",
    
    
    
    pages = "352-361",
    month = "January",
    year = "2019",
    doi = "https://doi.org/10.1145/3288599.3288642",
    isbn = "978-1-4503-6094-4",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/86427,
    title ="Parallel discrete event simulation: The making of a field",
    author = "Fujimoto, Richard M. and Bagrodia, Rajive and Bryant, Randal E. and Chandy, K. Mani and Jefferson, David and Misra, Jayadev and Nicol, David and Unger, Brian",
    
    
    
    pages = "262-291",
    month = "December",
    year = "2017",
    doi = "https://doi.org/10.1109/WSC.2017.8247793",
    isbn = "978-1-5386-3428-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/73396,
    title ="Theory and implementation of a distributed event based platform",
    author = "Chandy, K. Mani",
    
    
    
    pages = "205-213",
    month = "June",
    year = "2016",
    doi = "https://doi.org/10.1145/2933267.2940321",
    isbn = "978-1-4503-4021-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/61014,
    title ="A model for residential adoption of photovoltaic systems",
    author = "Agarwal, Anish and Cai, Desmond and Shah, Sunil and Chandy, Mani and Sheric, Robert",
    
    
    
    pages = "1-5",
    month = "July",
    year = "2015",
    doi = "https://doi.org/10.1109/PESGM.2015.7286226",
    isbn = "978-1-4673-8040-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/57140,
    title ="Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Chandy, K. Mani and Low, Steven H.",
    
    
    
    pages = "1-5",
    month = "March",
    year = "2014",
    doi = "https://doi.org/10.1109/CISS.2014.6814135 ",
    isbn = "978-1-4799-3001-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/43116,
    title ="Optimal placement of energy storage in the grid",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Topcu, Ufuk and Chandy, K. Mani",
    
    
    
    pages = "5605-5612",
    month = "December",
    year = "2012",
    doi = "https://doi.org/10.1109/CDC.2012.6426113 ",
    isbn = "978-1-4673-2065-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/39668,
    title ="Equivalence of Branch Flow and Bus Injection Models",
    author = "Subhonmesh, Bose and Low, Steven H. and Chandy, K. Mani",
    
    
    
    pages = "1893-1899",
    month = "October",
    year = "2012",
    doi = "https://doi.org/10.1109/Allerton.2012.6483453",
    isbn = "978-1-4673-4537-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/33275,
    title ="Towards a Discipline of Geospatial Distributed Event Based Systems",
    author = "Liu, Annie and Olson, Michael and Bunn, Julian and Chandy, K. Mani",
    journal = "Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems",
    
    
    pages = "95-106",
    month = "January",
    year = "2012",
    
    isbn = "978-1-4503-1315-5",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80070,
    title ="Optimal contract for wind power in day-ahead electricity markets",
    author = "Cai, Desmond W. H. and Adlakha, Sachin and Chandy, K. Mani",
    
    
    
    pages = "1521-1527",
    month = "December",
    year = "2011",
    doi = "https://doi.org/10.1109/CDC.2011.6161253",
    isbn = "978-1-61284-800-6",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74358,
    title ="GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π",
    author = "Bakken, D. and Bose, A. and Chandy, K. M. and Khargonekar, P. P. and Kuh, A. and Low, S. and von Meier, A. and Poolla, K. and Varaiya, P. P. and Wu, F.",
    
    
    
    pages = "7-12",
    month = "October",
    year = "2011",
    doi = "https://doi.org/10.1109/SmartGridComm.2011.6102397",
    isbn = "978-1-4577-1702-4",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80116,
    title ="Inverter VAR control for distribution systems with renewables",
    author = "Farivar, Masoud and Clarke, Christopher R. and Low, Steven H. and Chandy, K. Mani",
    
    
    
    pages = "457-462",
    month = "October",
    year = "2011",
    doi = "https://doi.org/10.1109/SmartGridComm.2011.6102366",
    isbn = "978-1-4577-1704-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80172,
    title ="Optimal design of hybrid energy system with PV/wind turbine/storage: A case study",
    author = "Huang, Rui and Low, Steven H. and Topcu, Ufuk and Chandy, K. Mani and Clarke, Christopher R.",
    
    
    
    pages = "511-516",
    month = "October",
    year = "2011",
    doi = "https://doi.org/10.1109/SmartGridComm.2011.6102376",
    isbn = "978-1-4577-1704-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80066,
    title ="Optimal power flow over tree networks",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Low, Steven and Chandy, K. Mani",
    
    
    
    pages = "1342-1348",
    month = "September",
    year = "2011",
    doi = "https://doi.org/10.1109/Allerton.2011.6120323",
    isbn = "978-1-4577-1817-5",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/31568,
    title ="Rapid detection of rare geospatial events: earthquake warning applications",
    author = "Olson, Michael and Liu, Annie and Faulkner, Matthew and Chandy, K. Mani",
    
    
    
    pages = "89-100",
    month = "July",
    year = "2011",
    
    isbn = "978-1-4503-0423-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/31583,
    title ="Tutorial: Event processing grand challenges",
    author = "Bizarro, Pedro and Chandy, K. Mani and Stojanovic, Nenad",
    
    
    
    pages = "361-362",
    month = "July",
    year = "2011",
    
    isbn = "978-1-4503-0423-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74821,
    title ="Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors",
    author = "Faulkner, Matthew and Olson, Michael and Chandy, Rishi and Krause, Jonathan and Chandy, K. Mani and Krause, Andreas",
    
    
    
    pages = "121-122",
    month = "April",
    year = "2011",
    
    isbn = "978-1-61284-854-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74186,
    title ="Sensor networks for the detection and tracking of radiation and other threats in cities",
    author = "Liu, Annie H. and Bunn, Julian J. and Chandy, K. Mani",
    
    
    
    
    month = "April",
    year = "2011",
    
    isbn = "978-1-61284-854-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74822,
    title ="The next big one: Detecting earthquakes and other rare events from community-based sensors",
    author = "Faulkner, Matthew and Olson, Michael and Chandy, Rishi and Krause, Jonathan and Chandy, K. Mani and Krause, Andreas",
    
    
    
    pages = "13-24",
    month = "April",
    year = "2011",
    
    isbn = "978-1-61284-854-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80082,
    title ="A simple optimal power flow model with energy storage",
    author = "Chandy, K. Mani and Low, Steven H. and Topcu, Ufuk and Xu, Huan",
    
    
    
    pages = "1051-1057",
    month = "December",
    year = "2010",
    doi = "https://doi.org/10.1109/CDC.2010.5718193",
    isbn = "978-1-4244-7745-6",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/75114,
    title ="Load-shedding probabilities with hybrid renewable power generation and energy storage",
    author = "Xu, Huan and Topcu, Ufuk and Low, Steven H. and Clarke, Christopher R. and Chandy, K. Mani",
    
    
    
    pages = "233-239",
    month = "September",
    year = "2010",
    doi = "https://doi.org/10.1109/ALLERTON.2010.5706912",
    isbn = "978-1-4244-8216-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/101520,
    title ="Convergence Verification: From Shared Memory to Partially Synchronous Systems",
    author = "Chandy, K. Mani and Mitra, Sayan and Pilotto, Concetta",
    journal = "Lecture Notes in Computer Science",
    
    number = "5215",
    pages = "218-232",
    month = "August",
    year = "2008",
    doi = "https://doi.org/10.1007/978-3-540-85778-5_16",
    isbn = "978-3-540-85777-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/88705,
    title ="A Formalized Theory for Verifying Stability and Convergence of Automata in PVS",
    author = "Mitra, Sayan and Chandy, K. Mani",
    
    
    number = "5170",
    pages = "230-245",
    month = "August",
    year = "2008",
    doi = "https://doi.org/10.1007/978-3-540-71067-7_20",
    isbn = "9783540710653",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/76491,
    title ="Networked sensing systems for detecting people carrying radioactive material",
    author = "Chandy, Mani and Pilotto, Concetta and McLean, Ryan",
    
    
    
    pages = "148-155",
    month = "June",
    year = "2008",
    doi = "https://doi.org/10.1109/INSS.2008.4610916",
    isbn = "978-4-907764-31-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/69784,
    title ="Event processing using database technology",
    author = "Chandy, Mani and Gawlick, Dieter",
    
    
    
    pages = "1169-1170",
    month = "June",
    year = "2007",
    
    isbn = "978-1-59593-686-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/76873,
    title ="Self-Similar Algorithms for Dynamic Distributed Systems",
    author = "Chandy, K. Mani and Charpentier, Michel",
    
    
    
    pages = "67",
    month = "June",
    year = "2007",
    doi = "https://doi.org/10.1109/ICDCS.2007.137",
    isbn = "9780769528373",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92233,
    title ="Towards a theory of events",
    author = "Chandy, K. Mani and Charpentier, Michel and Capponi, Agostino",
    
    
    
    pages = "180-187",
    month = "June",
    year = "2007",
    doi = "https://doi.org/10.1145/1266894.1266929",
    isbn = "978-1-59593-665-3",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22251,
    title ="Control-based Scheduling in a Distributed Stream Processing System",
    author = "Khorlin, Andrey-A and Chandy, K. Mani",
    
    
    
    pages = "55-64",
    month = "September",
    year = "2006",
    doi = "https://doi.org/10.1109/SCW.2006.8  ",
    isbn = "0-7695-2681-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22175,
    title ="Enterprise Computing Systems as Information Factories",
    author = "Chandy, K. Mani and Tian, Lu and Zimmerman, Daniel M.",
    
    
    
    pages = "427-432",
    month = "January",
    year = "2006",
    
    isbn = "0-7695-2558-X",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/24581,
    title ="Resource Allocation in Streaming Environments",
    author = "Tian, Lu and Chandy, K. Mani",
    
    
    
    pages = "270-277",
    month = "January",
    year = "2006",
    
    isbn = "978-1-4244-0343-1",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22404,
    title ="Snapshot Processing in Streaming Environments",
    author = "Zimmerman, Daniel M. and Chandy, K. Mani",
    
    
    
    pages = "319-320",
    month = "January",
    year = "2006",
    
    isbn = "978-1-4244-0343-1",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/71518,
    title ="Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment",
    author = "Ginis, Roman and Chandy, K. Mani",
    
    
    
    pages = "207-214",
    month = "October",
    year = "2000",
    
    isbn = "1-58113-272-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/99158,
    title ="Theorems about Composition",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Lecture Notes in Computer Science",
    
    number = "1837",
    pages = "167-186",
    month = "January",
    year = "2000",
    doi = "https://doi.org/10.1007/10722010_12",
    isbn = "978-3-540-67727-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/104386,
    title ="Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Lecture Notes in Computer Science",
    
    number = "1708",
    pages = "570-589",
    month = "September",
    year = "1999",
    doi = "https://doi.org/10.1007/3-540-48119-2_32",
    isbn = "978-3-540-66587-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/104363,
    title ="Examples of program composition illustrating the use of universal properties",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Lecture Notes in Computer Science",
    
    number = "1586",
    pages = "1215-1227",
    month = "January",
    year = "1999",
    doi = "https://doi.org/10.1007/bfb0098004",
    isbn = "978-3-540-65831-3",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/106720,
    title ="A Cottage industry of software publishing: Implications for theories of composition",
    author = "Chandy, K. Mani and Sivilotti, Paolo A. G. and Kiniry, Joseph R.",
    journal = "Lecture Notes in Computer Science",
    
    number = "1388",
    pages = "890-899",
    month = "January",
    year = "1998",
    doi = "https://doi.org/10.1007/3-540-64359-1_751",
    isbn = "9783540643593",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/78865,
    title ="Program Composition Notation",
    author = "Chandy, K. Mani and Taylor, Stephen",
    
    
    number = "6",
    pages = "263-295",
    month = "January",
    year = "1992",
    doi = "https://doi.org/10.1016/B978-0-444-88135-9.50012-7",
    isbn = "978-0-444-88135-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/66532,
    title ="UC: a language for the connection machine",
    author = "Bagrodia, R. and Chandy, K. M. and Kwan, E.",
    
    
    
    pages = "525-534",
    month = "November",
    year = "1990",
    
    isbn = "0-8186-2056-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/69785,
    title ="The Composition of Concurrent Programs",
    author = "Chandy, K. Mani and Taylor, Stephen",
    
    
    
    pages = "557-561",
    month = "November",
    year = "1989",
    
    isbn = "0-89791-341-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92258,
    title ="How processes learn",
    author = "Chandy, K. Mani and Misra, Jayadev",
    
    
    
    pages = "204-214",
    month = "August",
    year = "1985",
    doi = "https://doi.org/10.1145/323596.323615",
    isbn = "0-89791-168-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92259,
    title ="Performance models of token ring local area networks",
    author = "Berry, Robert and Chandy, K. Mani",
    
    
    
    pages = "266-274",
    month = "August",
    year = "1983",
    doi = "https://doi.org/10.1145/800040.801414",
    isbn = "0-89791-112-1",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92220,
    title ="A distributed algorithm for detecting resource deadlocks in distributed systems",
    author = "Chandy, K. M. and Misra, J.",
    
    
    
    pages = "157-164",
    month = "August",
    year = "1982",
    doi = "https://doi.org/10.1145/800220.806693",
    isbn = "0-89791-081-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92222,
    title ="Proving safety and liveness of communicating processes with examples",
    author = "Misra, J. and Chandy, K. M. and Smith, Todd",
    
    
    
    pages = "201-208",
    month = "August",
    year = "1982",
    doi = "https://doi.org/10.1145/800220.806698",
    isbn = "0-89791-081-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92225,
    title ="The use of performance models in systematic design",
    author = "Chandy, K. M. and Misra, J. and Berry, R. and Neuse, D.",
    
    
    number = "51",
    pages = "251-256",
    month = "June",
    year = "1982",
    doi = "https://doi.org/10.1145/1500774.1500804",
    isbn = "0-88283-035-X",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92249,
    title ="A modeling approach and design tool for pipelined central processors",
    author = "Lang, D. E. and Agerwala, T. K. and Chandy, K. M.",
    
    
    
    pages = "122-129",
    month = "April",
    year = "1979",
    doi = "https://doi.org/10.1145/800090.802901",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92229,
    title ="Bayesian models of design based on intuition",
    author = "Chandy, K. M.",
    
    
    
    pages = "281-285",
    month = "October",
    year = "1976",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92197,
    title ="File allocation in distributed systems",
    author = "Chandy, K. M. and Hewes, J. E.",
    
    
    
    pages = "10-13",
    month = "March",
    year = "1976",
    doi = "https://doi.org/10.1145/800200.806177",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92219,
    title ="A framework for hardware-software tradeoffs in the design of fault-tolerant computers",
    author = "Chandy, K. M. and Ramamoorthy, C. V. and Cowan, A.",
    
    
    
    pages = "55-63",
    month = "December",
    year = "1972",
    doi = "https://doi.org/10.1145/1479992.1480000",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92260,
    title ="Design automation and queueing networks: An interactive system for the evaluation of computer queueing models",
    author = "Chandy, K. M. and Keller, T. W. and Browne, J. C.",
    
    
    
    pages = "357-367",
    month = "June",
    year = "1972",
    doi = "https://doi.org/10.1145/800153.804968",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455",
}