Jinyu Huang

collaborators

3 papers

cs.LO2025

Formal Verification of Isothermal Chemical Reactors

Parivash Feyzishendi, Sophia Hamer, Jinyu Huang +1

Chemical reactors are dynamic systems that can be described by systems of ordinary differential equations (ODEs). Reactor safety, regulatory compliance, and economics depend on whe…

cs.CC2012

Black-box Identity Testing for Low Degree Unmixed $ΣΠΣΠ (k)$ Circuits

Jinyu Huang

A $ΣΠΣΠ (k)$ circuit $C = \sum_{i = 1}^{k} F_{i} = \sum_{i = 1}^{k} \prod_{j = 1}^{d_{i}} f_{ij}$ is unmixed if for each $i \in [k]$ , $F_{i} = f_{i 1} (x_{1}) ... f_{in} (x_{n})$ , where each $f_{ij}$ is a univariate…

physics.soc-ph2012

Eradicating Computer Viruses on Networks

Jinyu Huang

Spread of computer viruses can be modeled as the SIS (susceptible-infected-susceptible) epidemic propagation. We show that in order to ensure the random immunization or the targete…

Formal Verification of Isothermal Chemical Reactors

Black-box Identity Testing for Low Degree Unmixed ΣΠΣΠ(k) Circuits

Eradicating Computer Viruses on Networks

Black-box Identity Testing for Low Degree Unmixed $ΣΠΣΠ (k)$ Circuits