default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMingxuan Yuan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Jie Wang
, Zhihai Wang, Xijun Li, Yufei Kuang, Zhihao Shi, Fangzhou Zhu, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu:
Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming. IEEE Trans. Pattern Anal. Mach. Intell. 46(12): 9697-9713 (2024)- [c86]Ruizhe Zhong, Junjie Ye, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Junchi Yan:
PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling. AAAI 2024: 17087-17095 - [c85]Tianji Liu, Lei Chen, Xing Li, Mingxuan Yuan, Evangeline F. Y. Young:
FineMap: A Fine-grained GPU-parallel LUT Mapping Engine. ASPDAC 2024: 392-397 - [c84]Hongduo Liu, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu:
NeuroSelect: Learning to Select Clauses in SAT Solvers. DAC 2024: 131:1-131:6 - [c83]Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu:
Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. DATE 2024: 1-6 - [c82]Kecheng Huang, Xijun Li, Mingxuan Yuan, Ji Zhang, Zili Shao:
Joint Directory, File and IO Trace Feature Extraction and Feature-based Trace Regeneration for Enterprise Storage Systems. ICDE 2024: 4002-4015 - [c81]Fei Liu, Xialiang Tong, Mingxuan Yuan, Xi Lin, Fu Luo, Zhenkun Wang, Zhichao Lu, Qingfu Zhang:
Evolution of Heuristics: Towards Efficient Automatic Algorithm Design Using Large Language Model. ICML 2024 - [c80]Zijie Geng, Jie Wang, Ziyan Liu, Siyuan Xu, Zhentao Tang, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu:
Reinforcement Learning within Tree Search for Fast Macro Placement. ICML 2024 - [c79]Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu:
BetterV: Controlled Verilog Generation with Discriminative Guidance. ICML 2024 - [c78]Zhihai Wang, Lei Chen, Jie Wang, Yinqi Bai, Xing Li, Xijun Li, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu:
A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design. ICML 2024 - [c77]Zhihai Wang, Jie Wang, Dongsheng Zuo, Yunjie Ji, Xilin Xia, Yuzhe Ma, Jianye Hao, Mingxuan Yuan, Yongdong Zhang, Feng Wu:
A Hierarchical Adaptive Multi-Task Reinforcement Learning Framework for Multiplier Circuit Design. ICML 2024 - [c76]Zhi Zheng, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Ke Tang:
DPN: Decoupling Partition and Navigation for Neural Solvers of Min-max Vehicle Routing Problems. ICML 2024 - [c75]Fei Liu, Xi Lin, Weiduo Liao, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan:
Prompt Learning for Generalized Vehicle Routing. IJCAI 2024: 6976-6984 - [c74]Fei Liu, Xi Lin, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan:
Multi-Task Learning for Routing Problem with Cross-Problem Zero-Shot Generalization. KDD 2024: 1898-1908 - [c73]Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan:
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. KDD 2024: 6301-6311 - [i57]Fei Liu, Xialiang Tong, Mingxuan Yuan, Xi Lin, Fu Luo, Zhenkun Wang, Zhichao Lu, Qingfu Zhang:
An Example of Evolutionary Computation + Large Language Model Beating Human: Design of Efficient Guided Local Search. CoRR abs/2401.02051 (2024) - [i56]Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao:
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. CoRR abs/2401.05960 (2024) - [i55]Ruizhe Zhong, Xingbo Du, Shixiong Kai, Zhentao Tang, Siyuan Xu, Hui-Ling Zhen, Jianye Hao, Qiang Xu, Mingxuan Yuan, Junchi Yan:
LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation. CoRR abs/2401.12224 (2024) - [i54]Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu:
BetterV: Controlled Verilog Generation with Discriminative Guidance. CoRR abs/2402.03375 (2024) - [i53]Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu:
SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning. CoRR abs/2402.11903 (2024) - [i52]Fei Liu, Xi Lin, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan:
Multi-Task Learning for Routing Problem with Cross-Problem Zero-Shot Generalization. CoRR abs/2402.16891 (2024) - [i51]Ruizhe Zhong, Junjie Ye, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Junchi Yan:
PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling. CoRR abs/2403.00012 (2024) - [i50]Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Hui-Ling Zhen, Guangji Tian, Mingxuan Yuan:
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. CoRR abs/2403.03517 (2024) - [i49]Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou:
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. CoRR abs/2403.07257 (2024) - [i48]Xufeng Yao, Haoyang Li, Tsz Ho Chan, Wenyi Xiao, Mingxuan Yuan, Yu Huang, Lei Chen, Bei Yu:
HDLdebugger: Streamlining HDL debugging with Large Language Models. CoRR abs/2403.11671 (2024) - [i47]Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang:
Circuit Transformer: End-to-end Circuit Design by Predicting the Next Gate. CoRR abs/2403.13838 (2024) - [i46]Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu:
EDA-Driven Preprocessing for SAT Solving. CoRR abs/2403.19446 (2024) - [i45]Fu Luo, Xi Lin, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang:
Self-Improved Learning for Scalable Neural Combinatorial Optimization. CoRR abs/2403.19561 (2024) - [i44]Jie Wang, Zhihai Wang, Xijun Li, Yufei Kuang, Zhihao Shi, Fangzhou Zhu, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu:
Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming. CoRR abs/2404.12638 (2024) - [i43]Changliang Zhou, Xi Lin, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang:
Instance-Conditioned Adaptation for Large-scale Generalization of Neural Combinatorial Optimization. CoRR abs/2405.01906 (2024) - [i42]Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan:
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. CoRR abs/2405.11024 (2024) - [i41]Fei Liu, Xi Lin, Weiduo Liao, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan:
Prompt Learning for Generalized Vehicle Routing. CoRR abs/2405.12262 (2024) - [i40]Zhi Zheng, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Ke Tang:
DPN: Decoupling Partition and Navigation for Neural Solvers of Min-max Vehicle Routing Problems. CoRR abs/2405.17272 (2024) - [i39]Xiangyu Dong, Xingyi Zhang, Yanni Sun, Lei Chen, Mingxuan Yuan, Sibo Wang:
SmoothGNN: Smoothing-based GNN for Unsupervised Node Anomaly Detection. CoRR abs/2405.17525 (2024) - [i38]Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang:
Logic Synthesis with Generative Deep Neural Networks. CoRR abs/2406.04699 (2024) - [i37]Zhi Zheng, Changliang Zhou, Xialiang Tong, Mingxuan Yuan, Zhenkun Wang:
UDC: A Unified Neural Divide-and-Conquer Framework for Large-Scale Combinatorial Optimization Problems. CoRR abs/2407.00312 (2024) - [i36]Zhihai Wang, Zijie Geng, Zhaojie Tu, Jie Wang, Yuxi Qian, Zhexuan Xu, Ziyan Liu, Siyuan Xu, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Bin Li, Yongdong Zhang, Feng Wu:
Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms. CoRR abs/2407.15026 (2024) - [i35]Dimitrios Tsaras, Antoine Grosnit, Lei Chen, Zhiyao Xie, Haitham Bou-Ammar, Mingxuan Yuan:
ShortCircuit: AlphaZero-Driven Circuit Design. CoRR abs/2408.09858 (2024) - [i34]Faezeh Faez, Raika Karimi, Yingxue Zhang, Xing Li, Lei Chen, Mingxuan Yuan, Mahdi Biparva:
MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization. CoRR abs/2409.06077 (2024) - [i33]Raika Karimi, Faezeh Faez, Yingxue Zhang, Xing Li, Lei Chen, Mingxuan Yuan, Mahdi Biparva:
Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers. CoRR abs/2409.10653 (2024) - [i32]Xufeng Yao, Yiwen Wang, Xing Li, Yingzhao Lian, Ran Chen, Lei Chen, Mingxuan Yuan, Hong Xu, Bei Yu:
RTLRewriter: Methodologies for Large Models aided RTL Code Optimization. CoRR abs/2409.11414 (2024) - [i31]Fei Liu, Yiming Yao, Ping Guo, Zhiyuan Yang, Zhe Zhao, Xi Lin, Xialiang Tong, Mingxuan Yuan, Zhichao Lu, Zhenkun Wang, Qingfu Zhang:
A Systematic Survey on Large Language Models for Algorithm Design. CoRR abs/2410.14716 (2024) - [i30]Xinyi Zhou, Xing Li, Yingzhao Lian, Yiwen Wang, Lei Chen, Mingxuan Yuan, Jianye Hao, Guangyong Chen, Pheng-Ann Heng:
SeaDAG: Semi-autoregressive Diffusion for Conditional Directed Acyclic Graph Generation. CoRR abs/2410.16119 (2024) - [i29]Reza Moravej, Saurabh Bodhe, Zhanguang Zhang, Didier Chételat, Dimitrios Tsaras, Yingxue Zhang, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan:
The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation. CoRR abs/2411.00843 (2024) - 2023
- [j30]Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan:
Machine Learning Methods in Solving the Boolean Satisfiability Problem. Mach. Intell. Res. 20(5): 640-655 (2023) - [j29]Jiayi Zhang, Chang Liu, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan, Yawen Li, Junchi Yan:
A survey for solving mixed integer programming via machine learning. Neurocomputing 519: 205-217 (2023) - [j28]Yiming Li, Yanyan Shen, Lei Chen, Mingxuan Yuan:
Orca: Scalable Temporal Graph Neural Network Training with Theoretical Guarantees. Proc. ACM Manag. Data 1(1): 52:1-52:27 (2023) - [j27]Yiming Li, Yanyan Shen, Lei Chen, Mingxuan Yuan:
Zebra: When Temporal Graph Neural Networks Meet Temporal Personalized PageRank. Proc. VLDB Endow. 16(6): 1332-1345 (2023) - [c72]Antoine Grosnit, Matthieu Zimmer, Rasul Tutunov, Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Haitham Bou-Ammar:
Lightweight Structural Choices Operator for Technology Mapping. DAC 2023: 1-6 - [c71]Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu:
Layout Decomposition via Boolean Satisfiability. DAC 2023: 1-6 - [c70]Xuliang Zhu, Ruofei Tang, Lei Chen, Xing Li, Xin Huang, Mingxuan Yuan, Weihua Sheng, Jianliang Xu:
A Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting. DAC 2023: 1-6 - [c69]Xing Li, Lei Chen, Jiantang Zhang, Shuang Wen, Weihua Sheng, Yu Huang, Mingxuan Yuan:
EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning. ICCAD 2023: 1-9 - [c68]Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu:
SATformer: Transformer-Based UNSAT Core Learning. ICCAD 2023: 1-4 - [c67]Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu:
DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD 2023: 1-9 - [c66]Peiyu Wang, Anqi Lu, Xing Li, Junjie Ye, Lei Chen, Mingxuan Yuan, Jianye Hao, Junchi Yan:
EasyMap: Improving Technology Mapping via Exploration-Enhanced Heuristics and Adaptive Sequencing. ICCAD 2023: 1-9 - [c65]Ziyang Yu, Chen Bai, Shoubo Hu, Ran Chen, Taohai He, Mingxuan Yuan, Bei Yu, Martin D. F. Wong:
IT-DSE: Invariance Risk Minimized Transfer Microarchitecture Design Space Exploration. ICCAD 2023: 1-9 - [c64]Jianyong Yuan, Peiyu Wang, Junjie Ye, Mingxuan Yuan, Jianye Hao, Junchi Yan:
EasySO: Exploration-enhanced Reinforcement Learning for Logic Synthesis Sequence Optimization and a Comprehensive RL Environment. ICCAD 2023: 1-9 - [c63]Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Xijun Li, Mingxuan Yuan, Jia Zeng, Xiaokang Yang, Junchi Yan:
ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs. ICLR 2023 - [c62]Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu:
Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. ICLR 2023 - [c61]Yiyuan Yang, Rongshang Li, Qiquan Shi, Xijun Li, Gang Hu, Xing Li, Mingxuan Yuan:
SGDP: A Stream-Graph Neural Network Based Data Prefetcher. IJCNN 2023: 1-8 - [c60]Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan:
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. KDD 2023: 4414-4425 - [i28]Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu:
Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. CoRR abs/2302.00244 (2023) - [i27]Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang:
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG. CoRR abs/2303.02290 (2023) - [i26]Fei Liu, Chengyu Lu, Lin Gui, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan:
Heuristics for Vehicle Routing Problem: A Survey and Recent Advances. CoRR abs/2303.04147 (2023) - [i25]Yiyuan Yang, Rongshang Li, Qiquan Shi, Xijun Li, Gang Hu, Xing Li, Mingxuan Yuan:
SGDP: A Stream-Graph Neural Network Based Data Prefetcher. CoRR abs/2304.03864 (2023) - [i24]Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu:
DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR abs/2305.16373 (2023) - [i23]Zhihai Wang, Lei Chen, Jie Wang, Xing Li, Yinqi Bai, Xijun Li, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu:
A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design. CoRR abs/2309.03208 (2023) - [i22]Fei Liu, Xi Lin, Zhenkun Wang, Shunyu Yao, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang:
Large Language Model for Multi-objective Evolutionary Optimization. CoRR abs/2310.12541 (2023) - [i21]Fei Liu, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang:
Algorithm Evolution Using Large Language Model. CoRR abs/2311.15249 (2023) - 2022
- [j26]Longkang Li, Xiaojin Fu, Hui-Ling Zhen, Mingxuan Yuan, Jun Wang, Jiawen Lu, Xialiang Tong, Jia Zeng, Dirk Schnieders:
Bilevel learning for large-scale flexible flow shop scheduling. Comput. Ind. Eng. 168: 108140 (2022) - [j25]Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Learning to select cuts for efficient mixed-integer programming. Pattern Recognit. 123: 108353 (2022) - [j24]Zhenkun Wang, Hui-Ling Zhen, Jingda Deng, Qingfu Zhang, Xijun Li, Mingxuan Yuan, Jia Zeng:
Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning. IEEE Trans. Cybern. 52(8): 8326-8339 (2022) - [j23]Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Pan Hui:
Context-Aware Telco Outdoor Localization. IEEE Trans. Mob. Comput. 21(4): 1211-1225 (2022) - [c59]Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao:
Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. ASP-DAC 2022: 365-370 - [c58]Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li:
L-QoCo: learning to optimize cache capacity overloading in storage systems. DAC 2022: 379-384 - [c57]Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Hongli Yan, Yupeng Wan:
HIMap: a heuristic and iterative logic synthesis approach. DAC 2022: 415-420 - [c56]Chang Feng, Wenlong Lyu, Zhitang Chen, Junjie Ye, Mingxuan Yuan, Jianye Hao:
Batch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis. ICCAD 2022: 56:1-56:9 - [c55]Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang:
Neural Fault Analysis for SAT-based ATPG. ITC 2022: 36-45 - [c54]Yunfan Zhou, Xijun Li, Jinhong Luo, Mingxuan Yuan, Jia Zeng, Jianguo Yao:
Learning to Optimize DAG Scheduling in Heterogeneous Environment. MDM 2022: 137-146 - [c53]Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning. ECML/PKDD (5) 2022: 377-392 - [i20]Qingyu Qu, Xijun Li, Yunfan Zhou, Jia Zeng, Mingxuan Yuan, Jie Wang, Jinhu Lv, Kexin Liu, Kun Mao:
An Improved Reinforcement Learning Algorithm for Learning to Branch. CoRR abs/2201.06213 (2022) - [i19]Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng, Mingxuan Yuan, Kun Mao, Jie Wang:
Learning to Reformulate for Linear Programming. CoRR abs/2201.06216 (2022) - [i18]Jianye Hao, Jiawen Lu, Xijun Li, Xialiang Tong, Xiang Xiang, Mingxuan Yuan, Hankz Hankui Zhuo:
Introduction to The Dynamic Pickup and Delivery Problem Benchmark - ICAPS 2021 Competition. CoRR abs/2202.01256 (2022) - [i17]Jiahui Duan, Xialiang Tong, Fei Ni, Zhenan He, Lei Chen, Mingxuan Yuan:
A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry. CoRR abs/2202.12466 (2022) - [i16]Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan:
A Survey for Solving Mixed Integer Programming via Machine Learning. CoRR abs/2203.02878 (2022) - [i15]Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin:
Machine Learning Methods in Solving the Boolean Satisfiability Problem. CoRR abs/2203.04755 (2022) - [i14]Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li:
LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems. CoRR abs/2203.13678 (2022) - [i13]Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning. CoRR abs/2207.13701 (2022) - [i12]Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu:
SATformer: Transformers for SAT Solving. CoRR abs/2209.00953 (2022) - 2021
- [j22]Fangzhou Zhu, Mingxuan Yuan, Xike Xie, Ting Wang, Shenglin Zhao, Weixiong Rao, Jia Zeng:
A Data-Driven Sequential Localization Framework for Big Telco Data. IEEE Trans. Knowl. Data Eng. 33(8): 3007-3019 (2021) - [j21]Yige Zhang, Aaron Yi Ding, Jörg Ott, Mingxuan Yuan, Jia Zeng, Kun Zhang, Weixiong Rao:
Transfer Learning-Based Outdoor Position Recovery With Cellular Data. IEEE Trans. Mob. Comput. 20(5): 2094-2110 (2021) - [c52]Xing Li, Qiquan Shi, Gang Hu, Lei Chen, Hui Mao, Yiyuan Yang, Mingxuan Yuan, Jia Zeng, Zhuo Cheng:
Block Access Pattern Discovery via Compressed Full Tensor Transformer. CIKM 2021: 957-966 - [c51]Xihan Li, Xiongwei Han, Zhishuo Zhou, Mingxuan Yuan, Jia Zeng, Jun Wang:
Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization. CIKM 2021: 3925-3934 - [c50]Qianwen Zhu, Xihan Li, Zihan Zhang, Zhixing Luo, Xialiang Tong, Mingxuan Yuan, Jia Zeng:
Learning to Pack: A Data-Driven Tree Search Algorithm for Large-Scale 3D Bin Packing Problem. CIKM 2021: 4393-4402 - [c49]Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng:
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. ICDE 2021: 2511-2522 - [c48]Fei Ni, Jianye Hao, Jiawen Lu, Xialiang Tong, Mingxuan Yuan, Jiahui Duan, Yi Ma, Kun He:
A Multi-Graph Attributed Reinforcement Learning based Optimization Algorithm for Large-scale Hybrid Flow Shop Scheduling Problem. KDD 2021: 3441-3451 - [c47]Yi Ma, Xiaotian Hao, Jianye Hao, Jiawen Lu, Xing Liu, Xialiang Tong, Mingxuan Yuan, Zhigang Li, Jie Tang, Zhaopeng Meng:
A Hierarchical Reinforcement Learning Based Optimization Framework for Large-scale Dynamic Pickup and Delivery Problems. NeurIPS 2021: 23609-23620 - [c46]Yingtian Tang, Han Lu, Xijun Li, Lei Chen, Mingxuan Yuan, Jia Zeng:
Learning-Aided Heuristics Design for Storage System. SIGMOD Conference 2021: 2597-2601 - [i11]Jinhong Luo, Xijun Li, Mingxuan Yuan, Jianguo Yao, Jia Zeng:
Learning to Optimize DAG Scheduling in Heterogeneous Environment. CoRR abs/2103.06980 (2021) - [i10]Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lu, Jia Zeng:
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. CoRR abs/2105.12899 (2021) - [i9]Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang:
Learning to Select Cuts for Efficient Mixed-Integer Programming. CoRR abs/2105.13645 (2021) - [i8]Yingtian Tang, Han Lu, Xijun Li, Lei Chen, Mingxuan Yuan, Jia Zeng:
Learning-Aided Heuristics Design for Storage System. CoRR abs/2106.07288 (2021) - [i7]Xihan Li, Xiongwei Han, Zhishuo Zhou, Mingxuan Yuan, Jia Zeng, Jun Wang:
Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization. CoRR abs/2108.04586 (2021) - [i6]Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Pan Hui:
Context-aware Telco Outdoor Localization. CoRR abs/2108.10651 (2021) - 2020
- [j20]Dong Sun, Renfei Huang, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu:
PlanningVis: A Visual Analytics Approach to Production Planning in Smart Factories. IEEE Trans. Vis. Comput. Graph. 26(1): 579-589 (2020) - [c45]Qiquan Shi, Jiaming Yin, Jiajun Cai, Andrzej Cichocki, Tatsuya Yokota, Lei Chen, Mingxuan Yuan, Jia Zeng:
Block Hankel Tensor ARIMA for Multiple Short Time Series Forecasting. AAAI 2020: 5758-5766 - [c44]Dong Sun, Zezheng Feng, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu:
DFSeer: A Visual Analytics Approach to Facilitate Model Selection for Demand Forecasting. CHI 2020: 1-13 - [i5]Qiquan Shi, Jiaming Yin, Jiajun Cai, Andrzej Cichocki, Tatsuya Yokota, Lei Chen, Mingxuan Yuan, Jia Zeng:
Block Hankel Tensor ARIMA for Multiple Short Time Series Forecasting. CoRR abs/2002.12135 (2020) - [i4]Dong Sun, Zezheng Feng, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu:
DFSeer: A Visual Analytics Approach to Facilitate Model Selection for Demand Forecasting. CoRR abs/2005.03244 (2020) - [i3]Longkang Li, Hui-Ling Zhen, Mingxuan Yuan, Jiawen Lu, Xialiang Tong, Jia Zeng, Jun Wang, Dirk Schnieders:
Bilevel Learning Model Towards Industrial Scheduling. CoRR abs/2008.04130 (2020)
2010 – 2019
- 2019
- [j19]Ke Deng, Yanhua Li, Jia Zeng, Mingxuan Yuan, Jun Luo, Jeffrey Xu Yu:
User Preference Analysis for Most Frequent Peer/Dominator. IEEE Trans. Knowl. Data Eng. 31(7): 1412-1425 (2019) - [c43]Yige Zhang, Weixiong Rao, Kun Zhang, Mingxuan Yuan, Jia Zeng:
PRNet: Outdoor Position Recovery for Heterogenous Telco Data by Deep Neural Network. CIKM 2019: 1933-1942 - [c42]Jiaming Yin, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Kai Zhao, Chenxi Zhang, Jiangfeng Li, Qinpei Zhao:
Experimental Study of Multivariate Time Series Forecasting Models. CIKM 2019: 2833-2839 - [c41]Lei Chen, Xialiang Tong, Mingxuan Yuan, Jia Zeng, Lei Chen:
A Data-Driven Approach for Multi-level Packing Problems in Manufacturing Industry. KDD 2019: 1762-1770 - [i2]Dong Sun, Renfei Huang, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu:
PlanningVis: A Visual Analytics Approach to Production Planning in Smart Factories. CoRR abs/1907.12201 (2019) - [i1]Yige Zhang, Aaron Yi Ding, Jörg Ott, Mingxuan Yuan, Jia Zeng, Kun Zhang, Weixiong Rao:
Transfer Learning-Based Outdoor Position Recovery with Telco Data. CoRR abs/1912.04521 (2019) - 2018
- [c40]Jinhua Lv, Qinpei Zhao, Jiangfeng Li, Yige Zhang, Xiaolei Di, Weixiong Rao, Mingxuan Yuan, Jia Zeng:
BSLoc: Base Station ID-Based Telco Outdoor Localization. ALGOSENSORS 2018: 206-219 - [c39]Xijun Li, Jianguo Yao, Mingxuan Yuan, Jia Zeng:
A Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching. CIKM 2018: 2273-2281 - [c38]Xuanyu Bai, Jianguo Yao, Mingxuan Yuan, Jia Zeng, Haibing Guan:
Qualitative Instead of Quantitative: Towards Practical Data Analysis Under Differential Privacy. DASFAA (2) 2018: 738-751 - [c37]Xijun Li, Mingxuan Yuan, Di Chen, Jianguo Yao, Jia Zeng:
A Data-Driven Three-Layer Algorithm for Split Delivery Vehicle Routing Problem with 3D Container Loading Constraint. KDD 2018: 528-536 - [c36]Yukun Huang, Weixiong Rao, Zhiqiang Zhang, Peng Zhao, Mingxuan Yuan, Jia Zeng:
Frequent Pattern-Based Map-Matching on Low Sampling Rate Trajectories. MDM 2018: 266-273 - [c35]Ruirui Bai, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Jianfeng Yan:
Context Aware Telco Churn Prediction Powered By Temporal Feature Engineering. PerCom Workshops 2018: 161-166 - 2017
- [j18]Xuanyu Bai, Jianguo Yao, Mingxuan Yuan, Ke Deng, Xike Xie, Haibing Guan:
Embedding differential privacy in decision tree algorithm with different depths. Sci. China Inf. Sci. 60(8): 082104:1-082104:15 (2017) - [j17]Lin Yang, Mingxuan Yuan, Yanjiao Chen, Wei Wang, Qian Zhang, Jia Zeng:
Personalized user engagement modeling for mobile videos. Comput. Networks 126: 256-267 (2017) - [j16]Ye Ding, Yanhua Li, Ke Deng, Haoyu Tan, Mingxuan Yuan, Lionel M. Ni:
Detecting and Analyzing Urban Regions with High Impact of Weather Change on Transport. IEEE Trans. Big Data 3(2): 126-139 (2017) - [c34]Pengcheng Yuan, Qinpei Zhao, Weixiong Rao, Mingxuan Yuan, Jia Zeng:
Searching k-Nearest Neighbor Trajectories on Road Networks. ADC 2017: 85-97 - [c33]Minmin Zhu, Buyang Cao, Mingxuan Yuan, Jia Zeng:
Correction of Telecom Localization Errors by Context Knowledge. APWeb/WAIM Workshops 2017: 107-117 - [c32]Sheng Zhang, Shenglin Zhao, Mingxuan Yuan, Jia Zeng, Jianguo Yao, Michael R. Lyu, Irwin King:
Traffic Prediction Based Power Saving in Cellular Networks: A Machine Learning Method. SIGSPATIAL/GIS 2017: 29:1-29:10 - [c31]Peng Zhao, Chenxi Zhang, Yukun Huang, Weixiong Rao, Fangzhou Zhu, Ning Liu, Jie Geng, Mingxuan Yuan, Jia Zeng:
Demo abstract: Telco localization techniques. INFOCOM Workshops 2017: 970-971 - [c30]Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Hua Yang:
Confidence Model-Based Data Repair for Telco Localization. MDM 2017: 186-195 - [c29]Renjie Zheng, Qin Liu, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Zhongxiao Jin:
Topic Model-Based Road Network Inference from Massive Trajectories. MDM 2017: 246-255 - [c28]Yukun Huang, Weixiong Rao, Fangzhou Zhu, Ning Liu, Mingxuan Yuan, Jia Zeng, Hua Yang:
Experimental Study of Telco Localization Methods. MDM 2017: 299-306 - [c27]Shenglin Zhao, Irwin King, Michael R. Lyu, Jia Zeng, Mingxuan Yuan:
Mining Business Opportunities from Location-based Social Networks. SIGIR 2017: 1037-1040 - 2016
- [j15]Ran Wang, Chi-Yin Chow, Yan Lyu, Victor C. S. Lee, Sarana Nutanong, Yanhua Li, Mingxuan Yuan:
Exploring cell tower data dumps for supervised learning-based point-of-interest prediction (industrial paper). GeoInformatica 20(2): 327-349 (2016) - [j14]Chen Luo, Jia Zeng, Mingxuan Yuan, Wenyuan Dai, Qiang Yang:
Telco User Activity Level Prediction with Massive Mobile Broadband Data. ACM Trans. Intell. Syst. Technol. 7(4): 63:1-63:30 (2016) - [j13]Xike Xie, Peiquan Jin, Man Lung Yiu, Jiang Du, Mingxuan Yuan, Christian S. Jensen:
Enabling Scalable Geographic Service Sharing with Weighted Imprecise Voronoi Cells. IEEE Trans. Knowl. Data Eng. 28(2): 439-453 (2016) - [j12]Wenchao Wu, Jiayi Xu, Haipeng Zeng, Yixian Zheng, Huamin Qu, Bing Ni, Mingxuan Yuan, Lionel M. Ni:
TelCoVis: Visual Exploration of Co-occurrence in Urban Human Mobility Based on Telco Data. IEEE Trans. Vis. Comput. Graph. 22(1): 935-944 (2016) - [c26]Yixian Zheng, Wenchao Wu, Haipeng Zeng, Nan Cao, Huamin Qu, Mingxuan Yuan, Jia Zeng, Lionel M. Ni:
TelcoFlow: Visual exploration of collective behaviors based on telco data. IEEE BigData 2016: 843-852 - [c25]Fangzhou Zhu, Chen Luo, Mingxuan Yuan, Yijian Zhu, Zhengqing Zhang, Tao Gu, Ke Deng, Weixiong Rao, Jia Zeng:
City-Scale Localization with Telco Big Data. CIKM 2016: 439-448 - [c24]Jianwei Zhang, Jia Zeng, Mingxuan Yuan, Weixiong Rao, Jianfeng Yan:
LDA Revisited: Entropy, Prior and Convergence. CIKM 2016: 1763-1772 - [c23]Xike Xie, Peiquan Jin, Man Lung Yiu, Jiang Du, Christian S. Jensen, Mingxuan Yuan:
Enabling scalable geographic service sharing with weighted imprecise Voronoi cells. ICDE 2016: 1522-1523 - [c22]Lin Yang, Mingxuan Yuan, Wei Wang, Qian Zhang, Jia Zeng:
Apps on the move: A fine-grained analysis of usage behavior of mobile apps. INFOCOM 2016: 1-9 - [c21]Bin Cao, Jing Fan, Mingxuan Yuan, Yanhua Li:
Toward accurate energy-efficient cellular network: switching off excessive carriers based on traffic profiling. SAC 2016: 546-551 - 2015
- [j11]Peiguang Lin, Lei Chen, Mingxuan Yuan, Peiyao Nie:
Discover the Misinformation Broadcasting in On-Line Social Networks. J. Inf. Sci. Eng. 31(3): 763-785 (2015) - [j10]Xueyang Hu, Mingxuan Yuan, Jianguo Yao, Yu Deng, Lei Chen, Qiang Yang, Haibing Guan, Jia Zeng:
Differential Privacy in Telco Big Data Platform. Proc. VLDB Endow. 8(12): 1692-1703 (2015) - [j9]Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei:
Privacy preserving graph publication in a distributed environment. World Wide Web 18(5): 1481-1517 (2015) - [c20]Xiuqiang He, Wenyuan Dai, Guoxiang Cao, Ruiming Tang, Mingxuan Yuan, Qiang Yang:
Mining target users for online marketing based on App Store data. IEEE BigData 2015: 1043-1052 - [c19]Yanhua Li, Chi-Yin Chow, Ke Deng, Mingxuan Yuan, Jia Zeng, Jia-Dong Zhang, Qiang Yang, Zhi-Li Zhang:
Sampling Big Trajectory Data. CIKM 2015: 941-950 - [c18]Ye Ding, Yanhua Li, Ke Deng, Haoyu Tan, Mingxuan Yuan, Lionel M. Ni:
Dissecting Regional Weather-Traffic Sensitivity Throughout a City. ICDM 2015: 739-744 - [c17]Yiqing Huang, Fangzhou Zhu, Mingxuan Yuan, Ke Deng, Yanhua Li, Bing Ni, Wenyuan Dai, Qiang Yang, Jia Zeng:
Telco Churn Prediction with Big Data. SIGMOD Conference 2015: 607-618 - 2014
- [j8]Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei:
Protect You More Than Blank: Anti-Learning Sensitive User Information in the Social Networks. J. Comput. Sci. Technol. 29(5): 762-776 (2014) - [j7]Mingxuan Yuan, Ke Deng, Jia Zeng, Yanhua Li, Bing Ni, Xiuqiang He, Fei Wang, Wenyuan Dai, Qiang Yang:
OceanST: A Distributed Analytic System for Large-Scale Spatiotemporal Mobile Broadband Data. Proc. VLDB Endow. 7(13): 1561-1564 (2014) - [c16]Lin Zhang, Mingxuan Yuan, Yao Guo, Xiangqun Chen, Lei Chen:
Preserving Location-Related Privacy Collaboratively in Geo-social Networks. COMPSAC 2014: 584-589 - [c15]Ran Wang, Chi-Yin Chow, Sarana Nutanong, Yan Lyu, Yanhua Li, Mingxuan Yuan, Victor C. S. Lee:
Exploring cell tower data dumps for supervised learning-based point-of-interest prediction. SIGSPATIAL/GIS 2014: 457-460 - [c14]Shiming Zhang, Yin Yang, Wei Fan, Liang Lan, Mingxuan Yuan:
OceanRT: real-time analytics over large temporal data. SIGMOD Conference 2014: 1099-1102 - [p1]Lei Chen, Mingxuan Yuan:
Privacy and Ethical Issues in Social Network Analysis. Social Networks: Analysis and Case Studies 2014: 179-231 - 2013
- [j6]Mingxuan Yuan, Lei Chen, Hong Mei:
Graph publication when the protection algorithm is available. Data Knowl. Eng. 88: 267-285 (2013) - [j5]Mingxuan Yuan, Lei Chen, Philip S. Yu, Ting Yu:
Protecting Sensitive Labels in Social Network Data Anonymization. IEEE Trans. Knowl. Data Eng. 25(3): 633-647 (2013) - [c13]Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei:
Privacy Preserving Graph Publication in a Distributed Environment. APWeb 2013: 75-87 - [c12]Weixiong Rao, Lei Chen, Mingxuan Yuan, Sasu Tarkoma, Hong Mei:
Subscription Privacy Protection in Topic-Based Pub/Sub. DASFAA (1) 2013: 361-376 - 2012
- [c11]Mingxuan Yuan, Lei Chen:
Semi-Edge Anonymity: Graph Publication when the Protection Algorithm Is Available. DASFAA (1) 2012: 367-381 - [c10]Mingxuan Yuan, Lei Chen, Weixiong Rao, Hong Mei:
A General Framework for Publishing Privacy Protected and Utility Preserved Graph. ICDM 2012: 1182-1187 - 2011
- [j4]Shaoxu Song, Lei Chen, Mingxuan Yuan:
Materialization and Decomposition of Dataspaces for Efficient Search. IEEE Trans. Knowl. Data Eng. 23(12): 1872-1887 (2011) - [c9]Mingxuan Yuan, Lei Chen:
Node Protection in Weighted Social Networks. DASFAA (1) 2011: 123-137 - 2010
- [j3]Mingxuan Yuan, Lei Chen, Philip S. Yu:
Personalized Privacy Protection in Social Networks. Proc. VLDB Endow. 4(2): 141-150 (2010) - [j2]Mingxuan Yuan, Zonghua Gu, Xiuqiang He, Xue Liu, Lei Jiang:
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs. ACM Trans. Design Autom. Electr. Syst. 15(2): 13:1-13:41 (2010)
2000 – 2009
- 2009
- [c8]Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang, Mingxuan Yuan:
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. CODES+ISSS 2009: 61-70 - 2008
- [j1]Xiuqiang He, Mingxuan Yuan, Zonghua Gu:
A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. IEEE Trans. Ind. Informatics 4(4): 237-249 (2008) - [c7]Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu:
Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90 - [c6]Mingxuan Yuan, Xiuqiang He, Zonghua Gu:
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 295-304 - [c5]Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu:
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. RTSS 2008: 492-504 - 2007
- [c4]Zonghua Gu, Xiuqiang He, Mingxuan Yuan:
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking. DAC 2007: 294-299 - [c3]Zonghua Gu, Mingxuan Yuan, Xiuqiang He:
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 32-44 - [c2]Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu:
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. RTSS 2007: 353-364 - 2005
- [c1]Dan Hong, Mingxuan Yuan, Vincent Y. Shen:
Dynamic privacy management: a plug-in service for the middleware in pervasive computing. Mobile HCI 2005: 1-8
Coauthor Index
[j31] [i56] [i44] [c63] [c62] [i28] [j26] [j24] [j23] [c54] [i20] [i19] [j22] [j21] [c52] [c51] [c50] [c49] [c46] [i11] [i10] [i8] [i7] [i6] [j20] [c45] [c44] [i5] [i4] [i3] [j19] [c43] [c42] [c41] [i2] [i1] [c40] [c39] [c38] [c37] [c36] [c35] [j17] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [j14] [c26] [c25] [c24] [c22] [j10] [c19] [c17] [j7]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
