Skip to content

Mingxuan Yuan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

116

Venues

33

Active years

2007–2026

Best venue rank

A*

Where they publish

Papers

116 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIEoH-S: Evolution of Heuristic Set Using LLMs for Automated Heuristic Design.Fei Liu, Yilu Liu, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2026ACLRIFT: Repurposing Negative Samples via Reward-Informed Fine-Tuning.Zehua Liu, Shuqi Liu, Tao Zhong, Mingxuan Yuan
2026ACLAnalytical FFN-to-MoE Restructuring via Activation Pattern Analysis.Zehua Pei, Hui-Ling Zhen, Lancheng Zou, Xianzhi Yu, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan, Bei Yu
2026ACLUnleashing Low-Bit Inference on Ascend NPUs: A Comprehensive Evaluation of HiFloat Formats.Pengxiang Zhao, Hui-Ling Zhen, Xing Li, Han Bao, Weizhe Lin, Zhiyuan Yang, Yu Zi Wei, Xin Wang, Mingxuan Yuan, Xianzhi Yu, Zhenhua Dong
2026DATETiming-driven Detailed Placement via TimingMask-guided Path-level Optimization.Ruo-Tong Chen, Chengrui Gao, Siyuan Xu, Ke Xue, Yunqi Shi, Xi Lin, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
2026DATEPPA-driven Placement via Adaptive Cluster Constraints Optimization.Ziyan Liu, Siyuan Xu, Jie Wang, Zijie Geng, Yeqiu Chen, Mingxuan Yuan, Jianye Hao, Feng Wu
2026DATEDynamic Algorithm Configuration for Global Placement.Chen Lu, Ke Xue, Ruo-Tong Chen, Yunqi Shi, Siyuan Xu, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
2026DATEReinforcement Learning for Hybrid Bonding Terminal Legalization in 3D ICs.Wanqi Ren, Chengrui Gao, Yunqi Shi, Mingzhou Fan, Siyuan Xu, Ke Xue, Chenjian Ding, Mingxuan Yuan, Chao Qian
2026ISCASSegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction.Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan
2026KDDDiLA: Enhancing LLM Tool Learning with Differential Logic Layer.Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu
2025ACLSens-Merging: Sensitivity-Guided Parameter Balancing for Merging Large Language Models.Shuqi Liu, Han Wu, Bowei He, Xiongwei Han, Mingxuan Yuan, Linqi Song
2025ASPDACPCBAgent: An Agent-based Framework for High-Density Printed Circuit Board Placement.Lin Chen, Ran Chen, Shoubo Hu, Xufeng Yao, Zhentao Tang, Shixiong Kai, Siyuan Xu, Mingxuan Yuan, Jianye Hao, Bei Yu, Jiang Xu
2025ASPDACMTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization.Faezeh Faez, Raika Karimi, Yingxue Zhang, Xing Li, Lei Chen, Mingxuan Yuan, Mahdi Biparva
2025DACSmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding.Chengxi Li, Yang Sun, Lei Chen, Yiwen Wang, Mingxuan Yuan, Evangeline F. Y. Young
2025DACLLMShare: Optimizing LLM Inference Serving with Hardware Architecture Exploration.Hongduo Liu, Chen Bai, Peng Xu, Lihao Yin, Xianzhi Yu, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2025DACReMaP: Macro Placement by Recursively Prototyping and Periphery-Guided Relocating.Yunqi Shi, Xi Lin, Siyuan Xu, Shixiong Kai, Ke Xue, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
2025DACLogic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2025DACEDGE: DBMS-Empowered Boolean Decomposition for GIG Synthesis.Ruofei Tang, Xuliang Zhu, Xinyi Zhang, Lei Chen, Xing Li, Mingxuan Yuan, Jianliang Xu
2025DACELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring.Dimitris Tsaras, Xing Li, Lei Chen, Zhiyao Xie, Mingxuan Yuan
2025DATETiming-Driven Global Placement by Efficient Critical Path Extraction.Yunqi Shi, Siyuan Xu, Shixiong Kai, Xi Lin, Ke Xue, Mingxuan Yuan, Chao Qian
2025DATEMaximum Fanout-Free Window Enumeration: Towards Multi-Output Sub-Structure Synthesis.Ruofei Tang, Xuliang Zhu, Lei Chen, Xing Li, Xin Huang, Mingxuan Yuan, Jianliang Xu
2025EMNLPLoRE-Merging: Exploring Low-Rank Estimation For Large Language Model Merging.Zehua Liu, Han Wu, Yuxuan Yao, Xiaojin Fu, Ruifeng She, Xiongwei Han, Tao Zhong, Mingxuan Yuan
2025EMOLarge Language Model for Multiobjective Evolutionary Optimization.Fei Liu, Xi Lin, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2025ICLRCircuit Transformer: A Transformer That Preserves Logical Equivalence.Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang
2025ICLRSpaceGNN: Multi-Space Graph Neural Network for Node Anomaly Detection with Extremely Limited Labels.Xiangyu Dong, Xingyi Zhang, Lei Chen, Mingxuan Yuan, Sibo Wang
2025ICLRA Graph Enhanced Symbolic Discovery Framework For Efficient Logic Optimization.Yinqi Bai, Jie Wang, Lei Chen, Zhihai Wang, Yufei Kuang, Mingxuan Yuan, Jianye Hao, Feng Wu
2025ICLRLaMPlace: Learning to Optimize Cross-Stage Metrics in Macro Placement.Zijie Geng, Jie Wang, Ziyan Liu, Siyuan Xu, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Feng Wu
2025ICLRCertifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks.Bowei He, Lihao Yin, Hui-Ling Zhen, Jianping Zhang, Lanqing Hong, Mingxuan Yuan, Chen Ma
2025ICLRBoosting Neural Combinatorial Optimization for Large-Scale Vehicle Routing Problems.Fu Luo, Xi Lin, Yaoxin Wu, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2025ICLRComputing Circuits Optimization via Model-Based Circuit Genetic Evolution.Zhihai Wang, Jie Wang, Xilin Xia, Dongsheng Zuo, Lei Chen, Yuzhe Ma, Jianye Hao, Mingxuan Yuan, Feng Wu
2025ICMLHyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking.Runquan Gui, Zhihai Wang, Jie Wang, Chi Ma, Huiling Zhen, Mingxuan Yuan, Jianye Hao, Defu Lian, Enhong Chen, Feng Wu
2025ICMLKVTuner: Sensitivity-Aware Layer-Wise Mixed-Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference.Xing Li, Zeyu Xing, Yiming Li, Linping Qu, Hui-Ling Zhen, Yiwu Yao, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan
2025ICMLAccelerating Large Language Model Reasoning via Speculative Search.Zhihai Wang, Jie Wang, Jilai Pan, Xilin Xia, Huiling Zhen, Mingxuan Yuan, Jianye Hao, Feng Wu
2025IJCAIThe Graph's Apprentice: Teaching an LLM Low-Level Knowledge for Circuit Quality Estimation.Reza Moravej, Saurabh Bodhe, Zhanguang Zhang, Didier Chtelat, Dimitrios Tsaras, Yingxue Zhang, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan
2025IJCAIA Survey of Optimization Modeling Meets LLMs: Progress and Future Directions.Ziyang Xiao, Jingrong Xie, Lilin Xu, Shisi Guan, Jingyan Zhu, Xiongwei Han, Xiaojin Fu, WingYin Yu, Han Wu, Wei Shi, Qingcan Kang, Jiahui Duan, Tao Zhong, Mingxuan Yuan, Jia Zeng, Yuan Wang, Gang Chen, Dongxiang Zhang
2025WWWSmoothGNN: Smoothing-aware GNN for Unsupervised Node Anomaly Detection.Xiangyu Dong, Xingyi Zhang, Yanni Sun, Lei Chen, Mingxuan Yuan, Sibo Wang
2024AAAIPreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling.Ruizhe Zhong, Junjie Ye, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Junchi Yan
2024ASPDACFineMap: A Fine-grained GPU-parallel LUT Mapping Engine.Tianji Liu, Lei Chen, Xing Li, Mingxuan Yuan, Evangeline F. Y. Young
2024DACNeuroSelect: Learning to Select Clauses in SAT Solvers.Hongduo Liu, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2024DATEParallel Grbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification.Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2024ICCADDiffSAT: Differential MaxSAT Layer for SAT Solving.Yu Zhang, Hui-Ling Zhen, Mingxuan Yuan, Bei Yu
2024ICCADJigsawPlanner: Jigsaw-like Floorplanner for Eliminating Whitespace and Overlap among Complex Rectilinear Modules.Xingbo Du, Ruizhe Zhong, Shixiong Kai, Zhentao Tang, Siyuan Xu, Jianye Hao, Mingxuan Yuan, Junchi Yan
2024ICCADRTLRewriter: Methodologies for Large Models aided RTL Code Optimization.Xufeng Yao, Yiwen Wang, Xing Li, Yingzhao Lian, Ran Chen, Lei Chen, Mingxuan Yuan, Hong Xu, Bei Yu
2024ICDEJoint Directory, File and IO Trace Feature Extraction and Feature-based Trace Regeneration for Enterprise Storage Systems.Kecheng Huang, Xijun Li, Mingxuan Yuan, Ji Zhang, Zili Shao
2024ICMLEvolution of Heuristics: Towards Efficient Automatic Algorithm Design Using Large Language Model.Fei Liu, Xialiang Tong, Mingxuan Yuan, Xi Lin, Fu Luo, Zhenkun Wang, Zhichao Lu, Qingfu Zhang
2024ICMLReinforcement Learning within Tree Search for Fast Macro Placement.Zijie Geng, Jie Wang, Ziyan Liu, Siyuan Xu, Zhentao Tang, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu
2024ICMLBetterV: Controlled Verilog Generation with Discriminative Guidance.Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu
2024ICMLA Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design.Zhihai Wang, Lei Chen, Jie Wang, Yinqi Bai, Xing Li, Xijun Li, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu
2024ICMLA Hierarchical Adaptive Multi-Task Reinforcement Learning Framework for Multiplier Circuit Design.Zhihai Wang, Jie Wang, Dongsheng Zuo, Yunjie Ji, Xilin Xia, Yuzhe Ma, Jianye Hao, Mingxuan Yuan, Yongdong Zhang, Feng Wu
2024ICMLDPN: Decoupling Partition and Navigation for Neural Solvers of Min-max Vehicle Routing Problems.Zhi Zheng, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Ke Tang
2024IJCAIPrompt Learning for Generalized Vehicle Routing.Fei Liu, Xi Lin, Weiduo Liao, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2024KDDMulti-Task Learning for Routing Problem with Cross-Problem Zero-Shot Generalization.Fei Liu, Xi Lin, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2024KDDGraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.Zhanguang Zhang, Didier Chtelat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
2023DACLightweight Structural Choices Operator for Technology Mapping.Antoine Grosnit, Matthieu Zimmer, Rasul Tutunov, Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Haitham Bou-Ammar
2023DACLayout Decomposition via Boolean Satisfiability.Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2023DACA Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting.Xuliang Zhu, Ruofei Tang, Lei Chen, Xing Li, Xin Huang, Mingxuan Yuan, Weihua Sheng, Jianliang Xu
2023ICCADEffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning.Xing Li, Lei Chen, Jiantang Zhang, Shuang Wen, Weihua Sheng, Yu Huang, Mingxuan Yuan
2023ICCADSATformer: Transformer-Based UNSAT Core Learning.Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2023ICCADDeepGate2: Functionality-Aware Circuit Representation Learning.Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023ICCADEasyMap: Improving Technology Mapping via Exploration-Enhanced Heuristics and Adaptive Sequencing.Peiyu Wang, Anqi Lu, Xing Li, Junjie Ye, Lei Chen, Mingxuan Yuan, Jianye Hao, Junchi Yan
2023ICCADEasySO: Exploration-enhanced Reinforcement Learning for Logic Synthesis Sequence Optimization and a Comprehensive RL Environment.Jianyong Yuan, Peiyu Wang, Junjie Ye, Mingxuan Yuan, Jianye Hao, Junchi Yan
2023ICCADIT-DSE: Invariance Risk Minimized Transfer Microarchitecture Design Space Exploration.Ziyang Yu, Chen Bai, Shoubo Hu, Ran Chen, Taohai He, Mingxuan Yuan, Bei Yu, Martin D. F. Wong
2023ICLRROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs.Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Xijun Li, Mingxuan Yuan, Jia Zeng, Xiaokang Yang, Junchi Yan
2023ICLRLearning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model.Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu
2023IJCNNSGDP: A Stream-Graph Neural Network Based Data Prefetcher.Yiyuan Yang, Rongshang Li, Qiquan Shi, Xijun Li, Gang Hu, Xing Li, Mingxuan Yuan
2023KDDHardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
2022ASPDACAccelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics.Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao
2022DACHIMap: a heuristic and iterative logic synthesis approach.Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Hongli Yan, Yupeng Wan
2022DACL-QoCo: learning to optimize cache capacity overloading in storage systems.Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li
2022ICCADBatch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis.Chang Feng, Wenlong Lyu, Zhitang Chen, Junjie Ye, Mingxuan Yuan, Jianye Hao
2022ITCNeural Fault Analysis for SAT-based ATPG.Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang
2022MDMLearning to Optimize DAG Scheduling in Heterogeneous Environment.Yunfan Zhou, Xijun Li, Jinhong Luo, Mingxuan Yuan, Jia Zeng, Jianguo Yao
2021CIKMGrassland: A Rapid Algebraic Modeling System for Million-variable Optimization.Xihan Li, Xiongwei Han, Zhishuo Zhou, Mingxuan Yuan, Jia Zeng, Jun Wang
2021CIKMBlock Access Pattern Discovery via Compressed Full Tensor Transformer.Xing Li, Qiquan Shi, Gang Hu, Lei Chen, Hui Mao, Yiyuan Yang, Mingxuan Yuan, Jia Zeng, Zhuo Cheng
2021CIKMLearning to Pack: A Data-Driven Tree Search Algorithm for Large-Scale 3D Bin Packing Problem.Qianwen Zhu, Xihan Li, Zihan Zhang, Zhixing Luo, Xialiang Tong, Mingxuan Yuan, Jia Zeng
2021ICDELearning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems.Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu L, Jia Zeng
2021KDDA Multi-Graph Attributed Reinforcement Learning based Optimization Algorithm for Large-scale Hybrid Flow Shop Scheduling Problem.Fei Ni, Jianye Hao, Jiawen Lu, Xialiang Tong, Mingxuan Yuan, Jiahui Duan, Yi Ma, Kun He
2021SIGMODLearning-Aided Heuristics Design for Storage System.Yingtian Tang, Han Lu, Xijun Li, Lei Chen, Mingxuan Yuan, Jia Zeng
2020AAAIBlock Hankel Tensor ARIMA for Multiple Short Time Series Forecasting.Qiquan Shi, Jiaming Yin, Jiajun Cai, Andrzej Cichocki, Tatsuya Yokota, Lei Chen, Mingxuan Yuan, Jia Zeng
2020CHIDFSeer: A Visual Analytics Approach to Facilitate Model Selection for Demand Forecasting.Dong Sun, Zezheng Feng, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu
2019CIKMExperimental Study of Multivariate Time Series Forecasting Models.Jiaming Yin, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Kai Zhao, Chenxi Zhang, Jiangfeng Li, Qinpei Zhao
2019CIKMPRNet: Outdoor Position Recovery for Heterogenous Telco Data by Deep Neural Network.Yige Zhang, Weixiong Rao, Kun Zhang, Mingxuan Yuan, Jia Zeng
2019KDDA Data-Driven Approach for Multi-level Packing Problems in Manufacturing Industry.Lei Chen, Xialiang Tong, Mingxuan Yuan, Jia Zeng, Lei Chen
2018AlgosensorsBSLoc: Base Station ID-Based Telco Outdoor Localization.Jinhua Lv, Qinpei Zhao, Jiangfeng Li, Yige Zhang, Xiaolei Di, Weixiong Rao, Mingxuan Yuan, Jia Zeng
2018CIKMA Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching.Xijun Li, Jianguo Yao, Mingxuan Yuan, Jia Zeng
2018DASFAAQualitative Instead of Quantitative: Towards Practical Data Analysis Under Differential Privacy.Xuanyu Bai, Jianguo Yao, Mingxuan Yuan, Jia Zeng, Haibing Guan
2018KDDA Data-Driven Three-Layer Algorithm for Split Delivery Vehicle Routing Problem with 3D Container Loading Constraint.Xijun Li, Mingxuan Yuan, Di Chen, Jianguo Yao, Jia Zeng
2018MDMFrequent Pattern-Based Map-Matching on Low Sampling Rate Trajectories.Yukun Huang, Weixiong Rao, Zhiqiang Zhang, Peng Zhao, Mingxuan Yuan, Jia Zeng
2018PERCOMContext Aware Telco Churn Prediction Powered By Temporal Feature Engineering.Ruirui Bai, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Jianfeng Yan
2017ADCSearching k-Nearest Neighbor Trajectories on Road Networks.Pengcheng Yuan, Qinpei Zhao, Weixiong Rao, Mingxuan Yuan, Jia Zeng
2017APWEBCorrection of Telecom Localization Errors by Context Knowledge.Minmin Zhu, Buyang Cao, Mingxuan Yuan, Jia Zeng
2017INFOCOMDemo abstract: Telco localization techniques.Peng Zhao, Chenxi Zhang, Yukun Huang, Weixiong Rao, Fangzhou Zhu, Ning Liu, Jie Geng, Mingxuan Yuan, Jia Zeng
2017MDMExperimental Study of Telco Localization Methods.Yukun Huang, Weixiong Rao, Fangzhou Zhu, Ning Liu, Mingxuan Yuan, Jia Zeng, Hua Yang
2017MDMConfidence Model-Based Data Repair for Telco Localization.Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Hua Yang
2017MDMTopic Model-Based Road Network Inference from Massive Trajectories.Renjie Zheng, Qin Liu, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Zhongxiao Jin
2017SIGIRMining Business Opportunities from Location-based Social Networks.Shenglin Zhao, Irwin King, Michael R. Lyu, Jia Zeng, Mingxuan Yuan
2016CIKMLDA Revisited: Entropy, Prior and Convergence.Jianwei Zhang, Jia Zeng, Mingxuan Yuan, Weixiong Rao, Jianfeng Yan
2016CIKMCity-Scale Localization with Telco Big Data.Fangzhou Zhu, Chen Luo, Mingxuan Yuan, Yijian Zhu, Zhengqing Zhang, Tao Gu, Ke Deng, Weixiong Rao, Jia Zeng
2016ICDEEnabling scalable geographic service sharing with weighted imprecise Voronoi cells.Xike Xie, Peiquan Jin, Man Lung Yiu, Jiang Du, Christian S. Jensen, Mingxuan Yuan
2016INFOCOMApps on the move: A fine-grained analysis of usage behavior of mobile apps.Lin Yang, Mingxuan Yuan, Wei Wang, Qian Zhang, Jia Zeng
2016SACToward accurate energy-efficient cellular network: switching off excessive carriers based on traffic profiling.Bin Cao, Jing Fan, Mingxuan Yuan, Yanhua Li
2015CIKMSampling Big Trajectory Data.Yanhua Li, Chi-Yin Chow, Ke Deng, Mingxuan Yuan, Jia Zeng, Jia-Dong Zhang, Qiang Yang, Zhi-Li Zhang
2015ICDMDissecting Regional Weather-Traffic Sensitivity Throughout a City.Ye Ding, Yanhua Li, Ke Deng, Haoyu Tan, Mingxuan Yuan, Lionel M. Ni
2015SIGMODTelco Churn Prediction with Big Data.Yiqing Huang, Fangzhou Zhu, Mingxuan Yuan, Ke Deng, Yanhua Li, Bing Ni, Wenyuan Dai, Qiang Yang, Jia Zeng
2014COMPSACPreserving Location-Related Privacy Collaboratively in Geo-social Networks.Lin Zhang, Mingxuan Yuan, Yao Guo, Xiangqun Chen, Lei Chen
2014SIGMODOceanRT: real-time analytics over large temporal data.Shiming Zhang, Yin Yang, Wei Fan, Liang Lan, Mingxuan Yuan
2013APWEBPrivacy Preserving Graph Publication in a Distributed Environment.Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei
2013DASFAASubscription Privacy Protection in Topic-Based Pub/Sub.Weixiong Rao, Lei Chen, Mingxuan Yuan, Sasu Tarkoma, Hong Mei
2012DASFAASemi-Edge Anonymity: Graph Publication when the Protection Algorithm Is Available.Mingxuan Yuan, Lei Chen
2012ICDMA General Framework for Publishing Privacy Protected and Utility Preserved Graph.Mingxuan Yuan, Lei Chen, Weixiong Rao, Hong Mei
2011DASFAANode Protection in Weighted Social Networks.Mingxuan Yuan, Lei Chen
2008RTSSEfficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization.Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu
2008RTASHardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.Mingxuan Yuan, Xiuqiang He, Zonghua Gu
2007DACOptimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.Zonghua Gu, Xiuqiang He, Mingxuan Yuan
2007RTSSStatic Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu
2007RTASOptimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.Zonghua Gu, Mingxuan Yuan, Xiuqiang He