Chandy, K. Mani
Filippitzis, Filippos and Kohler, Monica D., et el. (2021) Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence ; Earthquake Spectra; Vol. 37; No. 4; 2493-2522; 10.1177/87552930211003916
Kohler, Monica D. and Filippitzis, Filippos, et el. (2020) 2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises ; Seismological Research Letters; Vol. 91; No. 6; 3370-3380; 10.1785/0220200170
Clayton, Robert W. and Kohler, Monica D., et el. (2020) CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools ; Seismological Research Letters; Vol. 91; No. 2A; 622-630; 10.1785/0220190200
Kohler, Monica D. and Massari, Anthony, et el. (2016) Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion ; Earthquake Spectra; Vol. 32; No. 3; 1793-1820; 10.1193/062315EQS101M
Clayton, Robert W. and Heaton, Thomas H., et el. (2015) Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion ; Seismological Research Letters; Vol. 86; No. 5; 1354-1363; 10.1785/0220150094
Bose, Subhonmesh and Gayme, Dennice F., et el. (2015) Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow ; IEEE Transactions on Control of Network Systems; Vol. 2; No. 3; 278-287; 10.1109/TCNS.2015.2401172
Faulkner, Matthew Nicholas and Clayton, Robert W., et el. (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; 66-75; 10.1145/2622633
Faulkner, Matthew and Clayton, Robert W., et el. (2014) Community Sense and Response Systems: Your Phone as Quake Detector ; Communications of the ACM; Vol. 57; No. 7; 66-75; 10.1145/2622633
Cai, Desmond W. H. and Adlakha, Sachin, et el. (2013) Impact of residential PV adoption on Retail Electricity Rates ; Energy Policy; Vol. 62; 830-843; 10.1016/j.enpol.2013.07.009
Chandy, K. Mani and Go, Brian, et el. (2011) Verification of distributed systems with local–global predicates ; Formal Aspects of Computing; Vol. 23; No. 5; 649-679; 10.1007/s00165-010-0150-7
Clayton, Robert W. and Heaton, Thomas, et el. (2011) Community Seismic Network ; Annals of Geophysics; Vol. 54; No. 6; 738-747; 10.4401/ag-5269
Chandy, K. Mani (2010) The Impact of Sense and Response Systems ; IEEE Internet Computing; Vol. 14; No. 1; 14-16; 10.1109/MIC.2010.12
Estrin, Deborah and Chandy, K. Mani, et el. (2010) Internet Predictions ; IEEE Internet Computing; Vol. 14; No. 1; 12-42; 10.1109/MIC.2010.12
Chandy, K. Mani (2010) The Impact of Sense and Respond Systems ; IEEE Internet Computing; Vol. 14; No. 1; 14-16; 10.1109/MIC.20
Charpentier, Michel and Chandy, K. Mani (2004) Specification transformers: a predicate transformer approach to composition ; Acta Informatica; Vol. 40; No. 4; 265-301; 10.1007/s00236-003-0130-y
Chandy, K. Mani and Charpentier, Michel (2002) An Experiment in Program Composition and Proof ; Formal Methods in System Design; Vol. 20; No. 1; 7-21; 10.1023/a:1012952311559
Chandy, K. Mani and Rifkin, Adam, et el. (1998) Using announce-listen with global events to develop distributed control systems ; Concurrency and Computation: Practice and Experience; Vol. 10; No. 11-13; 1021-1027; 10.1002/(SICI)1096-9128(199809/11)10:11/13%3C1021::AID-CPE411%3E3.0.CO;2-K
Chandy, K. Mani and Kiniry, Joseph, et el. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration ; Journal of Supercomputing; Vol. 11; No. 2; 101-118; 10.1023/A:1007903821879
Chandy, K. Mani and Rifkin, Adam (1997) Systematic composition of distributed objects: Processes and sessions ; Computer Journal; Vol. 40; No. 8; 465-478; 10.1093/comjnl/40.8.465
Chandy, K. Mani and 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; 395-404; 10.1109/HICSS.1997.667288
Bagrodia, R. and Chandy, K. M., et el. (1991) A Unifying Framework Distributed Simulation ; ACM Transactions on Modeling and Computer Simulation (TOMACS); Vol. 1; No. 4; 348-385; 10.1145/130611.130614
Chandy, K. Mani and Lamport, Leslie (1985) Distributed Snapshots: Determining Global States of a Distributed System ; ACM Transactions on Computer Systems; Vol. 3; No. 1; 63-75; 10.1145/214451.214456
Bryant, Raymond M. and Krzesinski, Anthony E., et el. (1984) The MVA Priority Approximation ; ACM Transactions on Computer Systems; Vol. 2; No. 4; 335-359
Chandy, K. M. and Misra, J. (1984) The drinking philosophers problem ; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 6; No. 4; 632-646; 10.1145/1780.1804
Chandy, K. Mani and Misra, Jayadev, et el. (1983) Distributed deadlock detection ; ACM Transactions on Computer Systems; Vol. 1; No. 2; 144-156; 10.1145/357360.357365
Chandy, K. M. and Martin, A. J. (1983) A Characterization of Product-Form Queuing Networks ; Journal of the ACM; Vol. 30; No. 2; 286-299; 10.1145/322374.322378
Neuse, Doug and 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; 195-212; 10.1145/1035293.1035322
Chandy, K. M. and Misra, J. (1982) Distributed computation on graphs: shortest path algorithms ; Communications of the ACM; Vol. 25; No. 11; 833-837; 10.1145/358690.358717
Misra, J. and Chandy, K. M. (1982) A Distributed Graph Algorithm: Knot Detection ; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 4; 678-686
Chandy, K. Mani and Neuse, Doug (1982) Linearizer: a heuristic algorithm for queueing network models of computing systems ; Communications of the ACM; Vol. 25; No. 2; 126-134; 10.1145/358396.358403
Misra, Jayadev and 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; 37-43; 10.1145/357153.357156
Neuse, D. and Chandy, K. (1981) SCAT: A heuristic algorithm for queueing network models of computing systems ; ACM SIGMETRICS Performance Evaluation Review; Vol. 10; No. 3; 59-79; 10.1145/1010629.805476
Chandy, K. M. and Misra, J. (1981) Asynchronous distributed simulation via a sequence of parallel computations ; Communications of the ACM; Vol. 24; No. 4; 198-206; 10.1145/358598.358613
Chandy, K. Mani and Sauer, Charles H. (1980) Computational algorithms for product form queueing networks ; Communications of the ACM; Vol. 23; No. 10; 573-583; 10.1145/359015.359020
Chandy, K. M. and Misra, J. (1980) A simple model of distributed programs based on implementation-hiding and process autonomy ; ACM SIGPLAN Notices; Vol. 15; No. 7-8; 26-35; 10.1145/947680.947681
Chandy, K. Mani and Sauer, Charles H. (1980) Computational algorithms for product form queueing networks ; ACM SIGMETRICS Performance Evaluation Review; Vol. 9; No. 2; 1; 10.1145/800199.806144
Sauer, Charles H. and Chandy, K. Mani (1979) The impact of distributions and disciplines on multiple processor systems ; Communications of the ACM; Vol. 22; No. 1; 25-34; 10.1145/359046.359053
Towsley, D. and Chandy, K. M., et el. (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; 821-831; 10.1145/359619.359622
Chandy, K. Mani and Sauer, Charles H. (1978) Approximate Methods for Analyzing Queueing Network Models of Computing Systems ; ACM Computing Surveys; Vol. 10; No. 3; 281-317; 10.1145/356733.356737
Chandy, K. Mani and Howard, John H., et el. (1977) Product Form and Local Balance in Queueing Networks ; Journal of the ACM; Vol. 24; No. 2; 250-263; 10.1145/322003.322009
Brown, R. M. and Browne, J. C., et el. (1977) Memory management and response time ; Communications of the ACM; Vol. 20; No. 3; 153-165; 10.1145/359436.359443
Chandy, K. M. and Reynolds, P. F. (1975) Scheduling partially ordered tasks with probabilistic execution times ; ACM SIGOPS Operating Systems Review; Vol. 9; No. 5; 169-177; 10.1145/800213.806534
Baskett, Forest and Chandy, K. Mani, et el. (1975) Open, Closed, and Mixed Networks of Queues with Different Classes of Customers ; Journal of the ACM; Vol. 22; No. 2; 248-260; 10.1145/321879.321887
Adam, Thomas L. and Chandy, K. M., et el. (1974) A comparison of list schedules for parallel processing systems ; Communications of the ACM; Vol. 17; No. 12; 685-690; 10.1145/361604.361619
Ramamoorthy, C. V. and Chandy, K. M. (1970) Optimization of Memory Hierarchies in Multiprogrammed Systems ; Journal of the ACM; Vol. 17; No. 3; 426-445
