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;
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;
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;
Chandy, K. Mani; Bunn, Julian
(2019)
Compositional structures for streaming applications
Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19);
20th International Conference on Distributed Computing and Networking (ICDCN '19), 4-7 January 2019
, Bangalore, India
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;
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;
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;
Cai, Desmond W. H.; Adlakha, Sachin et al.
(2013)
Impact of residential PV adoption on Retail Electricity Rates
Energy Policy;
Vol.
62;
Subhonmesh, Bose; Low, Steven H. et al.
(2012)
Equivalence of Branch Flow and Bus Injection Models
2012 50th Annual Allerton Conference on Communication, Control, and Computing;
50th Annual Allerton Conference on Communication, Control, and Computing, Oct 1-5, 2012
, Monticello, IL
Cai, Desmond W. H.; Adlakha, Sachin et al.
(2011)
Optimal contract for wind power in day-ahead electricity markets
2011 50th IEEE Conference on Decision and Control and European Control Conference;
2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), 12-15 December 2011
, Orlando, FL
Bose, Subhonmesh; Gayme, Dennice F. et al.
(2011)
Optimal power flow over tree networks
2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton);
2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 28-30 September 2011
, Monticello, IL
Chandy, K. Mani; Go, Brian et al.
(2011)
Verification of distributed systems with local–global predicates
Formal Aspects of Computing;
Vol.
23;
No.
5;
Bizarro, Pedro; Chandy, K. Mani et al.
(2011)
Tutorial: Event processing grand challenges
Proceedings of the 5th ACM international conference on Distributed event-based system;
5th ACM international conference on Distributed event-based system, July 11-15, 2011
, New York, NY
Clayton, Robert W.; Heaton, Thomas et al.
(2011)
Community Seismic Network
Annals of Geophysics;
Vol.
54;
No.
6;
Xu, Huan; Topcu, Ufuk et al.
(2010)
Load-shedding probabilities with hybrid renewable power generation and energy storage
48th Annual Allerton Conference on Communication, Control, and Computing (Allerton);
48th Annual Allerton Conference on Communication, Control, and Computing, September 29 - October 1, 2010
, Monticello, IL
Estrin, Deborah; Chandy, K. Mani et al.
(2010)
Internet Predictions
IEEE Internet Computing;
Vol.
14;
No.
1;
Chandy, K. Mani
(2010)
The Impact of Sense and Respond Systems
IEEE Internet Computing;
Vol.
14;
No.
1;
Chandy, K. Mani
(2010)
The Impact of Sense and Response Systems
IEEE Internet Computing;
Vol.
14;
No.
1;
Chandy, K. Mani; Mitra, Sayan et al.
(2008)
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Formal Modeling and Analysis of Timed Systems;
Lecture Notes in Computer Science;
Series.Lecture Notes in Computer Science;
No.
5215;
6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), 15-17 September 2008
, Saint Malo, France
Chandy, Mani; Gawlick, Dieter
(2007)
Event processing using database technology
SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data;
SIGMOD/PODS '07 International Conference on Management of Data, June 11-14, 2007
, Beijing, China
Chandy, K. Mani; Charpentier, Michel
(2007)
Self-Similar Algorithms for Dynamic Distributed Systems
27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007;
27th International Conference on Distributed Computing Systems (ICDCS '07), June 25-27, 2007
, Toronto, ON
Chandy, K. Mani; Charpentier, Michel et al.
(2007)
Towards a theory of events
Proceedings of the 2007 inaugural international conference on Distributed event-based systems;
2007 inaugural international conference on Distributed event-based systems (DEBS '07), 20-22 June 2007
, Toronto, Canada
Chandy, K. Mani; Tian, Lu et al.
(2006)
Enterprise Computing Systems as Information Factories
10th IEEE International Enterprise Distributed Object Computing Conference proceedings;
Series.IEEE International Enterprise Distributed Object Computing (EDOC) Conference;
10th IEEE International Enterprise Distributed Object Computing Conference, October 16-20, 2006
, Hong Kong, China
Tian, Lu; Chandy, K. Mani
(2006)
Resource Allocation in Streaming Environments
2006 7th IEEE/ACM International Conference on Grid Computing;
7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006
, Barcelona, Spain
Zimmerman, Daniel M.; Chandy, K. Mani
(2006)
Snapshot Processing in Streaming Environments
2006 7th IEEE/ACM International Conference on Grid Computing;
7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006
, Barcelona, Spain
Charpentier, Michel; Chandy, K. Mani
(2004)
Specification transformers: a predicate transformer approach to composition
Acta Informatica;
Vol.
40;
No.
4;
Chandy, K. Mani; Charpentier, Michel
(2002)
An Experiment in Program Composition and Proof
Formal Methods in System Design;
Vol.
20;
No.
1;
Charpentier, Michel; Chandy, K. Mani
(2000)
Theorems about Composition
Mathematics of Program Construction;
Lecture Notes in Computer Science;
Series.Lecture Notes in Computer Science;
No.
1837;
5th International Conference on Mathematics of Program Construction, 3-5 July 2000
, Ponte de Lima, Portugal
Charpentier, Michel; Chandy, K. Mani
(1999)
Examples of program composition illustrating the use of universal properties
Parallel and Distributed Processing;
Lecture Notes in Computer Science;
Series.Lecture Notes in Computer Science;
No.
1586;
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
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;
Chandy, K. Mani; Sivilotti, Paolo A. G. et al.
(1998)
A Cottage industry of software publishing: Implications for theories of composition
Parallel and Distributed Processing;
Lecture Notes in Computer Science;
Series.Lecture Notes in Computer Science;
No.
1388;
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
Chandy, K. Mani; Kiniry, Joseph et al.
(1997)
Webs of Archived Distributed Computations for Asynchronous Collaboration
Journal of Supercomputing;
Vol.
11;
No.
2;
Chandy, K. Mani; Rifkin, Adam
(1997)
Systematic composition of distributed objects: Processes and sessions
Computer Journal;
Vol.
40;
No.
8;
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;
30th Hawaii International Conference on System Sciences (HICSS 30), January 7-10, 1997
, Wailea, HI
Chandy, K. Mani; Taylor, Stephen
(1992)
Program Composition Notation
A Comparative Study of Parallel Programming Languages: the Salishan Problems;
Series.Special topics in supercomputing;
No.
6;
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;
Chandy, K. Mani; Taylor, Stephen
(1989)
The Composition of Concurrent Programs
Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing ;
SC89 International Conference for High Performance Computing, Networking, Storage and Analysis, November 12-17, 1989
, Reno, NV
Chandy, K. Mani; Misra, Jayadev
(1985)
How processes learn
Proceedings of the fourth annual ACM symposium on Principles of distributed computing;
Fourth annual ACM symposium on Principles of distributed computing (PODC '85), 5-7 August 1985
, Minaki, Ontario
Chandy, K. Mani; Lamport, Leslie
(1985)
Distributed Snapshots: Determining Global States of a Distributed System
ACM Transactions on Computer Systems;
Vol.
3;
No.
1;
Bryant, Raymond M.; Krzesinski, Anthony E. et al.
(1984)
The MVA Priority Approximation
ACM Transactions on Computer Systems;
Vol.
2;
No.
4;
Chandy, K. M.; Misra, J.
(1984)
The drinking philosophers problem
ACM Transactions on Programming Languages and Systems (TOPLAS);
Vol.
6;
No.
4;
Berry, Robert; Chandy, K. Mani
(1983)
Performance models of token ring local area networks
Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems;
1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '83), 29-31 August 1983
, Minneapolis, MN
Chandy, K. Mani; Misra, Jayadev et al.
(1983)
Distributed deadlock detection
ACM Transactions on Computer Systems;
Vol.
1;
No.
2;
Chandy, K. M.; Martin, A. J.
(1983)
A Characterization of Product-Form Queuing Networks
Journal of the ACM;
Vol.
30;
No.
2;
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;
1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '82), August 30 - September 1, 1982
, Seattle, WA
Chandy, K. M.; Misra, J.
(1982)
Distributed computation on graphs: shortest path algorithms
Communications of the ACM;
Vol.
25;
No.
11;
Misra, J.; Chandy, K. M.
(1982)
A Distributed Graph Algorithm: Knot Detection
ACM Transactions on Programming Languages and Systems;
ACM Transactions on Programming Languages and Systems (TOPLAS);
Vol.
4;
No.
4;
Chandy, K. M.; Misra, J. et al.
(1982)
The use of performance models in systematic design
Proceedings of the 1982 national computer conference;
Series.AFIPS Conference Proceedings;
No.
51;
1982 national computer conference (AFIPS '82), 7-10 June 1982
, Houston, TX
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;
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;
1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '81), 14-16 September 1981
, Las Vegas, NV
Chandy, K. M.; Misra, J.
(1981)
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM;
Vol.
24;
No.
4;
Chandy, K. Mani; Sauer, Charles H.
(1980)
Computational algorithms for product form queueing networks
Communications of the ACM;
Vol.
23;
No.
10;
Chandy, K. Mani; Sauer, Charles H.
(1980)
Computational algorithms for product form queueing networks
Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation;
ACM SIGMETRICS Performance Evaluation Review;
Vol.
9;
No.
2;
1980 international symposium on Computer performance modelling, measurement and evaluation (PERFORMANCE '80) , 28-30 May 1980
, Toronto, Canada
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;
Chandy, K. Mani; Sauer, Charles H.
(1978)
Approximate Methods for Analyzing Queueing Network Models of Computing Systems
ACM Computing Surveys;
Vol.
10;
No.
3;
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;
Brown, R. M.; Browne, J. C. et al.
(1977)
Memory management and response time
Communications of the ACM;
Vol.
20;
No.
3;
Chandy, K. M.
(1976)
Bayesian models of design based on intuition
Proceedings of the 2nd international conference on Software engineering;
2nd international conference on Software engineering (ICSE '76), 13-15 October 1976
, San Francisco, CA
Chandy, K. M.; Hewes, J. E.
(1976)
File allocation in distributed systems
Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation;
1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation (SIGMETRICS '76), 29-31 March 1976
, Cambridge, MA
Chandy, K. M.; Reynolds, P. F.
(1975)
Scheduling partially ordered tasks with probabilistic execution times
Proceedings of the fifth ACM symposium on Operating systems principles;
ACM SIGOPS Operating Systems Review;
Vol.
9;
No.
5;
Fifth ACM symposium on Operating systems principles (SOSP '75), 19-21 November 1975
, Austin, TX
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;
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;
Ramamoorthy, C. V.; Chandy, K. M.
(1970)
Optimization of Memory Hierarchies in Multiprogrammed Systems
Journal of the ACM;
Vol.
17;
No.
3;