Ping Yang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

55EEMikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller: RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. TACAS 2009: 46-49
54EEShao-Lin Li, Ping Yang: Research on a SPWM Inverter Power Supply System Based on DSP. CSSE (4) 2008: 150-153
53EEPing Yang, JiSheng Li, YongXuan Huang: An Attribute Reduction Algorithm by Rough Set Based on Binary Discernibility Matrix. FSKD (2) 2008: 276-280
52EEMingrui Zhang, Terry M. Therneau, Michael A. McKenzie, Peter Li, Ping Yang: A fuzzy c-means algorithm using a correlation metrics and gene ontology. ICPR 2008: 1-4
51EEArtem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang: Scientific Workflow Provenance Querying with Security Views. WAIM 2008: 349-356
50EEPing Yang: A systematic approach on computational analysis and optimization design: for a nonlinear coupling shock absorber. Eng. Comput. (Lond.) 24(1): 87-96 (2008)
49EEMing Yang, Fei Wang, Ping Yang: A Novel Feature Selection Algorithm Based on Hypothesis-Margin. JCP 3(12): 27-34 (2008)
48EEMing Yang, Ping Yang: A novel condensing tree structure for rough set feature selection. Neurocomputing 71(4-6): 1092-1100 (2008)
47EEScott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman: Efficient policy analysis for administrative role based access control. ACM Conference on Computer and Communications Security 2007: 445-455
46EEZijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511
45EEMingyuan Zhao, Mingtian Zhou, Qingxin Zhu, Ping Yang: Feature Extraction and Parameters Selection of Classification Model on Brain-Computer Interface. BIBE 2007: 1249-1253
44EEJun Zhang, Yiming Wang, Jinping Li, Ping Yang: A Neural Network Model for Predicting Cotton Yields. CCTA 2007: 1321-1322
43EEPing Yang, Shu Dai, Xiuhua Wu, Yong Yang: The Hardware Research of Dual-port RAM for Main-spare CPU in Rural Power Terminal System of Power Quantity Collection. CCTA 2007: 433-440
42EEMing Yang, Ping Yang, Gen-Lin Ji: Updating of Attribute Reduction for the Case of Deleting. ICFIE 2007: 884-893
41EEDaogang Peng, Hao Zhang, Ping Yang: Reheat Steam Temperature Composite Control System Based on CMAC Neural Network and Immune PID Controller. ISNN (1) 2007: 302-310
40EEPing Yang, Zijiang Yang, Shiyong Lu: Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626
39EEPing Yang, Zhihua Pei, Ningbo Liao, Bing Yang: Isomorphism identification for epicyclic gear mechanism based on mapping property and ant algorithm. Eng. Comput. (Lond.) 23(1): 49-54 (2007)
38EEAmit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy Analysis for Administrative Role Based Access Control. CSFW 2006: 124-138
37EEZijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186
36EEPing Yang, Qing-miao Wang: Fault Diagnosis System for Turbo-Generator Set Based on Fuzzy Neural Network. ICAT Workshops 2006: 228-231
35EEXianfeng Fan, Hong-Zhong Huang, Jun Hu, Xu Zu, Ping Yang: A Study of Product Development Time Based on Fuzzy Timed Workflow Net. ICIC (2) 2006: 102-107
34EEPing Yang, Samik Basu, C. R. Ramakrishnan: Parameterized Verification of pi-Calculus Systems. TACAS 2006: 42-57
33EEChuanli Zhuang, Zetian Fu, Ping Yang, Xiaoshuan Zhang: The Application of Support Vector Machine in the Potentiality Evaluation for Revegetation of Abandoned Lands from Coal Mining Activities. CIS (1) 2005: 598-603
32 RuiMing Xin, WanLi Zuo, Ping Yang: An integration of Cotraining and KNN for LPU problem. IICAI 2005: 2740-2747
31EEPing Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127
30EEPing Yang, Sui Sheng Liu: Fault diagnosis for boilers in thermal power plant by data mining. ICARCV 2004: 2176-2180
29EEPing Yang, C. R. Ramakrishnan, Scott A. Smolka: A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. STTT 6(1): 38-66 (2004)
28EEPing Yang, C. R. Ramakrishnan, Scott A. Smolka: A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI 2003: 116-131
27EEGeorges G. E. Gielen, Mike Sottak, Mike Murray, Linda Kaye, Maria del Mar Hershenson, Kenneth S. Kundert, Philippe Magarshack, Akria Matsuzawa, Ronald A. Rohrer, Ping Yang: Panel: When Will the Analog Design Flow Catch Up with Digital Methodology? DAC 2001: 419
26 Huan Li, Yixin Zhu, Ping Yang, Seshu Madhavapeddy: On M/M/1 Queues With a Smart Machine. Queueing Syst. 24: 23-36 (1997)
25EEHuan Li, Yixin Zhu, Ping Yang: Computational analysis of M(n)/G/1/N queues with setup time. Computers & OR 22(8): 829-840 (1995)
24EEAbhijit Chatterjee, Charles F. Machala III, Ping Yang: A submicron DC MOSFET model for simulation of analog circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 14(10): 1193-1207 (1995)
23EEPing Yang: A unified algorithm for computing the stationary queue length distributions inM(k)/G/1/N and GI/M(k)/1/N queues. Queueing Syst. 17(3-4): 383-401 (1994)
22EEHong Chen, Ping Yang, David D. Yao: Control and scheduling in a two-station queueing network: Optimal policies and heuristics. Queueing Syst. 18(3-4): 301-332 (1994)
21EEHarish Kriplani, Farid N. Najm, Ping Yang, Ibrahim N. Hajj: Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits. DAC 1993: 384-388
20EEMi-Chang Chang, Jue-Hsien Chern, Ping Yang: An accurate grid local truncation error for device simulation. ICCAD 1993: 275-282
19 Mi-Chang Chang, Jue-Hsien Chern, Ping Yang: Efficient and Robust Path Tracing Algorithm for DC Convergence Problem. ISCAS 1993: 1635-1638
18EERichard Burch, Farid N. Najm, Ping Yang, Timothy N. Trick: A Monte Carlo approach for power estimation. IEEE Trans. VLSI Syst. 1(1): 63-71 (1993)
17EEKartikeya Mayaram, Jue-Hsien Chern, Ping Yang: Algorithms for transient three-dimensional mixed-level circuit and device simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 12(11): 1726-1733 (1993)
16EERichard Burch, Ping Yang, Paul F. Cox, Kartikeya Mayaram: A new matrix solution technique for general circuit simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 12(2): 225-241 (1993)
15EERichard Burch, Farid N. Najm, Ping Yang, Timothy N. Trick: McPOWER: a Monte Carlo approach to power estimation. ICCAD 1992: 90-97
14 Kartikeya Mayaram, Ping Yang, Jue-Hsien Chern: Transient Three-Dimensional Mixed-Level Circuit and Device Simulation: Algorithms and Applications. ICCAD 1991: 112-115
13EEFarid N. Najm, Ibrahim N. Hajj, Ping Yang: An extension of probabilistic simulation for reliability analysis of CMOS VLSI circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 10(11): 1372-1381 (1991)
12EEPaul F. Cox, Richard Burch, Dale E. Hocevar, Ping Yang, Berton D. Epler: Direct circuit simulation algorithms for parallel processing [VLSI]. IEEE Trans. on CAD of Integrated Circuits and Systems 10(6): 714-725 (1991)
11 Kartikeya Mayaram, Ping Yang, Jue-Hsien Chern, Richard Burch, Lawrence A. Arledge Jr., Paul F. Cox: A Parallel Block-Diagonal Preconditioned Conjugate-Gradient Solution Algorithm for Circuit and Device Simulations. ICCAD 1990: 446-449
10EEFarid N. Najm, Richard Burch, Ping Yang, Ibrahim N. Hajj: Probabilistic simulation for reliability analysis of CMOS VLSI circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 9(4): 439-450 (1990)
9EEPaul F. Cox, Richard Burch, Ping Yang, Dale E. Hocevar: New implicit integration method for efficient latency exploitation in circuit simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 8(10): 1051-1064 (1989)
8EEJue-Hsien Chern, John T. Maeda, Lawrence A. Arledge Jr., Ping Yang: SIERRA: a 3-D device simulator for reliability modeling. IEEE Trans. on CAD of Integrated Circuits and Systems 8(5): 516-527 (1989)
7EERichard Burch, Farid N. Najm, Ping Yang, Dale E. Hocevar: Pattern-Independent Current Estimation for Reliability Analysis of CMOS Circuits. DAC 1988: 294-299
6EEDale E. Hocevar, Paul F. Cox, Ping Yang: Parametric yield optimization for MOS circuit blocks. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 645-658 (1988)
5EEK. C.-K. Weng, Ping Yang, Jue-Hsien Chern: A Predictor/CAD Model for Buried-Channel MOS Transistors. IEEE Trans. on CAD of Integrated Circuits and Systems 6(1): 4-16 (1987)
4EEJoseph E. Hall, Dale E. Hocevar, Ping Yang, Michael J. McGraw: SPIDER -- A CAD System for Modeling VLSI Metallization Patterns. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 1023-1031 (1987)
3EEPing Yang, Dale E. Hocevar, Paul F. Cox, Charles F. Machala III, Pallab K. Chatterjee: An Integrated and Efficient Approach for MOS VLSI Statistical Circuit Design. IEEE Trans. on CAD of Integrated Circuits and Systems 5(1): 5-14 (1986)
2EEDale E. Hocevar, Ping Yang, Timothy N. Trick, Berton D. Epler: Transient Sensitivity Computation for MOSFET Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 4(4): 609-620 (1985)
1EEPing Yang, Pallab K. Chatterjee: SPICE Modeling for Small Geometry MOSFET Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 1(4): 169-182 (1982)

