<h1>Chandy, Kanianthra</h1>
<h2>Monograph from <a href="https://data.caltech.edu">CaltechTHESIS committee</a></h2>
<ul>
<li>Badithela, Apurva Srinivas (2024) <a href="https://resolver.caltech.edu/CaltechTHESIS:06022024-014038700">Test and Evaluation of Autonomous Systems: Reactive Test Synthesis and Task-Relevant Evaluation of Perception</a>; <a href="https://doi.org/10.7907/e8qz-rd26">10.7907/e8qz-rd26</a></li>
<li>Akella, Prithvi (2023) <a href="https://resolver.caltech.edu/CaltechTHESIS:06122023-162907795">Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification</a>; <a href="https://doi.org/10.7907/jej3-4444">10.7907/jej3-4444</a></li>
<li>Phan-Minh, Tung (2021) <a href="https://resolver.caltech.edu/CaltechTHESIS:01132021-065636010">Contract-Based Design: Theories and Applications</a>; <a href="https://doi.org/10.7907/8vp7-kd82">10.7907/8vp7-kd82</a></li>
<li>Cai, Karena Xin (2021) <a href="https://resolver.caltech.edu/CaltechTHESIS:04022021-033321217">Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception</a>; <a href="https://doi.org/10.7907/w3m8-es32">10.7907/w3m8-es32</a></li>
<li>Dathathri, Sumanth (2020) <a href="https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662">Scalable Synthesis and Verification: Towards Reliable Autonomy</a>; <a href="https://doi.org/10.7907/4j39-v857">10.7907/4j39-v857</a></li>
<li>Filippidis, Ioannis (2019) <a href="https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471">Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design</a>; <a href="https://doi.org/10.7907/Z9Q52MTD">10.7907/Z9Q52MTD</a></li>
<li>Ren, Xiaoqi (2018) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312018-080301508">Optimizing Resource Management in Cloud Analytics Services</a>; <a href="https://doi.org/10.7907/K62Y-FV39">10.7907/K62Y-FV39</a></li>
<li>Peng, Qiuyu (2016) <a href="https://resolver.caltech.edu/CaltechTHESIS:01262016-194420781">Distributed Control and Optimization for Communication and Power Systems</a>; <a href="https://doi.org/10.7907/Z99C6VBW">10.7907/Z99C6VBW</a></li>
<li>Cai, Wuhan Desmond (2016) <a href="https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537">Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control</a>; <a href="https://doi.org/10.7907/Z9BG2KZG">10.7907/Z9BG2KZG</a></li>
<li>Asimakopoulos, Aristotelis (2015) <a href="https://resolver.caltech.edu/CaltechTHESIS:09082014-135331211">Macroscopically Dissipative Systems with Underlying Microscopic Dynamics : Properties and Limits of Measurement</a>; <a href="https://doi.org/10.7907/Z9V40S4N">10.7907/Z9V40S4N</a></li>
<li>Gan, Lingwen (2015) <a href="https://resolver.caltech.edu/CaltechTHESIS:01272015-214848277">Distributed Load Control in Multiphase Radial Networks</a>; <a href="https://doi.org/10.7907/Z9FQ9TJ0">10.7907/Z9FQ9TJ0</a></li>
<li>Florian, Mihai (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153">Analysis-Aware Design of Embedded Systems Software</a>; <a href="https://doi.org/10.7907/VB1N-Y042">10.7907/VB1N-Y042</a></li>
<li>Wolff, Eric McKenzie (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:02172014-121159358">Control of Dynamical Systems with Temporal Logic Specifications</a>; <a href="https://doi.org/10.7907/TGFR-SS39">10.7907/TGFR-SS39</a></li>
<li>Faulkner, Matthew Nicholas (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328">Community Sense and Response Systems</a>; <a href="https://doi.org/10.7907/QFM5-FH06">10.7907/QFM5-FH06</a></li>
<li>Cheng, Ming Hei (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:03182014-225151551">New Applications that Come from Extending Seismic Networks into Buildings</a>; <a href="https://doi.org/10.7907/STB2-XR07">10.7907/STB2-XR07</a></li>
<li>Bose, Subhonmesh (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456">An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets</a>; <a href="https://doi.org/10.7907/FRGW-AF26">10.7907/FRGW-AF26</a></li>
<li>Olson, Michael James (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077">Cloud Computing Services for Seismic Networks</a>; <a href="https://doi.org/10.7907/5D60-FG88">10.7907/5D60-FG88</a></li>
<li>Liu, Zhenhua (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312014-215801543">Sustainable IT and IT for Sustainability</a>; <a href="https://doi.org/10.7907/296T-HR79">10.7907/296T-HR79</a></li>
<li>Lin, Minghong (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312013-223354639">Algorithmic Challenges in Green Data Centers</a>; <a href="https://doi.org/10.7907/NRXJ-JB76">10.7907/NRXJ-JB76</a></li>
<li>Gopalakrishnan, Ragavendran (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:06032013-104204451">Characterizing Distribution Rules for Cost Sharing Games</a>; <a href="https://doi.org/10.7907/AWE2-H976">10.7907/AWE2-H976</a></li>
<li>Xu, Huan (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337">Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic</a>; <a href="https://doi.org/10.7907/QDJN-BB72">10.7907/QDJN-BB72</a></li>
<li>Liu, Annie Hsin-Wen (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692">Sensor Networks for Geospatial Event Detection - Theory and Applications</a>; <a href="https://doi.org/10.7907/MZWJ-T222">10.7907/MZWJ-T222</a></li>
<li>Sojoudi, Somayeh (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:05252013-081655550">Mathematical Study of Complex Networks: Brain, Internet, and Power Grid</a>; <a href="https://doi.org/10.7907/E750-2M74">10.7907/E750-2M74</a></li>
<li>DeLorimier, Michael John (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:08192012-145253489">GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms</a>; <a href="https://doi.org/10.7907/M3TW-7Y53">10.7907/M3TW-7Y53</a></li>
<li>Bakshi, Mayank (2012) <a href="https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439">Network Coding and Distributed Compression over Large Networks: Some Basic Principles</a>; <a href="https://doi.org/10.7907/GWDW-5H78">10.7907/GWDW-5H78</a></li>
<li>Bakshi, Mayank (2012) <a href="https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439">Network Coding and Distributed Compression over Large Networks: Some Basic Principles</a>; <a href="https://doi.org/10.7907/GWDW-5H78">10.7907/GWDW-5H78</a></li>
<li>Nair, Jayakrishnan U. (2012) <a href="https://resolver.caltech.edu/CaltechTHESIS:06012012-134536732">Scheduling for Heavy-Tailed and Light-Tailed Workloads in Queueing Systems</a>; <a href="https://doi.org/10.7907/AAXJ-EX10">10.7907/AAXJ-EX10</a></li>
<li>Pilotto, Concetta (2011) <a href="https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516">Systematic Design and Formal Verification of Multi-Agent Systems  </a>; <a href="https://doi.org/10.7907/SCQF-VP66">10.7907/SCQF-VP66</a></li>
<li>White, Jerome S. (2011) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546">Applying Formal Methods to Distributed Algorithms Using Local-Global Relations  </a>; <a href="https://doi.org/10.7907/8FRW-ZF17">10.7907/8FRW-ZF17</a></li>
<li>Lavaei, Javad (2011) <a href="https://resolver.caltech.edu/CaltechTHESIS:05132011-113642762">Large-Scale Complex Systems: From Antenna Circuits to Power Grids</a>; <a href="https://doi.org/10.7907/CM46-5R54">10.7907/CM46-5R54</a></li>
<li>Wongpiromsarn, Tichakorn (2010) <a href="https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667">Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle</a>; <a href="https://doi.org/10.7907/XZ3X-7V51">10.7907/XZ3X-7V51</a></li>
<li>Capponi, Agostino (2009) <a href="https://resolver.caltech.edu/CaltechETD:etd-05272009-141742">Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence</a>; <a href="https://doi.org/10.7907/7XV3-9Q45">10.7907/7XV3-9Q45</a></li>
<li>Kalyanaraman, Shankar (2009) <a href="https://resolver.caltech.edu/CaltechETD:etd-06042009-233839">Limited Randomness in Games, and Computational Perspectives in Revealed Preference
</a>; <a href="https://doi.org/10.7907/KH85-HJ73">10.7907/KH85-HJ73</a></li>
<li>Braman, Julia Marie Badger (2009) <a href="https://resolver.caltech.edu/CaltechETD:etd-05292009-111937">Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems</a>; <a href="https://doi.org/10.7907/3H42-BF56">10.7907/3H42-BF56</a></li>
<li>Shi, Ling (2009) <a href="https://resolver.caltech.edu/CaltechETD:etd-08272008-121822">Resource Optimization for Networked Estimator with Guaranteed Estimation Quality</a>; <a href="https://doi.org/10.7907/DTCJ-BN07">10.7907/DTCJ-BN07</a></li>
<li>Jang, Wonjin (2008) <a href="https://resolver.caltech.edu/CaltechETD:etd-11092007-180524">Soft-Error Tolerant Quasi Delay-insensitive Circuits</a>; <a href="https://doi.org/10.7907/ZVFF-WE07">10.7907/ZVFF-WE07</a></li>
<li>Prakash, Piyush (2008) <a href="https://resolver.caltech.edu/CaltechETD:etd-05262008-234258">Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching</a>; <a href="https://doi.org/10.7907/9HMY-RR92">10.7907/9HMY-RR92</a></li>
<li>Jang, Wonjin (2008) <a href="https://resolver.caltech.edu/CaltechETD:etd-11092007-180524">Soft-Error Tolerant Quasi Delay-insensitive Circuits</a>; <a href="https://doi.org/10.7907/ZVFF-WE07">10.7907/ZVFF-WE07</a></li>
<li>Epstein, Michael Steven (2008) <a href="https://resolver.caltech.edu/CaltechETD:etd-12192007-153619">Managing Information in Networked and Multi-Agent Control Systems</a>; <a href="https://doi.org/10.7907/84NT-9N46">10.7907/84NT-9N46</a></li>
<li>Mehyar, Mortada (2007) <a href="https://resolver.caltech.edu/CaltechETD:etd-01102007-010550">Distributed Averaging and Efficient File Sharing on Peer-to-Peer Networks</a>; <a href="https://doi.org/10.7907/Q9EV-S167">10.7907/Q9EV-S167</a></li>
<li>Martinez Estrada, Alfredo (2007) <a href="https://resolver.caltech.edu/CaltechETD:etd-05222007-101946">A Treatise on Econometric Forecasting</a>; <a href="https://doi.org/10.7907/WXN5-9A47">10.7907/WXN5-9A47</a></li>
<li>Liu, Xin (2007) <a href="https://resolver.caltech.edu/CaltechETD:etd-05272007-214755">Robustness, Complexity, Validation and Risk</a>; <a href="https://doi.org/10.7907/JZX4-QN41">10.7907/JZX4-QN41</a></li>
<li>Wei, Xiaoliang (David) (2007) <a href="https://resolver.caltech.edu/CaltechETD:etd-05292007-223200">Microscopic Behavior of Internet Congestion Control</a>; <a href="https://doi.org/10.7907/W5E3-9N04">10.7907/W5E3-9N04</a></li>
<li>Țăpuș, Cristian (2006) <a href="https://resolver.caltech.edu/CaltechETD:etd-06022006-140421">Distributed Speculations: Providing Fault-Tolerance and Improving Performance</a>; <a href="https://doi.org/10.7907/YZCK-4T29">10.7907/YZCK-4T29</a></li>
<li>Papadantonakis, Karl Spyros (2006) <a href="https://resolver.caltech.edu/CaltechETD:etd-01132006-152609">Rigorous Analog Verification of Asynchronous Circuits</a>; <a href="https://doi.org/10.7907/4R8F-WF03">10.7907/4R8F-WF03</a></li>
<li>Tang, Ao (Kevin) (2006) <a href="https://resolver.caltech.edu/CaltechETD:etd-05242006-170918">Heterogeneous Congestion Control Protocols</a>; <a href="https://doi.org/10.7907/eh43-pa83">10.7907/eh43-pa83</a></li>
<li>Wang, Jiantao (2006) <a href="https://resolver.caltech.edu/CaltechETD:etd-11122005-082753">A Theoretical Study of Internet Congestion Control: Equilibrium and Dynamics</a>; <a href="https://doi.org/10.7907/4DQ0-GA49">10.7907/4DQ0-GA49</a></li>
<li>Prajna, Stephen (2005) <a href="https://resolver.caltech.edu/CaltechETD:etd-05272005-144358">Optimization-Based Methods for Nonlinear and Hybrid Systems Verification</a>; <a href="https://doi.org/10.7907/S3BJ-4M47">10.7907/S3BJ-4M47</a></li>
<li>Jiang, Anxiao (Andrew) (2004) <a href="https://resolver.caltech.edu/CaltechETD:etd-05272004-163315">Optimized Network Data Storage and Topology Control</a>; <a href="https://doi.org/10.7907/91R7-MH71">10.7907/91R7-MH71</a></li>
<li>Wong, Catherine Grace (2004) <a href="https://resolver.caltech.edu/CaltechTHESIS:11192009-161338958">High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems</a>; <a href="https://doi.org/10.7907/5N2N-0W58">10.7907/5N2N-0W58</a></li>
<li>Mauch, Sean Patrick (2003) <a href="https://resolver.caltech.edu/CaltechETD:etd-05202003-170423">Efficient Algorithms for Solving Static Hamilton-Jacobi Equations</a>; <a href="https://doi.org/10.7907/5R5P-Y603">10.7907/5R5P-Y603</a></li>
<li>Ginis, Roman (2002) <a href="https://resolver.caltech.edu/CaltechETD:etd-11012005-093745">Automating Resource Management for Distributed Business Processes</a>; <a href="https://doi.org/10.7907/9GXT-BD03">10.7907/9GXT-BD03</a></li>
<li>Zimmerman, Daniel Marc (2002) <a href="https://resolver.caltech.edu/CaltechETD:etd-12072001-160019">Dynamic UNITY</a>; <a href="https://doi.org/10.7907/AC6E-WE21">10.7907/AC6E-WE21</a></li>
<li>Kiniry, Joseph Roland (2002) <a href="https://resolver.caltech.edu/CaltechETD:etd-06062002-164914">Kind Theory</a>; <a href="https://doi.org/10.7907/TVTD-E826">10.7907/TVTD-E826</a></li>
<li>Schooler, Eve Meryl (2001) <a href="https://resolver.caltech.edu/CaltechETD:etd-08272001-155016">Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication</a>; <a href="https://doi.org/10.7907/44QZ-R465">10.7907/44QZ-R465</a></li>
<li>Zhu, Xiaoyun (2000) <a href="https://resolver.caltech.edu/CaltechETD:etd-05042006-131410">Hard vs. soft bounds in probablilistic robustness analysis and generalized source coding and optimal web layout design</a>; <a href="https://doi.org/10.7907/1f3r-va82">10.7907/1f3r-va82</a></li>
<li>Parrilo, Pablo A. (2000) <a href="https://resolver.caltech.edu/CaltechETD:etd-05062004-055516">Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization</a>; <a href="https://doi.org/10.7907/2K6Y-CH43">10.7907/2K6Y-CH43</a></li>
<li>Manohar, Rajit (1999) <a href="https://resolver.caltech.edu/CaltechETD:etd-08112005-114144">The impact of asynchrony on computer architecture</a>; <a href="https://doi.org/10.7907/xzwa-p598">10.7907/xzwa-p598</a></li>
<li>Primbs, James A. (1999) <a href="https://resolver.caltech.edu/CaltechETD:etd-10172005-103315">Nonlinear optimal control: a receding horizon appoach</a>; <a href="https://doi.org/10.7907/4AD2-0T48">10.7907/4AD2-0T48</a></li>
<li>Xu, Lihao (1999) <a href="https://resolver.caltech.edu/CaltechETD:etd-05162005-084223">Highly available distributed storage systems</a>; <a href="https://doi.org/10.7907/EQK9-8C84">10.7907/EQK9-8C84</a></li>
<li>Sivilotti, Paolo A. G. (1998) <a href="https://resolver.caltech.edu/CaltechETD:etd-01252008-095244">A method for the specification, composition, and testing of distributed object systems</a>; <a href="https://doi.org/10.7907/z89g-gm27">10.7907/z89g-gm27</a></li>
<li>Watts, Jerrell R. (1998) <a href="https://resolver.caltech.edu/CaltechETD:etd-02072008-075916">Dynamic load balancing and granularity control on heterogeneous and hybrid architectures</a>; <a href="https://doi.org/10.7907/gvgq-3d11">10.7907/gvgq-3d11</a></li>
<li>Massingill, Berna Linda (1998) <a href="https://resolver.caltech.edu/CaltechETD:etd-01242008-074143">A structured approach to parallel programming</a>; <a href="https://doi.org/10.7907/5ma9-h225">10.7907/5ma9-h225</a></li>
<li>Rieffel, Marc A. (1998) <a href="https://resolver.caltech.edu/CaltechETD:etd-01242008-132610">Performance modeling for concurrent particle simulations</a>; <a href="https://doi.org/10.7907/sx57-5d89">10.7907/sx57-5d89</a></li>
<li>Heirich, Alan Bryant (1998) <a href="https://resolver.caltech.edu/CaltechETD:etd-01232008-111520">Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering</a>; <a href="https://doi.org/10.7907/ZVYW-H876">10.7907/ZVYW-H876</a></li>
<li>Cheng, Jung-Fu (1997) <a href="https://resolver.caltech.edu/CaltechETD:etd-01092008-082210">Iterative decoding</a>; <a href="https://doi.org/10.7907/ydj9-zq05">10.7907/ydj9-zq05</a></li>
<li>Maskit, Daniel (1997) <a href="https://resolver.caltech.edu/CaltechETD:etd-01102008-153402">Software register synchronization for super-scalar processors with partitioned register files</a>; <a href="https://doi.org/10.7907/tyap-ea69">10.7907/tyap-ea69</a></li>
<li>Thornley, John William (1996) <a href="https://resolver.caltech.edu/CaltechETD:etd-01042008-085720">A parallel programming model with sequential semantics</a>; <a href="https://doi.org/10.7907/mytw-er77">10.7907/mytw-er77</a></li>
<li>Dabdub, Donald (1996) <a href="https://resolver.caltech.edu/CaltechETD:etd-12132007-083330">Mathematical modeling of air pollution dynamics by parallel computation</a>; <a href="https://doi.org/10.7907/k1ap-np35">10.7907/k1ap-np35</a></li>
<li>Van der Goot, Marcel Rene (1995) <a href="https://resolver.caltech.edu/CaltechETD:etd-10162007-093427">Semantics of VLSI synthesis</a>; <a href="https://doi.org/10.7907/SR5V-KT18">10.7907/SR5V-KT18</a></li>
<li>Lee, Tak Kwan (1995) <a href="https://resolver.caltech.edu/CaltechETD:etd-10172007-090528">A General Approach to Performance Analysis and Optimization of Asynchronous Circuits</a>; <a href="https://doi.org/10.7907/ehzs-y537">10.7907/ehzs-y537</a></li>
<li>Leino, K. Rustan M. (1995) <a href="https://resolver.caltech.edu/CaltechETD:etd-10162007-111256">Toward reliable modular programs</a>; <a href="https://doi.org/10.7907/ynt2-nn65">10.7907/ynt2-nn65</a></li>
<li>Hofstee, H. Peter (1995) <a href="https://resolver.caltech.edu/CaltechETD:etd-10112007-083903">Synchronizing processes</a>; <a href="https://doi.org/10.7907/G620-GG65">10.7907/G620-GG65</a></li>
<li>Seizovic, Jakov N. (1994) <a href="https://resolver.caltech.edu/CaltechETD:etd-12072007-131639">The architecture and programming of a fine-grain multicomputer</a>; <a href="https://doi.org/10.7907/53vc-hs15">10.7907/53vc-hs15</a></li>
<li>Mouchtaris, Petros N. (1993) <a href="https://resolver.caltech.edu/CaltechETD:etd-02022005-162907">Analysis of an interactive video architecture</a>; <a href="https://doi.org/10.7907/A9Z4-N267">10.7907/A9Z4-N267</a></li>
<li>Steele, Craig S. (1992) <a href="https://resolver.caltech.edu/CaltechETD:etd-08152007-074128">Affinity : a concurrent programming system for multicomputers</a>; <a href="https://doi.org/10.7907/syrm-sx30">10.7907/syrm-sx30</a></li>
<li>Barzel, Ronen (1992) <a href="https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850">A structured approach to physically-based modeling for computer graphics</a>; <a href="https://doi.org/10.7907/tbgd-g285">10.7907/tbgd-g285</a></li>
<li>Barzel, Ronen (1992) <a href="https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850">A structured approach to physically-based modeling for computer graphics</a>; <a href="https://doi.org/10.7907/tbgd-g285">10.7907/tbgd-g285</a></li>
<li>Gupta, Rajiv (1991) <a href="https://resolver.caltech.edu/CaltechETD:etd-06272007-081805">Compiler Optimization of Data Storage</a>; <a href="https://doi.org/10.7907/E8DD-VG68">10.7907/E8DD-VG68</a></li>
<li>Burns, Steven Morgan (1991) <a href="https://resolver.caltech.edu/CaltechETD:etd-07092007-072640">Performance analysis and optimization of asynchronous circuits</a>; <a href="https://doi.org/10.7907/kez1-7q52">10.7907/kez1-7q52</a></li>
<li>Su, Wen-King (1990) <a href="https://resolver.caltech.edu/CaltechTHESIS:03222012-091423469">Reactive-Process Programming and Distributed Discrete-Event Simulation</a>; <a href="https://doi.org/10.7907/9qzd-kv20">10.7907/9qzd-kv20</a></li>
<li>Ngai, John Yee-Keung (1989) <a href="https://resolver.caltech.edu/CaltechETD:etd-02132007-153533">A Framework for Adaptive Routing in Multicomputer Networks</a>; <a href="https://doi.org/10.7907/a01h-0z81">10.7907/a01h-0z81</a></li>
</ul>