Skip to content
cs-conference-ranking.org

Shuaiqiang Wang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

102

Venues

20

Active years

2007–2026

Best venue rank

A*

Where they publish

Papers

102 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIVPN: Visual Prompt Navigation.Shuo Feng, Zihan Wang, Yuchen Li, Rui Kong, Hengyi Cai, Shuaiqiang Wang, Gim Hee Lee, Piji Li, Shuqiang Jiang
2026AAAIEfficient Thought Space Exploration Through Strategic Intervention.Ziheng Li, Hengyi Cai, Xiaochi Wei, Yuchen Li, Shuaiqiang Wang, Zhi-Hong Deng, Dawei Yin
2026AAAIAdaFuse: Accelerating Dynamic Adapter Inference via Token-Level Pre-Gating and Fused Kernel Optimization.Qiyang Li, Rui Kong, Yuchen Li, Hengyi Cai, Shuaiqiang Wang, Linghe Kong, Guihai Chen, Dawei Yin
2026AAAIThinking Forward and Backward: Multi-Objective Reinforcement Learning for Retrieval-Augmented Reasoning.Wenda Wei, Yu-An Liu, Ruqing Zhang, Jiafeng Guo, Lixin Su, Shuaiqiang Wang, Dawei Yin, Maarten de Rijke, Xueqi Cheng
2026AAAIBeyond Step Pruning: Information Theory Based Step-level Optimization for Self-Refining Large Language Models.Jinman Zhao, Erxue Min, Hui Wu, Ziheng Li, Zexu Sun, Hengyi Cai, Shuaiqiang Wang, Xu Chen, Gerald Penn
2026ACLMatchTIR: Fine-Grained Supervision for Tool-Integrated Reasoning via Bipartite Matching.Changle Qu, Sunhao Dai, Hengyi Cai, Jun Xu, Shuaiqiang Wang, Dawei Yin
2026ACLAdversarial Yet Cooperative: Multi-Perspective Reasoning in Retrieved-Augmented Language Models.Can Xu, Lingyong Yan, Jiayi Wu, Haosen Wang, Shuaiqiang Wang, Yuchen Li, Jizhou Huang, Dawei Yin, Xiang Li
2026ACLReinforced Efficient Reasoning via Semantically Diverse Exploration.Ziqi Zhao, Zhaochun Ren, Jiahong Zou, Liu Yang, Zhiwei Xu, Xuri Ge, Zhumin Chen, Xinyu Ma, Daiting Shi, Shuaiqiang Wang, Dawei Yin, Xin Xin
2026ECIRLLM-Based Listwise Reranking Under the Effect of Positional Bias.Jingfen Qiao, Jin Huang, Xinyu Ma, Shuaiqiang Wang, Dawei Yin, Evangelos Kanoulas, Andrew Yates
2026KDDRetain to Refine: Adaptive Online Question Answering via Query Routing and Long-Short Memory.Yuchen Li, Jiamin Chen, Xinran Chen, Zhiyu Li, Haojie Zhang, Rui Kong, Jiayi Li, Xinyu Ma, Hengyi Cai, Lixin Su, Shuaiqiang Wang, Jiashu Zhao, Yongqi Zhang, Haoyi Xiong, Linghe Kong, Lei Chen, Dawei Yin
2026KDDVideoRAG: Retrieval-Augmented Generation with Extreme Long-Context Videos.Xubin Ren, Lingrui Xu, Long Xia, Shuaiqiang Wang, Dawei Yin, Chao Huang
2026WWWAccurate and Efficient Personalized Query Rewriting in Baidu Search.Xu Chu, Angela Li, Jiaming Zhang, Wei Li, Zhijie Tan, Dawei Yin, Shuaiqiang Wang, Daiting Shi
2026WWWProbe-and-Fetch: Dynamic KV Cache Pruning for Accelerated Long-Context Inference in Web-Scale AI Search.Yuchen Li, Rui Kong, Xinran Chen, Chengzhe Zhang, Jiamin Chen, Cheng Deng, Xinyu Ma, Haojie Zhang, Tianhao Peng, Hengyi Cai, Shuaiqiang Wang, Jiashu Zhao, Yongqi Zhang, Haoyi Xiong, Jimmy Xiangji Huang, Lei Chen, Jun Wang, Dawei Yin
2026WWWModel Editing for New Document Integration in Generative Information Retrieval.Zhen Zhang, Zihan Wang, Xinyu Ma, Shuaiqiang Wang, Dawei Yin, Xin Xin, Pengjie Ren, Maarten de Rijke, Zhaochun Ren
2026SIGIRDeepResearch-9K: A Challenging Benchmark Dataset of Deep-Research Agent.Tongzhou Wu, Yuhao Wang, Xinyu Ma, Xiuqiang He, Shuaiqiang Wang, Dawei Yin, Xiangyu Zhao
2026WSDMTowards Next-Generation Recommender Systems: A Benchmark for Personalized Recommendation Assistant with LLMs.Jiani Huang, Shijie Wang, Liangbo Ning, Wenqi Fan, Shuaiqiang Wang, Dawei Yin, Qing Li
2025ACLKnowledge Graph Retrieval-Augmented Generation for LLM-based Recommendation.Shijie Wang, Wenqi Fan, Yue Feng, Shanru Lin, Xinyu Ma, Shuaiqiang Wang, Dawei Yin
2025ACLProactive Guidance of Multi-Turn Conversation in Industrial Search.Xiaoyu Li, Xiao Li, Li Gao, Yiding Liu, Xiaoyang Wang, Shuaiqiang Wang, Junfeng Wang, Dawei Yin
2025ACLLLMs + Persona-Plug = Personalized LLMs.Jiongnan Liu, Yutao Zhu, Shuting Wang, Xiaochi Wei, Erxue Min, Yu Lu, Shuaiqiang Wang, Dawei Yin, Zhicheng Dou
2025ACLSliding Windows Are Not the End: Exploring Full Ranking with Long-Context Large Language Models.Wenhan Liu, Xinyu Ma, Yutao Zhu, Ziliang Zhao, Shuaiqiang Wang, Dawei Yin, Zhicheng Dou
2025ACLRetrieval Models Aren't Tool-Savvy: Benchmarking Tool Retrieval for Large Language Models.Zhengliang Shi, Yuhan Wang, Lingyong Yan, Pengjie Ren, Shuaiqiang Wang, Dawei Yin, Zhaochun Ren
2025ACLEnhancing Retrieval-Augmented Generation via Evidence Tree Search.Hao Sun, Hengyi Cai, Yuchen Li, Xuanbo Fan, Xiaochi Wei, Shuaiqiang Wang, Yan Zhang, Dawei Yin
2025ACLTask Knowledge Injection via Interpolations and Reinstatement for Large Language Model Generalization.Yukun Zhao, Lingyong Yan, Zhenyang Li, Shuaiqiang Wang, Zhumin Chen, Zhaochun Ren, Dawei Yin
2025ACLDivide-Then-Aggregate: An Efficient Tool Learning Method via Parallel Tool Invocation.Dongsheng Zhu, Weixian Shi, Zhengliang Shi, Zhaochun Ren, Shuaiqiang Wang, Lingyong Yan, Dawei Yin
2025CIKMAdvancing Temporal Sensitive Question Answering through Progressive Multi-Step Reflection.Ziyang Chen, Erxue Min, Xiang Zhao, Yunxin Li, Xin Jia, Jinzhi Liao, Shuaiqiang Wang, Baotian Hu, Dawei Yin
2025CIKMCLUE: Using Large Language Models for Judging Document Usefulness in Web Search Evaluation.Xingzhu Wang, Erhan Zhang, Yiqun Chen, Jinghan Xuan, Yucheng Hou, Yitong Xu, Ying Nie, Shuaiqiang Wang, Dawei Yin, Jiaxin Mao
2025CIKMLeveraging Generative Models for Real-Time Query-Driven Text Summarization in Large-Scale Web Search.Zeyu Xiong, Yixuan Nan, Li Gao, Hengzhu Tang, Shuaiqiang Wang, Junfeng Wang, Dawei Yin
2025EMNLPCoRanking: Collaborative Ranking with Small and Large Ranking Agents.Wenhan Liu, Xinyu Ma, Yutao Zhu, Lixin Su, Shuaiqiang Wang, Dawei Yin, Zhicheng Dou
2025EMNLPCTR-Guided Generative Query Suggestion in Conversational Search.Erxue Min, Hsiu-Yuan Huang, Xihong Yang, Min Yang, Xin Jia, Yunfang Wu, Hengyi Cai, Junfeng Wang, Shuaiqiang Wang, Dawei Yin
2025EMNLPTP-RAG: Benchmarking Retrieval-Augmented Large Language Model Agents for Spatiotemporal-Aware Travel Planning.Hang Ni, Fan Liu, Xinyu Ma, Lixin Su, Shuaiqiang Wang, Dawei Yin, Hui Xiong, Hao Liu
2025EMNLPUplift-RAG: Uplift-Driven Knowledge Preference Alignment for Retrieval-Augmented Generation.Changle Qu, Sunhao Dai, Hengyi Cai, Yiyang Cheng, Jun Xu, Shuaiqiang Wang, Dawei Yin
2025EMNLPMitigating Hallucinations in Large Vision-Language Models via Entity-Centric Multimodal Preference Optimization.Jiulong Wu, Zhengliang Shi, Shuaiqiang Wang, Jizhou Huang, Dawei Yin, Lingyong Yan, Min Cao, Min Zhang
2025EMNLPReasoning-to-Defend: Safety-Aware Reasoning Can Defend Large Language Models from Jailbreaking.Junda Zhu, Lingyong Yan, Shuaiqiang Wang, Dawei Yin, Lei Sha
2025ICDEMYuchen Li, Hao Zhang, Yongqi Zhang, Xinyu Ma, Wenwen Ye, Naifei Song, Shuaiqiang Wang, Haoyi Xiong, Dawei Yin, Lei Chen
2025ICDEDaRec: A Disentangled Alignment Framework for Large Language Model and Recommender System.Xihong Yang, Heming Jing, Zixing Zhang, Jindong Wang, Huakang Niu, Shuaiqiang Wang, Yu Lu, Junfeng Wang, Dawei Yin, Xinwang Liu, En Zhu, Defu Lian, Erxue Min
2025ICLRFrom Exploration to Mastery: Enabling LLMs to Master Tools via Self-Driven Interactions.Changle Qu, Sunhao Dai, Xiaochi Wei, Hengyi Cai, Shuaiqiang Wang, Dawei Yin, Jun Xu, Ji-Rong Wen
2025KDDRankExpert: A Mixture of Textual-and-Behavioral Experts for Multi-Objective Learning-to-Rank in Web Search.Yuchen Li, Hao Zhang, Yongqi Zhang, Hengyi Cai, Mingxin Cai, Shuaiqiang Wang, Haoyi Xiong, Linghe Kong, Dawei Yin, Lei Chen
2025KDDFULTR: A Large-Scale Fusion Learning to Rank Dataset and Its Application for Satisfaction-Oriented Ranking.Yuchen Li, Hao Zhang, Haojie Zhang, Hengyi Cai, Xinyu Ma, Shuaiqiang Wang, Haoyi Xiong, Zhaochun Ren, Maarten de Rijke, Dawei Yin
2025KDDMulti-Agent Proactive Information Seeking with Adaptive LLM Orchestration for Non-Factoid Question Answering.Xinran Chen, Yuchen Li, Hengyi Cai, Zhuoran Ma, Xuanang Chen, Haoyi Xiong, Shuaiqiang Wang, Ben He, Le Sun, Dawei Yin
2025KDDRankElectra: Semi-supervised Pre-training of Learning-to-Rank Electra for Web-scale Search.Yuchen Li, Haoyi Xiong, Yongqi Zhang, Jiang Bian, Tianhao Peng, Xuhong Li, Shuaiqiang Wang, Linghe Kong, Dawei Yin
2025KDDGenerative Retrieval for Book Search.Yubao Tang, Ruqing Zhang, Jiafeng Guo, Maarten de Rijke, Shihao Liu, Shuaiqiang Wang, Dawei Yin, Xueqi Cheng
2025KDDVariational Graph Autoencoder for Heterogeneous Information Networks with Missing and Inaccurate Attributes.Yige Zhao, Jianxiang Yu, Yao Cheng, Chengcheng Yu, Yiding Liu, Xiang Li, Shuaiqiang Wang
2025NAACLPA-RAG: RAG Alignment via Multi-Perspective Preference Optimization.Jiayi Wu, Hengyi Cai, Lingyong Yan, Hao Sun, Xiang Li, Shuaiqiang Wang, Dawei Yin, Ming Gao
2025SIGIRReplication and Exploration of Generative Retrieval over Dynamic Corpora.Zhen Zhang, Xinyu Ma, Weiwei Sun, Pengjie Ren, Zhumin Chen, Shuaiqiang Wang, Dawei Yin, Maarten de Rijke, Zhaochun Ren
2024ACLExploring Memorization in Fine-tuned Language Models.Shenglai Zeng, Yaxin Li, Jie Ren, Yiding Liu, Han Xu, Pengfei He, Yue Xing, Shuaiqiang Wang, Jiliang Tang, Dawei Yin
2024ACLThe Good and The Bad: Exploring Privacy Issues in Retrieval-Augmented Generation (RAG).Shenglai Zeng, Jiankun Zhang, Pengfei He, Yiding Liu, Yue Xing, Han Xu, Jie Ren, Yi Chang, Shuaiqiang Wang, Dawei Yin, Jiliang Tang
2024CIKMTowards Completeness-Oriented Tool Retrieval for Large Language Models.Changle Qu, Sunhao Dai, Xiaochi Wei, Hengyi Cai, Shuaiqiang Wang, Dawei Yin, Jun Xu, Ji-Rong Wen
2024CIKMHyperbolic Contrastive Learning for Cross-Domain Recommendation.Xin Yang, Heng Chang, Zhijian Lai, Jinze Yang, Xingrun Li, Yu Lu, Shuaiqiang Wang, Dawei Yin, Erxue Min
2024COLINGImproving the Robustness of Large Language Models via Consistency Alignment.Yukun Zhao, Lingyong Yan, Weiwei Sun, Guoliang Xing, Shuaiqiang Wang, Chong Meng, Zhicong Cheng, Zhaochun Ren, Dawei Yin
2024EMNLPAdaSwitch: Adaptive Switching between Small and Large Agents for Effective Cloud-Local Collaborative Learning.Hao Sun, Jiayi Wu, Hengyi Cai, Xiaochi Wei, Yue Feng, Bo Wang, Shuaiqiang Wang, Yan Zhang, Dawei Yin
2024EMNLPKnowTuning: Knowledge-aware Fine-tuning for Large Language Models.Yougang Lyu, Lingyong Yan, Shuaiqiang Wang, Haibo Shi, Dawei Yin, Pengjie Ren, Zhumin Chen, Maarten de Rijke, Zhaochun Ren
2024EMNLPTowards Verifiable Text Generation with Evolving Memory and Self-Reflection.Hao Sun, Hengyi Cai, Bo Wang, Yingyan Hou, Xiaochi Wei, Shuaiqiang Wang, Yan Zhang, Dawei Yin
2024ICDELTXiaokai Chu, Changying Hao, Shuaiqiang Wang, Dawei Yin, Jiashu Zhao, Lixin Zou, Chenliang Li
2024IJCAIMPGraf: a Modular and Pre-trained Graphformer for Learning to Rank at Web-scale (Extended Abstract).Yuchen Li, Haoyi Xiong, Linghe Kong, Zeyi Sun, Hongyang Chen, Shuaiqiang Wang, Dawei Yin
2024IJCAIGS2P: A Generative Pre-trained Learning to Rank Model with Over-parameterization for Web-Scale Search (Extended Abstract).Yuchen Li, Haoyi Xiong, Linghe Kong, Jiang Bian, Shuaiqiang Wang, Guihai Chen, Dawei Yin
2024NAACLMILL: Mutual Verification with Large Language Models for Zero-Shot Query Expansion.Pengyue Jia, Yiding Liu, Xiangyu Zhao, Xiaopeng Li, Changying Hao, Shuaiqiang Wang, Dawei Yin
2024NAACLA Robust Semantics-based Watermark for Large Language Model against Paraphrasing.Jie Ren, Han Xu, Yiding Liu, Yingqian Cui, Shuaiqiang Wang, Dawei Yin, Jiliang Tang
2024NAACLKnowing What LLMs DO NOT Know: A Simple Yet Effective Self-Detection Method.Yukun Zhao, Lingyong Yan, Weiwei Sun, Guoliang Xing, Chong Meng, Shuaiqiang Wang, Zhicong Cheng, Zhaochun Ren, Dawei Yin
2024SIGIRUnsupervised Large Language Model Alignment for Information Retrieval via Contrastive Feedback.Qian Dong, Yiding Liu, Qingyao Ai, Zhijing Wu, Haitao Li, Yiqun Liu, Shuaiqiang Wang, Dawei Yin, Shaoping Ma
2023ACLBoosting Event Extraction with Denoised Structure-to-Text Augmentation.Bo Wang, Heyan Huang, Xiaochi Wei, Ge Shi, Xiao Liu, Chong Feng, Tong Zhou, Shuaiqiang Wang, Dawei Yin
2023CIKMI3 Retriever: Incorporating Implicit Interaction in Pre-trained Language Models for Passage Retrieval.Qian Dong, Yiding Liu, Qingyao Ai, Haitao Li, Shuaiqiang Wang, Yiqun Liu, Dawei Yin, Shaoping Ma
2023DSAAGSYuchen Li, Haoyi Xiong, Linghe Kong, Jiang Bian, Shuaiqiang Wang, Guihai Chen, Dawei Yin
2023EMNLPIs ChatGPT Good at Search? Investigating Large Language Models as Re-Ranking Agents.Weiwei Sun, Lingyong Yan, Xinyu Ma, Shuaiqiang Wang, Pengjie Ren, Zhumin Chen, Dawei Yin, Zhaochun Ren
2023EMNLPDiQAD: A Benchmark Dataset for Open-domain Dialogue Quality Assessment.Yukun Zhao, Lingyong Yan, Weiwei Sun, Chong Meng, Shuaiqiang Wang, Zhicong Cheng, Zhaochun Ren, Dawei Yin
2023ICDMMPGraf: a Modular and Pre-trained Graphformer for Learning to Rank at Web-scale.Yuchen Li, Haoyi Xiong, Linghe Kong, Zeyi Sun, Hongyang Chen, Shuaiqiang Wang, Dawei Yin
2023KDDSYuchen Li, Haoyi Xiong, Linghe Kong, Qingzhong Wang, Shuaiqiang Wang, Guihai Chen, Dawei Yin
2023KDDSemantic-Enhanced Differentiable Search Index Inspired by Learning Strategies.Yubao Tang, Ruqing Zhang, Jiafeng Guo, Jiangui Chen, Zuowei Zhu, Shuaiqiang Wang, Dawei Yin, Xueqi Cheng
2023SIGIRGraph Enhanced BERT for Query Understanding.Juanhui Li, Wei Zeng, Suqi Cheng, Yao Ma, Jiliang Tang, Shuaiqiang Wang, Dawei Yin
2022CIKMApproximated Doubly Robust Search Relevance Estimation.Lixin Zou, Changying Hao, Hengyi Cai, Shuaiqiang Wang, Suqi Cheng, Zhicong Cheng, Wenwen Ye, Simiu Gu, Dawei Yin
2022SIGIRIncorporating Explicit Knowledge in Pre-trained Language Models for Passage Re-ranking.Qian Dong, Yiding Liu, Suqi Cheng, Shuaiqiang Wang, Zhicong Cheng, Shuzi Niu, Dawei Yin
2022WSDMFast Semantic Matching via Flexible Contextualized Interaction.Wenwen Ye, Yiding Liu, Lixin Zou, Hengyi Cai, Suqi Cheng, Shuaiqiang Wang, Dawei Yin
2021KDDPre-trained Language Model for Web-scale Retrieval in Baidu Search.Yiding Liu, Weixue Lu, Suqi Cheng, Daiting Shi, Shuaiqiang Wang, Zhicong Cheng, Dawei Yin
2021KDDPre-trained Language Model based Ranking in Baidu Search.Lixin Zou, Shengqiang Zhang, Hengyi Cai, Dehong Ma, Suqi Cheng, Shuaiqiang Wang, Daiting Shi, Zhicong Cheng, Dawei Yin
2021SIGIREnhanced Doubly Robust Learning for Debiasing Post-Click Conversion Rate Estimation.Siyuan Guo, Lixin Zou, Yiding Liu, Wenwen Ye, Suqi Cheng, Shuaiqiang Wang, Hechang Chen, Dawei Yin, Yi Chang
2020CIKMDeep Multifaceted Transformers for Multi-objective Ranking in Large-Scale E-commerce Recommender Systems.Yulong Gu, Zhuoye Ding, Shuaiqiang Wang, Lixin Zou, Yiding Liu, Dawei Yin
2020SIGIRTime Matters: Sequential Recommendation with Complex Temporal Information.Wenwen Ye, Shuaiqiang Wang, Xu Chen, Xuepeng Wang, Zheng Qin, Dawei Yin
2020WSDMHierarchical User Profiling for E-commerce Recommender Systems.Yulong Gu, Zhuoye Ding, Shuaiqiang Wang, Dawei Yin
2019ECIRVectors of Pairwise Item Preferences.Gaurav Pandey, Shuaiqiang Wang, Zhaochun Ren, Yi Chang
2018WWWFinding Tours for a Set of Interests.Mohamed Abdel Maksoud, Gaurav Pandey, Shuaiqiang Wang
2018WWWEtymo: A New Discovery Engine for AI Research.Weijian Zhang, Jonathan Deakin, Nicholas J. Higham, Shuaiqiang Wang
2017WWWLearning to Recommend Accurate and Diverse Items.Peizhe Cheng, Shuaiqiang Wang, Jun Ma, Jiankai Sun, Hui Xiong
2017SIGIRCitySearcher: A City Search Engine For Interests.Mohamed Abdel Maksoud, Gaurav Pandey, Shuaiqiang Wang
2017WEBISTA Serendipity-Oriented Greedy Algorithm for Recommendations.Denis Kotkov, Jari Veijalainen, Shuaiqiang Wang
2017WSDMSocial Collaborative Viewpoint Regression with Explainable Recommendations.Zhaochun Ren, Shangsong Liang, Piji Li, Shuaiqiang Wang, Maarten de Rijke
2016WEBISTChallenges of Serendipity in Recommender Systems.Denis Kotkov, Jari Veijalainen, Shuaiqiang Wang
2016WEBISTCross-Domain Recommendations with Overlapping Items.Denis Kotkov, Shuaiqiang Wang, Jari Veijalainen
2016WEBISTImproving Serendipity and Accuracy in Cross-Domain Recommender Systems.Denis Kotkov, Shuaiqiang Wang, Jari Veijalainen
2015ISADSTourism Service Composition Based on Multi-objective Optimization.Xuwei Zheng, Ruzhi Xu, Yun Peng, Shuaiqiang Wang
2015SIGIRListwise Collaborative Filtering.Shanshan Huang, Shuaiqiang Wang, Tie-Yan Liu, Jun Ma, Zhumin Chen, Jari Veijalainen
2012CIKMSemantically coherent image annotation with a learning-based keyword propagation strategy.Chaoran Cui, Jun Ma, Shuaiqiang Wang, Shuai Gao, Tao Lian
2012CIKMLearning to rank for hybrid recommendation.Jiankai Sun, Shuaiqiang Wang, Byron J. Gao, Jun Ma
2012CIKMPolygene-based evolution: a novel framework for evolutionary algorithms.Shuaiqiang Wang, Byron J. Gao, Shuangling Wang, Guibao Cao, Yilong Yin
2012CIKMAdapting vector space model to ranking-based collaborative filtering.Shuaiqiang Wang, Jiankai Sun, Byron J. Gao, Jun Ma
2012CIKMImportance weighted passive learning.Shuaiqiang Wang, Xiaoming Xi, Yilong Yin
2011AAAICCRank: Parallel Learning to Rank with Cooperative Coevolution.Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady Wirawan Lauw
2011CIKMSummarizing web forum threads based on a latent topic propagation process.Zhaochun Ren, Jun Ma, Shuaiqiang Wang, Yang Liu
2011SIGIRParallel learning to rank for information retrieval.Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady Wirawan Lauw
2010CIKMDirectly optimizing evaluation measures in learning to rank based on the clonal selection algorithm.Qiang He, Jun Ma, Shuaiqiang Wang
2009CIKMLearning to rank using evolutionary computation: immune programming or genetic programming?Shuaiqiang Wang, Jun Ma, Jiming Liu
2007SNPDFormalization of Architecture-Centric Model Mapping Using Category Theory.Jinkui Hou, Jiancheng Wan, Shuaiqiang Wang
2007SNPDOR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving.Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou
2007SERAPostB: The Post-condition Extension onto the B-Method.Shuaiqiang Wang, Ying Li, Guodong Huang