(orcid 0000-0001-9190-1290)
Filippitzis, Filippos; Kohler, Monica D. et al. (2021) Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence Earthquake Spectra; Vol. 37; No. 4; https://doi.org/10.1177/87552930211003916
Kohler, Monica D.; Filippitzis, Filippos et al. (2021) 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 In: ASCE-UCLA Lifelines Conference 2021-2022, 31 January-11 February 2022, Virtual https://resolver.caltech.edu/CaltechAUTHORS:20220518-205134775 (Submitted)
Kohler, Monica D.; Filippitzis, Filippos et al. (2020) 2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises Seismological Research Letters; Vol. 91; No. 6; https://doi.org/10.1785/0220200170
Clayton, Robert W.; Kohler, Monica et al. (2020) CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools Seismological Research Letters; Vol. 91; No. 2A; https://doi.org/10.1785/0220190200
Chandy, K. Mani; Bunn, Julian (2019) Compositional structures for streaming applications In: Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19); In: 20th International Conference on Distributed Computing and Networking (ICDCN '19), 4-7 January 2019, Bangalore, India https://doi.org/10.1145/3288599.3288642
Kohler, M. D.; Guy, R. et al. (2018) Community seismic network and localized earthquake situational awareness In: Eleventh U.S. National Conference on Earthquake Engineering, 25-29 June 2018, Los Angeles, CA https://resolver.caltech.edu/CaltechAUTHORS:20180713-133233514
Fujimoto, Richard M.; Bagrodia, Rajive et al. (2017) Parallel discrete event simulation: The making of a field In: Proceedings of the 2017 Winter Simulation Conference; In: 2017 Winter Simulation Conference (WSC), 3-6 December 2017, Las Vegas, NV https://doi.org/10.1109/WSC.2017.8247793
Massari, A.; Kohler, M. et al. (2017) Dense Building Instrumentation Application for City-Wide Structural Health Monitoring In: 16th World Conference on Earthquake Engineering (16WCEE), January 9-13, 2017, Santiago, Chile https://resolver.caltech.edu/CaltechAUTHORS:20170127-163202195
Kohler, Monica D.; Massari, Anthony et al. (2016) Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion Earthquake Spectra; Vol. 32; No. 3; https://doi.org/10.1193/062315EQS101M
Chandy, K. Mani (2016) Theory and implementation of a distributed event based platform In: DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems; In: DEBS '16 The 10th ACM International Conference on Distributed and Event-based Systems, June 20-24, 2016, Irvine, CA https://doi.org/10.1145/2933267.2940321
Clayton, Robert W.; Heaton, Thomas et al. (2015) Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion Seismological Research Letters; Vol. 86; No. 5; https://doi.org/10.1785/0220150094
Bose, Subhonmesh; Gayme, Dennice F. et al. (2015) Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow IEEE Transactions on Control of Network Systems; Vol. 2; No. 3; https://doi.org/10.1109/TCNS.2015.2401172
Agarwal, Anish; Cai, Desmond et al. (2015) A model for residential adoption of photovoltaic systems In: 2015 IEEE Power & Energy Society General Meeting; In: 2015 IEEE Power & Energy Society General Meeting, 26-30 July 2015, Denver, CO https://doi.org/10.1109/PESGM.2015.7286226
Faulkner, Matthew; Clayton, Robert et al. (2014) The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes Communications of the ACM; Vol. 57; No. 7; https://doi.org/10.1145/2622633
Faulkner, Matthew; Clayton, Robert W. et al. (2014) Community Sense and Response Systems: Your Phone as Quake Detector Communications of the ACM; Vol. 57; No. 7; https://doi.org/10.1145/2622633
Bose, Subhonmesh; Gayme, Dennice F. et al. (2014) Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow In: 48th Annual Conference on Information Sciences and Systems (CISS); In: 48th Annual Conference on Information Sciences and Systems (CISS), 19-21 March 2014, Princeton, NJ https://doi.org/10.1109/CISS.2014.6814135
Cai, Desmond W. H.; Adlakha, Sachin et al. (2013) Impact of residential PV adoption on Retail Electricity Rates Energy Policy; Vol. 62; https://doi.org/10.1016/j.enpol.2013.07.009
Bose, Subhonmesh; Gayme, Dennice F. et al. (2012) Optimal placement of energy storage in the grid In: 51st IEEE Conference on Decision and Control; In: 51st IEEE Annual Conference on Decision and Control (CDC), Dec. 10-13, 2012, Maui, HI https://doi.org/10.1109/CDC.2012.6426113
Subhonmesh, Bose; Low, Steven H. et al. (2012) Equivalence of Branch Flow and Bus Injection Models In: 2012 50th Annual Allerton Conference on Communication, Control, and Computing; In: 50th Annual Allerton Conference on Communication, Control, and Computing, Oct 1-5, 2012, Monticello, IL https://doi.org/10.1109/Allerton.2012.6483453
De Martini, Paul; Chandy, K. Mani et al. (2012) Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources https://resolver.caltech.edu/CaltechAUTHORS:20131010-162127988
Liu, Annie; Olson, Michael et al. (2012) Towards a Discipline of Geospatial Distributed Event Based Systems In: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; In: DEBS '12, 16-20 July 2012, Berlin, Germany https://doi.org/10.1145/2335484.2335495
Cai, Desmond W. H.; Adlakha, Sachin et al. (2011) Optimal contract for wind power in day-ahead electricity markets In: 2011 50th IEEE Conference on Decision and Control and European Control Conference; In: 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), 12-15 December 2011, Orlando, FL https://doi.org/10.1109/CDC.2011.6161253
Bakken, D.; Bose, A. et al. (2011) GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm); In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011, Brussels, Belgium https://doi.org/10.1109/SmartGridComm.2011.6102397
Farivar, Masoud; Clarke, Christopher R. et al. (2011) Inverter VAR control for distribution systems with renewables In: 2011 IEEE International Conference on Smart Grid Communications; In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011, Brussels, Belgium https://doi.org/10.1109/SmartGridComm.2011.6102366
Huang, Rui; Low, Steven H. et al. (2011) Optimal design of hybrid energy system with PV/wind turbine/storage: A case study In: 2011 IEEE International Conference on Smart Grid Communications; In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011, Brussels, Belgium https://doi.org/10.1109/SmartGridComm.2011.6102376
Bose, Subhonmesh; Gayme, Dennice F. et al. (2011) Optimal power flow over tree networks In: 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton); In: 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 28-30 September 2011, Monticello, IL https://doi.org/10.1109/Allerton.2011.6120323
Chandy, K. Mani; Go, Brian et al. (2011) Verification of distributed systems with local–global predicates Formal Aspects of Computing; Vol. 23; No. 5; https://doi.org/10.1007/s00165-010-0150-7
Olson, Michael; Liu, Annie et al. (2011) Rapid detection of rare geospatial events: earthquake warning applications In: Proceedings of the 5th ACM international conference on Distributed event-based system ; In: 5th ACM international conference on Distributed event-based system (DEBS '11), July 11-15, 2011, New York, NY https://doi.org/10.1145/2002259.2002276
Bizarro, Pedro; Chandy, K. Mani et al. (2011) Tutorial: Event processing grand challenges In: Proceedings of the 5th ACM international conference on Distributed event-based system; In: 5th ACM international conference on Distributed event-based system, July 11-15, 2011, New York, NY https://doi.org/10.1145/2002259.2002308
Faulkner, Matthew; Olson, Michael et al. (2011) Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; In: 10th International Conference on Information Processing in Sensor Networks (IPSN), April 12-14, 2011, Chicago, IL https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582
Liu, Annie H.; Bunn, Julian J. et al. (2011) Sensor networks for the detection and tracking of radiation and other threats in cities In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; In: 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 12-14, 2011, Chicago, IL https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694
Faulkner, Matthew; Olson, Michael et al. (2011) The next big one: Detecting earthquakes and other rare events from community-based sensors In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; In: 10th International Conference on Information Processing in Sensor Networks (IPSN), April 12-14, 2011, Chicago, IL https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069
Clayton, Robert W.; Heaton, Thomas et al. (2011) Community Seismic Network Annals of Geophysics; Vol. 54; No. 6; https://doi.org/10.4401/ag-5269
Chandy, K. Mani; Low, Steven H. et al. (2010) A simple optimal power flow model with energy storage In: 49th IEEE Conference on Decision and Control (CDC); In: 49th IEEE Conference on Decision and Control (CDC), December 15-17, 2010, Atlanta, GA https://doi.org/10.1109/CDC.2010.5718193
Xu, Huan; Topcu, Ufuk et al. (2010) Load-shedding probabilities with hybrid renewable power generation and energy storage In: 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton); In: 48th Annual Allerton Conference on Communication, Control, and Computing, September 29 - October 1, 2010, Monticello, IL https://doi.org/10.1109/ALLERTON.2010.5706912
Estrin, Deborah; Chandy, K. Mani et al. (2010) Internet Predictions IEEE Internet Computing; Vol. 14; No. 1; https://doi.org/10.1109/MIC.2010.12
Chandy, K. Mani (2010) The Impact of Sense and Respond Systems IEEE Internet Computing; Vol. 14; No. 1; https://doi.org/10.1109/MIC.20
Chandy, K. Mani (2010) The Impact of Sense and Response Systems IEEE Internet Computing; Vol. 14; No. 1; https://doi.org/10.1109/MIC.2010.12
Chandy, K. Mani; Mitra, Sayan et al. (2008) Convergence Verification: From Shared Memory to Partially Synchronous Systems In: Formal Modeling and Analysis of Timed Systems; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 5215; In: 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), 15-17 September 2008, Saint Malo, France https://doi.org/10.1007/978-3-540-85778-5_16
Mitra, Sayan; Chandy, K. Mani (2008) A Formalized Theory for Verifying Stability and Convergence of Automata in PVS In: Theorem Proving in Higher Order Logics; Series Lecture Notes in Computer Science; No. 5170; In: 21st International Conference on Theorem Proving in Higher Order Logics, 18-21 August 2008, Montréal, Canada https://doi.org/10.1007/978-3-540-71067-7_20
Chandy, Mani; Pilotto, Concetta et al. (2008) Networked sensing systems for detecting people carrying radioactive material In: 5th International Conference on Networked Sensing Systems; In: 5th International Conference on Networked Sensing Systems, June 17-19, 2008, Kanazawa, Japan https://doi.org/10.1109/INSS.2008.4610916
Chandy, Mani; Gawlick, Dieter (2007) Event processing using database technology In: SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data; In: SIGMOD/PODS '07 International Conference on Management of Data, June 11-14, 2007, Beijing, China https://doi.org/10.1145/1247480.1247645
Chandy, K. Mani; Charpentier, Michel (2007) Self-Similar Algorithms for Dynamic Distributed Systems In: 27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007; In: 27th International Conference on Distributed Computing Systems (ICDCS '07), June 25-27, 2007, Toronto, ON https://doi.org/10.1109/ICDCS.2007.137
Chandy, K. Mani; Charpentier, Michel et al. (2007) Towards a theory of events In: Proceedings of the 2007 inaugural international conference on Distributed event-based systems; In: 2007 inaugural international conference on Distributed event-based systems (DEBS '07), 20-22 June 2007 , Toronto, Canada https://doi.org/10.1145/1266894.1266929
Khorlin, Andrey-A; Chandy, K. Mani (2006) Control-based Scheduling in a Distributed Stream Processing System In: SCW 2006: IEEE Services Computing Workshops; In: IEEE Services Computing Workshops, 18-22 September 2006, Chicago, IL https://doi.org/10.1109/SCW.2006.8
Capponi, Agostino; Chandy, Mani et al. (2006) Predicate Signaling in Distributed Sensor Networks ICDCS 2006; Series Computer Science Technical Reports, 2006.001. https://doi.org/10.7907/Z9Z899D5 (Submitted)
Chandy, K. Mani; Tian, Lu et al. (2006) Enterprise Computing Systems as Information Factories In: 10th IEEE International Enterprise Distributed Object Computing Conference proceedings; Series IEEE International Enterprise Distributed Object Computing (EDOC) Conference; In: 10th IEEE International Enterprise Distributed Object Computing Conference, October 16-20, 2006, Hong Kong, China https://doi.org/10.1109/EDOC.2006.24
Tian, Lu; Chandy, K. Mani (2006) Resource Allocation in Streaming Environments In: 2006 7th IEEE/ACM International Conference on Grid Computing; In: 7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006, Barcelona, Spain https://doi.org/10.1109/ICGRID.2006.311025
Zimmerman, Daniel M.; Chandy, K. Mani (2006) Snapshot Processing in Streaming Environments In: 2006 7th IEEE/ACM International Conference on Grid Computing; In: 7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006, Barcelona, Spain https://doi.org/10.1109/ICGRID.2006.311038
Capponi, Agostino; Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes Submitted to Information Fusion 2005; Series Computer Science Technical Reports, 2005.002. https://doi.org/10.7907/Z99K487T
Charpentier, Michel; Chandy, K. Mani (2004) Specification transformers: a predicate transformer approach to composition Acta Informatica; Vol. 40; No. 4; https://doi.org/10.1007/s00236-003-0130-y
Chandy, K. Mani; Charpentier, Michel (2002) An Experiment in Program Composition and Proof Formal Methods in System Design; Vol. 20; No. 1; https://doi.org/10.1023/a:1012952311559
Ginis, Roman; Chandy, K. Mani (2000) Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment In: EC '00 Proceedings of the 2nd ACM conference on Electronic commerce; In: EC'00 The 2nd ACM Conference on Electronic Commerce, October 17-20, 2000, Minneapolis, MN https://doi.org/10.1145/352871.352894
Charpentier, Michel; Chandy, K. Mani (2000) Theorems about Composition https://doi.org/10.7907/Z9BK19C6
Charpentier, Michel; Chandy, K. Mani (2000) Theorems about Composition In: Mathematics of Program Construction; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1837; In: 5th International Conference on Mathematics of Program Construction, 3-5 July 2000, Ponte de Lima, Portugal https://doi.org/10.1007/10722010_12
Charpentier, Michel; Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems In: FM’99 — Formal Methods; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1708; In: World Congress on Formal Methods in the Development of Computing Systems, 20-24 September 1999, Toulouse, France https://doi.org/10.1007/3-540-48119-2_32
Charpentier, Michel; Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties https://doi.org/10.7907/Z9ZC80WC
Charpentier, Michel; Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems https://doi.org/10.7907/Z93R0QW2
Charpentier, Michel; Chandy, K. Mani (1999) Examples of program composition illustrating the use of universal properties In: Parallel and Distributed Processing; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1586; In: 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 12-16 April 1999, San Juan, Puerto Rico https://doi.org/10.1007/bfb0098004
Chandy, K. Mani; Rifkin, Adam et al. (1998) Using announce-listen with global events to develop distributed control systems Concurrency and Computation: Practice and Experience; Vol. 10; No. 11-13; https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13%3C1021::AID-CPE411%3E3.0.CO;2-K
Chandy, K. Mani; Sivilotti, Paolo A. G. et al. (1998) A Cottage industry of software publishing: Implications for theories of composition In: Parallel and Distributed Processing; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1388; In: 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, 30 March-3 April 1998, Orlando, FL https://doi.org/10.1007/3-540-64359-1_751
Chandy, K. Mani; Kiniry, Joseph et al. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration Journal of Supercomputing; Vol. 11; No. 2; https://doi.org/10.1023/A:1007903821879
Chandy, K. Mani; Rifkin, Adam (1997) Systematic composition of distributed objects: Processes and sessions Computer Journal; Vol. 40; No. 8; https://doi.org/10.1093/comjnl/40.8.465
Chandy, K. Mani; Kiniry, Joseph et al. (1997) A Framework for Structured Distributed Object Computing https://doi.org/10.7907/Z9JQ0Z2W
Ramamoorthi, Ravi; Rifkin, Adam et al. (1997) A General Resource Reservation Framework for Scientific Computing CRPC-97-7. https://doi.org/10.7907/Z9DZ06BJ
Massingill, Berna L.; Chandy, K. Mani (1997) Parallel Program Archetypes https://doi.org/10.7907/Z9WW7FP7
Chandy, K. Mani; Rifkin, Adam et al. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration https://doi.org/10.7907/Z9R78C75
Chandy, K. Mani; Rifkin, Adam (1997) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 1; In: 30th Hawaii International Conference on System Sciences (HICSS 30), January 7-10, 1997, Wailea, HI https://doi.org/10.1109/HICSS.1997.667288
Sivilotti, Paolo A. G.; Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java https://doi.org/10.7907/Z9P55KHS
Chandy, K. Mani; Dimitrov, Boris et al. (1996) A World-Wide Distributed System Using Java and the Internet https://doi.org/10.7907/Z98W3BBD
Chandy, K. Mani; Schooler, Eve M. (1996) Designing Directories in Distributed Systems: A Systematic Framework https://doi.org/10.7907/Z9736NXN
Chandy, K. Mani; Rifkin, Adam (1996) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions https://doi.org/10.7907/Z9JD4TTH
Manohar, Rajit; Chandy, K. Mani (1994) Mach-Based Channel Library Series Computer Science Technical Reports. https://doi.org/10.7907/Z9SJ1HMH
Chandy, K. Mani; Manohar, Rajit et al. (1994) Integrating Task and Data Parallelism with the Collective Communication Archetype https://doi.org/10.7907/Z9222RSP
Chandy, K. Mani; Foster, Ian (1993) A Deterministic Notation for Cooperating Processes Series Computer Science Technical Reports. https://doi.org/10.7907/Z9B85664
Chandy, K. Mani (1993) Properties of Concurrent Programs Series Computer Science Technical Reports. https://doi.org/10.7907/Z9ZS2TJP
Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation Series Computer Science Technical Reports. https://doi.org/10.7907/Z9KP8063
Chandy, K. Mani; Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation Series Computer Science Technical Reports. https://doi.org/10.7907/Z96M34V8
Carlin, Peter; Chandy, K. Mani et al. (1993) The Compositional C++ Language Definition Series Computer Science Technical Reports. https://doi.org/10.7907/Z9QF8QWK
Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs Series Computer Science Technical Reports. https://doi.org/10.7907/Z94Q7S2R
Chandy, K. Mani; Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming Series Computer Science Technical Reports. https://doi.org/10.7907/Z94F1NX8
Chandy, K. Mani; Kesselman, Carl (1992) The Derivation of Compositional Programs Series Computer Science Technical Reports. https://doi.org/10.7907/Z9GQ6VZZ
Chandy, K. Mani; Taylor, Stephen (1992) Program Composition Notation In: A Comparative Study of Parallel Programming Languages: the Salishan Problems; Series Special topics in supercomputing; No. 6; https://doi.org/10.1016/B978-0-444-88135-9.50012-7
Bagrodia, R.; Chandy, K. M. et al. (1991) A Unifying Framework Distributed Simulation ACM Transactions on Modeling and Computer Simulation (TOMACS); Vol. 1; No. 4; https://doi.org/10.1145/130611.130614
Bagrodia, R.; Chandy, K. M. et al. (1990) UC: a language for the connection machine In: Proceedings of Supercomputing '90; In: 1990 ACM/IEEE conference on Supercomputing, November 12-16, 1990, New York, NY https://doi.org/10.1109/SUPERC.1990.130064
Chandy, K. Mani; Taylor, Stephen (1990) A Primer for Program Composition Notation https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10
Chandy, K. Mani; Taylor, Stephen et al. (1990) The Program Composition Project https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03
Chandy, K. Mani; Taylor, Stephen (1989) The Composition of Concurrent Programs In: Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing ; In: SC89 International Conference for High Performance Computing, Networking, Storage and Analysis, November 12-17, 1989, Reno, NV https://doi.org/10.1145/76263.76325
Chandy, K. Mani (1989) The Essence of Distributed Snapshots https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05
Chandy, K. Mani (1988) Programming Parallel Computers https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16
Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06
Chandy, K. Mani; Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87
Chandy, K. Mani; Misra, Jayadev (1985) How processes learn In: Proceedings of the fourth annual ACM symposium on Principles of distributed computing; In: Fourth annual ACM symposium on Principles of distributed computing (PODC '85), 5-7 August 1985, Minaki, Ontario https://doi.org/10.1145/323596.323615
Chandy, K. Mani; Lamport, Leslie (1985) Distributed Snapshots: Determining Global States of a Distributed System ACM Transactions on Computer Systems; Vol. 3; No. 1; https://doi.org/10.1145/214451.214456
Bryant, Raymond M.; Krzesinski, Anthony E. et al. (1984) The MVA Priority Approximation ACM Transactions on Computer Systems; Vol. 2; No. 4; https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84
Chandy, K. M.; Misra, J. (1984) The drinking philosophers problem ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 6; No. 4; https://doi.org/10.1145/1780.1804
Berry, Robert; Chandy, K. Mani (1983) Performance models of token ring local area networks In: Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems; In: 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '83), 29-31 August 1983, Minneapolis, MN https://doi.org/10.1145/800040.801414
Chandy, K. Mani; Misra, Jayadev et al. (1983) Distributed deadlock detection ACM Transactions on Computer Systems; Vol. 1; No. 2; https://doi.org/10.1145/357360.357365
Chandy, K. M.; Martin, A. J. (1983) A Characterization of Product-Form Queuing Networks Journal of the ACM; Vol. 30; No. 2; https://doi.org/10.1145/322374.322378
Neuse, Doug; Chandy, K. Mani (1982) HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems ACM SIGMETRICS Performance Evaluation Review; Vol. 11; No. 4; In: 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '82), August 30 - September 1, 1982, Seattle, WA https://doi.org/10.1145/1035293.1035322
Chandy, K. M.; Misra, J. (1982) Distributed computation on graphs: shortest path algorithms Communications of the ACM; Vol. 25; No. 11; https://doi.org/10.1145/358690.358717
Misra, J.; Chandy, K. M. (1982) A Distributed Graph Algorithm: Knot Detection In: ACM Transactions on Programming Languages and Systems; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 4; https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106
Chandy, K. M.; Misra, J. (1982) A distributed algorithm for detecting resource deadlocks in distributed systems In: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; In: First ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82), 18-20 August 1982, Ottawa, Canada https://doi.org/10.1145/800220.806693
Misra, J.; Chandy, K. M. et al. (1982) Proving safety and liveness of communicating processes with examples In: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; In: First ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82), 18-20 August 1982, Ottawa, Canada https://doi.org/10.1145/800220.806698
Chandy, K. M.; Misra, J. et al. (1982) The use of performance models in systematic design In: Proceedings of the 1982 national computer conference; Series AFIPS Conference Proceedings; No. 51; In: 1982 national computer conference (AFIPS '82), 7-10 June 1982, Houston, TX https://doi.org/10.1145/1500774.1500804
Chandy, K. Mani; Neuse, Doug (1982) Linearizer: a heuristic algorithm for queueing network models of computing systems Communications of the ACM; Vol. 25; No. 2; https://doi.org/10.1145/358396.358403
Misra, Jayadev; Chandy, K. M. (1982) Termination Detection of Diffusing Computations in Communicating Sequential Processes ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 1; https://doi.org/10.1145/357153.357156
Neuse, D.; Chandy, K. (1981) SCAT: A heuristic algorithm for queueing network models of computing systems ACM SIGMETRICS Performance Evaluation Review; Vol. 10; No. 3; In: 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '81), 14-16 September 1981, Las Vegas, NV https://doi.org/10.1145/1010629.805476
Chandy, K. M.; Misra, J. (1981) Asynchronous distributed simulation via a sequence of parallel computations Communications of the ACM; Vol. 24; No. 4; https://doi.org/10.1145/358598.358613
Chandy, K. Mani; Sauer, Charles H. (1980) Computational algorithms for product form queueing networks Communications of the ACM; Vol. 23; No. 10; https://doi.org/10.1145/359015.359020
Chandy, K. M.; Misra, J. (1980) A simple model of distributed programs based on implementation-hiding and process autonomy ACM SIGPLAN Notices; Vol. 15; No. 7-8; https://doi.org/10.1145/947680.947681
Chandy, K. Mani; Sauer, Charles H. (1980) Computational algorithms for product form queueing networks In: Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation; ACM SIGMETRICS Performance Evaluation Review; Vol. 9; No. 2; In: 1980 international symposium on Computer performance modelling, measurement and evaluation (PERFORMANCE '80) , 28-30 May 1980, Toronto, Canada https://doi.org/10.1145/800199.806144
Lang, D. E.; Agerwala, T. K. et al. (1979) A modeling approach and design tool for pipelined central processors In: Proceedings of the 6th annual symposium on Computer architecture; In: 6th annual symposium on Computer architecture (ISCA '79), 23-25 April 1979, Philadelphia, PA https://doi.org/10.1145/800090.802901
Sauer, Charles H.; Chandy, K. Mani (1979) The impact of distributions and disciplines on multiple processor systems Communications of the ACM; Vol. 22; No. 1; https://doi.org/10.1145/359046.359053
Towsley, D.; Chandy, K. M. et al. (1978) Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap Communications of the ACM; Vol. 21; No. 10; https://doi.org/10.1145/359619.359622
Chandy, K. Mani; Sauer, Charles H. (1978) Approximate Methods for Analyzing Queueing Network Models of Computing Systems ACM Computing Surveys; Vol. 10; No. 3; https://doi.org/10.1145/356733.356737
Chandy, K. Mani; Howard, John H. et al. (1977) Product Form and Local Balance in Queueing Networks Journal of the ACM; Vol. 24; No. 2; https://doi.org/10.1145/322003.322009
Brown, R. M.; Browne, J. C. et al. (1977) Memory management and response time Communications of the ACM; Vol. 20; No. 3; https://doi.org/10.1145/359436.359443
Chandy, K. M. (1976) Bayesian models of design based on intuition In: Proceedings of the 2nd international conference on Software engineering; In: 2nd international conference on Software engineering (ICSE '76), 13-15 October 1976, San Francisco, CA https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666
Chandy, K. M.; Hewes, J. E. (1976) File allocation in distributed systems In: Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation; In: 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation (SIGMETRICS '76), 29-31 March 1976 , Cambridge, MA https://doi.org/10.1145/800200.806177
Chandy, K. M.; Reynolds, P. F. (1975) Scheduling partially ordered tasks with probabilistic execution times In: Proceedings of the fifth ACM symposium on Operating systems principles; ACM SIGOPS Operating Systems Review; Vol. 9; No. 5; In: Fifth ACM symposium on Operating systems principles (SOSP '75), 19-21 November 1975, Austin, TX https://doi.org/10.1145/800213.806534
Baskett, Forest; Chandy, K. Mani et al. (1975) Open, Closed, and Mixed Networks of Queues with Different Classes of Customers Journal of the ACM; Vol. 22; No. 2; https://doi.org/10.1145/321879.321887
Adam, Thomas L.; Chandy, K. M. et al. (1974) A comparison of list schedules for parallel processing systems Communications of the ACM; Vol. 17; No. 12; https://doi.org/10.1145/361604.361619
Chandy, K. M.; Ramamoorthy, C. V. et al. (1972) A framework for hardware-software tradeoffs in the design of fault-tolerant computers In: Proceedings of the 1972 fall joint computer conference, Part I; In: 1972 fall joint computer conference (AFIPS '72), 5-7 December 1972, Anaheim, CA https://doi.org/10.1145/1479992.1480000
Chandy, K. M.; Keller, T. W. et al. (1972) Design automation and queueing networks: An interactive system for the evaluation of computer queueing models In: Proceedings of the 9th Design Automation Workshop; In: 9th Design Automation Workshop (DAC '72), 26-28 June 1972, Dallas, TX https://doi.org/10.1145/800153.804968
Ramamoorthy, C. V.; Chandy, K. M. (1970) Optimization of Memory Hierarchies in Multiprogrammed Systems Journal of the ACM; Vol. 17; No. 3; https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410