Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture  + (Gra+21:CDC)

• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (Gra+24-TRO)
• Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits  + (HFM19-qbio)
• Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli  + (HM17-biorxiv)
• Design of a genetic layered feedback controller in synthetic biological circuitry  + (HM19-seed)
• Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks  + (HM22-NatureComms)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Hu+24-ACSSynBio)
• Context-Aided Variable Elimination for Requirement Engineering  + (Inc+23-FMCAD)
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design  + (Inc+23=TCPS)
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (Inc+24-CDC)
• A Method for Cost-Effective and Rapid Characterization of Genetic Parts  + (JBM+21-jove)
• Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence  + (JM24-ACSSynBio)
• A chemical reaction network model of PURE  + (JPM23-bioRxiv)
• Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation  + (KM23-SEED)
• Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA  + (LMM19-biorxiv)
• Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation  + (LMN23-ACSSynBio)
• Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions  + (LNM+20-ime)
• Constrained risk-averse Markov decision processes  + (MA+21-aaai)
• Control of bacterial population density with population feedback and molecular sequestration  + (MHGM18-wqbio)
• Development of cell-free transcription-translation systems in three soil Pseudomonads  + (MLM23-ACSSynBio)
• Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation  + (MM19-qbio)
• Addressable and adaptable intercellular communication via DNA messaging  + (MM23-NatureComms)
• A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression  + (MMEL19-abb)
• TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering  + (MMT23-SEED)
• Control of density and composition in an engineered two-member bacterial community  + (MPM19-seed)
• From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology  + (PISM22-IWBDA)
• An automated model reduction tool to guide the design and analysis of synthetic biological circuits  + (PM19-iwbda)
• A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression  + (PM21-wqbio)
• Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models  + (PM22-IJRNC)
• Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop  + (PMS20-ACSsynbio)
• Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline  + (PRPM22-biorxiv)