<h1>Chandy, Kanianthra</h1>
<h2>Combined from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Kohler, Monica D. and Filippitzis, Filippos, el al. (2022) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220518-205134775">Variations in Ground Motion Amplification in the Los Angeles Basin due to the 2019 M7.1 Ridgecrest Earthquake: Implications for the Long-Period Response of Infrastructure</a></li>
<li>Filippitzis, Filippos and Kohler, Monica D., el al. (2021) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20211209-231200000">Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence</a>; Earthquake Spectra; Vol. 37; No. 4; 2493-2522; <a href="https://doi.org/10.1177/87552930211003916">10.1177/87552930211003916</a></li>
<li>Kohler, Monica D. and Filippitzis, Filippos, el al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20210107-103141484">2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises</a>; Seismological Research Letters; Vol. 91; No. 6; 3370-3380; <a href="https://doi.org/10.1785/0220200170">10.1785/0220200170</a></li>
<li>Clayton, Robert W. and Kohler, Monica D., el al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191115-160214215">CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools</a>; Seismological Research Letters; Vol. 91; No. 2A; 622-630; <a href="https://doi.org/10.1785/0220190200">10.1785/0220190200</a></li>
<li>Chandy, K. Mani and Bunn, Julian (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583">Compositional structures for streaming applications</a>; ISBN 978-1-4503-6094-4; Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19); 352-361; <a href="https://doi.org/10.1145/3288599.3288642">10.1145/3288599.3288642</a></li>
<li>Kohler, M. D. and Guy, R., el al. (2018) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20180713-133233514">Community seismic network and localized earthquake situational awareness</a></li>
<li>Fujimoto, Richard M. and Bagrodia, Rajive, el al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986">Parallel discrete event simulation: The making of a field</a>; ISBN 978-1-5386-3428-8; Proceedings of the 2017 Winter Simulation Conference; 262-291; <a href="https://doi.org/10.1109/WSC.2017.8247793">10.1109/WSC.2017.8247793</a></li>
<li>Massari, A. and Kohler, M., el al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170127-163202195">Dense Building Instrumentation Application for City-Wide Structural Health Monitoring</a></li>
<li>Kohler, Monica D. and Massari, Anthony, el al. (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160705-133353269">Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion</a>; Earthquake Spectra; Vol. 32; No. 3; 1793-1820; <a href="https://doi.org/10.1193/062315EQS101M">10.1193/062315EQS101M</a></li>
<li>Chandy, K. Mani (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016">Theory and implementation of a distributed event based platform</a>; ISBN 978-1-4503-4021-2; DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems; 205-213; <a href="https://doi.org/10.1145/2933267.2940321">10.1145/2933267.2940321</a></li>
<li>Bose, Subhonmesh and Gayme, Dennice F., el al. (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170810-100823060">Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow</a>; IEEE Transactions on Control of Network Systems; Vol. 2; No. 3; 278-287; <a href="https://doi.org/10.1109/TCNS.2015.2401172">10.1109/TCNS.2015.2401172</a></li>
<li>Clayton, Robert W. and Heaton, Thomas H., el al. (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20151012-154950185">Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion</a>; Seismological Research Letters; Vol. 86; No. 5; 1354-1363; <a href="https://doi.org/10.1785/0220150094">10.1785/0220150094</a></li>
<li>Agarwal, Anish and Cai, Desmond, el al. (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466">A model for residential adoption of photovoltaic systems</a>; ISBN 978-1-4673-8040-9; 2015 IEEE Power &amp; Energy Society General Meeting; 1-5; <a href="https://doi.org/10.1109/PESGM.2015.7286226">10.1109/PESGM.2015.7286226</a></li>
<li>Faulkner, Matthew Nicholas and Clayton, Robert W., el al. (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20140811-131704662">The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes</a>; Communications of the ACM; Vol. 57; No. 7; 66-75; <a href="https://doi.org/10.1145/2622633">10.1145/2622633</a></li>
<li>Faulkner, Matthew and Clayton, Robert W., el al. (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20140819-131736568">Community Sense and Response Systems: Your Phone as Quake Detector</a>; Communications of the ACM; Vol. 57; No. 7; 66-75; <a href="https://doi.org/10.1145/2622633">10.1145/2622633</a></li>
<li>Bose, Subhonmesh and Gayme, Dennice F., el al. (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022">Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow</a>; ISBN 978-1-4799-3001-2; 48th Annual Conference on Information Sciences and Systems (CISS); 1-5; <a href="https://doi.org/10.1109/CISS.2014.6814135">10.1109/CISS.2014.6814135</a></li>
<li>Cai, Desmond W. H. and Adlakha, Sachin, el al. (2013) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20131213-111904382">Impact of residential PV adoption on Retail Electricity Rates</a>; Energy Policy; Vol. 62; 830-843; <a href="https://doi.org/10.1016/j.enpol.2013.07.009">10.1016/j.enpol.2013.07.009</a></li>
<li>Bose, Subhonmesh and Gayme, Dennice F., el al. (2012) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033">Optimal placement of energy storage in the grid</a>; ISBN 978-1-4673-2065-8; 51st IEEE Conference on Decision and Control; 5605-5612; <a href="https://doi.org/10.1109/CDC.2012.6426113">10.1109/CDC.2012.6426113</a></li>
<li>Subhonmesh, Bose and Low, Steven H., el al. (2012) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876">Equivalence of Branch Flow and Bus Injection Models</a>; ISBN 978-1-4673-4537-8; 2012 50th Annual Allerton Conference on Communication, Control, and Computing; 1893-1899; <a href="https://doi.org/10.1109/Allerton.2012.6483453">10.1109/Allerton.2012.6483453</a></li>
<li>Liu, Annie and Olson, Michael, el al. (2012) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724">Towards a Discipline of Geospatial Distributed Event Based Systems</a>; ISBN 978-1-4503-1315-5; Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; 95-106; <a href="https://doi.org/10.1145/2335484.2335495">10.1145/2335484.2335495</a></li>
<li>De Martini, Paul and Chandy, K. Mani, el al. (2012) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20131010-162127988">Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources</a></li>
<li>Cai, Desmond W. H. and Adlakha, Sachin, el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433">Optimal contract for wind power in day-ahead electricity markets</a>; ISBN 978-1-61284-800-6; 2011 50th IEEE Conference on Decision and Control and European Control Conference; 1521-1527; <a href="https://doi.org/10.1109/CDC.2011.6161253">10.1109/CDC.2011.6161253</a></li>
<li>Huang, Rui and Low, Steven H., el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627">Optimal design of hybrid energy system with PV/wind turbine/storage: A case study</a>; ISBN 978-1-4577-1704-8; 2011 IEEE International Conference on Smart Grid Communications; 511-516; <a href="https://doi.org/10.1109/SmartGridComm.2011.6102376">10.1109/SmartGridComm.2011.6102376</a></li>
<li>Farivar, Masoud and Clarke, Christopher R., el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612">Inverter VAR control for distribution systems with renewables</a>; ISBN 978-1-4577-1704-8; 2011 IEEE International Conference on Smart Grid Communications; 457-462; <a href="https://doi.org/10.1109/SmartGridComm.2011.6102366">10.1109/SmartGridComm.2011.6102366</a></li>
<li>Bakken, D. and Bose, A., el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326">GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π</a>; ISBN 978-1-4577-1702-4; 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm); 7-12; <a href="https://doi.org/10.1109/SmartGridComm.2011.6102397">10.1109/SmartGridComm.2011.6102397</a></li>
<li>Chandy, K. Mani and Go, Brian, el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977">Verification of distributed systems with local–global predicates</a>; Formal Aspects of Computing; Vol. 23; No. 5; 649-679; <a href="https://doi.org/10.1007/s00165-010-0150-7">10.1007/s00165-010-0150-7</a></li>
<li>Bose, Subhonmesh and Gayme, Dennice F., el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194">Optimal power flow over tree networks</a>; ISBN 978-1-4577-1817-5; 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton); 1342-1348; <a href="https://doi.org/10.1109/Allerton.2011.6120323">10.1109/Allerton.2011.6120323</a></li>
<li>Olson, Michael and Liu, Annie, el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176">Rapid detection of rare geospatial events: earthquake warning applications</a>; ISBN 978-1-4503-0423-8; Proceedings of the 5th ACM international conference on Distributed event-based system; 89-100; <a href="https://doi.org/10.1145/2002259.2002276">10.1145/2002259.2002276</a></li>
<li>Bizarro, Pedro and Chandy, K. Mani, el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007">Tutorial: Event processing grand challenges</a>; ISBN 978-1-4503-0423-8; Proceedings of the 5th ACM international conference on Distributed event-based system; 361-362; <a href="https://doi.org/10.1145/2002259.2002308">10.1145/2002259.2002308</a></li>
<li>Faulkner, Matthew and Olson, Michael, el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582">Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors</a>; ISBN 978-1-61284-854-9; Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 121-122</li>
<li>Liu, Annie H. and Bunn, Julian J., el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694">Sensor networks for the detection and tracking of radiation and other threats in cities</a>; ISBN 978-1-61284-854-9; Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks</li>
<li>Faulkner, Matthew and Olson, Michael, el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069">The next big one: Detecting earthquakes and other rare events from community-based sensors</a>; ISBN 978-1-61284-854-9; Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 13-24</li>
<li>Clayton, Robert W. and Heaton, Thomas H., el al. (2011) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20120213-121753118">Community Seismic Network</a>; Annals of Geophysics; Vol. 54; No. 6; 738-747; <a href="https://doi.org/10.4401/ag-5269">10.4401/ag-5269</a></li>
<li>Chandy, K. Mani and Low, Steven H., el al. (2010) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651">A simple optimal power flow model with energy storage</a>; ISBN 978-1-4244-7745-6; 49th IEEE Conference on Decision and Control (CDC); 1051-1057; <a href="https://doi.org/10.1109/CDC.2010.5718193">10.1109/CDC.2010.5718193</a></li>
<li>Xu, Huan and Topcu, Ufuk, el al. (2010) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459">Load-shedding probabilities with hybrid renewable power generation and energy storage</a>; ISBN 978-1-4244-8216-0; 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton); 233-239; <a href="https://doi.org/10.1109/ALLERTON.2010.5706912">10.1109/ALLERTON.2010.5706912</a></li>
<li>Chandy, K. Mani (2010) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170309-150535053">The Impact of Sense and Response Systems</a>; IEEE Internet Computing; Vol. 14; No. 1; 14-16; <a href="https://doi.org/10.1109/MIC.2010.12">10.1109/MIC.2010.12</a></li>
<li>Chandy, K. Mani (2010) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20110407-094212599">The Impact of Sense and Respond Systems</a>; IEEE Internet Computing; Vol. 14; No. 1; 14-16; <a href="https://doi.org/10.1109/MIC.20">10.1109/MIC.20</a></li>
<li>Estrin, Deborah and Chandy, K. Mani, el al. (2010) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20100202-112121782">Internet Predictions</a>; IEEE Internet Computing; Vol. 14; No. 1; 12-42; <a href="https://doi.org/10.1109/MIC.2010.12">10.1109/MIC.2010.12</a></li>
<li>Chandy, K. Mani and Mitra, Sayan, el al. (2008) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665">Convergence Verification: From Shared Memory to Partially Synchronous Systems</a>; ISBN 978-3-540-85777-8; Formal Modeling and Analysis of Timed Systems; 218-232; <a href="https://doi.org/10.1007/978-3-540-85778-5_16">10.1007/978-3-540-85778-5_16</a></li>
<li>Mitra, Sayan and Chandy, K. Mani (2008) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629">A Formalized Theory for Verifying Stability and Convergence of Automata in PVS</a>; ISBN 9783540710653; Theorem Proving in Higher Order Logics; 230-245; <a href="https://doi.org/10.1007/978-3-540-71067-7_20">10.1007/978-3-540-71067-7_20</a></li>
<li>Chandy, Mani and Pilotto, Concetta, el al. (2008) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324">Networked sensing systems for detecting people carrying radioactive material</a>; ISBN 978-4-907764-31-9; 5th International Conference on Networked Sensing Systems; 148-155; <a href="https://doi.org/10.1109/INSS.2008.4610916">10.1109/INSS.2008.4610916</a></li>
<li>Chandy, K. Mani and Charpentier, Michel (2007) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673">Self-Similar Algorithms for Dynamic Distributed Systems</a>; ISBN 9780769528373; 27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007; 67; <a href="https://doi.org/10.1109/ICDCS.2007.137">10.1109/ICDCS.2007.137</a></li>
<li>Chandy, Mani and Gawlick, Dieter (2007) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819">Event processing using database technology</a>; ISBN 978-1-59593-686-8; SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data; 1169-1170; <a href="https://doi.org/10.1145/1247480.1247645">10.1145/1247480.1247645</a></li>
<li>Chandy, K. Mani and Charpentier, Michel, el al. (2007) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182">Towards a theory of events</a>; ISBN 978-1-59593-665-3; Proceedings of the 2007 inaugural international conference on Distributed event-based systems; 180-187; <a href="https://doi.org/10.1145/1266894.1266929">10.1145/1266894.1266929</a></li>
<li>Khorlin, Andrey-A and Chandy, K. Mani (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666">Control-based Scheduling in a Distributed Stream Processing System</a>; ISBN 0-7695-2681-0; SCW 2006: IEEE Services Computing Workshops; 55-64; <a href="https://doi.org/10.1109/SCW.2006.8">10.1109/SCW.2006.8</a></li>
<li>Capponi, Agostino and Chandy, Mani, el al. (2006) <a href="https://resolver.caltech.edu/CaltechCSTR:2006.002">Predicate Signaling in Distributed Sensor Networks</a>; <a href="https://doi.org/10.7907/Z9Z899D5">10.7907/Z9Z899D5</a></li>
<li>Tian, Lu and Chandy, K. Mani (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162">Resource Allocation in Streaming Environments</a>; ISBN 978-1-4244-0343-1; 2006 7th IEEE/ACM International Conference on Grid Computing; 270-277; <a href="https://doi.org/10.1109/ICGRID.2006.311025">10.1109/ICGRID.2006.311025</a></li>
<li>Zimmerman, Daniel M. and Chandy, K. Mani (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206">Snapshot Processing in Streaming Environments</a>; ISBN 978-1-4244-0343-1; 2006 7th IEEE/ACM International Conference on Grid Computing; 319-320; <a href="https://doi.org/10.1109/ICGRID.2006.311038">10.1109/ICGRID.2006.311038</a></li>
<li>Chandy, K. Mani and Tian, Lu, el al. (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975">Enterprise Computing Systems as Information Factories</a>; ISBN 0-7695-2558-X; 10th IEEE International Enterprise Distributed Object Computing Conference proceedings; 427-432; <a href="https://doi.org/10.1109/EDOC.2006.24">10.1109/EDOC.2006.24</a></li>
<li>Capponi, Agostino and Chandy, Mani (2005) <a href="https://resolver.caltech.edu/CaltechCSTR:2005.004">Stream Processing Algorithms that model behavior changes</a>; <a href="https://doi.org/10.7907/Z99K487T">10.7907/Z99K487T</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (2004) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190829-131532981">Specification transformers: a predicate transformer approach to composition</a>; Acta Informatica; Vol. 40; No. 4; 265-301; <a href="https://doi.org/10.1007/s00236-003-0130-y">10.1007/s00236-003-0130-y</a></li>
<li>Chandy, K. Mani and Charpentier, Michel (2002) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191112-111040108">An Experiment in Program Composition and Proof</a>; Formal Methods in System Design; Vol. 20; No. 1; 7-21; <a href="https://doi.org/10.1023/a:1012952311559">10.1023/a:1012952311559</a></li>
<li>Ginis, Roman and Chandy, K. Mani (2000) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354">Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment</a>; ISBN 1-58113-272-7; EC '00 Proceedings of the 2nd ACM conference on Electronic commerce; 207-214; <a href="https://doi.org/10.1145/352871.352894">10.1145/352871.352894</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (2000) <a href="https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02">Theorems about Composition</a>; <a href="https://doi.org/10.7907/Z9BK19C6">10.7907/Z9BK19C6</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (2000) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482">Theorems about Composition</a>; ISBN 978-3-540-67727-7; Mathematics of Program Construction; 167-186; <a href="https://doi.org/10.1007/10722010_12">10.1007/10722010_12</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363">Towards a Compositional Approach to the Design and Verification of Distributed Systems</a>; ISBN 978-3-540-66587-8; FM'99 — Formal Methods; 570-589; <a href="https://doi.org/10.1007/3-540-48119-2_32">10.1007/3-540-48119-2_32</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01">Examples of Program Composition Illustrating the Use of Universal Properties</a>; <a href="https://doi.org/10.7907/Z9ZC80WC">10.7907/Z9ZC80WC</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02">Towards a Compositional Approach to the Design and Verification of Distributed Systems</a>; <a href="https://doi.org/10.7907/Z93R0QW2">10.7907/Z93R0QW2</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979">Examples of program composition illustrating the use of universal properties</a>; ISBN 978-3-540-65831-3; Parallel and Distributed Processing; 1215-1227; <a href="https://doi.org/10.1007/bfb0098004">10.1007/bfb0098004</a></li>
<li>Chandy, K. Mani and Rifkin, Adam, el al. (1998) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170409-080717471">Using announce-listen with global events to develop distributed control systems</a>; Concurrency and Computation: Practice and Experience; Vol. 10; No. 11-13; 1021-1027; <a href="https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13%3C1021::AID-CPE411%3E3.0.CO;2-K">10.1002/(SICI)1096-9128(199809/11)10:11/13%3C1021::AID-CPE411%3E3.0.CO;2-K</a></li>
<li>Chandy, K. Mani and Sivilotti, Paolo A. G., el al. (1998) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383">A Cottage industry of software publishing: Implications for theories of composition</a>; ISBN 9783540643593; Parallel and Distributed Processing; 890-899; <a href="https://doi.org/10.1007/3-540-64359-1_751">10.1007/3-540-64359-1_751</a></li>
<li>Chandy, K. Mani and Kiniry, Joseph, el al. (1997) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20140701-112530382">Webs of Archived Distributed Computations for Asynchronous Collaboration</a>; Journal of Supercomputing; Vol. 11; No. 2; 101-118; <a href="https://doi.org/10.1023/A:1007903821879">10.1023/A:1007903821879</a></li>
<li>Chandy, K. Mani and Rifkin, Adam (1997) <a href="https://resolver.caltech.edu/CaltechAUTHORS:CHAcj97">Systematic composition of distributed objects: Processes and sessions</a>; Computer Journal; Vol. 40; No. 8; 465-478; <a href="https://doi.org/10.1093/comjnl/40.8.465">10.1093/comjnl/40.8.465</a></li>
<li>Massingill, Berna L. and Chandy, K. Mani (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28">Parallel Program Archetypes</a>; <a href="https://doi.org/10.7907/Z9WW7FP7">10.7907/Z9WW7FP7</a></li>
<li>Chandy, K. Mani and Kiniry, Joseph, el al. (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07">A Framework for Structured Distributed Object Computing</a>; <a href="https://doi.org/10.7907/Z9JQ0Z2W">10.7907/Z9JQ0Z2W</a></li>
<li>Chandy, K. Mani and Rifkin, Adam, el al. (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10">Webs of Archived Distributed Computations for Asynchronous Collaboration</a>; <a href="https://doi.org/10.7907/Z9R78C75">10.7907/Z9R78C75</a></li>
<li>Ramamoorthi, Ravi and Rifkin, Adam, el al. (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19">A General Resource Reservation Framework for Scientific Computing</a>; <a href="https://doi.org/10.7907/Z9DZ06BJ">10.7907/Z9DZ06BJ</a></li>
<li>Chandy, K. Mani and Rifkin, Adam (1997) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20140701-135237680">Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions</a>; Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 1; 395-404; <a href="https://doi.org/10.1109/HICSS.1997.667288">10.1109/HICSS.1997.667288</a></li>
<li>Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11">Reliable Synchronization Primitives for Java</a>; <a href="https://doi.org/10.7907/Z9P55KHS">10.7907/Z9P55KHS</a></li>
<li>Chandy, K. Mani and Dimitrov, Boris, el al. (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08">A World-Wide Distributed System Using Java and the Internet</a>; <a href="https://doi.org/10.7907/Z98W3BBD">10.7907/Z98W3BBD</a></li>
<li>Chandy, K. Mani and Rifkin, Adam (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15">Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions</a>; <a href="https://doi.org/10.7907/Z9JD4TTH">10.7907/Z9JD4TTH</a></li>
<li>Chandy, K. Mani and Schooler, Eve M. (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19">Designing Directories in Distributed Systems: A Systematic Framework</a>; <a href="https://doi.org/10.7907/Z9736NXN">10.7907/Z9736NXN</a></li>
<li>Manohar, Rajit and Chandy, K. Mani (1994) <a href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15">Mach-Based Channel Library</a>; <a href="https://doi.org/10.7907/Z9SJ1HMH">10.7907/Z9SJ1HMH</a></li>
<li>Chandy, K. Mani and Manohar, Rajit, el al. (1994) <a href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08">Integrating Task and Data Parallelism with the Collective Communication Archetype</a>; <a href="https://doi.org/10.7907/Z9222RSP">10.7907/Z9222RSP</a></li>
<li>Chandy, K. Mani and Foster, Ian (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31">A Deterministic Notation for Cooperating Processes</a>; <a href="https://doi.org/10.7907/Z9B85664">10.7907/Z9B85664</a></li>
<li>Chandy, K. Mani (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24">Properties of Concurrent Programs</a>; <a href="https://doi.org/10.7907/Z9ZS2TJP">10.7907/Z9ZS2TJP</a></li>
<li>Chandy, K. Mani (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29">Conjunctive Predicate Transformers for Reasoning about Concurrent Computation</a>; <a href="https://doi.org/10.7907/0ztwa-hva90">10.7907/0ztwa-hva90</a></li>
<li>Carlin, Peter and Chandy, K. Mani, el al. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02">The Compositional C++ Language Definition</a>; <a href="https://doi.org/10.7907/Z9QF8QWK">10.7907/Z9QF8QWK</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01">CC++: A Declarative Concurrent Object Oriented Programming Notation</a>; <a href="https://doi.org/10.7907/Z96M34V8">10.7907/Z96M34V8</a></li>
<li>Chandy, K. Mani (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02">Using Triples to Reason About Concurrent Programs</a>; <a href="https://doi.org/10.7907/Z94Q7S2R">10.7907/Z94Q7S2R</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18">The Derivation of Compositional Programs</a>; <a href="https://doi.org/10.7907/Z9GQ6VZZ">10.7907/Z9GQ6VZZ</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13">Compositional C++: Compositional Parallel Programming</a>; <a href="https://doi.org/10.7907/Z94F1NX8">10.7907/Z94F1NX8</a></li>
<li>Chandy, K. Mani and Taylor, Stephen (1992) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200">Program Composition Notation</a>; ISBN 978-0-444-88135-9; A Comparative Study of Parallel Programming Languages: the Salishan Problems; 263-295; <a href="https://doi.org/10.1016/B978-0-444-88135-9.50012-7">10.1016/B978-0-444-88135-9.50012-7</a></li>
<li>Bagrodia, R. and Chandy, K. M., el al. (1991) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160502-095026188">A Unifying Framework Distributed Simulation</a>; ACM Transactions on Modeling and Computer Simulation (TOMACS); Vol. 1; No. 4; 348-385; <a href="https://doi.org/10.1145/130611.130614">10.1145/130611.130614</a></li>
<li>Bagrodia, R. and Chandy, K. M., el al. (1990) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926">UC: a language for the connection machine</a>; ISBN 0-8186-2056-0; Proceedings of Supercomputing '90; 525-534; <a href="https://doi.org/10.1109/SUPERC.1990.130064">10.1109/SUPERC.1990.130064</a></li>
<li>Chandy, K. Mani and Taylor, Stephen (1990) <a href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10">A Primer for Program Composition Notation</a>; <a href="https://doi.org/10.7907/0779e-dms14">10.7907/0779e-dms14</a></li>
<li>Chandy, K. Mani and Taylor, Stephen, el al. (1990) <a href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03">The Program Composition Project</a>; <a href="https://doi.org/10.7907/wemek-2ns55">10.7907/wemek-2ns55</a></li>
<li>Chandy, K. Mani and Taylor, Stephen (1989) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876">The Composition of Concurrent Programs</a>; ISBN 0-89791-341-8; Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing; 557-561; <a href="https://doi.org/10.1145/76263.76325">10.1145/76263.76325</a></li>
<li>Chandy, K. Mani (1989) <a href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05">The Essence of Distributed Snapshots</a>; <a href="https://doi.org/10.7907/jhr7a-4h585">10.7907/jhr7a-4h585</a></li>
<li>Chandy, K. Mani (1988) <a href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16">Programming Parallel Computers</a>; <a href="https://doi.org/10.7907/hm444-6zc04">10.7907/hm444-6zc04</a></li>
<li>Chandy, K. Mani (1988) <a href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06">Theorems on Computations of Distributed Systems</a>; <a href="https://doi.org/10.7907/k0wav-gz192">10.7907/k0wav-gz192</a></li>
<li>Chandy, K. Mani and Misra, Jay (1987) <a href="https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87">Conditional Knowledge as a Basis for Distributed Simulation</a>; <a href="https://doi.org/10.7907/de5ac-j4z29">10.7907/de5ac-j4z29</a></li>
<li>Chandy, K. Mani and Misra, Jayadev (1985) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404">How processes learn</a>; ISBN 0-89791-168-7; Proceedings of the fourth annual ACM symposium on Principles of distributed computing; 204-214; <a href="https://doi.org/10.1145/323596.323615">10.1145/323596.323615</a></li>
<li>Chandy, K. Mani and Lamport, Leslie (1985) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20130923-092736838">Distributed Snapshots: Determining Global States of a Distributed System</a>; ACM Transactions on Computer Systems; Vol. 3; No. 1; 63-75; <a href="https://doi.org/10.1145/214451.214456">10.1145/214451.214456</a></li>
<li>Bryant, Raymond M. and Krzesinski, Anthony E., el al. (1984) <a href="https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84">The MVA Priority Approximation</a>; ACM Transactions on Computer Systems; Vol. 2; No. 4; 335-359</li>
<li>Chandy, K. M. and Misra, J. (1984) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-153432743">The drinking philosophers problem</a>; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 6; No. 4; 632-646; <a href="https://doi.org/10.1145/1780.1804">10.1145/1780.1804</a></li>
<li>Berry, Robert and Chandy, K. Mani (1983) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670">Performance models of token ring local area networks</a>; ISBN 0-89791-112-1; Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems; 266-274; <a href="https://doi.org/10.1145/800040.801414">10.1145/800040.801414</a></li>
<li>Chandy, K. Mani and Misra, Jayadev, el al. (1983) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-154120345">Distributed deadlock detection</a>; ACM Transactions on Computer Systems; Vol. 1; No. 2; 144-156; <a href="https://doi.org/10.1145/357360.357365">10.1145/357360.357365</a></li>
<li>Chandy, K. M. and Martin, A. J. (1983) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534">A Characterization of Product-Form Queuing Networks</a>; Journal of the ACM; Vol. 30; No. 2; 286-299; <a href="https://doi.org/10.1145/322374.322378">10.1145/322374.322378</a></li>
<li>Neuse, Doug and Chandy, K. Mani (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-142130380">HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems</a>; ACM SIGMETRICS Performance Evaluation Review; Vol. 11; No. 4; 195-212; <a href="https://doi.org/10.1145/1035293.1035322">10.1145/1035293.1035322</a></li>
<li>Chandy, K. M. and Misra, J. (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-085547749">Distributed computation on graphs: shortest path algorithms</a>; Communications of the ACM; Vol. 25; No. 11; 833-837; <a href="https://doi.org/10.1145/358690.358717">10.1145/358690.358717</a></li>
<li>Misra, J. and Chandy, K. M. (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106">A Distributed Graph Algorithm: Knot Detection</a>; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 4; 678-686</li>
<li>Misra, J. and Chandy, K. M., el al. (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562">Proving safety and liveness of communicating processes with examples</a>; ISBN 0-89791-081-8; Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; 201-208; <a href="https://doi.org/10.1145/800220.806698">10.1145/800220.806698</a></li>
<li>Chandy, K. M. and Misra, J. (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881">A distributed algorithm for detecting resource deadlocks in distributed systems</a>; ISBN 0-89791-081-8; Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; 157-164; <a href="https://doi.org/10.1145/800220.806693">10.1145/800220.806693</a></li>
<li>Chandy, K. M. and Misra, J., el al. (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422">The use of performance models in systematic design</a>; ISBN 0-88283-035-X; Proceedings of the 1982 national computer conference; 251-256; <a href="https://doi.org/10.1145/1500774.1500804">10.1145/1500774.1500804</a></li>
<li>Chandy, K. Mani and Neuse, Doug (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-104059640">Linearizer: a heuristic algorithm for queueing network models of computing systems</a>; Communications of the ACM; Vol. 25; No. 2; 126-134; <a href="https://doi.org/10.1145/358396.358403">10.1145/358396.358403</a></li>
<li>Misra, Jayadev and Chandy, K. M. (1982) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-133115677">Termination Detection of Diffusing Computations in Communicating Sequential Processes</a>; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 1; 37-43; <a href="https://doi.org/10.1145/357153.357156">10.1145/357153.357156</a></li>
<li>Neuse, D. and Chandy, K. (1981) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-144627224">SCAT: A heuristic algorithm for queueing network models of computing systems</a>; ACM SIGMETRICS Performance Evaluation Review; Vol. 10; No. 3; 59-79; <a href="https://doi.org/10.1145/1010629.805476">10.1145/1010629.805476</a></li>
<li>Chandy, K. M. and Misra, J. (1981) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-142711979">Asynchronous distributed simulation via a sequence of parallel computations</a>; Communications of the ACM; Vol. 24; No. 4; 198-206; <a href="https://doi.org/10.1145/358598.358613">10.1145/358598.358613</a></li>
<li>Chandy, K. Mani and Sauer, Charles H. (1980) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-151918151">Computational algorithms for product form queueing networks</a>; Communications of the ACM; Vol. 23; No. 10; 573-583; <a href="https://doi.org/10.1145/359015.359020">10.1145/359015.359020</a></li>
<li>Chandy, K. M. and Misra, J. (1980) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-083035370">A simple model of distributed programs based on implementation-hiding and process autonomy</a>; ACM SIGPLAN Notices; Vol. 15; No. 7-8; 26-35; <a href="https://doi.org/10.1145/947680.947681">10.1145/947680.947681</a></li>
<li>Chandy, K. Mani and Sauer, Charles H. (1980) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190110-110914947">Computational algorithms for product form queueing networks</a>; ACM SIGMETRICS Performance Evaluation Review; Vol. 9; No. 2; 1; <a href="https://doi.org/10.1145/800199.806144">10.1145/800199.806144</a></li>
<li>Lang, D. E. and Agerwala, T. K., el al. (1979) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653">A modeling approach and design tool for pipelined central processors</a>; <a href="https://doi.org/10.1145/800090.802901">10.1145/800090.802901</a></li>
<li>Sauer, Charles H. and Chandy, K. Mani (1979) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-105904204">The impact of distributions and disciplines on multiple processor systems</a>; Communications of the ACM; Vol. 22; No. 1; 25-34; <a href="https://doi.org/10.1145/359046.359053">10.1145/359046.359053</a></li>
<li>Towsley, D. and Chandy, K. M., el al. (1978) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-161030053">Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap</a>; Communications of the ACM; Vol. 21; No. 10; 821-831; <a href="https://doi.org/10.1145/359619.359622">10.1145/359619.359622</a></li>
<li>Chandy, K. Mani and Sauer, Charles H. (1978) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-155805180">Approximate Methods for Analyzing Queueing Network Models of Computing Systems</a>; ACM Computing Surveys; Vol. 10; No. 3; 281-317; <a href="https://doi.org/10.1145/356733.356737">10.1145/356733.356737</a></li>
<li>Chandy, K. Mani and Howard, John H., el al. (1977) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190109-110649524">Product Form and Local Balance in Queueing Networks</a>; Journal of the ACM; Vol. 24; No. 2; 250-263; <a href="https://doi.org/10.1145/322003.322009">10.1145/322003.322009</a></li>
<li>Brown, R. M. and Browne, J. C., el al. (1977) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190109-124527286">Memory management and response time</a>; Communications of the ACM; Vol. 20; No. 3; 153-165; <a href="https://doi.org/10.1145/359436.359443">10.1145/359436.359443</a></li>
<li>Chandy, K. M. (1976) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666">Bayesian models of design based on intuition</a></li>
<li>Chandy, K. M. and Hewes, J. E. (1976) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692">File allocation in distributed systems</a>; <a href="https://doi.org/10.1145/800200.806177">10.1145/800200.806177</a></li>
<li>Chandy, K. M. and Reynolds, P. F. (1975) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-104559390">Scheduling partially ordered tasks with probabilistic execution times</a>; ACM SIGOPS Operating Systems Review; Vol. 9; No. 5; 169-177; <a href="https://doi.org/10.1145/800213.806534">10.1145/800213.806534</a></li>
<li>Baskett, Forest and Chandy, K. Mani, el al. (1975) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-140309634">Open, Closed, and Mixed Networks of Queues with Different Classes of Customers</a>; Journal of the ACM; Vol. 22; No. 2; 248-260; <a href="https://doi.org/10.1145/321879.321887">10.1145/321879.321887</a></li>
<li>Adam, Thomas L. and Chandy, K. M., el al. (1974) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-160504256">A comparison of list schedules for parallel processing systems</a>; Communications of the ACM; Vol. 17; No. 12; 685-690; <a href="https://doi.org/10.1145/361604.361619">10.1145/361604.361619</a></li>
<li>Chandy, K. M. and Ramamoorthy, C. V., el al. (1972) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887">A framework for hardware-software tradeoffs in the design of fault-tolerant computers</a>; <a href="https://doi.org/10.1145/1479992.1480000">10.1145/1479992.1480000</a></li>
<li>Chandy, K. M. and Keller, T. W., el al. (1972) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455">Design automation and queueing networks: An interactive system for the evaluation of computer queueing models</a>; <a href="https://doi.org/10.1145/800153.804968">10.1145/800153.804968</a></li>
<li>Ramamoorthy, C. V. and Chandy, K. M. (1970) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410">Optimization of Memory Hierarchies in Multiprogrammed Systems</a>; Journal of the ACM; Vol. 17; No. 3; 426-445</li>
</ul>