22 citations · 91 across the 20 of their papers we have counts for
29 papers
Majority consensus thresholds in competitive Lotka--Volterra populations
Matthias Függer, Thomas Nowak, Joel Rybicki
One of the key challenges in synthetic biology is devising robust signaling primitives for engineered microbial consortia. In such systems, a fundamental signal amplification probl…
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs
Arman Ferdowsi, Matthias Függer, Thomas Nowak +2
Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied d…
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Arman Ferdowsi, Matthias Függer, Thomas Nowak +1
Thresholded mode-switched ODEs are restricted dynamical systems that switch ODEs depending on digital input signals only, and produce a digital output signal by thresholding some i…
Topological Characterization of Task Solvability in General Models of Computation
Hagit Attiya, Armando Castañeda, Thomas Nowak
The famous asynchronous computability theorem (ACT) relates the existence of an asynchronous wait-free shared memory protocol for solving a task with the existence of a simplicial…
A Composable Glitch-Aware Delay Model
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid +2
We introduce the Composable Involution Delay Model (CIDM) for fast and accurate digital simulation. It is based on the Involution Delay Model (IDM) [Függer et al., IEEE TCAD 2020],…
Towards a Fast and Accurate Model of Intercontact Times for Epidemic Routing
Fabricio Cravo, Thomas Nowak
We present an accurate user-encounter trace generator based on analytical models. Our method generates traces of intercontact times faster than models that explicitly generate mobi…