Chris Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1994–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICTAC | Forward and Backward Simulations for Partially Observable Probability. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 2024 | ICTAC | Probabilistic Datatypes. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 2024 | ISPASS | Accel-Bench: Exploring the Potential of Programming Using Hardware-Accelerated Functions. | Abenezer Wudenhe, Yu-Chia Liu, Chris Chen, Hung-Wei Tseng |
| 2017 | ACSSC | How to think about self-timed systems. | Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen |
| 1994 | COMPSAC | Behavior-based acceptance testing of software systems: a formal scenario approach. | Pei Hsia, Jerry Zeyu Gao, Jayarajan Samuel, David Chenho Kung, Yasufumi Toyoshima, Chris Chen |
| 1994 | COMPSAC | On object state testing. | David Chenho Kung, N. Suchak, Jerry Zeyu Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen |