Wei-Lun Tsai

18 papers A 1B 2C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Novel VNA-Enhanced Technique for Ka-Band Insertion Loss Measurement in Microstrip Lines.
IEEE Access
Ching-Wen Tang, Wei-Lun Tsai, Chieh Lee, You-Lin Luo
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 — conf
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
TACAS (3)
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2025 — conf
On the Verification of Quantum Circuits (Research Challenges and Opportunities).
Principles of Formal Quantitative Analysis
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2024 J jnl
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
CoRR
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2024 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).
CoRR
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2023 A conf
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).
CADE
Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai
2023 J jnl
AGM and Jellyfish Swarms of Elliptic Curves.
Am. Math. Mon.
Michael J. Griffin, Ken Ono, Neelam Saikia, Wei-Lun Tsai
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
2023 — conf
AutoQ: An Automata-Based Quantum Circuit Verifier.
CAV (3)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
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
2019 C conf
Reconfigurable Radix-2
ISCAS
Wei-Lun Tsai, Sau-Gee Chen, Shen-Jui Huang
2018 — conf
A Low-Complexity Mixed-Radix FFT Rotator Architecture.
APCCAS
Wei-Lun Tsai, Sau-Gee Chen, Shen-Jui Huang
2014 J jnl
Modeling fitting-function-based fuzzy time series patterns for evolving stock index forecasting.
Appl. Intell.
You-Shyang Chen, Ching-Hsue Cheng, Wei-Lun Tsai
2007 C conf
SEMU: A Framework of Simulation Environment for Wireless Sensor Networks with Co-simulation Model.
GPC
Shih-Hsiang Lo, Jiun-Hung Ding, Sheng-Je Hung, Jin-Wei Tang, Wei-Lun Tsai, Yeh-Ching Chung