@other{https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175,
    title = "Quantifying Near-Threshold CMOS Circuit Robustness",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175",
    id = "record",
    doi = "10.7907/Z9M043CG"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844,
    title = "25 Years Ago: The First Asynchronous Microprocessor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844",
    id = "record",
    doi = "10.7907/Z9QR4V3H"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-102640427,
    title = "A mathematical approach to modelling the flow of data and control in computational networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-102640427",
    id = "record",
    doi = "10.7907/ekw3n-6et55"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120419-112428166,
    title = "Switch-Level Modeling of MOS Digital Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120419-112428166",
    id = "record",
    doi = "10.7907/ep0h1-95z76"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-151722984,
    title = "An Experimental Composition Tool",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-151722984",
    id = "record",
    doi = "10.7907/5914s-vgs06"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120424-144344175,
    title = "Toward a mathematical theory of perception",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120424-144344175",
    id = "record",
    doi = "10.7907/Z99Z92V3"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120423-105037951,
    title = "Chip assembly tools",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120423-105037951",
    id = "record",
    doi = "10.7907/qt7sw-emq77"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120419-110935084,
    title = "Two Rail Restoring Logic Blocks -- An Alternative Logic Model: Silicon Structures Project Memo \# 3",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120419-110935084",
    id = "record",
    doi = "10.7907/n4nqy-bzg25"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120418-101642081,
    title = "The Tree Machine Operating System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-101642081",
    id = "record",
    doi = "10.7907/y072z-zf865"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120418-105425647,
    title = "A Chip Assembler",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-105425647",
    id = "record",
    doi = "10.7907/Z9M61H7K"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120418-110634950,
    title = "VLSI Architecture and Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-110634950",
    id = "record",
    doi = "10.7907/bmm7d-81x26"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120418-103150565,
    title = "The Polygon Package",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-103150565",
    id = "record",
    doi = "10.7907/5tba0-53c30"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991,
    title = "A Distributed Implementation Method for Parallel Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991",
    id = "record",
    doi = "10.7907/c1h76-gdn90"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120417-143125744,
    title = "Rapidly Extendable Natural Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120417-143125744",
    id = "record",
    doi = "10.7907/Z9VM4980"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5018-tr-82,
    title = "Filtering high quality text for display on raster scan devices",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5018-tr-82",
    id = "record",
    doi = "10.7907/b3bf6-tx272"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1978.2069-tr-78,
    title = "Hierarchical power routing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1978.2069-tr-78",
    id = "record",
    doi = "10.7907/15bcb-29638"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-15,
    title = "VLSI analogs of neuronal visual processing: a synthesis of form and function",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-15",
    id = "record",
    doi = "10.7907/Z9CZ35CD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.004,
    title = "A convex optimization approach to jump nonlinear systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.004",
    id = "record",
    doi = "10.7907/jef7h-4ev55"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3352-tr-80,
    title = "A Comprehensive CIF Test Set",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3352-tr-80",
    id = "record",
    doi = "10.7907/jpggm-q7p79"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-12,
    title = "The impact of asynchrony on computer architecture",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-12",
    id = "record",
    doi = "10.7907/kgstw-em803"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.3356-tr-79,
    title = "LAP user's manual",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.3356-tr-79",
    id = "record",
    doi = "10.7907/Z90P0X08"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3880-tr-80,
    title = "The Proposed Sticks Standard",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3880-tr-80",
    id = "record",
    doi = "10.7907/e9sf3-8qn24"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4600-tr-81,
    title = "A notation for designing restoring logic circuitry in CMOS",
    publisher = "Callifornia Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4600-tr-81",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3794-tr-80,
    title = "Combining graphics and layout language in a single interactive system",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3794-tr-80",
    id = "record",
    doi = "10.7907/e4ydb-23e50"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80,
    title = "The representation of communication and concurrency",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80",
    id = "record",
    doi = "10.7907/1e41m-vq136"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2007.003,
    title = "Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2007.003",
    id = "record",
    doi = "10.7907/Z9G73BP6"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2007.002,
    title = "Distributed Optimization in Wireless Networks Using Broadcast Advantage",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2007.002",
    id = "record",
    doi = "10.7907/Z9BK19BR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2006.005,
    title = "On the Stability of P-Matrices",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2006.005",
    id = "record",
    doi = "10.7907/Z96T0JNG"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2006.004,
    title = "Data complexity in machine learning",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2006.004",
    id = "record",
    doi = "10.7907/Z9319SW2"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2006.002,
    title = "Predicate Signaling in Distributed Sensor Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2006.002",
    id = "record",
    doi = "10.7907/Z9Z899D5"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2006.001,
    title = "OMake: Designing a Scalable Build Process",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2006.001",
    id = "record",
    doi = "10.7907/Z9TH8JPF"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.006,
    title = "Perceptron learning with random coordinate descent",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.006",
    id = "record",
    doi = "10.7907/Z9PR7SZQ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.003,
    title = "A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.003",
    id = "record",
    doi = "10.7907/1shys-d2n87"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.005,
    title = "Equilibrium of Heterogeneous Congestion Control Protocols",
    publisher = "Steven Low",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.005",
    id = "record",
    doi = "10.7907/Z9FB50XP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.004,
    title = "Stream Processing Algorithms that model behavior changes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.004",
    id = "record",
    doi = "10.7907/Z99K487T"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.001,
    title = "Design Rules for Non-Atomic Implementations of PRS",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.001",
    id = "record",
    doi = "10.7907/Z95T3HGN"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2004.002,
    title = "The Bin Model",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2004.002",
    id = "record",
    doi = "10.7907/Z9222RR7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1978.2276-tr-78,
    title = "A Language Processor and a Sample Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1978.2276-tr-78",
    id = "record",
    doi = "10.7907/1vv8n-mq049"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70,
    title = "Formal Methods in the Foundations of  Science",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70",
    id = "record",
    doi = "10.7907/303jv-1h913"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.008,
    title = "The Full Images for Natural Knowledge Caltech Office DB",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.008",
    id = "record",
    doi = "10.7907/Z9125QMV"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.006a,
    title = "An Architecture for Asynchronous FPGAs",
    publisher = "Proceedings of the IEEE International Conference on Field-Programmable Technology, 2003",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.006a",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.006,
    title = "An Architecture for Asynchronous FPGAs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.006",
    id = "record",
    doi = "10.7907/Z9X9288B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.003,
    title = "Stable Production Rule Sets are Deterministic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.003",
    id = "record",
    doi = "10.7907/Z9XS5SD9"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.002,
    title = "Formal Compiler Implementation in a Logical Framework",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.002",
    id = "record",
    doi = "10.7907/Z98K7720"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.004,
    title = "Formalizing Abstract Algebra in Constructive Set Theory",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.004",
    id = "record",
    doi = "10.7907/Z94T6GB8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.005,
    title = "An Asynchronous Register Bypass Transformation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.005",
    id = "record",
    doi = "10.7907/Z9J38QHN"
}