Coauthor Index

1Lawrence A. Arledge Jr. [8] [11]
2Samik Basu [34]
3Richard Burch [7] [9] [10] [11] [12] [15] [16] [18]
4Mi-Chang Chang [19] [20]
5Seunghan Chang [51]
6Abhijit Chatterjee [24]
7Pallab K. Chatterjee [1] [3]
8Artem Chebotko [51]
9Hong Chen [22]
10Jue-Hsien Chern [5] [8] [11] [14] [17] [19] [20]
11Paul F. Cox [3] [6] [9] [11] [12] [16]
12Shu Dai [43]
13Yifei Dong [31]
14Berton D. Epler [2] [12]
15Xianfeng Fan [35]
16Farshad Fotouhi [51]
17Zetian Fu [33]
18Georges G. E. Gielen [27]
19Mikhail I. Gofman [47] [55]
20Ibrahim N. Hajj [10] [13] [21]
21Joseph E. Hall [4]
22Maria del Mar Hershenson [27]
23Dale E. Hocevar [2] [3] [4] [6] [7] [9] [12]
24Jun Hu [35]
25Hong-Zhong Huang [35]
26YongXuan Huang [53]
27Gen-Lin Ji [42]
28Linda Kaye [27]
29Harish Kriplani [21]
30Kenneth S. Kundert [27]
31Huan Li [25] [26]
32JiSheng Li [53]
33Jinping Li [44]
34Peter Li [52]
35Shao-Lin Li [54]
36Ningbo Liao [39]
37Sui Sheng Liu [30]
38Shiyong Lu [37] [40] [46] [51]
39Ruiqi Luo [55]
40Charles F. Machala III [3] [24]
41Seshu Madhavapeddy [26]
42John T. Maeda [8]
43Philippe Magarshack [27]
44Akria Matsuzawa [27]
45Kartikeya Mayaram [11] [14] [16] [17]
46Michael J. McGraw [4]
47Michael A. McKenzie [52]
48Mike Murray [27]
49Farid N. Najm [7] [10] [13] [15] [18] [21]
50Zhihua Pei [39]
51Daogang Peng [41]
52C. R. Ramakrishnan [28] [29] [31] [34] [38] [47]
53Ronald A. Rohrer [27]
54Amit Sasturkar [38]
55Scott A. Smolka [28] [29] [31]
56Ayla C. Solomon [55]
57Mike Sottak [27]
58Scott D. Stoller [38] [47] [55]
59Terry M. Therneau [52]
60Timothy N. Trick [2] [15] [18]
61Fei Wang [49]
62Qing-miao Wang [36]
63Yiming Wang [44]
64K. C.-K. Weng [5]
65Xiuhua Wu [43]
66RuiMing Xin [32]
67Bing Yang [39]
68Ming Yang [42] [48] [49]
69Yong Yang [43]
70Zijiang Yang [37] [40] [46]
71David D. Yao [22]
72Hao Zhang [41]
73Jun Zhang [44]
74Mingrui Zhang [52]
75Xiaoshuan Zhang [33]
76Yingbin Zhang [55]
77Mingyuan Zhao [45]
78Mingtian Zhou [45]
79Qingxin Zhu [45]
80Yixin Zhu [25] [26]
81Chuanli Zhuang [33]
82Xu Zu [35]
83WanLi Zuo [32]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)