Chandy, Kanianthra
- Cai, Wuhan Desmond (2016) Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control; 10.7907/Z9BG2KZG
- Agarwal, Anish (2015) A Model For Residential Adoption of Photovoltaic Systems; 10.7907/Z9RB72J4
- Faulkner, Matthew Nicholas (2014) Community Sense and Response Systems; 10.7907/QFM5-FH06
- Faulkner, Matthew Nicholas (2014) Selective Data Gathering in Community Sensor Networks; 10.7907/NBQ4-6Q72
- Bose, Subhonmesh (2014) An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets; 10.7907/FRGW-AF26
- Olson, Michael James (2014) Cloud Computing Services for Seismic Networks; 10.7907/5D60-FG88
- Mou, Judy (2013) Situation Awareness Application; 10.7907/CH76-YW89
- Liu, Annie Hsin-Wen (2013) Sensor Networks for Geospatial Event Detection - Theory and Applications; 10.7907/MZWJ-T222
- Olson, Michael James (2012) Cloud Computing for Citizen Science; 10.7907/8S5K-FX17
- White, Jerome S. (2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations ; 10.7907/8FRW-ZF17
- Pilotto, Concetta (2011) Systematic Design and Formal Verification of Multi-Agent Systems ; 10.7907/SCQF-VP66
- Liu, Annie Hsin-Wen (2010) Simulation and Implementation of Distributed Sensor Network for Radiation Detection; 10.7907/XF1E-XW61
- Florian, Mihai (2010) SCALE: Source Code Analyzer for Locating Errors; 10.7907/KXWA-7Y81
- Pilotto, Concetta (2007) Local-to-Global in Multi-Agent Systems; 10.7907/JY2K-6194
- Tian, Lu (2006) Resource Allocation in Streaming Environments; 10.7907/35Y5-H853
- Capponi, Agostino (2006) Estimation Problems in Sense and Respond Systems; 10.7907/YZF9-ZN10
- Khorlin, Andrey (2006) Scheduling in Distributed Stream Processing Systems; 10.7907/4MH9-9104
- Ginis, Roman (2002) Automating Resource Management for Distributed Business Processes; 10.7907/9GXT-BD03
- Zimmerman, Daniel Marc (2002) Dynamic UNITY; 10.7907/AC6E-WE21
- Kiniry, Joseph Roland (2002) Kind Theory; 10.7907/TVTD-E826
- Schooler, Eve Meryl (2001) Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication; 10.7907/44QZ-R465
- Sivilotti, Paolo A. G. (1998) A method for the specification, composition, and testing of distributed object systems; 10.7907/z89g-gm27
- Massingill, Berna Linda (1998) A structured approach to parallel programming; 10.7907/5ma9-h225
- Thornley, John William (1996) A parallel programming model with sequential semantics; 10.7907/mytw-er77
- Leino, K. Rustan M. (1995) Toward reliable modular programs; 10.7907/ynt2-nn65
- Kryukova, Svetlana A. (1995) Parallel Programming Archetypes in Combinatorics and Optimization; 10.7907/g8mm-x344
- Hofstee, H. Peter (1995) Synchronizing processes; 10.7907/G620-GG65
- Manohar, Rajit (1994) Mach-Based Channel Library; 10.7907/q2v9-sq59
- Carlin, Peter (1994) Distributed linear algebra on networks of workstations; 10.7907/ync0-mn20
- Massingill, Berna Linda (1993) Integrating Task and Data Parallelism; 10.7907/a7ga-s950
- Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language; 10.7907/ngrt-q826