Di-De Yen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Resolving Nondeterminism by Chance. | Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen |
| 2021 | APLAS | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2021 | APLAS | PyCT: A Python Concolic Tester. | Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu |
| 2019 | DLT | Characterizing the Valuedness of Two-Way Finite Transducers. | Di-De Yen, Hsu-Chun Yen |