Di-De Yen

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Topics

Development Tools

Connectionist Learning

Finite Automata

Constrained Problems

Top Venues

Proc. ACM Program. Lang.

Publications

Michael Benedikt, Anthony Widjaja Lin, Di-De Yen
Revisiting the Expressiveness Landscape of Data Graph Queries. CoRR (2024)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report). CoRR (2023)
Di-De Yen, Hsu-Chun Yen
On the decidability of the valuedness problem for two-way finite transducers. Inf. Comput. 285 (Part) (2022)
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
Solving Not-Substring Constraint withFlat Abstraction. APLAS (2021)
Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
PyCT: A Python Concolic Tester. APLAS (2021)
Di-De Yen, Hsu-Chun Yen
On the Valuedness of Symbolic Finite Transducers. ICS (2020)
Di-De Yen, Hsu-Chun Yen
Characterizing the Valuedness of Two-Way Finite Transducers. DLT (2019)
Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen
A Finite Exact Representation of Register Automata Configurations. INFINITY (2013)