Di-De Yen

Orcid: 0000-0003-0045-9594

According to our database1, Di-De Yen authored at least 8 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Proc. ACM Program. Lang., 2023

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

2022
On the decidability of the valuedness problem for two-way finite transducers.
Inf. Comput., 2022

2021
PyCT: A Python Concolic Tester.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

Solving Not-Substring Constraint withFlat Abstraction.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020
On the Valuedness of Symbolic Finite Transducers.
Proceedings of the International Computer Symposium, 2020

2019
Characterizing the Valuedness of Two-Way Finite Transducers.
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2013
A Finite Exact Representation of Register Automata Configurations.
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013


  Loading...