Submissions from 2026
Quantitative bounds on resource usage of probabilistic programs, Krishnendu CHATTERJEE, Amir Kafshdar GOHARSHADY, Tobias MEGGENDORFER, and Dorde ZIKELIC Journal Article
Submissions from 2025
Equivalence and similarity refutation for probabilistic programs, Krishnendu CHATTERJEE, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, and Dorde ZIKELIC Journal Article
On lexicographic proof rules for probabilistic termination, Krishnendu CHATTERJEE, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVUCKÝ, and Dorde ZIKELIC Journal Article
Flowing together or alone: Impact of collaboration in the metaverse, Fiona Fui-hoon NAH, Brenda ESCHENBRENNER, and Langtao CHEN Journal Article
Submissions from 2024
Automating dataset updates towards reliable and timely evaluation of Large Language Models, Jiahao YING, Yixin CAO, Yushi BAI, Qianru SUN, Bo WANG, Wei TANG, Zhaojun DING, Yizhe YANG, Xuanjing HUANG, and Shuicheng YAN Conference Proceeding Article
An aggregate matching and pick-up model for mobility-on-demand services, Xinwei LI, Jintao KE, Hai YANG, Hai WANG, and Yaqian ZHOU Journal Article
Harnessing collective structure knowledge in data augmentation for graph neural networks, Rongrong MA, Guansong PANG, and Ling CHEN Journal Article
Learning de-biased representations for remote-sensing imagery, Zichen TIAN, Zhaozheng CHEN, and Qianru SUN Conference Proceeding Article
Modeling and regulating a ride-sourcing market integrated with vehicle rental services, Dong MO, Hai WANG, Zeen CAI, W. Y. SZETO, and Xiqun (Michael) CHEN Journal Article
MVGamba : Unify 3D content generation as state space sequence modeling, Xuanyu YI, Zike WU, Qiuhong SHEN, Qingshan XU, Pan ZHOU, Joo-Hwee LIM, Shuicheng YAN, Xinchao WANG, and Hanwang ZHANG Conference Proceeding Article
Towards unified multimodal editing with enhanced knowledge collaboration, Kaihang PAN, Zhaoyu FAN, Juncheng LI, Qifan YU, Hao FEI, Siliang TANG, Richang HONG, Hanwang ZHANG, and Qianru SUN Conference Proceeding Article
Triadic temporal-semantic alignment for weakly-supervised video moment retrieval, Jin LIU, JiaLong XIE, Fengyu ZHOU, and Shengfeng HE Journal Article
LLMs-as-instructors : Learning from errors toward automating model improvement, Jiahao YING, Mingbao LIN, Yixin CAO, Wei TANG, Bo WANG, Qianru SUN, Xuanjing HUANG, and Shuicheng YAN Conference Proceeding Article
Thoughts to target : enhance planning for target-driven conversation, Zhonghua ZHENG, Lizi LIAO, Yang DENG, Ee-peng LIM, Minlie HUANG, and Liqiang NIE Conference Proceeding Article
A comprehensive survey on relation extraction: Recent advances and new frontiers, Xiaoyan ZHAO, Yang DENG, Min YANG, Lingzhi WANG, Rui ZHANG, Hong CHENG, Wai LAM, Ying SHEN, and Ruifeng XU Journal Article
Angels or demons: Investigating and detecting decentralized financial traps on ethereum smart contracts, Jiachi CHEN, Jiang HU, Xin XIA, David LO, John GRUNDY, Zhipeng GAO, and Ting CHEN Journal Article
A pruned pendant vertex based index for shortest distance query under structured encrypted graph, Mengdi HU, Lanxiang CHEN, Gaolin CHEN, Yi MU, and Robert H. DENG Journal Article
Ask-before-plan : proactive language agents for real-world planning, Xuan ZHANG, Yang DENG, Zifeng REN, See-Kiong NG, and Tat-Seng CHUA Conference Proceeding Article
BADFL: Backdoor attack defense in federated learning from local model perspective, Haiyan ZHANG, Xinghua LI, Mengfan XU, Ximeng LIU, Tong WU, Jian WENG, and Robert H. DENG Journal Article
CaBaFL: Asynchronous federated learning via hierarchical cache and feature balance, Zeke XIA, Ming HU, Dengke YAN, Xiaofei XIE, Tianlin LI, Anran LI, Junlong ZHOU, and Mingsong CHEN Journal Article
CAS: Fusing DNN optimization & adaptive sensing for energy-efficient multi-modal inference, Dulanga WEERAKOON, Vigneshwaran SUBBARAJU, Joo Hwee LIM, and Archan MISRA Journal Article
Efficient multiplicative-to-additive function from Joye-Libert cryptosystem and its application to threshold ECDSA, Haiyang XUE, Ho Man AU, Mengling LIU, Yin Kwan CHAN, Handong CUI, Xiang XIE, Hon Tsz YUEN, and Chengru ZHANG Conference Proceeding Article
National use of artificial intelligence for eye screening in Singapore, Dinesh Visva GUNASEKERAN, Steven MILLER, Wynne HSU, Mong LI, Tym Hon WONG, Mun Tuck LEE, Ecosse LAMOUREAU, Daniel Shu Wei TING, Gavin Siew Wei TAN, and Tien-Yin WONG Journal Article
Strength lies in differences! improving strategy planning for non-collaborative dialogues via diversified user simulation, Tong ZHANG, Chen HUANG, Yang DENG, Hongru LIANG, Jia LIU, Zujie WEN, Wenqiang LEI, and Tat-Seng CHUA Conference Proceeding Article
Uncovering merchants’ willingness to wait in on-demand food delivery markets, Jian LIANG, Ya ZHAO, Hai WANG, Zuopeng XIAO, and Jintao KE Journal Article
Unlocking markets: A multilingual benchmark to cross-market question answering, Yifei YUAN, Yang DENG, Anders SOGAARD, and Mohammad ALLIANNEJADI Conference Proceeding Article
A comprehensive formal specification of ARINC 653 with conformity proof, Zhang FENG, Yongwang ZHAO, Liu YANG, and Jun SUN Journal Article
D2SR: Decentralized detection, de-synchronization, and recovery of LiDAR interference, Darshana RATHNAYAKE, Hemanth SABBELLA, Meera RADHAKRISHNAN, and Archan MISRA Conference Proceeding Article
Does CEO agreeableness personality mitigate real earnings management?, Shan LIU, Xingying WU, and Nan HU Journal Article
Generative AI in software engineering must be human-centered: The Copenhagen Manifesto, D. Russo, S. van Berkel Baltes, and Christoph TREUDE Journal Article
HiSOMA: A hierarchical multi-agent model integrating self-organizing neural networks with multi-agent deep reinforcement learning, Minghong GENG, Shubham PATERIA, Budhitama SUBAGDJA, and Ah-hwee TAN Journal Article
Joint weakly supervised image emotion analysis based on interclass discrimination and intraclass correlation, Xinyue ZHANG, Zhaoxia WANG, Guitao CAO, and Seng-Beng HO Journal Article
Navigating governance paradigms: A cross-regional comparative study of generative AI governance processes & principle, JOSE LUIS LUNA CAMPOVERDE, Ivan TAN, Xiaofei XIE, and Lingxiao JIANG Conference Proceeding Article
OcAPO: Fine-grained occupancy-aware, empirically-driven PDC control in open-plan, shared workspaces, Ravi ANURADHA, Dulaj Sanjaya WEERAKOON, and Archan MISRA Journal Article
On the lossiness of 2k-th power and the instantiability of Rabin-OAEP, Haiyang XUE, Bao LI, Xianhui LU, Kunpeng WANG, and Yamin LIU Conference Proceeding Article
Predicting the limits: Tailoring unnoticeable hand redirection offsets in virtual reality to individuals' perceptual boundaries, Martin FEICK, Kora Persephone REGITZ, Lukas GEHRKE, André ZENNER, Anthony TANG, Tobias Patrick JUNGBLUTH, Maurice REKRUT, and Antonio KRÜGER Conference Proceeding Article
Retrofitting a legacy cutlery washing machine using computer vision, Hua Leong FWA Conference Proceeding Article
Themis: Automatic and efficient deep learning system testing with strong fault detection capability, Dong HUANG, Tsz On LI, Xiaofei XIE, and Heming CUI Conference Proceeding Article
An adaptive network fusing light detection and ranging height-sliced bird’s-eye view and vision for place recognition, Rui ZHENG, Zuo JIANG, Yibin YE, Yang REN, Hui ZENG, Junwei LI, and Zhiyuan ZHANG Journal Article
Aligning human and computational coherence evaluations, Jia Peng LIM and Hady Wirawan LAUW Journal Article
Bugs in pods: Understanding bugs in container runtime systems, Jiongchi YU, Xiaofei XIE, Ceng ZHANG, and Sen CHEN Conference Proceeding Article
Certified continual learning for neural network regression, Hong Long PHAM and Jun SUN Conference Proceeding Article
Certified quantization strategy synthesis for neural networks, Yedi ZHANG, Guangke CHEN, Jun SUN, and Jun SUN Conference Proceeding Article
Comparison of evolutionary algorithms: A case study on the multi-objective carbon-aware mine planning, NURUL ASYIKEEN BINTE AZHAR, Aldy GUNAWAN, Shih-Fen CHENG, and Erwin LEONARDI Conference Proceeding Article
Efficient and privacy-preserving encode-based range query over encrypted cloud data, Yanrong LIANG, Jianfeng MA, Yinbin MIAO, Yuan SU, and Robert H. DENG Journal Article
Efficient and secure federated learning against backdoor attacks, Yinbin MIAO, Rongpeng XIE, Xinghua LI, Zhiquan LIU, Kim-Kwang Raymond CHOO, and Robert H. DENG Journal Article
Efficient cascaded multiscale adaptive network for image restoration, Yichen ZHOU, Pan ZHOU, and Teck Khim NG Conference Proceeding Article
Efficient neural collaborative search for pickup and delivery problems, Detian KONG, Yining MA, Zhiguang CAO, Tianshu YU, and Jianhua XIAO Journal Article
Enhancing multi-agent system testing with diversity-guided exploration and adaptive critical state exploitation, Xuyan MA, Yawen WANG, Junjie WANG, and Xiaofei XIE Conference Proceeding Article
FT2Ra: A fine-tuning-inspired approach to retrieval-augmented code completion, Qi GUO, Shangqing LIU, Xiaofei XIE, and Ze Tang TANG Conference Proceeding Article
Granular3D: Delving into multi-granularity 3D scene graph prediction, Kaixiang HUANG, Jingru YANG, Jin WANG, Shengfeng HE, Zhan WANG, Haiyan HE, Qifeng ZHANG, and Guodong LU Journal Article
How effective are they? Exploring large language model based fuzz driver generation, Cen ZHANG, Yaowen ZHENG, Mingqiang BAI, Yeting LI, Wei MA, and Xiaofei XIE Conference Proceeding Article
Low/no-code and traditional code integration in digital banking, Kim Siang YEO and Alan @ Ali MADJELISI MEGARGEL Journal Article
Meta-learning for multi-family Android malware classification, Yao LI, Dawei YUAN, Tao ZHANG, Haipeng CAI, David LO, Cuiyun GAO, Xiapu LUO, and He JIANG Journal Article
Probing effects of contextual bias on number magnitude estimation, Xuehao DU, Ping JI, Wei QIN, Lei WANG, and Yunshi LAN Journal Article
Reimagining education with AI, Margherita PAGANI, Steven Miller, and Jerry WIND Working Paper
Solving fractional differential equations on a quantum computer: A variational approach, Fong Yew LEONG, Dax Enshan KOH, Jian Feng KONG, Siong Thye GOH, Jun Yong KHOO, Wei Bin EWE, Hongying LI, Jayne THOMPSON, and Dario POLETTI Journal Article
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs, Krishnendu CHATTERJEE, Amir GOHARSHADY, Ehsan GOHARSHADY, Mehrdad KARRABI, and Dorde ZIKELIC Conference Proceeding Article
Text-driven video prediction, Xue SONG, Jingjing CHEN, Bin ZHU, and Yu-gang JIANG Journal Article
Unraveling the dynamics of stable and curious audiences in web systems, Rodrigo ALVES, Antoine LEDENT, Renato ASSUNÇÃO, Pedro VAZ-DE-MELO, and Marius KLOFT Conference Proceeding Article
Gamification in ERP systems: A study on intrinsic motivation and user behavioral intentions, Esi. ADEBORNA, Fiona Fui-hoon NAH, and Luvai MOTIWALLA Conference Proceeding Article
The effects of introducing GAI on user trust in online crowdsourcing platform, Zhen ZHU, Kai SONG, and Fiona Fui-hoon NAH Conference Proceeding Article
Enabling sustainable freight forwarding network via collaborative games, Pang-Jin TAN, Shih-Fen CHENG, and Richard CHEN Conference Proceeding Article
A learned generalized geodesic distance function-based approach for node feature augmentation on graphs, Amitoz AZAD and Yuan FANG Conference Proceeding Article
A NEW HOPE: Contextual privacy policies for mobile applications and an approach toward automated generation, Shidong PAN, Zhen TAO, Thong HOANG, Dawen ZHANG, Tianshi LI, Zhenchang XING, Xiwei XU, Mark STAPLES, Thierry RAKOTOARIVELO, and David LO Conference Proceeding Article
An LLM-assisted easy-to-trigger poisoning attack on code completion models: Injecting disguised vulnerabilities against strong detection, Shenao YAN, Shen WANG, Yue DUAN, Hanbin HONG, Kiho LEE, Doowon KIM, and Yuan HONG Conference Proceeding Article
AnoPas: Practical anonymous transit pass from group signatures with time-bound keys, Rui SHI, Yang YANG, Yingjiu LI, Huamin FENG, Hwee Hwa PANG, and Robert H. DENG Journal Article
AnoPay: Anonymous payment for vehicle parking with updatable credential, Yang YANG, Wenyi XUE, Yonghua ZHAN, Minming HUANG, Yingjiu LI, and Robert H. DENG Journal Article
CausVSR: Causality inspired visual sentiment recognition, Xinyue ZHANG, Zhaoxia WANG, Hailing WANG, Jing XIANG, Chunwei WU, and Guitao CAO Conference Proceeding Article
Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties, S. AKSHAY, Krishnendu CHATTERJEE, Tobias MEGGENDORFER, and Dorde ZIKELIC Conference Proceeding Article
Chain-of-exemplar: Enhancing distractor generation for multimodal educational question generation, Haohao LUO, Yang DENG, Ying SHEN, See-Kiong NG, and Tat-Seng CHUA Conference Proceeding Article
CLAMBER: A benchmark of identifying and clarifying ambiguous information needs in large language models, Tong ZHANG, Peixin QIN, Yang DENG, Chen HUANG, Wenqiang LEI, Junhong LIU, Dingnan JIN, Hongru LIANG, and Tat-Seng CHUA Conference Proceeding Article
Contrastive general graph matching with adaptive augmentation sampling, Jianyuan BO and Yuan FANG Conference Proceeding Article
Cross-problem learning for solving vehicle routing problems, Zhuoyi LIN, Yaoxin WU, Bangjian ZHOU, Zhiguang CAO, Wen SONG, Yingqian ZHANG, and Senthilnath JAYAVELU Conference Proceeding Article
Exponential qubit reduction in optimization for financial transaction settlement, Elias X. HUBER, Benjamin Y. L. TAN, Paul Robert GRIFFIN, and Dimitris G. ANGELAKIS Journal Article
FOSS: Towards fine-grained unknown class detection against the open-set attack spectrum with variable legitimate traffic, Ziming ZHAO, Zhaoxuan LI, Xiaofei XIE, Jiongchi YU, Fan ZHANG, Rui ZHANG, Binbin CHEN, Xiangyang LUO, Ming HU, and Wenrui MA Journal Article
Fuel-saving route planning with data-driven and learning-based approaches: A systematic solution for harbor tugs, Shengming WANG, Xiaocai ZHANG, Jing LI, Xiaoyang WEI, Hoong Chuin LAU, Bing Tian DAI, Binbin Huang HUANG, Zhe XIAO, Xiuju FU, and Zheng QIN Conference Proceeding Article
G2Face: High-Fidelity Reversible Face Anonymization via generative and geometric priors, Haoxin YANG, Xuemiao XU, Cheng XU, Huaidong ZHANG, Jing QIN, Yi WANG, Pheng-Ann HENG, and Shengfeng HE Journal Article
Hierarchical neural constructive solver for real-world TSP scenarios, Yong Liang GOH, Zhiguang CAO, Yining MA, Yanfei DONG, Mohammed Haroon DUPTY, and Wee Sun LEE Conference Proceeding Article
Interpretable tensor fusion, Saurabh VARSHNEYA, Antoine LEDENT, Philipp LIZNERSKI, Andriy BALINSKYY, Purvanshi MEHTA, Waleed MUSTAFA, and Marius KLOFT Conference Proceeding Article
Is aggregation the only choice? Federated learning via layer-wise model recombination, Ming HU, Zhihao YUE, Xiaofei XIE, and Cheng Chen CHEN Conference Proceeding Article
Neural network semantic backdoor detection and mitigation: A causality-based approach, Bing SUN, Jun SUN, Wayne KOH, and Jie SHI Conference Proceeding Article
Nonfactoid question answering as query-focused summarization with graph-enhanced multihop inference, Yang DENG, Wenxuan ZHANG, Weiwen XU, Ying SHEN, and Wai LAM Journal Article
On the multi-turn instruction following for conversational web agents, Yang DENG, Xuan ZHANG, Wenxuan ZHANG, Yifei YUAN, See-Kiong NG, and Tat-Seng CHUA Conference Proceeding Article
Optimization of customer service and driver dispatch areas for on-demand food delivery, Jingfeng YANG, Hoong Chuin LAU, and Hai WANG Journal Article
Path-choice-constrained bus bridging design under urban rail transit disruptions, Yiyang ZHU, Jian Gang JIN, and Hai WANG Journal Article
Peep with a mirror: Breaking the integrity of Android app sandboxing via unprivileged cache side channel, Yan LIN, Joshua WONG, Xiang LI, Haoyu MA, and Debin GAO Conference Proceeding Article
Privacy-preserving fine-grained data sharing with dynamic service for the cloud-edge IoT, Jianfei SUN, Yangyang BAO, Weidong QIU, Rongxing LU, Songnian ZHANG, Yunguo GUAN, and Xiaochun CHENG Journal Article
Prompt tuning on Graph-Augmented Low-Resource text classification, Zhihao WEN and Yuan FANG Journal Article
Self-chats from large language models make small emotional support chatbot better, Zhonghua ZHENG, Lizi LIAO, Yang DENG, Libo QIN, and Liqiang NIE Conference Proceeding Article
Solving long-run average reward robust MDPs via stochastic games, Krishnendu CHATTERJEE, Ehsan Kafshdar GOHARSHADY, Mehrdad KARRABI, Petr NOVOTNÝ, and Dorde ZIKELIC Conference Proceeding Article
STYLE: Improving domain transferability of asking clarification questions in large language model powered conversational agents, Yue CHEN, Chen HUANG, Yang DENG, Wenqiang LEI, Dingnan JIN, Jia LIU, and Tat-Seng CHUA Conference Proceeding Article
Task scheduling strategy for 3DPCP considering multidynamic information perturbation in green scene, JianJia HE, Jian WU, and Keng SIAU Journal Article
WatME: Towards lossless watermarking through lexical redundancy, Liang CHEN, Yatao BIAN, Yang DENG, Deng CAI, Shuaiyi LI, Peilin ZHAO, and Kam-Fai WONG Conference Proceeding Article
FDFL: Fair and discrepancy-aware incentive mechanism for federated learning, Zhe CHEN; Haiyan ZHANG; Xinghua LI; Yinbin MIAO; Xiaohan ZHANG; Man ZHANG; Siqi MA; and DENG, Robert H. Journal Article
Key cooperative attribute-based encryption, Luqi HUANG, Willy SUSILO, Guomin YANG, and Fuchun GUO Conference Proceeding Article
A bottom-up multi-disciplinary approach for sustainability education: UN-SDG 13.3, Benjamin GAN, Thomas MENKHOFF, Eng Lieh OUH, and Kevin CHEONG Conference Proceeding Article
Adan: Adaptive Nesterov Momentum Algorithm for faster optimizing deep models, Xingyu XIE, Pan ZHOU, Huan LI, Zhouchen LIN, and Shuicheng YAN Journal Article
Adaptive stabilization based on machine learning for column generation, Yunzhuang SHEN, Yuan SUN, Xiaodong LI, Zhiguang CAO, EBERHARD Andrew, and Guangquan ZHANG Conference Proceeding Article
A deep learning method to predict bacterial ADP-ribosyltransferase toxins, Dandan ZHENG, Siyu ZHOU, Lihong CHEN, Guansong PANG, and Jian YANG Journal Article