@other{https://resolver.caltech.edu/CaltechCSTR:5252-tr-87,
    title = "The C Programmer's Abbreviated Guide to Multicomputer Programming (The Short C-Guide)",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:5252-tr-87",
    id = "record",
    doi = "10.7907/5zqrq-eme23"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.23,
    title = "Whiplash PCR for O(1) Computing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.23",
    id = "record",
    doi = "10.7907/Z94M92KH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.22,
    title = "Simulations of Computing by Self-Assembly",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.22",
    id = "record",
    doi = "10.7907/Z9TB14X7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.001,
    title = "Design of AQM in Supporting TCP Based on the Well-Known AIMD Model",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.001",
    id = "record",
    doi = "10.7907/Z9DB7ZTC"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3761-tr-80,
    title = "A Fault Tolerant Integrated Circuit Memory",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3761-tr-80",
    id = "record",
    doi = "10.7907/b241m-a6c87"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3762-tr-80,
    title = "A Software Design System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3762-tr-80",
    id = "record",
    doi = "10.7907/ppc1r-w4508"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.2870-tr-79,
    title = "A Wire Oriented Mask Geometry Editor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.2870-tr-79",
    id = "record",
    doi = "10.7907/hgtcg-f8949"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.007,
    title = "CGBoost: Conjugate Gradient in Function Space",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.007",
    id = "record",
    doi = "10.7907/yryfk-z8a36"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.008a,
    title = "The Full Images for Natural Knowledge Caltech Office DB",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.008a",
    id = "record",
    doi = "10.7907/kj0dz-n7r20"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80,
    title = "Modeling and Verification in Structured Integrated Circuit Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80",
    id = "record",
    doi = "10.7907/2rqxt-3qb58"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.2883-tr-80,
    title = "A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.2883-tr-80",
    id = "record",
    doi = "10.7907/0xxhr-k5a41"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3759-tr-80,
    title = "The Homogeneous Machine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3759-tr-80",
    id = "record",
    doi = "10.7907/6cbb2-qgq58"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1978.4204-tr-78,
    title = "A 16-Bit LSI Digital Multiplier",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1978.4204-tr-78",
    id = "record",
    doi = "10.7907/7xkjj-rv082"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.2891-tr-79,
    title = "Automated Wiring Analysis of Integrated Circuit  Geometric Data",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.2891-tr-79",
    id = "record",
    doi = "10.7907/sn86y-q7468"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.4061-tr-80,
    title = "A Preliminary Report on the Caltech ARPA Tester Project",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.4061-tr-80",
    id = "record",
    doi = "10.7907/Z9N014HV"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4287-tr-81,
    title = "Computational Arrays for Band Matrix Equations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4287-tr-81",
    id = "record",
    doi = "10.7907/70tmd-29e82"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.3357-tr-79,
    title = "CIF2OP Instruction Manual",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.3357-tr-79",
    id = "record",
    doi = "10.7907/ybaxw-efg09"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.007,
    title = "Process Migration and Transactions Using a Novel Intermediate Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.007",
    id = "record",
    doi = "10.7907/Z93776Q3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.010,
    title = "Energy-Delay Complexity of Asynchronous Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.010",
    id = "record",
    doi = "10.7907/Z9DV1GVX"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.012,
    title = "Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.012",
    id = "record",
    doi = "10.7907/Z99S1P11"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.4087-tr-80,
    title = "Gaussian Elimination on Sparse Matricies and Concurrency",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.4087-tr-80",
    id = "record",
    doi = "10.7907/f5pmx-pnx37"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4299-tr-81,
    title = "The Design and Implementation of a Reticle Maker for VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4299-tr-81",
    id = "record",
    doi = "10.7907/aey19-53w60"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3655-tr-80,
    title = "PLASYS: Final Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3655-tr-80",
    id = "record",
    doi = "10.7907/eehbb-vah10"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.3230-tr-79,
    title = "Models for Structured IC Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.3230-tr-79",
    id = "record",
    doi = "10.7907/y4qag-gcv17"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80,
    title = "Understanding Hierarchical Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80",
    id = "record",
    doi = "10.7907/Z9BP00R2"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.3364-tr-79,
    title = "Stack Data Engine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.3364-tr-79",
    id = "record",
    doi = "10.7907/memwk-xjg39"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.3236-tr-79,
    title = "A Physical Design Rule Description",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.3236-tr-79",
    id = "record",
    doi = "10.7907/Z9V122RR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1979.3253-tr-79,
    title = "CIFSYM -- CIF Symbol Handler",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1979.3253-tr-79",
    id = "record",
    doi = "10.7907/2dcnz-we476"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1978.1584-tr-78,
    title = "Cost and Performance of VLSI Computing Structures",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1978.1584-tr-78",
    id = "record",
    doi = "10.7907/fm4yx-3bq89"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4530-tr-81,
    title = "Silicon Compilation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4530-tr-81",
    id = "record",
    doi = "10.7907/vvm2m-zpr34"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5051-tr-82,
    title = "Knowledgeable Contexts for User Interaction",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5051-tr-82",
    id = "record",
    doi = "10.7907/jk9f9-zgq20"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5092-tr-83,
    title = "Residue Arithmetic and VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5092-tr-83",
    id = "record",
    doi = "10.7907/77gav-sns10"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5139-tr-84,
    title = "HEX: A Hierarchical Circuit Extractor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5139-tr-84",
    id = "record",
    doi = "10.7907/pybtk-7v669"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5137-tr-84,
    title = "The Dialogue Designing Dialogue System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5137-tr-84",
    id = "record",
    doi = "10.7907/1xmnk-39d34"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5135-tr-84,
    title = "Towards Concurrent Arithmetic: Residue Arithmetic and VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5135-tr-84",
    id = "record",
    doi = "10.7907/a8mqr-n5d15"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.008,
    title = "Cost of AQM in stabilizing TCP",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.008",
    id = "record",
    doi = "10.7907/84yds-ahh93"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.009,
    title = "Analysis and Design of AQM for stabilizing TCP",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.009",
    id = "record",
    doi = "10.7907/Z9T43R25"
}


