@other{https://resolver.caltech.edu/CaltechTHESIS:06022024-014038700,
    title = "Test and Evaluation of Autonomous Systems: Reactive Test Synthesis and Task-Relevant Evaluation of Perception",
    year = "2024",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06022024-014038700",
    id = "record",
    doi = "10.7907/e8qz-rd26"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06122023-162907795,
    title = "Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06122023-162907795",
    id = "record",
    doi = "10.7907/jej3-4444"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:01132021-065636010,
    title = "Contract-Based Design: Theories and Applications",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechTHESIS:01132021-065636010",
    id = "record",
    doi = "10.7907/8vp7-kd82"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04022021-033321217,
    title = "Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04022021-033321217",
    id = "record",
    doi = "10.7907/w3m8-es32"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662,
    title = "Scalable Synthesis and Verification: Towards Reliable Autonomy",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662",
    id = "record",
    doi = "10.7907/4j39-v857"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471,
    title = "Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471",
    id = "record",
    doi = "10.7907/Z9Q52MTD"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312018-080301508,
    title = "Optimizing Resource Management in Cloud Analytics Services",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312018-080301508",
    id = "record",
    doi = "10.7907/K62Y-FV39"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:01262016-194420781,
    title = "Distributed Control and Optimization for Communication and Power Systems",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechTHESIS:01262016-194420781",
    id = "record",
    doi = "10.7907/Z99C6VBW"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537,
    title = "Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537",
    id = "record",
    doi = "10.7907/Z9BG2KZG"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:09082014-135331211,
    title = "Macroscopically Dissipative Systems with Underlying Microscopic Dynamics : Properties and Limits of Measurement",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechTHESIS:09082014-135331211",
    id = "record",
    doi = "10.7907/Z9V40S4N"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:01272015-214848277,
    title = "Distributed Load Control in Multiphase Radial Networks",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechTHESIS:01272015-214848277",
    id = "record",
    doi = "10.7907/Z9FQ9TJ0"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:03182014-225151551,
    title = "New Applications that Come from Extending Seismic Networks into Buildings",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:03182014-225151551",
    id = "record",
    doi = "10.7907/STB2-XR07"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328,
    title = "Community Sense and Response Systems",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328",
    id = "record",
    doi = "10.7907/QFM5-FH06"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077,
    title = "Cloud Computing Services for Seismic Networks",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077",
    id = "record",
    doi = "10.7907/5D60-FG88"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456,
    title = "An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456",
    id = "record",
    doi = "10.7907/FRGW-AF26"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312014-215801543,
    title = "Sustainable IT and IT for Sustainability",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312014-215801543",
    id = "record",
    doi = "10.7907/296T-HR79"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153,
    title = "Analysis-Aware Design of Embedded Systems Software",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153",
    id = "record",
    doi = "10.7907/VB1N-Y042"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:02172014-121159358,
    title = "Control of Dynamical Systems with Temporal Logic Specifications",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechTHESIS:02172014-121159358",
    id = "record",
    doi = "10.7907/TGFR-SS39"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337,
    title = "Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337",
    id = "record",
    doi = "10.7907/QDJN-BB72"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:08192012-145253489,
    title = "GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:08192012-145253489",
    id = "record",
    doi = "10.7907/M3TW-7Y53"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05252013-081655550,
    title = "Mathematical Study of Complex Networks: Brain, Internet, and Power Grid",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05252013-081655550",
    id = "record",
    doi = "10.7907/E750-2M74"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692,
    title = "Sensor Networks for Geospatial Event Detection - Theory and Applications",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692",
    id = "record",
    doi = "10.7907/MZWJ-T222"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06032013-104204451,
    title = "Characterizing Distribution Rules for Cost Sharing Games",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06032013-104204451",
    id = "record",
    doi = "10.7907/AWE2-H976"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312013-223354639,
    title = "Algorithmic Challenges in Green Data Centers",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312013-223354639",
    id = "record",
    doi = "10.7907/NRXJ-JB76"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439,
    title = "Network Coding and Distributed Compression over Large Networks: Some Basic Principles",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439",
    id = "record",
    doi = "10.7907/GWDW-5H78"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06012012-134536732,
    title = "Scheduling for Heavy-Tailed and Light-Tailed Workloads in Queueing Systems",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06012012-134536732",
    id = "record",
    doi = "10.7907/AAXJ-EX10"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439,
    title = "Network Coding and Distributed Compression over Large Networks: Some Basic Principles",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439",
    id = "record",
    doi = "10.7907/GWDW-5H78"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05132011-113642762,
    title = "Large-Scale Complex Systems: From Antenna Circuits to Power Grids",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05132011-113642762",
    id = "record",
    doi = "10.7907/CM46-5R54"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546,
    title = "Applying Formal Methods to Distributed Algorithms Using Local-Global Relations  ",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546",
    id = "record",
    doi = "10.7907/8FRW-ZF17"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516,
    title = "Systematic Design and Formal Verification of Multi-Agent Systems  ",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516",
    id = "record",
    doi = "10.7907/SCQF-VP66"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667,
    title = "Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667",
    id = "record",
    doi = "10.7907/XZ3X-7V51"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05292009-111937,
    title = "Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05292009-111937",
    id = "record",
    doi = "10.7907/3H42-BF56"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05272009-141742,
    title = "Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05272009-141742",
    id = "record",
    doi = "10.7907/7XV3-9Q45"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-08272008-121822,
    title = "Resource Optimization for Networked Estimator with Guaranteed Estimation Quality",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechETD:etd-08272008-121822",
    id = "record",
    doi = "10.7907/DTCJ-BN07"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-06042009-233839,
    title = "Limited Randomness in Games, and Computational Perspectives in Revealed Preference
 ",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechETD:etd-06042009-233839",
    id = "record",
    doi = "10.7907/KH85-HJ73"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-12192007-153619,
    title = "Managing Information in Networked and Multi-Agent Control Systems",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechETD:etd-12192007-153619",
    id = "record",
    doi = "10.7907/84NT-9N46"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-11092007-180524,
    title = "Soft-Error Tolerant Quasi Delay-insensitive Circuits",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechETD:etd-11092007-180524",
    id = "record",
    doi = "10.7907/ZVFF-WE07"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-11092007-180524,
    title = "Soft-Error Tolerant Quasi Delay-insensitive Circuits",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechETD:etd-11092007-180524",
    id = "record",
    doi = "10.7907/ZVFF-WE07"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05262008-234258,
    title = "Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05262008-234258",
    id = "record",
    doi = "10.7907/9HMY-RR92"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05272007-214755,
    title = "Robustness, Complexity, Validation and Risk",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05272007-214755",
    id = "record",
    doi = "10.7907/JZX4-QN41"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01102007-010550,
    title = "Distributed Averaging and Efficient File Sharing on Peer-to-Peer Networks",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01102007-010550",
    id = "record",
    doi = "10.7907/Q9EV-S167"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05222007-101946,
    title = "A Treatise on Econometric Forecasting",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05222007-101946",
    id = "record",
    doi = "10.7907/WXN5-9A47"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05292007-223200,
    title = "Microscopic Behavior of Internet Congestion Control",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05292007-223200",
    id = "record",
    doi = "10.7907/W5E3-9N04"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-06022006-140421,
    title = "Distributed Speculations: Providing Fault-Tolerance and Improving Performance",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-06022006-140421",
    id = "record",
    doi = "10.7907/YZCK-4T29"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01132006-152609,
    title = "Rigorous Analog Verification of Asynchronous Circuits",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01132006-152609",
    id = "record",
    doi = "10.7907/4R8F-WF03"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-11122005-082753,
    title = "A Theoretical Study of Internet Congestion Control: Equilibrium and Dynamics",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-11122005-082753",
    id = "record",
    doi = "10.7907/4DQ0-GA49"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05242006-170918,
    title = "Heterogeneous Congestion Control Protocols",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05242006-170918",
    id = "record",
    doi = "10.7907/eh43-pa83"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05272005-144358,
    title = "Optimization-Based Methods for Nonlinear and Hybrid Systems Verification",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05272005-144358",
    id = "record",
    doi = "10.7907/S3BJ-4M47"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05272004-163315,
    title = "Optimized Network Data Storage and Topology Control",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05272004-163315",
    id = "record",
    doi = "10.7907/91R7-MH71"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:11192009-161338958,
    title = "High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechTHESIS:11192009-161338958",
    id = "record",
    doi = "10.7907/5N2N-0W58"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05202003-170423,
    title = "Efficient Algorithms for Solving Static Hamilton-Jacobi Equations",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05202003-170423",
    id = "record",
    doi = "10.7907/5R5P-Y603"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-11012005-093745,
    title = "Automating Resource Management for Distributed Business Processes",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechETD:etd-11012005-093745",
    id = "record",
    doi = "10.7907/9GXT-BD03"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-06062002-164914,
    title = "Kind Theory",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechETD:etd-06062002-164914",
    id = "record",
    doi = "10.7907/TVTD-E826"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-12072001-160019,
    title = "Dynamic UNITY",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechETD:etd-12072001-160019",
    id = "record",
    doi = "10.7907/AC6E-WE21"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-08272001-155016,
    title = "Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechETD:etd-08272001-155016",
    id = "record",
    doi = "10.7907/44QZ-R465"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05042006-131410,
    title = "Hard vs. soft bounds in probablilistic robustness analysis and generalized source coding and optimal web layout design",
    year = "2000",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05042006-131410",
    id = "record",
    doi = "10.7907/1f3r-va82"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05062004-055516,
    title = "Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization",
    year = "2000",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05062004-055516",
    id = "record",
    doi = "10.7907/2K6Y-CH43"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10172005-103315,
    title = "Nonlinear optimal control: a receding horizon appoach",
    year = "1999",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10172005-103315",
    id = "record",
    doi = "10.7907/4AD2-0T48"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-05162005-084223,
    title = "Highly available distributed storage systems",
    year = "1999",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05162005-084223",
    id = "record",
    doi = "10.7907/EQK9-8C84"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-08112005-114144,
    title = "The impact of asynchrony on computer architecture",
    year = "1999",
    url = "https://resolver.caltech.edu/CaltechETD:etd-08112005-114144",
    id = "record",
    doi = "10.7907/xzwa-p598"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01232008-111520,
    title = "Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01232008-111520",
    id = "record",
    doi = "10.7907/ZVYW-H876"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01242008-074143,
    title = "A structured approach to parallel programming",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01242008-074143",
    id = "record",
    doi = "10.7907/5ma9-h225"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01252008-095244,
    title = "A method for the specification, composition, and testing of distributed object systems",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01252008-095244",
    id = "record",
    doi = "10.7907/z89g-gm27"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-02072008-075916,
    title = "Dynamic load balancing and granularity control on heterogeneous and hybrid architectures",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-02072008-075916",
    id = "record",
    doi = "10.7907/gvgq-3d11"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01242008-132610,
    title = "Performance modeling for concurrent particle simulations",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01242008-132610",
    id = "record",
    doi = "10.7907/sx57-5d89"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01102008-153402,
    title = "Software register synchronization for super-scalar processors with partitioned register files",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01102008-153402",
    id = "record",
    doi = "10.7907/tyap-ea69"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01092008-082210,
    title = "Iterative decoding",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01092008-082210",
    id = "record",
    doi = "10.7907/ydj9-zq05"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-12132007-083330,
    title = "Mathematical modeling of air pollution dynamics by parallel computation",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechETD:etd-12132007-083330",
    id = "record",
    doi = "10.7907/k1ap-np35"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-01042008-085720,
    title = "A parallel programming model with sequential semantics",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01042008-085720",
    id = "record",
    doi = "10.7907/mytw-er77"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10162007-093427,
    title = "Semantics of VLSI synthesis",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10162007-093427",
    id = "record",
    doi = "10.7907/SR5V-KT18"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10112007-083903,
    title = "Synchronizing processes",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10112007-083903",
    id = "record",
    doi = "10.7907/G620-GG65"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10162007-111256,
    title = "Toward reliable modular programs",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10162007-111256",
    id = "record",
    doi = "10.7907/ynt2-nn65"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10172007-090528,
    title = "A General Approach to Performance Analysis and Optimization of Asynchronous Circuits",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10172007-090528",
    id = "record",
    doi = "10.7907/ehzs-y537"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-12072007-131639,
    title = "The architecture and programming of a fine-grain multicomputer",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechETD:etd-12072007-131639",
    id = "record",
    doi = "10.7907/53vc-hs15"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-02022005-162907,
    title = "Analysis of an interactive video architecture",
    year = "1993",
    url = "https://resolver.caltech.edu/CaltechETD:etd-02022005-162907",
    id = "record",
    doi = "10.7907/A9Z4-N267"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850,
    title = "A structured approach to physically-based modeling for computer graphics",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850",
    id = "record",
    doi = "10.7907/tbgd-g285"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850,
    title = "A structured approach to physically-based modeling for computer graphics",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850",
    id = "record",
    doi = "10.7907/tbgd-g285"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-08152007-074128,
    title = "Affinity : a concurrent programming system for multicomputers",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechETD:etd-08152007-074128",
    id = "record",
    doi = "10.7907/syrm-sx30"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-06272007-081805,
    title = "Compiler Optimization of Data Storage",
    year = "1991",
    url = "https://resolver.caltech.edu/CaltechETD:etd-06272007-081805",
    id = "record",
    doi = "10.7907/E8DD-VG68"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-07092007-072640,
    title = "Performance analysis and optimization of asynchronous circuits",
    year = "1991",
    url = "https://resolver.caltech.edu/CaltechETD:etd-07092007-072640",
    id = "record",
    doi = "10.7907/kez1-7q52"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:03222012-091423469,
    title = "Reactive-Process Programming and Distributed Discrete-Event Simulation",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechTHESIS:03222012-091423469",
    id = "record",
    doi = "10.7907/9qzd-kv20"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-02132007-153533,
    title = "A Framework for Adaptive Routing in Multicomputer Networks",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechETD:etd-02132007-153533",
    id = "record",
    doi = "10.7907/a01h-0z81"
}