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

• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (10.48550/arXiv.2402.11666)

• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (10.48550/arXiv.2404.09888)
• Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli  + (https://doi.org/10.1101/614529)