Di-De Yen

According to our database, Di-De Yen authored at least 9 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Revisiting the Expressiveness Landscape of Data Graph Queries.

Michael Benedikt, Anthony Widjaja Lin, Di-De Yen

CoRR, 2024

2023

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen

Proc. ACM Program. Lang., 2023

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).

Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen

CoRR, 2023

2022

On the decidability of the valuedness problem for two-way finite transducers.

Di-De Yen, Hsu-Chun Yen

Inf. Comput., 2022

2021

PyCT: A Python Concolic Tester.

Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

Solving Not-Substring Constraint withFlat Abstraction.

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

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

On the Valuedness of Symbolic Finite Transducers.

Di-De Yen, Hsu-Chun Yen

Proceedings of the International Computer Symposium, 2020

2019

Characterizing the Valuedness of Two-Way Finite Transducers.

Di-De Yen, Hsu-Chun Yen

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2013

A Finite Exact Representation of Register Automata Configurations.

Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013