Mingxuan Yuan

	2012
14		Mingxuan Yuan, Lei Chen: Semi-Edge Anonymity: Graph Publication when the Protection Algorithm Is Available. DASFAA (1) 2012: 367-381
	2011
13		Mingxuan Yuan, Lei Chen: Node Protection in Weighted Social Networks. DASFAA (1) 2011: 123-137
12		Shaoxu Song, Lei Chen, Mingxuan Yuan: Materialization and Decomposition of Dataspaces for Efficient Search. IEEE Trans. Knowl. Data Eng. 23(12): 1872-1887 (2011)
	2010
11		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): (2010)
10		Mingxuan Yuan, Lei Chen, Philip S. Yu: Personalized Privacy Protection in Social Networks. PVLDB 4(2): 141-150 (2010)
	2009
9		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
8		Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu: Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90
7		Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu: Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. IEEE Real-Time Systems Symposium 2008: 492-504
6		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
5		Xiuqiang He, Mingxuan Yuan, Zonghua Gu: A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. IEEE Trans. Industrial Informatics 4(4): 237-249 (2008)
	2007
4		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
3		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
2		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
1		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

1	Lei Chen	[14]
2	Lei Chen	[10] [12] [13]
3	Qingxu Deng	[2]
4	Zonghua Gu	[2] [3] [4] [5] [6] [7] [8] [9] [11]
5	Nan Guan	[2]
6	Xiuqiang He	[2] [3] [4] [5] [6] [7] [11]
7	Dan Hong	[1]
8	Lei Jiang	[11]
9	Weichen Liu	[7] [9]
10	Xue Liu	[7] [8] [11]
11	Mingsong Lv	[2]
12	Vincent Yun Shen (Vincent Y. Shen)	[1]
13	Shaoxu Song	[12]
14	Yu Wang	[9]
15	Jiang Xu	[9]
16	Jianguo Yao	[8]
17	Ge Yu	[2]
18	Philip S. Yu	[10]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page