Chandy, K. Mani

Advisor — 32 thesises

• Sivilotti, Paolo A. G. — A method for the specification, composition, and testing of distributed object systems (1998, Dissertation (Ph.D.))
• Agarwal, Anish — A Model For Residential Adoption of Photovoltaic Systems (2015, Master's thesis)
• Thornley, John William — A Parallel Programming Model with Sequential Semantics (1996, Dissertation (Ph.D.))
• Massingill, Berna Linda — A structured approach to parallel programming (1998, Dissertation (Ph.D.))
• Sivilotti, Paul — A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language (1993, Master's thesis)
• Bose, Subhonmesh — An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets (2014, Dissertation (Ph.D.))
• White, Jerome S. — Applying Formal Methods to Distributed Algorithms Using Local-Global Relations (2011, Dissertation (Ph.D.))
• Ginis, Roman — Automating Resource Management for Distributed Business Processes (2002, Dissertation (Ph.D.))
• Olson, Michael James — Cloud Computing for Citizen Science (2012, Master's thesis)
• Olson, Michael James — Cloud Computing Services for Seismic Networks (2014, Dissertation (Ph.D.))
• Faulkner, Matthew Nicholas — Community Sense and Response Systems (2014, Dissertation (Ph.D.))
• Carlin, Peter — Distributed linear algebra on networks of workstations (1994, Master's thesis)
• Zimmerman, Daniel Marc — Dynamic UNITY (2002, Dissertation (Ph.D.))
• Cai, Wuhan Desmond — Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control (2016, Dissertation (Ph.D.))
• Capponi, Agostino — Estimation Problems in Sense and Respond Systems (2006, Master's thesis)
• Massingill, Berna Linda — Integrating Task and Data Parallelism (1993, Master's thesis)
• Kiniry, Joseph Roland — Kind Theory (2002, Dissertation (Ph.D.))
• Pilotto, Concetta — Local-to-Global in Multi-Agent Systems (2007, Master's thesis)
• Manohar, Rajit — Mach-Based Channel Library (1994, Master's thesis)
• Kryukova, Svetlana A. — Parallel Programming Archetypes in Combinatorics and Optimization (1995, Master's thesis)
• Tian, Lu — Resource Allocation in Streaming Environments (2006, Master's thesis)
• Florian, Mihai — SCALE: Source Code Analyzer for Locating Errors (2010, Master's thesis)
• Khorlin, Andrey — Scheduling in Distributed Stream Processing Systems (2006, Master's thesis)
• Faulkner, Matthew Nicholas — Selective Data Gathering in Community Sensor Networks (2014, Master's thesis)
• Liu, Annie Hsin-Wen — Sensor Networks for Geospatial Event Detection - Theory and Applications (2013, Dissertation (Ph.D.))
• Blanchard, Alan-Philippe — Sequence specific effects on the incorporation of dideoxynucleotides by a modified T7 polymerase (1993, Dissertation (Ph.D.))
• Liu, Annie Hsin-Wen — Simulation and Implementation of Distributed Sensor Network for Radiation Detection (2010, Master's thesis)
• Mou, Judy — Situation Awareness Application (2013, Master's thesis)
• Hofstee, H. Peter — Synchronizing processes (1995, Dissertation (Ph.D.))
• Pilotto, Concetta — Systematic Design and Formal Verification of Multi-Agent Systems (2011, Dissertation (Ph.D.))
• Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))
• Schooler, Eve Meryl — Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication (2001, Dissertation (Ph.D.))