@other{https://resolver.caltech.edu/CaltechCSTR:3760-tr-80,
    title = "The Tree Machine: A Highly Concurrent Computing Environment",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:3760-tr-80",
    id = "record",
    doi = "10.7907/Z96W9816"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.006,
    title = "Phobos: A front-end approach to extensible compilers (long version)",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.006",
    id = "record",
    doi = "10.7907/Z9707ZFF"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.005,
    title = "Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.005",
    id = "record",
    doi = "10.7907/Z9PC30C8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.004,
    title = "On Bit-Commitment Based Quantum Coin Flipping",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.004",
    id = "record",
    doi = "10.7907/Z9BR8Q69"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.003,
    title = "Transistor Sizing of Energy-Delay-Efficient Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.003",
    id = "record",
    doi = "10.7907/Z9ZG6Q7T"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.001,
    title = "The design of high performance asynchronous circuits for the Caltech MiniMIPS processor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.001",
    id = "record",
    doi = "10.7907/Z90V89TB"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2002.002,
    title = "Global and local properties of asynchronous circuits optimized for energy efficiency",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.002",
    id = "record",
    doi = "10.7907/Z9FJ2DSS"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-01,
    title = "Recurrence-Based Reductions for Inclusion and Exclusion Algorithms Applied to P Problems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-01",
    id = "record",
    doi = "10.7907/Z9ST7MVX"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.011,
    title = "Asynchronous Pulse Logic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.011",
    id = "record",
    doi = "10.7907/Z9TQ5ZJJ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.008,
    title = "Et2 and Multi-Voltage Logic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.008",
    id = "record",
    doi = "10.7907/Z9NZ85PT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.009,
    title = "Pipelined Asynchronous Cache Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.009",
    id = "record",
    doi = "10.7907/Z9NG4NNT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.010,
    title = "Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.010",
    id = "record",
    doi = "10.7907/Z9C8278M"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.007,
    title = "ET^2: A Metric For Time and Energy Efficiency of Computation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.007",
    id = "record",
    doi = "10.7907/Z9K935JZ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.006,
    title = "Dynamic UNITY",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.006",
    id = "record",
    doi = "10.7907/Z9Q23X7V"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.004,
    title = "A Theory of Constant Et² CMOS Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.004",
    id = "record",
    doi = "10.7907/Z9610X9M"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2001.003,
    title = "Why Multicast Protocols (Don't) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.003",
    id = "record",
    doi = "10.7907/Z96W982N"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31,
    title = "A Deterministic Notation for Cooperating Processes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31",
    id = "record",
    doi = "10.7907/Z9B85664"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-13,
    title = "Validation of Voting Committee",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-13",
    id = "record",
    doi = "10.7907/Z9W093X1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42,
    title = "A problem in the regularity calculus",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42",
    id = "record",
    doi = "10.7907/Z9RJ4GHK"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-10,
    title = "Runtime Systems for Fine-Grain Multicomputers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-10",
    id = "record",
    doi = "10.7907/Z9QC01J3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.4090-tr-80,
    title = "A VLSI Based Real-Time Hidden Surface Elimination Display System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.4090-tr-80",
    id = "record",
    doi = "10.7907/gq2ej-hp229"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-14,
    title = "A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-14",
    id = "record",
    doi = "10.7907/Z9513W74"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-02,
    title = "A Compiler Algorithm for Managing Asynchronous Memory Read Completion",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-02",
    id = "record",
    doi = "10.7907/Z9Q81B3B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15,
    title = "Multicomputer Programming with Modula-3D",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15",
    id = "record",
    doi = "10.7907/Z9F18WSP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-13,
    title = "Teaching Archetypal Design with an Electronic Textbook",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-13",
    id = "record",
    doi = "10.7907/Z98G8HRM"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-08,
    title = "Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-08",
    id = "record",
    doi = "10.7907/Z9KW5D26"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-06,
    title = "Interpolating Subdivision for Meshes of Arbitary Topology",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-06",
    id = "record",
    doi = "10.7907/Z93B5X5W"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-10,
    title = "On Detection and Generation of Dead-lock free Reshuffling in the VLSI Synthesis Method",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-10",
    id = "record",
    doi = "10.7907/Z9Q23X89"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-20,
    title = "Distributed Diners: From UNITY Specification to CC++ Implementation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-20",
    id = "record",
    doi = "10.7907/Z96H4FGD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-22,
    title = "Correction of Geometeric Perceptual Distortions in Pictures",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-22",
    id = "record",
    doi = "10.7907/Z9XG9P6S"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-12,
    title = "Concurrent Simulations of Plasma Reactors for VLSI Manufacturing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-12",
    id = "record",
    doi = "10.7907/Z92805N5"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01,
    title = "CC++: A Declarative Concurrent Object Oriented Programming Notation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01",
    id = "record",
    doi = "10.7907/Z96M34V8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-07,
    title = "A General Approach to Performance Analysis and Optimization of Asynchronous Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-07",
    id = "record",
    doi = "10.7907/Z9DF6P8J"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08,
    title = "A World-Wide Distributed System Using Java and the Internet",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08",
    id = "record",
    doi = "10.7907/Z98W3BBD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-19,
    title = "Synchronizing Processes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-19",
    id = "record",
    doi = "10.7907/Z9028PKT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-14,
    title = "Distributed Linear Algebra on Networks of Workstations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-14",
    id = "record",
    doi = "10.7907/Z9VH5KV8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-02,
    title = "An Energy-Complexity Model for VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-02",
    id = "record",
    doi = "10.7907/Z9SQ8XFM"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-18,
    title = "The Architecture and Programming of a Fine-Grain Multicomputer",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-18",
    id = "record",
    doi = "10.7907/Z9G44N9B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21,
    title = "Low-Energy Asynchronous Memory Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21",
    id = "record",
    doi = "10.7907/Z9X9289S"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15,
    title = "Mach-Based Channel Library",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15",
    id = "record",
    doi = "10.7907/Z9SJ1HMH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-06,
    title = "Parallel Programming Archetypes in Combinatorics and Optimization",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-06",
    id = "record",
    doi = "10.7907/Z91834J7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11,
    title = "Quasi-Delay-Insensitive Circuits are Turing-Complete",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11",
    id = "record",
    doi = "10.7907/Z9H70CV1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-04,
    title = "The Programming Language Declarative Ada Reference Manual",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-04",
    id = "record",
    doi = "10.7907/Z97942Q7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16,
    title = "A Development Methodology for Concurrent Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16",
    id = "record",
    doi = "10.7907/S4MW2X"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02,
    title = "The Compositional C++ Language Definition",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02",
    id = "record",
    doi = "10.7907/Z9QF8QWK"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-05,
    title = "A Collection of Declarative Ada Example Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-05",
    id = "record",
    doi = "10.7907/Z99C6VF7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-17,
    title = "A Compiler for a Subset of Modula-3",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-17",
    id = "record",
    doi = "10.7907/Z9416V3R"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-13,
    title = "A Practical Approach to Dynamic Load Balancing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-13",
    id = "record",
    doi = "10.7907/Z9N014J9"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-11,
    title = "Experiences in Programming the J-Machine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-11",
    id = "record",
    doi = "10.7907/rqz0m-we595"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21,
    title = "A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21",
    id = "record",
    doi = "10.7907/Z9W95779"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02,
    title = "Using Triples to Reason About Concurrent Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02",
    id = "record",
    doi = "10.7907/Z94Q7S2R"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10,
    title = "Submicron Systems Architecture",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10",
    id = "record",
    doi = "10.7907/4fh9g-yr824"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-10,
    title = "Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-10",
    id = "record",
    doi = "10.7907/Z9WH2N1H"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-09,
    title = "Folded FIFOs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-09",
    id = "record",
    doi = "10.7907/Z9J67DZD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-91-12,
    title = "Polygon Scan Conversion Derivations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-91-12",
    id = "record",
    doi = "10.7907/Z9RR1W8B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-05,
    title = "Geometric Model Extraction from Magnetic Resonance Volume Data",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-05",
    id = "record",
    doi = "10.7907/Z98S4MXP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-03,
    title = "Towards Reliable Modular Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-03",
    id = "record",
    doi = "10.7907/Z9CJ8BH1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-12,
    title = "System Tools for the J-Machine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-12",
    id = "record",
    doi = "10.7907/Z9D798FW"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-18,
    title = "Optimized Computer-Generated Motions for Animation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-18",
    id = "record",
    doi = "10.7907/Z9DB7ZVT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-19,
    title = "Designing Asynchronous Circuits in Gallium Arsenide",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-19",
    id = "record",
    doi = "10.7907/Z9G15XWM"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19,
    title = "On Lattice Theory and Program Semantics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19",
    id = "record",
    doi = "10.7907/Z95H7D9K"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03,
    title = "Parallel Programming with Declarative Ada",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03",
    id = "record",
    doi = "10.7907/Z9X0652T"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-01,
    title = "Integrating Task and Data Parallelism",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-01",
    id = "record",
    doi = "10.7907/Z9PG1PS6"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11,
    title = "Reliable Synchronization Primitives for Java",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11",
    id = "record",
    doi = "10.7907/Z9P55KHS"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19,
    title = "A General Resource Reservation Framework for Scientific Computing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19",
    id = "record",
    doi = "10.7907/Z9DZ06BJ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-95-21,
    title = "Pipelined Asynchronous Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-95-21",
    id = "record",
    doi = "10.7907/Z92V2D4Z"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-05,
    title = "Creating Generative Models from Range Images",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-05",
    id = "record",
    doi = "10.7907/Z9V9863X"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-96-09,
    title = "Application Development using Compositional Performance Analysis",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-96-09",
    id = "record",
    doi = "10.7907/Z9348HCP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04,
    title = "Leading to a Kind Description Language: Thoughts on Component Specification",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04",
    id = "record",
    doi = "10.7907/Z9PV6HCF"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-04,
    title = "A Structured Approach to Parallel Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-04",
    id = "record",
    doi = "10.7907/Z94F1NR1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08,
    title = "The Specification of Dynamic Distributed Component Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08",
    id = "record",
    doi = "10.7907/Z9PK0D5G"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14,
    title = "A New Construct for Systems Modeling and Theory: The Kind",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14",
    id = "record",
    doi = "10.7907/Z9G15XV5"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-03,
    title = "Surface Drawing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-03",
    id = "record",
    doi = "10.7907/Z97H1GKB"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31,
    title = "A Method for the Specification, Composition, and Testing of Distributed Object Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31",
    id = "record",
    doi = "10.7907/Z91N7Z43"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-20,
    title = "Providing Easier Access to Remote Objects in Client-Server Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-20",
    id = "record",
    doi = "10.7907/Z9HQ3WX3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-10,
    title = "Analysis of Scalable Algorithms for Dynamic Load Balancing and Mapping with Application to Photo-realistic Rendering",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-10",
    id = "record",
    doi = "10.7907/Z9W37TBC"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-32,
    title = "Stationary Subdivision and Multiresolution Surface Representations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-32",
    id = "record",
    doi = "10.7907/Z9862DF9"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-09,
    title = "A Preliminary Investigation into Dynamic Distributed Workflow",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-09",
    id = "record",
    doi = "10.7907/Z9Z31WP1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01,
    title = "Examples of Program Composition Illustrating the Use of Universal Properties",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01",
    id = "record",
    doi = "10.7907/Z9ZC80WC"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-07,
    title = "Visualizing Diffusion Tensor Images of the Mouse Spinal Cord",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-07",
    id = "record",
    doi = "10.7907/Z98C9T9V"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02,
    title = "Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02",
    id = "record",
    doi = "10.7907/Z93R0QW2"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-02,
    title = "No Free Lunch for Early Stopping",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-02",
    id = "record",
    doi = "10.7907/Z9B8565P"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-21,
    title = "A Framework for Migration of Networked Intercommunication Processes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-21",
    id = "record",
    doi = "10.7907/Z9PG1PRR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-08,
    title = "Optimal Distributed Resource Allocation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-08",
    id = "record",
    doi = "10.7907/Z9MS3QRD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-15,
    title = "JPP: A Java Pre-Processor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-15",
    id = "record",
    doi = "10.7907/Z9KS6PKK"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-17,
    title = "Validation of Average Error Rate Over Classifiers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-17",
    id = "record",
    doi = "10.7907/Z90P0X25"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-96-27,
    title = "Performance Analysis for Mesh and Mesh-Spectral Archetype Applications",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-96-27",
    id = "record",
    doi = "10.7907/Z96M34TT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-16,
    title = "IDebug: An Advanced Debugging Framework for Java",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-16",
    id = "record",
    doi = "10.7907/Z9QJ7FBR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-01,
    title = "Combining Multilayer Networks to Combine Learning",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-01",
    id = "record",
    doi = "10.7907/Z9MK69XR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29,
    title = "Conjunctive Predicate Transformers for Reasoning about Concurrent Computation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29",
    id = "record",
    doi = "10.7907/0ztwa-hva90"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-14,
    title = "An Algorithm for Distributed Location Management in Networks of Mobile Computers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-14",
    id = "record",
    doi = "10.7907/Z93F4MN3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02,
    title = "A Tutorial for CC++",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02",
    id = "record",
    doi = "10.7907/Z9QN64SH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01,
    title = "Mechanized Support for Stepwise Refinement",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01",
    id = "record",
    doi = "10.7907/Z9NV9G8H"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02,
    title = "Theorems about Composition",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02",
    id = "record",
    doi = "10.7907/Z9BK19C6"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-06,
    title = "A Critique of Adaptive Routing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-06",
    id = "record",
    doi = "10.7907/Z9R78CCZ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03,
    title = "Delay-Insensitive Multiply-Accumulate Unit",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03",
    id = "record",
    doi = "10.7907/Z9MG7MPP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23,
    title = "Production Rule Verification for Quasi-Delay-Insensitive Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23",
    id = "record",
    doi = "10.7907/Z9C24TG1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-22,
    title = "Refinement Calculus, Lattices and Higher Order Logic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-22",
    id = "record",
    doi = "10.7907/Z99021X8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-40,
    title = "Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-40",
    id = "record",
    doi = "10.7907/Z9T72FGG"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-04,
    title = "Scalable Load Balancing by Diffusion",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-04",
    id = "record",
    doi = "10.7907/Z97M05Z6"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-04,
    title = "A Simple Simulator for Multicomputer Routing Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-04",
    id = "record",
    doi = "10.7907/Z91J97XF"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-04,
    title = "Fast Construction of Accurate Quaternion Splines",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-04",
    id = "record",
    doi = "10.7907/Z93N21D7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-16,
    title = "Collision Models in the Hawk DSMC Implementation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-16",
    id = "record",
    doi = "10.7907/Z9V122TN"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-10,
    title = "Computing Permutation Encodings",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-10",
    id = "record",
    doi = "10.7907/Z90863BZ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-32,
    title = "Introduction to C+-: Submicron Systems Architecture Project",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-32",
    id = "record",
    doi = "10.7907/1vv7r-ygr82"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-04,
    title = "Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part II: Polynomially-Varying Radiant Exitance",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-04",
    id = "record",
    doi = "10.7907/Z9XG9P5B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-05,
    title = "Mesh Distance Formulae",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-05",
    id = "record",
    doi = "10.7907/Z9T151VH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26,
    title = "Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26",
    id = "record",
    doi = "10.7907/Z9BZ6471"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-11,
    title = "Mutual Exclusion in a Token Ring in CC++",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-11",
    id = "record",
    doi = "10.7907/Z9JH3JC1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04,
    title = "A LISP Programming Exercise",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04",
    id = "record",
    doi = "10.7907/Z93F4MSW"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-07,
    title = "Classification of Material Mixtures in Volume Data for Visualization and Modeling",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-07",
    id = "record",
    doi = "10.7907/Z97S7KTR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-11,
    title = "Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-11",
    id = "record",
    doi = "10.7907/Z9CC0XQ0"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-11,
    title = "De-aliasing Undersampled Volume Images for Visualization",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-11",
    id = "record",
    doi = "10.7907/Z9C53HWB"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-23,
    title = "Refinement of Parallel and Reactive Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-23",
    id = "record",
    doi = "10.7907/Z957196Z"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-14,
    title = "Similar Classifiers and VC Error Bounds",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-14",
    id = "record",
    doi = "10.7907/Z9CZ355Q"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26,
    title = "Tomorrow's Digital Hardware will be Asynchronous and Verified",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26",
    id = "record",
    doi = "10.7907/Z9125QPR"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18,
    title = "The Derivation of Compositional Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18",
    id = "record",
    doi = "10.7907/Z9GQ6VZZ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-16,
    title = "Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-16",
    id = "record",
    doi = "10.7907/Z9GX48K9"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.005,
    title = "Some Results Regarding the Estimation of Densities and Random Variate Generation Using Neural Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.005",
    id = "record",
    doi = "10.7907/Z9GB222G"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-08,
    title = "Affinity: A Concurrent Programming System for Multicomputers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-08",
    id = "record",
    doi = "10.7907/Z9862DN0"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-16,
    title = "Constructing some Distributed Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-16",
    id = "record",
    doi = "10.7907/Z9VX0DQN"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-27,
    title = "A File System for the J-Machine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-27",
    id = "record",
    doi = "10.7907/Z9Z03666"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34,
    title = "Semantics of Exceptions",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34",
    id = "record",
    doi = "10.7907/Z9KK98TT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-13,
    title = "A Parabolic Load Balancing Method",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-13",
    id = "record",
    doi = "10.7907/Z94T6GCQ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13,
    title = "Compositional C++: Compositional Parallel Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13",
    id = "record",
    doi = "10.7907/Z94F1NX8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-12,
    title = "Partial-Volume Bayesian Classification of Material Mixtures in MR Volume Data using Voxel Histograms",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-12",
    id = "record",
    doi = "10.7907/Z9S75DB3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.007,
    title = "A Generalization Model and Learning in Hardware",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.007",
    id = "record",
    doi = "10.7907/Z9ST7MTG"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-03,
    title = "Dynamic Splines with Constraints for Animation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-03",
    id = "record",
    doi = "10.7907/Z97D2S51"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-08,
    title = "The Central Classifier Bound - A New Error Bound for the Classifier Chosen by Early Stopping",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-08",
    id = "record",
    doi = "10.7907/Z9RB72M1"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10,
    title = "Webs of Archived Distributed Computations for Asynchronous Collaboration",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10",
    id = "record",
    doi = "10.7907/Z9R78C75"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.008,
    title = "Is this a Quadrisected Mesh?",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.008",
    id = "record",
    doi = "10.7907/Z9P26W4X"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-01,
    title = "Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part I: Linearly-Varying Radiant Exitance",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-01",
    id = "record",
    doi = "10.7907/Z92805MQ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.006,
    title = "Semi-Regular Mesh Extraction from Volumes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.006",
    id = "record",
    doi = "10.7907/Z9M32SSD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-25,
    title = "The Mesh Archetype",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-25",
    id = "record",
    doi = "10.7907/Z9ZK5DPK"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08,
    title = "Integrating Task and Data Parallelism with the Collective Communication Archetype",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08",
    id = "record",
    doi = "10.7907/Z9222RSP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17,
    title = "Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17",
    id = "record",
    doi = "10.7907/Z9WS8RF5"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-23,
    title = "Ck Continuity of Subdivision Surfaces",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-23",
    id = "record",
    doi = "10.7907/Z9ZS2TH7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-15,
    title = "Improved Uniform Test Error Bounds",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-15",
    id = "record",
    doi = "10.7907/Z9959FK4"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-20,
    title = "Invariance Hints and the VC Dimension",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-20",
    id = "record",
    doi = "10.7907/Z9765CHM"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-24,
    title = "Predicate Transformers and Higher Order Logic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-24",
    id = "record",
    doi = "10.7907/Z9DR2SN9"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37",
    id = "record",
    doi = "10.7907/Z9NS0RX7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22,
    title = "Composing Processes Using Modified Rely-Guarantee Specifications",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22",
    id = "record",
    doi = "10.7907/Z9P848X3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-21,
    title = "Material Classification of Magnetic Resonance Volume Data",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-21",
    id = "record",
    doi = "10.7907/Z9ZP4490"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-17,
    title = "Tailoring the Permanent Formula to Problem Instances",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-17",
    id = "record",
    doi = "10.7907/Z9DN433K"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-03,
    title = "A Message-Driven Programming System for Fine-Grain Multicomputers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-03",
    id = "record",
    doi = "10.7907/Z9J38QKJ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-14,
    title = "Testing Delay-Insensitive Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-14",
    id = "record",
    doi = "10.7907/Z9S180PP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-12,
    title = "A Parallel Programming Model with Sequential Semantics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-12",
    id = "record",
    doi = "10.7907/Z9KD1VXF"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-97-18,
    title = "Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-97-18",
    id = "record",
    doi = "10.7907/Z9T151P8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15,
    title = "Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15",
    id = "record",
    doi = "10.7907/Z9JD4TTH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-30,
    title = "Computer Mediated Communication",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-30",
    id = "record",
    doi = "10.7907/Z90P0X6Z"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-13,
    title = "The Message Driven File System: a Network Accessible File System for Fine-Grain Message Passing Multicomputers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-13",
    id = "record",
    doi = "10.7907/Z9TT4NZV"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-36,
    title = "A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-36",
    id = "record",
    doi = "10.7907/Z998852R"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19,
    title = "Designing Directories in Distributed Systems: A Systematic Framework",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19",
    id = "record",
    doi = "10.7907/Z9736NXN"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12,
    title = "Theory and Use of Conditional Composition",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12",
    id = "record",
    doi = "10.7907/Z9VD6WGD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38,
    title = "An Asynchronous Microprocessor in Gallium Arsenide",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38",
    id = "record",
    doi = "10.7907/Z9BC3WJ5"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33,
    title = "Proxac: An Editor for Program Transformation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33",
    id = "record",
    doi = "10.7907/Z9V40S70"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07,
    title = "A Framework for Structured Distributed Object Computing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07",
    id = "record",
    doi = "10.7907/Z9JQ0Z2W"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24,
    title = "Properties of Concurrent Programs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24",
    id = "record",
    doi = "10.7907/Z9ZS2TJP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-35,
    title = "Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-35",
    id = "record",
    doi = "10.7907/Z93J3B0X"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85",
    id = "record",
    doi = "10.7907/7fbb9-smt37"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-05,
    title = "Perturbation Methods for Image Synthesis",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-05",
    id = "record",
    doi = "10.7907/Z9H1300B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28,
    title = "Parallel Program Archetypes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28",
    id = "record",
    doi = "10.7907/Z9WW7FP7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-18,
    title = "A Multicast User Directory Service for Synchronous Rendezvous",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-18",
    id = "record",
    doi = "10.7907/Z9DR2SHH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-24,
    title = "Portable Graphical Tools for Concurrent Plasma Simulation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-24",
    id = "record",
    doi = "10.7907/Z9XK8CJ6"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-26,
    title = "The Mesh Archetype",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-26",
    id = "record",
    doi = "10.7907/8gkfk-x1e50"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-09,
    title = "The Scheduling Problem in Learning From Hints",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-09",
    id = "record",
    doi = "10.7907/Z93T9F7B"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-06,
    title = "Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-06",
    id = "record",
    doi = "10.7907/Z95T3HH3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-25,
    title = "A Parabolic Theory of Load Balance",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-25",
    id = "record",
    doi = "10.7907/Z91R6NJD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25,
    title = "Molecular Dynamics on the Mosaic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25",
    id = "record",
    doi = "10.7907/Z9P8493R"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02,
    title = "A Tutorial Introduction to Mosaic Pascal",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02",
    id = "record",
    doi = "10.7907/7xby0-epj19"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07,
    title = "A compiler approach to scalable concurrent program design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07",
    id = "record",
    doi = "10.7907/zexrd-y1267"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-10,
    title = "Submicron Systems Architecture Project: Semiannual Technical Report, 1 November 1991",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-10",
    id = "record",
    doi = "10.7907/ag87-bd13"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-11,
    title = "An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-11",
    id = "record",
    doi = "10.7907/zw74c-qhv27"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28,
    title = "Synthesis of Asynchronous VLSI Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28",
    id = "record",
    doi = "10.7907/b9wzv-xrc02"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08,
    title = "Asynchronous Datapaths and the Design of an Asynchronous Adder",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08",
    id = "record",
    doi = "10.7907/j14fv-twh92"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-13,
    title = "Analog VLSI Circuits for Sensorimotor Feedback",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-13",
    id = "record",
    doi = "10.7907/vh1z2-d4058"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-03,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-03",
    id = "record",
    doi = "10.7907/zj9e8-agb70"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05,
    title = "A Distributed Implementation of a Task Pool",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05",
    id = "record",
    doi = "10.7907/kfk06-0gs07"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13,
    title = "Weakest Preconditions for Progress",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13",
    id = "record",
    doi = "10.7907/dnyzm-jnn72"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-09,
    title = "Combinatorial Design of Tolerant Communicaiton Structures, with Applications to Non-Blocking Switches",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-09",
    id = "record",
    doi = "10.7907/1m6re-hga11"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07,
    title = "Inversion of a Recursive Tree Traversal",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07",
    id = "record",
    doi = "10.7907/5k9bn-2re97"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06,
    title = "The Sliding Window Protocol Revisited",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06",
    id = "record",
    doi = "10.7907/20k97-3bf71"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-01,
    title = "Performance Analysis and Optimization of Asynchronous Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-01",
    id = "record",
    doi = "10.7907/6j214-6wx21"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436,
    title = "On the Correctness of Sliding Window Protocols",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436",
    id = "record",
    doi = "10.7907/y9k9s-g7951"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-14,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-14",
    id = "record",
    doi = "10.7907/v28e5-nme52"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18,
    title = "Performance Analysis and Optimization of Asynchronous Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18",
    id = "record",
    doi = "10.7907/b11q2-j0d17"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02,
    title = "Limitations to Delay-Insensitivity in Asynchronous Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02",
    id = "record",
    doi = "10.7907/gwkvs-p4122"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17,
    title = "Testing Delay-Insensitive Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17",
    id = "record",
    doi = "10.7907/8274b-29b89"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09,
    title = "Asynchronous Circuits for Token-Ring Mutual Exclusion",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09",
    id = "record",
    doi = "10.7907/47710-bts58"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03,
    title = "The Program Composition Project",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03",
    id = "record",
    doi = "10.7907/wemek-2ns55"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16,
    title = "Parallel Program Design and Generalized Weakest Preconditions",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16",
    id = "record",
    doi = "10.7907/m8nt2-qfg47"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-11,
    title = "Characterizing NP and Measuring Instance Complexity",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-11",
    id = "record",
    doi = "10.7907/x20zh-gfr23"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10,
    title = "A Primer for Program Composition Notation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10",
    id = "record",
    doi = "10.7907/0779e-dms14"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-07,
    title = "Compiler Optimization of Array Data Storage",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-07",
    id = "record",
    doi = "10.7907/gn70b-he323"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-15,
    title = "A Unified Framework for Constraint-Based Modeling",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-15",
    id = "record",
    doi = "10.7907/hnbeh-6xc79"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-12,
    title = "Performance Analysis and Optimization of Asynchronous Circuits Produced by Martin Synthesis",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-12",
    id = "record",
    doi = "10.7907/af61e-xcb42"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-10,
    title = "Silicon Models of Early Audition",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-10",
    id = "record",
    doi = "10.7907/pbj4m-7rv48"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-05,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-05",
    id = "record",
    doi = "10.7907/jt116-5ta41"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-12,
    title = "Submicron Systems Architecture Project: Semiannual Technical Report, 31 October 1989",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-12",
    id = "record",
    doi = "10.7907/8mrt-8661"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-04,
    title = "Submicron Systems Architecture Project: Semiannual Technical Report, 31 March 1989",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-04",
    id = "record",
    doi = "10.7907/9g5z-qp16"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-09,
    title = "A Framework for Adaptive Routing in Multicomputer Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-09",
    id = "record",
    doi = "10.7907/e7chj-bqp41"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-11,
    title = "Reactive-Process Programming and Distributed Discrete-Event Simulation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-11",
    id = "record",
    doi = "10.7907/f5pk2-1fg92"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01,
    title = "Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01",
    id = "record",
    doi = "10.7907/zmy86-a1w29"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02,
    title = "The Design of an Asynchronous Microprocessor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02",
    id = "record",
    doi = "10.7907/avec3-s7f02"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05,
    title = "The Essence of Distributed Snapshots",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05",
    id = "record",
    doi = "10.7907/jhr7a-4h585"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06,
    title = "The First Aysnchronous Microprocessor: The Test Results",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06",
    id = "record",
    doi = "10.7907/bsky8-c6128"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-03,
    title = "Feature-Oriented Image Enhancement with Shock Filters, 1",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-03",
    id = "record",
    doi = "10.7907/xmhr8-svc65"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-01,
    title = "Properties of the V-C Dimension",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-01",
    id = "record",
    doi = "10.7907/qcrp0-nbq31"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-07,
    title = "Constrained methods for Neural Networks and Computer Graphics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-07",
    id = "record",
    doi = "10.7907/mg2s5-09955"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06,
    title = "Distributed Sorting",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06",
    id = "record",
    doi = "10.7907/zaevr-tmm71"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-11,
    title = "A Study of Fine-Grain Programming Using Cantor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-11",
    id = "record",
    doi = "10.7907/j6wvk-v3p55"
}


