Ping Yang

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

2008
45EEPing Yang: A systematic approach on computational analysis and optimization design: for a nonlinear coupling shock absorber. Eng. Comput. (Lond.) 24(1): 87-96 (2008)
44EEMing Yang, Ping Yang: A novel condensing tree structure for rough set feature selection. Neurocomputing 71(4-6): 1092-1100 (2008)
2007
43EEScott 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
42EEZijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511
41EEMingyuan Zhao, Mingtian Zhou, Qingxin Zhu, Ping Yang: Feature Extraction and Parameters Selection of Classification Model on Brain-Computer Interface. BIBE 2007: 1249-1253
40EEJun Zhang, Yiming Wang, Jinping Li, Ping Yang: A Neural Network Model for Predicting Cotton Yields. CCTA 2007: 1321-1322
39EEPing 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
38EEDaogang 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
37EEPing Yang, Zijiang Yang, Shiyong Lu: Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626
36EEPing 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)
2006
35EEAmit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy Analysis for Administrative Role Based Access Control. CSFW 2006: 124-138
34EEZijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186
33EEPing Yang, Qing-miao Wang: Fault Diagnosis System for Turbo-Generator Set Based on Fuzzy Neural Network. ICAT Workshops 2006: 228-231
32EEXianfeng 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
31EEPing Yang, Samik Basu, C. R. Ramakrishnan: Parameterized Verification of pi-Calculus Systems. TACAS 2006: 42-57
2005
30EEChuanli 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
29 RuiMing Xin, WanLi Zuo, Ping Yang: An integration of Cotraining and KNN for LPU problem. IICAI 2005: 2740-2747
28EEPing Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127
2004
27EEPing 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)
2003
26EEPing 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
2001
25EEGeorges 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
1997
24 Huan Li, Yixin Zhu, Ping Yang, Seshu Madhavapeddy: On M/M/1 Queues With a Smart Machine. Queueing Syst. 24: 23-36 (1997)
1995
23EEHuan Li, Yixin Zhu, Ping Yang: Computational analysis of M(n)/G/1/N queues with setup time. Computers & OR 22(8): 829-840 (1995)
22EEAbhijit 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)
1993
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)
1992
15EERichard Burch, Farid N. Najm, Ping Yang, Timothy N. Trick: McPOWER: a Monte Carlo approach to power estimation. ICCAD 1992: 90-97
1991
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)
1990
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)
1989
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)
1988
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)
1987
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)
1986
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)
1985
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)
1982
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 [31]
3Richard Burch [7] [9] [10] [11] [12] [15] [16] [18]
4Mi-Chang Chang [19] [20]
5Abhijit Chatterjee [22]
6Pallab K. Chatterjee [1] [3]
7Jue-Hsien Chern [5] [8] [11] [14] [17] [19] [20]
8Paul F. Cox [3] [6] [9] [11] [12] [16]
9Shu Dai [39]
10Yifei Dong [28]
11Berton D. Epler [2] [12]
12Xianfeng Fan [32]
13Zetian Fu [30]
14Georges G. E. Gielen [25]
15Mikhail I. Gofman [43]
16Ibrahim N. Hajj [10] [13] [21]
17Joseph E. Hall [4]
18Maria del Mar Hershenson [25]
19Dale E. Hocevar [2] [3] [4] [6] [7] [9] [12]
20Jun Hu [32]
21Hong-Zhong Huang [32]
22Linda Kaye [25]
23Harish Kriplani [21]
24Kenneth S. Kundert [25]
25Huan Li [23] [24]
26Jinping Li [40]
27Ningbo Liao [36]
28Shiyong Lu [34] [37] [42]
29Charles F. Machala III [3] [22]
30Seshu Madhavapeddy [24]
31John T. Maeda [8]
32Philippe Magarshack [25]
33Akria Matsuzawa [25]
34Kartikeya Mayaram [11] [14] [16] [17]
35Michael J. McGraw [4]
36Mike Murray [25]
37Farid N. Najm [7] [10] [13] [15] [18] [21]
38Zhihua Pei [36]
39Daogang Peng [38]
40C. R. Ramakrishnan [26] [27] [28] [31] [35] [43]
41Ronald A. Rohrer [25]
42Amit Sasturkar [35]
43Scott A. Smolka [26] [27] [28]
44Mike Sottak [25]
45Scott D. Stoller [35] [43]
46Timothy N. Trick [2] [15] [18]
47Qing-miao Wang [33]
48Yiming Wang [40]
49K. C.-K. Weng [5]
50Xiuhua Wu [39]
51RuiMing Xin [29]
52Bing Yang [36]
53Ming Yang [44]
54Yong Yang [39]
55Zijiang Yang [34] [37] [42]
56Hao Zhang [38]
57Jun Zhang [40]
58Xiaoshuan Zhang [30]
59Mingyuan Zhao [41]
60Mingtian Zhou [41]
61Qingxin Zhu [41]
62Yixin Zhu [23] [24]
63Chuanli Zhuang [30]
64Xu Zu [32]
65WanLi Zuo [29]

Colors in the list of coauthors

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)