Juan Chen Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen: Self-certification: bootstrapping certified typecheckers in F* with Coq. POPL 2012: 571-584
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDayou Liu, Yuxiao Huang, Qiangyuan Yu, Juan Chen, Haiyang Jia: A search problem in complex diagnostic Bayesian networks. Knowl.-Based Syst. 30: 95-103 (2012)
2011
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongling Fu, Yao Pang, Hesong Liu, Juan Chen: Switching transient simulation of redundant actuation system with mechanical backup. EMEIT 2011: 3529-3532
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Xiaoye Qi, Bohong Liu, Deyi Wang: Analysis of failure mechanism and stress influence on cylinder. EMEIT 2011: 3543-3546
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Hongli Zhang, Binxing Fang, Xiaojiang Du, Lihua Yin, Xiang-Zhan Yu: Towards Efficient Anonymous Communications in Sensor Networks. GLOBECOM 2011: 1-5
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang: Secure distributed programming with value-dependent types. ICFP 2011: 266-278
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Emre Celebi, Quan Wen, Juan Chen: Color quantization using c-means clustering algorithms. ICIP 2011: 1729-1732
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohannes Borgström, Juan Chen, Nikhil Swamy: Verifying stateful programs with substructural state and hoare types. PLPV 2011: 15-26
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Wang, Canqun Yang, Yunfei Du, Juan Chen, Huizhan Yi, Weixia Xu: Optimizing Linpack Benchmark on GPU-Accelerated Petascale Supercomputer. J. Comput. Sci. Technol. 26(5): 854-865 (2011)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChong-Jun Li, Juan Chen: On the dimensions of bivariate spline spaces and the stability of the dimensions. J. Computational Applied Mathematics 236(5): 765-774 (2011)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Jinchang Ren, Jianmin Jiang: Modelling of content-aware indicators for effective determination of shot boundaries in compressed MPEG videos. Multimedia Tools Appl. 54(2): 219-239 (2011)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Anxue Zhang: An Efficient Method to Reduce the Numerical Dispersion in the HIE-FDTD Scheme. Wireless Engineering and Technology 2(1): 30-36 (2011)
2010
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYong Dong, Juan Chen, Tao Tang: Power Measurements and Analyses of Massive Object Storage System. CIT 2010: 1317-1322
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCanqun Yang, Feng Wang, Yunfei Du, Juan Chen, Jie Liu, Huizhan Yi, Kai Lu: Adaptive Optimization for Petascale Heterogeneous CPU/GPU Computing. CLUSTER 2010: 19-28
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Juan Chen, Ravi Chugh: Enforcing Stateful Authorization and Information Flow Policies in Fine. ESOP 2010: 529-549
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang: Inversing Cardinal Direction Relations. FCST 2010: 276-281
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Ze-Fang He, Xin Qi, Li-Heng Gu: Filter time constant self-adjusting internal model control based on variable domain fuzzy control for time-delay uncertain systems. FSKD 2010: 672-676
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiyang Jia, Juan Chen, Helong Yu, Dayou Liu: Soil fertility grading with Bayesian Network transfer learning. ICMLC 2010: 1159-1163
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen: A Flexible Fuzzy Comprehensive Evaluation Method. IITSI 2010: 502-506
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen: Economic Grid Resource Scheduling Based on Utility Optimization. IITSI 2010: 522-525
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Junan Lu, Xiaoqun Wu, Wei Xing Zheng: Impulsive synchronization on complex networks of nonlinear dynamical systems. ISCAS 2010: 421-424
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang: Composing Cardinal Direction Relations Basing on Interval Algebra. KSEM 2010: 114-123
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Ravi Chugh, Nikhil Swamy: Type-preserving compilation of end-to-end verification of security enforcement. PLDI 2010: 412-423
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss Tate, Juan Chen, Chris Hawblitzel: Inferable object-oriented typed assembly language. PLDI 2010: 424-435
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang: Composing Cardinal Direction Relations Based on Interval Algebra. Int. J. Software and Informatics 4(3): 291-303 (2010)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinchang Ren, Jianmin Jiang, Juan Chen, Stanley S. Ipson: Extracting Objects and Events from MPEG Videos for Highlight-based Indexing and Retrieval. Journal of Multimedia 5(2): 95-103 (2010)
2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCanqun Yang, Qiang Wu, Juan Chen, Zhen Ge: GPU Acceleration of High-Speed Collision Molecular Dynamics Simulation. CIT (2) 2009: 254-259
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChanggeng Li, Juan Chen, Xinbing Li: A New Node Localization Algorithm of Wireless Sensor Networks. CSIE (1) 2009: 334-338
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Stanley S. Ipson, Jianmin Jiang: A fuzzy logic method of feature representation for shot boundary detection. ICIP 2009: 4337-4340
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCanqun Yang, Zhen Ge, Juan Chen, Feng Wang, Yunfei Du: Solving 2D Nonlinear Unsteady Convection-Diffusion Equations on Heterogenous Platforms with Multiple GPUs. ICPADS 2009: 961-966
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Michael T. M. Emmerich, Rui Li, Joost N. Kok, Thomas Bäck: How to Do Recombination in Evolution Strategies: An Empirical Study. IWINAC (1) 2009: 223-232
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinchang Ren, Jianmin Jiang, Juan Chen: Shot Boundary Detection in MPEG Videos Using Local and Global Indicators. IEEE Trans. Circuits Syst. Video Techn. 19(8): 1234-1238 (2009)
2008
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBin Lu, Juan Chen: Grid Resource Organization and Discovery Based on Hyper Topology Space. FSKD (2) 2008: 462-466
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Xuejun Yang, Panfeng Wang: Energy-Constrained OpenMP Static Loop Scheduling. HPCC 2008: 139-146
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinchang Ren, Juan Chen, Jianmin Jiang, Stanley S. Ipson: Knowledge-Supported Segmentation and Semantic Contents Extraction from MPEG Videos for Highlight-Based Annotation, Indexing and Retrieval. ICIC (1) 2008: 258-265
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYong Dong, Juan Chen, Xuejun Yang, Canqun Yang, Lin Peng: Low Power Optimization for MPI Collective Operations. ICYCS 2008: 1047-1052
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYong Dong, Juan Chen, Xuejun Yang, Lin Deng, Xuemeng Zhang: Energy-Oriented OpenMP Parallel Loop Scheduling. ISPA 2008: 162-169
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuwen Zhang, Juan Chen, Dandan Miao: An Image Fusion Method Based on WNMF and Region Segmentation. PACIIA (2) 2008: 282-285
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Bin Lu: An Universal Flexible Utility Function in Grid Economy. PACIIA (2) 2008: 809-812
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Bin Lu: Load Balancing Oriented Economic Grid Resource Scheduling. PACIIA (2) 2008: 813-817
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki: Type-preserving compilation for large-scale optimizing object-oriented compilers. PLDI 2008: 183-192
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Jianmin Jiang: University of Bradford at TRECVID 2008: Content Based Copy Detection Task. TRECVID 2008
2007
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLing Chen, Lingjun Zou, Juan Chen: An efficient algorithm for multiple sequences alignment based on ant colony algorithms. GEM 2007: 191-196
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Huizhan Yi, Xuejun Yang: Power-Aware Software Prefetching. ICESS 2007: 207-218
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Lihong Xu, Changliang Yuan: IPGA based multi-objective compatible control algorithm and its application in oversaturated adjacent intersection control. IEEE Congress on Evolutionary Computation 2007: 3187-3194
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBin Lu, Juan Chen: Fuzzy Control of a Double Inverted Pendulum Based on Hyper Topology Space. IMECS 2007: 1493-1497
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Bin Lu: A Multi-Granular Fuzzy Comprehensive Evaluation Method. IMECS 2007: 185-190
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBin Lu, Juan Chen: Multi-granular Control of Double Inverted Pendulum Based on Universal Logics Fuzzy Neural Networks. ISNN (2) 2007: 224-233
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Huizhan Yi, Xuejun Yang: Power-Directed Software Prefetching Algorithm with Dynamic Voltage Scaling. International Conference on Computational Science (4) 2007: 921-924
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiyang Jia, Dayou Liu, Juan Chen, Xin Liu: A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network. KSEM 2007: 611-616
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Dayou Liu, Haiyang Jia, Changhai Zhang: Cardinal Direction Relations in 3D Space. KSEM 2007: 623-629
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Dayou Liu, Changhai Zhang, Qi Xie: Combinative Reasoning with RCC5 and Cardinal Direction Relations. KSEM 2007: 92-102
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen: A typed intermediate language for compiling multiple inheritance. POPL 2007: 25-30
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen: A garbage-collecting typed assembly language. TLDI 2007: 41-52
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinchang Ren, Jianmin Jiang, Juan Chen: Determination of Shot Boundary in MPEG Videos for TRECVID 2007. TRECVID 2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianmin Jiang, Zhengmin Li, Guoqiang Xiao, Juan Chen: Real-time shot-cut detection in a compressed domain. J. Electronic Imaging 16(4): 043011 (2007)
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYixin Chen, Yi Pan, Juan Chen, Wei Liu, Ling Chen: Partitioned optimization algorithms for multiple sequence alignment. AINA (2) 2006: 618-622
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTianchi Yang, Liang Jin, Juan Chen: Power Management in Circuits Design. APCCAS 2006: 1757-1759
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuizhan Yi, Juan Chen, Xuejun Yang: Static WCET Analysis Based Compiler-Directed DVS Energy Optimization in Real-Time Applications. Asia-Pacific Computer Systems Architecture Conference 2006: 123-136
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui Li, Juan Chen, Ying Tao, David L. Groep, Lex Wolters: Improving a Local Learning Technique for QueueWait Time Predictions. CCGRID 2006: 335-342
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Lihong Xu: Road-Junction Traffic Signal Timing Optimization by an adaptive Particle Swarm Algorithm. ICARCV 2006: 1-7
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuizhan Yi, Juan Chen, Xunjun Yang: Compiler-Directed Energy-Time Tradeoff in MPI Programs on DVS-Enabled Parallel Systems. ISPA 2006: 927-938
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYixin Chen, Yi Pan, Juan Chen, Wei Liu, Ling Chen: Multiple Sequence Alignment by Ant Colony Optimization and Divide-and-Conquer. International Conference on Computational Science (2) 2006: 646-653
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Huizhan Yi, Xuejun Yang, Liang Qian: Compile-Time Energy Optimization for Parallel Applications in On-Chip Multiprocessors. International Conference on Computational Science (2) 2006: 904-911
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinmei Qi, Shousen Zheng, Juan Chen: Modeling and Experiment Evaluation of Circular Polyacrylate Dielectric Elastomer Actuation. ROBIO 2006: 1271-1274
2005
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Huizhan Yi, Xuejun Yang: Energy-Constrained Prefetching Optimization in Embedded Applications. EUC 2005: 267-280
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Huizhan Yi, Xuejun Yang: Compiler-Directed Energy-Aware Prefetching Optimization for Embedded Applications. ICESS 2005: 230-243
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Huizhan Yi, Xuejun Yang: Power Consumption Analysis of Embedded Multimedia Application. ICESS 2005: 596-607
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuizhan Yi, Xuejun Yang, Juan Chen: The Optimal Profile-Guided Greedy Dynamic Voltage Scaling in Real-Time Applications. ICESS 2005: 708-719
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLing Chen, Juan Chen, Yi Pan: Fast Scalable Algorithm on LARPBS for Sequence Alignment. ISPA Workshops 2005: 176-185
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Yong Dong, Xuejun Yang, Dan Wu: A Compiler-Directed Energy Saving Strategy for Parallelizing Applications in On-Chip Multiprocessors. ISPDC 2005: 147-154
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, David Tarditi: A simple typed intermediate language for object-oriented languages. POPL 2005: 38-49
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen: Decidable subclassing-bounded quantification. TLDI 2005: 37-46
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang: A provably sound TAL for back-end optimization. PLDI 2003: 208-219

