Paul Gang Chen

Available identifiers

Publication	Date of Publication	Type
Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS	2025-01-20	Paper
A Coq-based infrastructure for quantum programming, verification and simulation	2024-11-12	Paper
Enhancing generalization in genetic programming hyper-heuristics through mini-batch sampling strategies for dynamic workflow scheduling	2024-07-11	Paper
On the number of primitive and quasi-primitive irreducible characters in finite groups	2023-05-29	Paper
An isogeometric boundary element method for soft particles flowing in microfluidic channels	2021-05-31	Paper
On the bending algorithms for soft objects in flows	2017-12-05	Paper
Effect of interfacial heat transfer on the onset of oscillatory convection in liquid bridge	2009-09-14	Paper

This page was built for person: Paul Gang Chen