@other{https://resolver.caltech.edu/CaltechCSTR:cs-tr-88-18,
    title = "Submicron Systems Architecture Project: Semiannual Technical Report, 9 November 1988",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:cs-tr-88-18",
    id = "record",
    doi = "10.7907/taqe-sv59"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-05,
    title = "Submicron Systems Architecture Project: Semiannual Technical Report, 7 April 1988",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-05",
    id = "record",
    doi = "10.7907/h58r-df17"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13,
    title = "A Message-Passing Model for Highly Concurrent Computation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13",
    id = "record",
    doi = "10.7907/3sb8a-cvh96"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-12,
    title = "A Comparison of Strict and Non-Strict Semantics for Lists",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-12",
    id = "record",
    doi = "10.7907/arh4z-xpv43"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16,
    title = "Programming Parallel Computers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16",
    id = "record",
    doi = "10.7907/hm444-6zc04"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-89-13,
    title = "Communication Behavior of Linear Arrays of Processes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-89-13",
    id = "record",
    doi = "10.7907/wza6s-ffe96"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-19,
    title = "Controlling Rigid Bodies with Dynamic Constraints",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-19",
    id = "record",
    doi = "10.7907/74710-08838"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-09,
    title = "Pronouns",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-09",
    id = "record",
    doi = "10.7907/mf427-dra49"
}