Coauthor Index

1Andrew W. Appel [1]
2Thomas Bäck [44]
3Karthikeyan Bhargavan [69]
4Johannes Borgström [67]
5M. Emre Celebi [68]
6Ling Chen [5] [12] [18] [32]
7Yixin Chen [12] [18]
8Ravi Chugh [52] [60]
9Derrick Coetzee [34]
10Jeremy Condit [34]
11Lin Deng [38]
12Yong Dong [4] [7] [8] [9] [26] [31] [38] [39] [41] [62]
13Xiaojiang Du [70]
14Yunfei Du [45] [61] [66]
15Michael T. M. Emmerich (Michael Emmerich) [44]
16Michael Emmi [34]
17Binxing Fang [70]
18Hai Fang [1]
19Cédric Fournet [69] [74]
20Yongling Fu [72]
21Zhen Ge [45] [48]
22David L. Groep [15]
23Li-Heng Gu [58]
24Chris Hawblitzel [21] [34] [51]
25Ze-Fang He [58]
26Heng Huang [21]
27Yuxiao Huang [73]
28Stanley S. Ipson [40] [46] [49]
29Haiyang Jia [24] [25] [50] [53] [57] [59] [73]
30Jianmin Jiang [19] [20] [33] [40] [43] [46] [49] [64]
31Liang Jin [17]
32Joost N. Kok [44]
33Changgeng Li [47]
34Chong-Jun Li [65]
35Hui Li [15]
36Rui Li [44]
37Xinbing Li [47]
38Zhengmin Li [19]
39Bohong Liu [71]
40Dayou Liu [23] [24] [25] [50] [53] [57] [59] [73]
41Hesong Liu [72]
42Jie Liu [61]
43Wei Liu [12] [18]
44Xin Liu [25]
45Bin Lu [27] [28] [29] [35] [36] [42]
46Junan Lu [54]
47Kai Lu [61]
48Dandan Miao [37]
49Yi Pan [5] [12] [18]
50Yao Pang [72]
51Lin Peng [39]
52Frances Perry [34]
53Polyvios Pratikaki [34]
54Xiaoye Qi [71]
55Xin Qi [58]
56Xinmei Qi [10]
57Liang Qian [11]
58Jinchang Ren [20] [40] [43] [49] [64]
59Pierre-Yves Strub [69] [74]
60Nikhil Swamy [52] [60] [67] [69] [74]
61Tao Tang [62]
62Ying Tao [15]
63David Tarditi [3]
64Ross Tate [51]
65Deyi Wang [71]
66Feng Wang [45] [61] [66]
67Panfeng Wang [41]
68Quan Wen [68]
69Lea Wittie [21]
70Lex Wolters [15]
71Dan Wu [4]
72Dinghao Wu [1]
73Qiang Wu [48]
74Xiaoqun Wu [54]
75Guoqiang Xiao [19]
76Qi Xie [23]
77Lihong Xu [14] [30]
78Weixia Xu [66]
79Canqun Yang [39] [45] [48] [61] [66]
80Jean Yang [69]
81Tianchi Yang [17]
82Xuejun Yang [4] [6] [7] [8] [9] [11] [16] [26] [31] [38] [39] [41]
83Xunjun Yang [13]
84Huizhan Yi [6] [7] [8] [9] [11] [13] [16] [26] [31] [61] [66]
85Lihua Yin [70]
86Helong Yu [57]
87Qiangyuan Yu [73]
88Xiang-Zhan Yu [70]
89Changliang Yuan [30]
90Anxue Zhang [63]
91Changhai Zhang [23] [24] [50] [53] [59]
92Hongli Zhang [70]
93Suwen Zhang [37]
94Xuemeng Zhang [38]
95Shousen Zheng [10]
96Wei Xing Zheng [54]
97Lingjun Zou [32]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page