Di-De Yen

13 papers A 1B 3C 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decomposing finite-valued two-way finite transducers.
J. Comput. Syst. Sci.
Hsu-Chun Yen, Di-De Yen
2025 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Commun. ACM
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2025 B conf
Resolving Nondeterminism by Chance.
CONCUR
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2025 J jnl
Resolving Nondeterminism by Chance.
CoRR
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2024 J jnl
Revisiting the Expressiveness Landscape of Data Graph Queries.
CoRR
Michael Benedikt, Anthony Widjaja Lin, Di-De Yen
2023 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Proc. ACM Program. Lang.
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 J jnl
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).
CoRR
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2022 J jnl
On the decidability of the valuedness problem for two-way finite transducers.
Inf. Comput.
Di-De Yen, Hsu-Chun Yen
2021 B conf
PyCT: A Python Concolic Tester.
APLAS
Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
2021 B conf
Solving Not-Substring Constraint withFlat Abstraction.
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
2020 A conf
On the Valuedness of Symbolic Finite Transducers.
ICS
Di-De Yen, Hsu-Chun Yen
2019 C conf
Characterizing the Valuedness of Two-Way Finite Transducers.
DLT
Di-De Yen, Hsu-Chun Yen
2013 — conf
A Finite Exact Representation of Register Automata Configurations.
INFINITY
Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen