Cai, Wuhan Desmond (PHD, 2016) Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control

Agarwal, Anish (MS, 2015) A Model For Residential Adoption of Photovoltaic Systems

Bose, Subhonmesh (PHD, 2014) An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets

Olson, Michael James (PHD, 2014) Cloud Computing Services for Seismic Networks

Faulkner, Matthew Nicholas (PHD, 2014) Community Sense and Response Systems

Faulkner, Matthew Nicholas (MS, 2014) Selective Data Gathering in Community Sensor Networks

Liu, Annie Hsin-Wen (PHD, 2013) Sensor Networks for Geospatial Event Detection - Theory and Applications

Mou, Judy (MS, 2013) Situation Awareness Application

Olson, Michael James (MS, 2012) Cloud Computing for Citizen Science

White, Jerome S. (PHD, 2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations

Pilotto, Concetta (PHD, 2011) Systematic Design and Formal Verification of Multi-Agent Systems

Florian, Mihai (MS, 2010) SCALE: Source Code Analyzer for Locating Errors

Liu, Annie Hsin-Wen (MS, 2010) Simulation and Implementation of Distributed Sensor Network for Radiation Detection

Pilotto, Concetta (MS, 2007) Local-to-Global in Multi-Agent Systems

Capponi, Agostino (MS, 2006) Estimation Problems in Sense and Respond Systems

Tian, Lu (MS, 2006) Resource Allocation in Streaming Environments

Khorlin, Andrey (MS, 2006) Scheduling in Distributed Stream Processing Systems

Ginis, Roman (PHD, 2002) Automating Resource Management for Distributed Business Processes

Zimmerman, Daniel Marc (PHD, 2002) Dynamic UNITY

Kiniry, Joseph Roland (PHD, 2002) Kind Theory

Schooler, Eve Meryl (PHD, 2001) Why multicast protocols (don’t) scale: an analysis of multipoint algorithms for scalable group communication

Sivilotti, Paolo A. G. (PHD, 1998) A method for the specification, composition, and testing of distributed object systems

Massingill, Berna Linda (PHD, 1998) A structured approach to parallel programming

Thornley, John William (PHD, 1996) A parallel programming model with sequential semantics

Kryukova, Svetlana A. (MS, 1995) Parallel Programming Archetypes in Combinatorics and Optimization

Hofstee, H. Peter (PHD, 1995) Synchronizing processes

Leino, K. Rustan M. (PHD, 1995) Toward reliable modular programs

Carlin, Peter (MS, 1994) Distributed linear algebra on networks of workstations

Manohar, Rajit (MS, 1994) Mach-Based Channel Library

Sivilotti, Paul (MS, 1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language

Massingill, Berna Linda (MS, 1993) Integrating Task and Data Parallelism