@other{https://resolver.caltech.edu/CaltechCSTR:5231-tr-86,
    title = "Deadlock-Free Message Routing in Multiprocessor Interconnection Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:5231-tr-86",
    id = "record",
    doi = "10.7907/fd0yr-br438"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06,
    title = "Theorems on Computations of Distributed Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06",
    id = "record",
    doi = "10.7907/k0wav-gz192"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-07,
    title = "The Hexagonal Resistive Network and the Circular Approximation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-07",
    id = "record",
    doi = "10.7907/grnpq-hwe43"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-15,
    title = "Applications of Surface Networks to Sampling Problems in Computer Graphics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-15",
    id = "record",
    doi = "10.7907/s2n6p-9mp39"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-17,
    title = "Constrained Differential Optimization for Neural Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-17",
    id = "record",
    doi = "10.7907/jr15a-wm464"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-20,
    title = "Neural Network Design and the Complexity of Learning",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-20",
    id = "record",
    doi = "10.7907/pwg41-3fs09"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-10,
    title = "The Reactive Kernel",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-10",
    id = "record",
    doi = "10.7907/tk0kg-v1t93"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-21,
    title = "Winner-Take-All Networks of O(N) Complexity",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-21",
    id = "record",
    doi = "10.7907/32s8b-x9954"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14,
    title = "Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14",
    id = "record",
    doi = "10.7907/585wz-fra78"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-22,
    title = "Variants of the Chandy-Misra-Bryant Distributed Discrete-Event Simulation Algorithm",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-22",
    id = "record",
    doi = "10.7907/adkn2-a6a57"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-01,
    title = "The C Programmer's Abbreviated Guide to Multicomputer Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-01",
    id = "record",
    doi = "10.7907/rfgsz-c3821"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-02,
    title = "Automated Compilation of Concurrent Programs into Self-Timed Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-02",
    id = "record",
    doi = "10.7907/jfj0a-d9765"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-04,
    title = "Cochlear Hydrodynamics Demystified",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-04",
    id = "record",
    doi = "10.7907/qysdt-52n82"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5258-tr-87,
    title = "Submicron Systems Architecture Project:Semiannual Technical Report, 11 November 1987",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5258-tr-87",
    id = "record",
    doi = "10.7907/g11c0-z9h06"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86,
    title = "A High Performance Implementation of Prolog",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86",
    id = "record",
    doi = "10.7907/gb5nw-n9z28"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87,
    title = "A Synthesis Method for Self-Timed VLSI Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87",
    id = "record",
    doi = "10.7907/649ae-we761"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5247-tr-87,
    title = "VLSI Concurrent Computation for Music Synthesis",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5247-tr-87",
    id = "record",
    doi = "10.7907/gtdrj-zyc44"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87,
    title = "Synthesis of Self-Timed Circuits by Program Transformation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87",
    id = "record",
    doi = "10.7907/cgpwa-2j421"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5244-tr-87,
    title = "Multicomputers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5244-tr-87",
    id = "record",
    doi = "10.7907/4ezgd-qqg58"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.cs-tr-88-03,
    title = "PS: Polygon Streams: A Distributed Architecture for Incremental Computation Applied to Graphics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.cs-tr-88-03",
    id = "record",
    doi = "10.7907/9xxrb-27j11"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5241-tr-87,
    title = "VLSI Mesh Routing Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5241-tr-87",
    id = "record",
    doi = "10.7907/m606n-n9c89"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5232-tr-86,
    title = "Cantor User Report: Version 2.0",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5232-tr-86",
    id = "record",
    doi = "10.7907/qj2md-49633"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5246-tr-87,
    title = "A Framework for Adaptive Routing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5246-tr-87",
    id = "record",
    doi = "10.7907/zz7pw-v1v91"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5239-tr-87,
    title = "Trace Theory and Systolic Computations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5239-tr-87",
    id = "record",
    doi = "10.7907/hh9qd-3ks37"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5250-tr-87,
    title = "Images, Numerical Analysis of Singularities and Shock Filters",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5250-tr-87",
    id = "record",
    doi = "10.7907/4hjqw-cbd12"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5249-tr-87,
    title = "Logic from Programming Language Semantics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5249-tr-87",
    id = "record",
    doi = "10.7907/hqjnh-q4z65"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5243-tr-87,
    title = "Resource-Bounded Category and Measure in Exponential Complexity Classes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5243-tr-87",
    id = "record",
    doi = "10.7907/qny92-v6h14"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87,
    title = "Conditional Knowledge as a Basis for Distributed Simulation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87",
    id = "record",
    doi = "10.7907/de5ac-j4z29"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5242-tr-87,
    title = "Fine Grain Concurrent Computations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5242-tr-87",
    id = "record",
    doi = "10.7907/jg9qa-dw702"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87",
    id = "record",
    doi = "10.7907/7cknj-w1w80"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5223-tr-86,
    title = "Integrated optical motion detection",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5223-tr-86",
    id = "record",
    doi = "10.7907/wjesy-e7m16"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86",
    id = "record",
    doi = "10.7907/rzewj-csb10"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5238-tr-87,
    title = "Incorporating Time in the New World of Computing Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5238-tr-87",
    id = "record",
    doi = "10.7907/5eqna-njg13"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5229-tr-86,
    title = "anaLOG: A functional Simulator for VLSI Neural Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5229-tr-86",
    id = "record",
    doi = "10.7907/fjkjr-q8n93"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86,
    title = "Compiling Communicating Processes into Delay-Insensitive VLSI Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86",
    id = "record",
    doi = "10.7907/pnf93-qxd46"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86",
    id = "record",
    doi = "10.7907/my65t-e9565"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86,
    title = "The Sync Model: A Parallel Execution Method for Logic Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86",
    id = "record",
    doi = "10.7907/brq3w-kj598"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5209-tr-86,
    title = "A VLSI Architecture for Concurrent Data Structures",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5209-tr-86",
    id = "record",
    doi = "10.7907/knehx-bb256"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86,
    title = "Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86",
    id = "record",
    doi = "10.7907/jssn5-rbp39"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5214-tr-86,
    title = "ASK is Transportable in Half a Dozen Ways",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5214-tr-86",
    id = "record",
    doi = "10.7907/a2fhd-1w679"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86,
    title = "Complete and Infinite Traces: A descriptive model of computing agents",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86",
    id = "record",
    doi = "10.7907/4n0q1-ker87"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5208-tr-86,
    title = "The Torus Routing Chip",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5208-tr-86",
    id = "record",
    doi = "10.7907/99gpd-5kg37"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5206-tr-86,
    title = "Deadlock Free Message Routing in Multiprocessor Interconnection Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5206-tr-86",
    id = "record",
    doi = "10.7907/vqrey-g1h07"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5230-tr-86,
    title = "Monte Carlo Methods for 2-D Compaction",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5230-tr-86",
    id = "record",
    doi = "10.7907/dvgy9-n6514"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5215-tr-86,
    title = "How to get a Large Natural-language System into a Personal Computer",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5215-tr-86",
    id = "record",
    doi = "10.7907/y1rmc-15488"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5227-tr-86,
    title = "A Parallel Execution Model for Logic Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5227-tr-86",
    id = "record",
    doi = "10.7907/ekp3r-95f10"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5233-tr-86,
    title = "Some Results on Kolmogorov-Chaitin Complexity",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5233-tr-86",
    id = "record",
    doi = "10.7907/ebxvb-kn479"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5228-tr-86,
    title = "On the Performance of k-ary n-cube Interconnection Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5228-tr-86",
    id = "record",
    doi = "10.7907/yy2r5-k9v56"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86,
    title = "On Seitz' Arbiter",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86",
    id = "record",
    doi = "10.7907/2gjaq-xex23"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1986.5236-tr-86,
    title = "An Approach to Concurrent Semantics Using Complete Traces",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5236-tr-86",
    id = "record",
    doi = "10.7907/exek9-qb507"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5191-tr-85,
    title = "Concurrent Algorithms for the Max-Flow Problem",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5191-tr-85",
    id = "record",
    doi = "10.7907/0mahg-71x38"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5196-tr-85,
    title = "XCPL: An experimental Concurrent Programming Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5196-tr-85",
    id = "record",
    doi = "10.7907/bzp67-j7026"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5205-tr-85,
    title = "Two Theorems on Time Bounded Kolmogrov-Chaitin Complexity",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5205-tr-85",
    id = "record",
    doi = "10.7907/130cy-kxs54"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5190-tr-85,
    title = "Concurrency Algebra and Petri Nets",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5190-tr-85",
    id = "record",
    doi = "10.7907/h2n3z-n1843"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5174-tr-85,
    title = "The Balanced Cube: A Concurrent Data Structure",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5174-tr-85",
    id = "record",
    doi = "10.7907/2ekks-07004"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5179-tr-85,
    title = "Sampling Deformed, Intersecting Surfaces with Quadtrees",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5179-tr-85",
    id = "record",
    doi = "10.7907/rz0fa-mq403"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5197.tr-85,
    title = "Sequential Threshold Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5197.tr-85",
    id = "record",
    doi = "10.7907/8fq6m-60664"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85",
    id = "record",
    doi = "10.7907/mrh1j-cjp65"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5184-tr-85,
    title = "Placement of Communicating Processes on Multiprocessor Networks",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5184-tr-85",
    id = "record",
    doi = "10.7907/jbjjk-eke62"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5200-tr-85,
    title = "ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5200-tr-85",
    id = "record",
    doi = "10.7907/j5rzn-fnr85"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85,
    title = "A Delay-insensitive Fair Arbiter",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85",
    id = "record",
    doi = "10.7907/cchf5-w1g63"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5203-tr-85,
    title = "The C Programmer's to the COSMIC CUBE",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5203-tr-85",
    id = "record",
    doi = "10.7907/0y5fm-p4m71"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5189-tr-85,
    title = "Hierarchical Composition of VLSI Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5189-tr-85",
    id = "record",
    doi = "10.7907/n3r00-9p948"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5194-tr-85,
    title = "The Sneptree - A Versatile Interconnection Network",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5194-tr-85",
    id = "record",
    doi = "10.7907/dmqh4-h1q41"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5172-tr-85,
    title = "A Combined Logical and Functional Programming Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5172-tr-85",
    id = "record",
    doi = "10.7907/fyjhz-7pn58"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85,
    title = "A New Generalization of Dekker's Algorithm for Mutual Exclusion",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85",
    id = "record",
    doi = "10.7907/0qedb-76g96"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5198-tr-85,
    title = "Neural Networks, Pattern Recognition, and Fingerprint Hallucination",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5198-tr-85",
    id = "record",
    doi = "10.7907/xktbj-10524"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85,
    title = "An Inverse Limit  Construction of a Domain of Infinite Lists",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85",
    id = "record",
    doi = "10.7907/6sdg6-61m08"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5177-tr-85,
    title = "Hot Clock nMOS",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5177-tr-85",
    id = "record",
    doi = "10.7907/v5fp2-q1a33"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20220523-171311035,
    title = "An electronic model of the y-system of mammalian retina",
    publisher = "Caltech Library",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220523-171311035",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5168-tr-84,
    title = "An Object Oriented Architecture",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5168-tr-84",
    id = "record",
    doi = "10.7907/69pav-tep43"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84,
    title = "Fair Mutual Exclusion with Unfair P and V Operations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84",
    id = "record",
    doi = "10.7907/8nwds-15p23"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.cs-tr-5123-84,
    title = "The MOSSIM Simulation Engine Architecture and Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.cs-tr-5123-84",
    id = "record",
    doi = "10.7907/q3j50-era50"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5160-tr-84,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5160-tr-84",
    id = "record",
    doi = "10.7907/a9jxt-8sj75"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5128-tr-84,
    title = "Linguistic Analysis of Natural Language Communication with Computers",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5128-tr-84",
    id = "record",
    doi = "10.7907/bttmy-dpk72"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5157-tr-84,
    title = "Bit-Serial Reed Solomon Decoders in VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5157-tr-84",
    id = "record",
    doi = "10.7907/dm5cd-27p38"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5122-tr-84,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5122-tr-84",
    id = "record",
    doi = "10.7907/1t9kp-syw76"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5127-tr-84,
    title = "A Global Routing Algorithm for General Cells",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5127-tr-84",
    id = "record",
    doi = "10.7907/htmyg-dfv43"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5165-tr-84,
    title = "Customizing One's Own Interface Using English as Primary Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5165-tr-84",
    id = "record",
    doi = "10.7907/t7c3k-wz682"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84,
    title = "Networks of Machines for Distributed Recursive Computations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84",
    id = "record",
    doi = "10.7907/abxcf-t3r94"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5094-tr-84,
    title = "Stochastic Estimation of Channel Routing Track Demand",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5094-tr-84",
    id = "record",
    doi = "10.7907/vrhcf-4gn69"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5140-tr-84,
    title = "Hierarchy of Graph Isomorphism Testing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5140-tr-84",
    id = "record",
    doi = "10.7907/1hkhk-c5a29"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5133-tr-84,
    title = "A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5133-tr-84",
    id = "record",
    doi = "10.7907/bvsva-f7031"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5118-tr-84,
    title = "SMART User's Guide",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5118-tr-84",
    id = "record",
    doi = "10.7907/kcee5-5c393"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5134-tr-84,
    title = "Using Logic Programming for Compiling APL",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5134-tr-84",
    id = "record",
    doi = "10.7907/ykhp6-cps53"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83,
    title = "Distributed Mutual Exclusion on a Ring of Processes",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83",
    id = "record",
    doi = "10.7907/t0t4e-aq296"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5158-tr-84,
    title = "A VLSI Architecture for Sound Synthesis",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5158-tr-84",
    id = "record",
    doi = "10.7907/3d575-yvm11"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5113-tr-84,
    title = "The Wolery",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5113-tr-84",
    id = "record",
    doi = "10.7907/43z52-rx643"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5143-tr-84,
    title = "The General Interconnect Problem of Integrated Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5143-tr-84",
    id = "record",
    doi = "10.7907/r9m1r-90t55"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5125-tr-84,
    title = "Supermesh",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5125-tr-84",
    id = "record",
    doi = "10.7907/cvx89-13h67"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5164-tr-84,
    title = "ASK French:  A French Natural Language Syntax",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5164-tr-84",
    id = "record",
    doi = "10.7907/z06ya-cw890"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5132-tr-84,
    title = "Switch-Level Fault Simulation of MOS Digital Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5132-tr-84",
    id = "record",
    doi = "10.7907/2v8qn-vnj60"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5130-tr-84,
    title = "LOG: The Chipmunk Logic Simulator (User's Guide)",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5130-tr-84",
    id = "record",
    doi = "10.7907/7y5a3-15z31"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5104-tr-83,
    title = "A Graph Model and the Embedding of MOS Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5104-tr-83",
    id = "record",
    doi = "10.7907/627fa-4gp03"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85,
    title = "Combining Computation with Geometry",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85",
    id = "record",
    doi = "10.7907/pbcnt-e7f79"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5129-tr-84,
    title = "Design of the Mosaic Processor",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5129-tr-84",
    id = "record",
    doi = "10.7907/66k93-2rx11"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84,
    title = "The Probe: An Addition to Communication Primitives",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84",
    id = "record",
    doi = "10.7907/w8azk-3fk36"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5105-tr-83,
    title = "Memory management in the programming language ICL",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5105-tr-83",
    id = "record",
    doi = "10.7907/2a6sq-v7d58"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5103-tr-83,
    title = "Submicron Systems Architecture Project: Semiannual Technical Report, November 1983",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5103-tr-83",
    id = "record",
    doi = "10.7907/1m0a7-t2v72"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-104637505,
    title = "Minimum propagation delays in VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-104637505",
    id = "record",
    doi = "10.7907/xzm6p-fzr13"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5136-tr-84,
    title = "Heterogeneous Database Access",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5136-tr-84",
    id = "record",
    doi = "10.7907/bz4q6-yws82"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5079-tr-83,
    title = "Highly Concurrent Algorithms for Solving Linear Systems of Equations",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5079-tr-83",
    id = "record",
    doi = "10.7907/64hjx-fv005"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5086-tr-83,
    title = "A VLSI Combinator Reduction Engine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5086-tr-83",
    id = "record",
    doi = "10.7907/aw37b-hpf21"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5089-tr-83,
    title = "Signal Delay  in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5089-tr-83",
    id = "record",
    doi = "10.7907/h46fc-bcr96"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5065-tr-83,
    title = "Switch-Level Model and Simulator for MOS Digital Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5065-tr-83",
    id = "record",
    doi = "10.7907/bc770-dqe71"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5084-tr-83,
    title = "The Tree Machine: An Evaluation of Strategies For Reducing Program Loading Time",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5084-tr-83",
    id = "record",
    doi = "10.7907/gz4dm-3tg53"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5015-tr-83,
    title = "VLSI Computational Structures Applied to Fingerprint Image Analysis",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5015-tr-83",
    id = "record",
    doi = "10.7907/zjrev-96110"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5102-tr-83,
    title = "Experiments with VLSI Ensemble Machines",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5102-tr-83",
    id = "record",
    doi = "10.7907/jr3ht-fgk65"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.4777-tr-82,
    title = "Techniques for Testing Integrated Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.4777-tr-82",
    id = "record",
    doi = "10.7907/z7svn-fvj30"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5081-tr-83,
    title = "RTsim:  A register transfer simulator",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5081-tr-83",
    id = "record",
    doi = "10.7907/md9am-yev57"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5093-tr-83,
    title = "Design of the Mosaic Element",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5093-tr-83",
    id = "record",
    doi = "10.7907/d330h-rd686"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5033-tr-82,
    title = "MOSSIM II: A Switch-Level Simulator for MOS LSI User's Manual",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5033-tr-82",
    id = "record",
    doi = "10.7907/f0z20-29b07"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5073-tr-83,
    title = "Automated Performance Optimization of Custom Integrated Circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5073-tr-83",
    id = "record",
    doi = "10.7907/59mzv-zme04"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5078-tr-83,
    title = "Submicron Systems Architecture:Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5078-tr-83",
    id = "record",
    doi = "10.7907/fkdg6-95f44"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5074-tr-83,
    title = "Robust Sentence Analysis and Habitability",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5074-tr-83",
    id = "record",
    doi = "10.7907/rhq8x-rbx04"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83,
    title = "A General Proof Rule for Procedures in Predicate Transformer Semantics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83",
    id = "record",
    doi = "10.7907/desx8-jhv04"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5091-tr-83,
    title = "Race Detection in MOS Circuits By Ternary Simulation",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5091-tr-83",
    id = "record",
    doi = "10.7907/xabb0-k0j02"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5112-tr-83,
    title = "Parallel Machines for Computer Graphics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5112-tr-83",
    id = "record",
    doi = "10.7907/yz165-2r894"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83,
    title = "The Design of a Self-timed Circuit for Distributed Mutual Exclusion",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83",
    id = "record",
    doi = "10.7907/b2dbm-s0762"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5090-tr-83,
    title = "Space-Time Algorithms: Semantics and Methodology",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5090-tr-83",
    id = "record",
    doi = "10.7907/96kfn-x5548"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1983.5082-tr-83,
    title = "Hardware Support for Advanced Data Management Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5082-tr-83",
    id = "record",
    doi = "10.7907/kzemc-wh784"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-114600956,
    title = "Concurrent fault simulation of MOS digital circuits",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-114600956",
    id = "record",
    doi = "10.7907/atk7s-t0c85"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120424-141649786,
    title = "An integrative approach to engineering data and automatic project coordination",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120424-141649786",
    id = "record",
    doi = "10.7907/na044-5ap49"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031,
    title = "A Hierarchical Simulator Based on Formal Semantics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031",
    id = "record",
    doi = "10.7907/jz6sz-1pt23"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-112657704,
    title = "New techniques for ray tracing procedurally defined objects",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-112657704",
    id = "record",
    doi = "10.1145/800059.801137"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-155106097,
    title = "A Formal Derivation of Array Implementations  of FFT Algorithms",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-155106097",
    id = "record",
    doi = "10.7907/4e69j-smn59"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-103600164,
    title = "A new channel routing algorithm",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-103600164",
    id = "record",
    doi = "10.7907/xh3qe-vxx53"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120419-103122492,
    title = "Testing and Structured Design",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120419-103122492",
    id = "record",
    doi = "10.7907/mevh4-kx760"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-153232596,
    title = "GIGI Terminals at Caltech",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-153232596",
    id = "record",
    doi = "10.7907/3v2px-j7356"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5055-tr-82,
    title = "FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5055-tr-82",
    id = "record",
    doi = "10.7907/fsx9f-w7p68"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5016-tr-82,
    title = "Bristle Blocks - Scrutinized and Analyzed",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5016-tr-82",
    id = "record",
    doi = "10.7907/n30tx-q5w18"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5014-tr-82,
    title = "The Extension of Object-Oriented Languages to a Homogenous, Concurrent Architecture",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5014-tr-82",
    id = "record",
    doi = "10.7907/e6pe5-r8y26"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.4684-tr-82,
    title = "A Characterization of Deadlock Free Resource Contentions",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.4684-tr-82",
    id = "record",
    doi = "10.7907/qjr1p-89z76"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5000-tr-82,
    title = "A Self-Timed Chip Set for Microprocessor Communication",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5000-tr-82",
    id = "record",
    doi = "10.7907/58sa4-y8916"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.4724-tr-82,
    title = "Concurrent, Asynchronous Garbage Collection Among Cooperating Processors",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.4724-tr-82",
    id = "record",
    doi = "10.7907/5kyg6-q3m53"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5034-tr-82,
    title = "Hybrid Processing",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5034-tr-82",
    id = "record",
    doi = "10.7907/9y8yf-d2004"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5021-tr-82,
    title = "EARL: An Integrated Circuit Design Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5021-tr-82",
    id = "record",
    doi = "10.7907/h175h-mx256"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5040-tr-82,
    title = "Concurrent Algorithms for the Conjugate Gradient Method",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5040-tr-82",
    id = "record",
    doi = "10.7907/6a5xt-r6216"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5035-tr-82,
    title = "Type Inference in a Declarationless, Object-Oriented Language",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5035-tr-82",
    id = "record",
    doi = "10.7907/fx4rx-1jq25"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982-5042-tr-82,
    title = "Formal Specification of Concurrent Systems",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982-5042-tr-82",
    id = "record",
    doi = "10.7907/kmq8e-ezn08"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5044-tr-82,
    title = "Hierarchical Nets: A Structured Petri Net Approach to Concurrency",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5044-tr-82",
    id = "record",
    doi = "10.7907/9z6j1-f5y09"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5052-tr-82,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5052-tr-82",
    id = "record",
    doi = "10.7907/vwwfw-anp96"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5029-tr-82,
    title = "Pooh User's Manual",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5029-tr-82",
    id = "record",
    doi = "10.7907/hd624-pmr46"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5017-tr-82,
    title = "Ray Tracing Parametric Patches",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5017-tr-82",
    id = "record",
    doi = "10.7907/n7akq-eye39"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120419-115610622,
    title = "Pipelined linear equation solvers and VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120419-115610622",
    id = "record",
    doi = "10.7907/en871-srv73"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120418-112411895,
    title = "Introducing ASK,  A Simple Knowledgeable System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-112411895",
    id = "record",
    doi = "10.7907/mqbwy-c8n89"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120423-103239364,
    title = "Minimum Propagation Delays in VLSI",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120423-103239364",
    id = "record",
    doi = "10.7907/7w91m-s9v80"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-151015498,
    title = "Ray tracing parametric patches",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-151015498",
    id = "record",
    doi = "10.7907/gsy5a-w9850"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-110609720,
    title = "Concurrent Programming",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-110609720",
    id = "record",
    doi = "10.7907/4sght-rpn64"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120424-143407144,
    title = "A Comparison of MOS PLAs",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120424-143407144",
    id = "record",
    doi = "10.7907/xq14s-s1q18"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120419-120345912,
    title = "A Rectangular Area Filling Display System Architecture",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120419-120345912",
    id = "record",
    doi = "10.7907/cxyxg-6ns29"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120423-110517168,
    title = "RIOT: a simple graphical assembly tool",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120423-110517168",
    id = "record",
    doi = "10.7907/5xs37-cnf69"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82,
    title = "The torus: an exercise in constructing a processing surface",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82",
    id = "record",
    doi = "10.7907/cazcq-6fz54"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120423-165211870,
    title = "A Computational Array for the QR-Method",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120423-165211870",
    id = "record",
    doi = "10.7907/madaw-z5041"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120420-105611583,
    title = "VLSI algorithms for Doolittle's, Crout's, and Cholesky's methods",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120420-105611583",
    id = "record",
    doi = "10.7907/4aq2m-bnw32"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4332-tr-81,
    title = "RLAP version 1.0 a chip assembly tool",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4332-tr-81",
    id = "record",
    doi = "10.7907/cpybe-b1d47"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4029-tr-81,
    title = "Structure, placement and modelling",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4029-tr-81",
    id = "record",
    doi = "10.7907/kq6fj-72673"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4128-tr-1981,
    title = "Shifting to a Higher Gear in a Natural Language System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4128-tr-1981",
    id = "record",
    doi = "10.7907/wgg4m-ace56"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4675-tr-81,
    title = "Switching Dynamics",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4675-tr-81",
    id = "record",
    doi = "10.7907/zf009-bgw18"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4517-tr-81,
    title = "The Serial Log Machine",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4517-tr-81",
    id = "record",
    doi = "10.7907/8x01d-fns56"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81,
    title = "Toward a Theorem Proving Architecture",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81",
    id = "record",
    doi = "10.7907/r0zky-s7g09"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4527-tr-81,
    title = "Communicative Databases",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4527-tr-81",
    id = "record",
    doi = "10.7907/p23xv-bcw17"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81,
    title = "A Hierarchical Design Rule Checker",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81",
    id = "record",
    doi = "10.7907/8jz33-x1385"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4336-tr-81,
    title = "A Structured Design Methodology \& Assoicated Software Tools",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4336-tr-81",
    id = "record",
    doi = "10.7907/n015c-49w50"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4191-tr-81,
    title = "Towards a Formal Treatment of VLSI Arrays",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4191-tr-81",
    id = "record",
    doi = "10.7907/gn21a-t6x26"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4654-tr-81,
    title = "A Versatile Ethernet Interface",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4654-tr-81",
    id = "record",
    doi = "10.7907/990sf-1kv28"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4281-tr-81,
    title = "Combining Graphics and a Layout Language in a Single Interactive System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4281-tr-81",
    id = "record",
    doi = "10.7907/ptds4-39139"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4521-tr-81,
    title = "Lambda Logic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4521-tr-81",
    id = "record",
    doi = "10.7907/33598-ydd67"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4168-tr-81,
    title = "Computational Arrays for the Discrete Fourier Transform",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4168-tr-81",
    id = "record",
    doi = "10.7907/n91j8-85m21"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4298-tr-81,
    title = "From Geometry to Logic",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4298-tr-81",
    id = "record",
    doi = "10.7907/xkcd6-vfg70"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4317-tr-81,
    title = "REST: A Leaf Cell Design System",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4317-tr-81",
    id = "record",
    doi = "10.7907/5z11w-jm163"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1980.2686-tr-1980,
    title = "The Caltech Intermediate Form for LSI Layout Description",
    publisher = "California Institute of Technology",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.2686-tr-1980",
    id = "record",
    doi = "10.7907/jmrgc-2f168"
}