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
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
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
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
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
Uncovering merchants’ willingness to wait in on-demand food delivery markets, Jian LIANG, Ya ZHAO, Hai WANG, Zuopeng XIAO, and Jintao KE 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
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
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
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
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 neural collaborative search for pickup and delivery problems, Detian KONG, Yining MA, Zhiguang CAO, Tianshu YU, and Jianhua XIAO Journal 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
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
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
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
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
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
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
Closer to nature: A systematic review of virtual reality applications in environmental communication, Bing CHANG and Fiona Fui-hoon NAH 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
Application of an improved harmony search algorithm on electric vehicle routing problems, Vanny MINANDA, Yun-Chia LIANG, Angela H. L. CHEN, and Aldy GUNAWAN Journal Article
Broadening the view: Demonstration-augmented prompt learning for conversational recommendation, Quang Huy DAO, Yang DENG, Dung D. LE, and Lizi LIAO Conference Proceeding Article
Certified robust accuracy of neural networks are bounded due to Bayes errors, Ruihan ZHANG and Jun SUN Conference Proceeding Article
Comparative analysis of hate speech detection: Traditional vs. deep learning approaches, Haibo PEN, Nicole Anne Huiying TEO, and Zhaoxia WANG Conference Proceeding Article
ESem: To harden process synchronization for servers, Zhanbo WANG, Jiaxin ZHAN, Xuhua DING, Fengwei ZHANG, and Ning HU Conference Proceeding Article
Exploring the market impact of Web3 identity imitation in Ethereum Name Service, Ping Fan KE and Yi Meng LAU Conference Proceeding Article
FedSTEM-ADL: A federated spatial-temporal episodic memory model for ADL prediction, Doudou WU, Shubham PATERIA, Budhitama SUBAGDJA, and Ah-hwee TAN Conference Proceeding Article
Generalization analysis of deep nonlinear matrix completion, Antoine LEDENT and Rodrigo ALVES Conference Proceeding Article
Generative AI for pull request descriptions: Adoption, impact, and developer interventions, Tao XIAO, Hideaki HATA, Christoph TREUDE, and Kenichi MATSUMOTO Journal Article
Hierarchical damage correlations for old photo restoration, Weiwei CAI, Xuemiao XU, Jiajia XU, Huaidong ZHANG, Haoxin YANG, Kun ZHANG, and Shengfeng HE Journal Article
How people prompt generative AI to create interactive VR scenes, Setareh AGHEL MANESH, Tianyi ZHANG, Yuki ONISHI, Kotaro HARA, Scott BATEMAN, Jiannan LI, and Anthony TANG Conference Proceeding Article
Is there a space in landslide susceptibility modelling: A case study of Valtellina Valley, Northern Italy, Min Naing KHANT, Mei Yi Victoria Grace ANN, and Tin Seong KAM Conference Proceeding Article
JIGSAW: Edge-based streaming perception over spatially overlapped multi-camera deployments, Ila GOKARN, Yigong HU, Tarek ABDELZAHER, and Archan MISRA Conference Proceeding Article
Large language model powered agents for information retrieval, An ZHANG, Yang DENG, Yankai LIN, Xu CHEN, Ji-Rong WEN, and Tat-Seng CHUA Conference Proceeding Article
Learning topological representations with bidirectional graph attention network for solving job shop scheduling problem, Cong ZHANG, Zhiguang CAO, Yaoxin WU, Wen SONG, and Jing SUN Conference Proceeding Article
MicroKarta: Visualising microservice architectures, Oscar Manglaras, Alex Farkas, Peter Fule, Christoph TREUDE, and Markus Wagner Conference Proceeding Article
MVMoE: Multi-task vehicle routing solver with mixture-of-experts, Jianan ZHOU, Zhiguang CAO, Yaoxin WU, Wen SONG, Yining MA, Jie ZHANG, and Chi XU Conference Proceeding Article
Partial solution based constraint solving cache in symbolic execution, Ziqi SHUAI, Zhenbang CHEN, Kelin MA, Kunlin LIU, Yufeng ZHANG, Jun SUN, and Ji WANG Journal Article
Performance analysis of Llama 2 among other LLMs, Donghao HUANG, Zhenda HU, and Zhaoxia WANG Conference Proceeding Article
Reinforcement learning for strategic airport slot scheduling: Analysis of state observations and reward designs, Anh Nguyen-Duy, Duc-Thinh Pham, Jian-Yi Lye, and Nguyen Binh Duong TA Conference Proceeding Article
Toward effective secure code reviews: An empirical study of security-related coding weaknesses, Wachiraphan CHAROENWET, Patanamon THONGTANUNAM, Thuan PHAM, and Christoph TREUDE Journal Article
Towards automated slide augmentation to discover credible and relevant links, Dilan Dinushka SENARATH ARACHCHIGE, Christopher M. POSKITT, Kwan Chin (XU Guangjin) KOH, Heng Ngee MOK, and Hady Wirawan LAUW Conference Proceeding Article
Towards human-centered proactive conversational agents, Yang DENG, Lizi LIAO, Zhonghua ZHENG, Grace Hui YANG, and Tat-Seng CHUA Conference Proceeding Article
Unveiling the dynamics of crisis events: Sentiment and emotion analysis via multi-task learning with attention mechanism and subject-based intent prediction, Phyo Yi WIN MYINT, Siaw Ling LO, and Yuhao ZHANG Journal Article
An adaptive secure and practical data sharing system with verifiable outsourced decryption, Shengmin XU, Xingshuo HAN, Guowen XU, Jianting NING, Xinyi HUANG, and Robert H. DENG Journal Article
Multi-type attention for solving multi-depot vehicle routing problems, Jinqi LI, Bing Tian DAI, Yunyun NIU, Jianhua XIAO, and Yaoxin WU Journal Article