Ping Yang

	2009
59		Mingrui Zhang, Scott Olson, Joan M. Francioni, Tim Gegg-Harrison, Nan Meng, Zhifu Sun, Ping Yang: Integrating R Models with Web Technologies. HEALTHINF 2009: 411-415
58		Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan: Symbolic reachability analysis for parameterized administrative role based access control. SACMAT 2009: 165-174
57		Mikhail I. Gofman, Ruiqi Luo, Jian He, Yingbin Zhang, Ping Yang: Incremental Information Flow Analysis of Role Based Access Control. Security and Management 2009: 397-403
56		Mikhail 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
	2008
55		Shao-Lin Li, Ping Yang: Research on a SPWM Inverter Power Supply System Based on DSP. CSSE (4) 2008: 150-153
54		Ping Yang, JiSheng Li, YongXuan Huang: An Attribute Reduction Algorithm by Rough Set Based on Binary Discernibility Matrix. FSKD (2) 2008: 276-280
53		Navodaya Garepalli, Kartik Gopalan, Ping Yang: Control Message Reduction Techniques in Backward Learning Ad Hoc Routing Protocols. ICCCN 2008: 125-130
52		Mingrui 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
51		Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang: Scientific Workflow Provenance Querying with Security Views. WAIM 2008: 349-356
50		Ping Yang: A systematic approach on computational analysis and optimization design: for a nonlinear coupling shock absorber. Eng. Comput. (Lond.) 24(1): 87-96 (2008)
49		Ming Yang, Fei Wang, Ping Yang: A Novel Feature Selection Algorithm Based on Hypothesis-Margin. JCP 3(12): 27-34 (2008)
48		Ming Yang, Ping Yang: A novel condensing tree structure for rough set feature selection. Neurocomputing 71(4-6): 1092-1100 (2008)
	2007
47		Scott 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
46		Zijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511
45		Mingyuan Zhao, Mingtian Zhou, Qingxin Zhu, Ping Yang: Feature Extraction and Parameters Selection of Classification Model on Brain-Computer Interface. BIBE 2007: 1249-1253
44		Jun Zhang, Yiming Wang, Jinping Li, Ping Yang: A Neural Network Model for Predicting Cotton Yields. CCTA 2007: 1321-1322
43		Ping 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
42		Ming Yang, Ping Yang, Gen-Lin Ji: Updating of Attribute Reduction for the Case of Deleting. ICFIE 2007: 884-893
41		Daogang 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
40		Ping Yang, Zijiang Yang, Shiyong Lu: Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626
39		Ping 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
38		Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy Analysis for Administrative Role Based Access Control. CSFW 2006: 124-138
37		Zijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186
36		Ping Yang, Qing-miao Wang: Fault Diagnosis System for Turbo-Generator Set Based on Fuzzy Neural Network. ICAT Workshops 2006: 228-231
35		Xianfeng 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
34		Ping Yang, Samik Basu, C. R. Ramakrishnan: Parameterized Verification of pi-Calculus Systems. TACAS 2006: 42-57
	2005
33		Chuanli 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
31		Ping 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
30		Ping Yang, Sui Sheng Liu: Fault diagnosis for boilers in thermal power plant by data mining. ICARCV 2004: 2176-2180
29		Ping 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
28		Ping 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
27		Georges 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
26		Huan Li, Yixin Zhu, Ping Yang, Seshu Madhavapeddy: On M/M/1 Queues With a Smart Machine. Queueing Syst. 24: 23-36 (1997)
	1995
25		Huan Li, Yixin Zhu, Ping Yang: Computational analysis of M(n)/G/1/N queues with setup time. Computers & OR 22(8): 829-840 (1995)
24		Abhijit 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)
	1994
23		Ping 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)
22		Hong 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)
	1993
21		Harish Kriplani, Farid N. Najm, Ping Yang, Ibrahim N. Hajj: Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits. DAC 1993: 384-388
20		Mi-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
18		Richard 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)
17		Kartikeya 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)
16		Richard 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
15		Richard 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
13		Farid 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)
12		Paul 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
10		Farid 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
9		Paul 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)
8		Jue-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
7		Richard Burch, Farid N. Najm, Ping Yang, Dale E. Hocevar: Pattern-Independent Current Estimation for Reliability Analysis of CMOS Circuits. DAC 1988: 294-299
6		Dale 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
5		K. 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)
4		Joseph 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
3		Ping 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
2		Dale 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
1		Ping 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

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

Colors in the list of coauthors