11 citations · 19 across the 11 of their papers we have counts for
13 papers
Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs
Ho-Lin Chen, Xiang Huang
We present Ripple, an open, AI-formalized Lean 4 framework for the mathematics of computing with chemical reaction networks (CRNs) -- one extensible, machine-checked development th…
Bounded Analog Complexity
Ho-Lin Chen, Xiang Huang
Current analog complexity theory, built on the General-Purpose Analog Computer (GPAC) model and polynomial ODEs, allows unbounded state variables -- an assumption that is physicall…
Rate-Independent Computation in Continuous Chemical Reaction Networks
Ho-Lin Chen, David Doty, Wyatt Reeves +1
Coupled chemical interactions in a well-mixed solution are commonly formalized as chemical reaction networks (CRNs). However, despite the widespread use of CRNs in the natural scie…
Tight Competitive Analyses of Online Car-sharing Problems
Ya-Chun Liang, Kuan-Yun Lai, Ho-Lin Chen +1
The car-sharing problem, proposed by Luo, Erlebach and Xu in 2018, mainly focuses on an online model in which there are two locations: 0 and 1, and total cars. Each request whi…
Time-optimal self-stabilizing leader election in population protocols
Janna Burman, Ho-Lin Chen, Hsueh-Ping Chen +4
We consider the standard population protocol model, where (a priori) indistinguishable and anonymous agents interact in pairs according to uniformly random scheduling. The self-sta…
Pattern overlap implies runaway growth in hierarchical tile systems
Ho-Lin Chen, David Doty, Ján Maňuch +2
We show that in the hierarchical tile assembly model, if there is a producible assembly that overlaps a nontrivial translation of itself consistently (i.e., the pattern of tile typ…