• Publications
  • Influence
Common Sense: participatory urban sensing using a network of handheld air quality monitors
tl;dr
The Common Sense project is developing participatory sensing systems that allow individuals to measure their personal exposure, groups to aggregate their members' exposure, and activists to mobilize grassroots community action. Expand
  • 340
  • 20
  • Open Access
Engineering Genetic Circuits
An Engineer's Guide to Genetic Circuits Chemical Reactions Macromolecules Genomes Cells and Their Structure Genetic Circuits Viruses Phage lambda: A Simple Genetic Circuit Learning ModelsExpand
  • 83
  • 19
  • Open Access
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
tl;dr
This paper presents a new model, labeled hybrid Petri nets (LHPNs), that is capable of modeling such a heterogeneous set of components. Expand
  • 70
  • 9
  • Open Access
Computer-aided synthesis and verification of gate-level timed circuits
In recent years, there has been a resurgence of interest in the design of asynchronous circuits due to their ability to eliminate clock skew problems, achieve average case performance, adapt toExpand
  • 66
  • 7
The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology
The re-use of previously validated designs is critical to the evolution of synthetic biology from a research discipline to an engineering practice. Here we describe the Synthetic Biology OpenExpand
  • 192
  • 6
  • Open Access
Synthesis of timed asynchronous circuits
tl;dr
The authors present a systematic procedure for synthesizing timed asynchronous circuits using timing constraints dictated by system integration, thereby facilitating natural interaction between synchronous and asynchronous circuits. Expand
  • 91
  • 6
  • Open Access
Interfacing synchronous and asynchronous modules within a high-speed pipeline
tl;dr
This paper describes a new technique for integrating asynchronous modules within a high-speed synchronous pipeline that uses a stoppable ring oscillator to generate the clock and handshake signals. Expand
  • 54
  • 6
Synthesis of timed asynchronous circuits
tl;dr
A synthesis method that utilizes timing constraints to generate timed asynchronous circuits by unfolding the cyclic graph specification of an asynchronous circuit into an infinite acyclic graph . Expand
  • 79
  • 5
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core
tl;dr
This document provides the specification for Version 2 of the Systems Biology Markup Language (SBML) Level 3 Core, an electronic model representation format for systems biology. Expand
  • 36
  • 4
Verification of Timed Systems Using POSETs
tl;dr
This paper presents a new algorithm for efficiently verifying timed systems and explores the timed state space by considering partially ordered sets of events rather than linear sequences. Expand
  • 51
  • 4
  • Open Access