ISO-690 (author-date, English)

DONGKWON LEE, WOOSUK LEE, HAKJOO OH and KWANGKEUN YI, 2023. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Transactions on Programming Languages & Systems. 1 September 2023. Vol. 45, no. 3, p. 1-37. DOI 10.1145/3591622.

Elsevier - Harvard (with titles)

DONGKWON LEE, WOOSUK LEE, HAKJOO OH, KWANGKEUN YI, 2023. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Transactions on Programming Languages & Systems 45, 1-37. https://doi.org/10.1145/3591622

American Psychological Association 7th edition

DONGKWON LEE, WOOSUK LEE, HAKJOO OH, & KWANGKEUN YI. (2023). Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Transactions on Programming Languages & Systems, 45(3), 1-37. https://doi.org/10.1145/3591622

Springer - Basic (author-date)

DONGKWON LEE, WOOSUK LEE, HAKJOO OH, KWANGKEUN YI (2023) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.. ACM Transactions on Programming Languages & Systems 45:1-37. https://doi.org/10.1145/3591622

Juristische Zitierweise (Stüber) (Deutsch)

DONGKWON LEE/ WOOSUK LEE/ HAKJOO OH/ KWANGKEUN YI, Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search., ACM Transactions on Programming Languages & Systems 2023, 1-37.

Warning: These citations may not always be 100% accurate.