by Dallard, Clément, Fomin, Fedor V., Golovach, Petr A., Korhonen, Tuukka, Milanič, Martin
Published in ACM transactions on algorithms (16.09.2025)

Published in Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing

by Dawar, Anuj, Jakl, Tomas, Reggio, Luca
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

by Grohe, Martin
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

by Atserias, Albert, Kolaitis, Phokion G., Wu, Wei-Lin
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Georgiadis, Loukas, Italiano, Giuseppe F., Kosinas, Evangelos
Published in ACM transactions on algorithms (31.01.2026)

Published in Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation

by Peng, Hao, Yang, Jian, Wu, Jia, Yu, Philip S.
Published in ACM transactions on the web (31.05.2024)

by Shi, Hongyu, Chen, Ling, Chen, Qian
Published in ACM transactions on knowledge discovery from data (27.10.2025)

by Aghdaei, Ali, Feng, Zhuo
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)

Published in Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining

Published in Proceedings of the 51st International Conference on Parallel Processing

Published in Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

by Wang, Cheng-Yuan, Chang, Yao-Wen, Chang, Yuan-Hao
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)

by Yang, Tao, Li, Dongyue, Han, Yibo, Zhao, Yilong, Liu, Fangxin, Liang, Xiaoyao, He, Zhezhi, Jiang, Li
Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)

by Su, ChiaHui, Ku, Chia-Hua, Lee, Jenq Kuen, Chen, Kuan-Hsun
Published in ACM transactions on embedded computing systems (15.11.2024)

by Chen, Boqi
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (27.04.2025)

by Artiles, Oswaldo, Saeed, Fahad
Published in 50th International Conference on Parallel Processing Workshop (01.08.2021)

by Firoz, Jesun Sahariar, Zalewski, Marcin, Lumsdaine, Andrew
Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)

by Jin, Wentian, Chen, Liang, Sadiqbatcha, Sheriff, Peng, Shaoyi, Tan, Sheldon X.-D.
Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)