Wei-Lun Tsai

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 9

Top Topics

Fast Fourier Transform

Quantum Mechanics

Top Venues

Proc. ACM Program. Lang.

Publications

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)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
AutoQ: An Automata-Based Quantum Circuit Verifier. CAV (3) (2023)
Michael J. Griffin, Ken Ono, Neelam Saikia, Wei-Lun Tsai
AGM and Jellyfish Swarms of Elliptic Curves. Am. Math. Mon. 130 (4) (2023)
Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). CADE (2023)
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)
Wei-Lun Tsai, Sau-Gee Chen, Shen-Jui Huang
×3 Feedforward FFT Architectures. ISCAS (2019)
Wei-Lun Tsai, Sau-Gee Chen, Shen-Jui Huang
A Low-Complexity Mixed-Radix FFT Rotator Architecture. APCCAS (2018)
You-Shyang Chen, Ching-Hsue Cheng, Wei-Lun Tsai
Modeling fitting-function-based fuzzy time series patterns for evolving stock index forecasting. Appl. Intell. 41 (2) (2014)
Shih-Hsiang Lo, Jiun-Hung Ding, Sheng-Je Hung, Jin-Wei Tang, Wei-Lun Tsai, Yeh-Ching Chung
SEMU: A Framework of Simulation Environment for Wireless Sensor Networks with Co-simulation Model. GPC (2007)