2009 | ||
---|---|---|
55 | EE | 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 | ||
54 | EE | Shao-Lin Li, Ping Yang: Research on a SPWM Inverter Power Supply System Based on DSP. CSSE (4) 2008: 150-153 |
53 | EE | Ping Yang, JiSheng Li, YongXuan Huang: An Attribute Reduction Algorithm by Rough Set Based on Binary Discernibility Matrix. FSKD (2) 2008: 276-280 |
52 | EE | 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 | EE | Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang: Scientific Workflow Provenance Querying with Security Views. WAIM 2008: 349-356 |
50 | EE | 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 | EE | Ming Yang, Fei Wang, Ping Yang: A Novel Feature Selection Algorithm Based on Hypothesis-Margin. JCP 3(12): 27-34 (2008) |
48 | EE | Ming Yang, Ping Yang: A novel condensing tree structure for rough set feature selection. Neurocomputing 71(4-6): 1092-1100 (2008) |
2007 | ||
47 | EE | 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 | EE | Zijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511 |
45 | EE | 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 | EE | Jun Zhang, Yiming Wang, Jinping Li, Ping Yang: A Neural Network Model for Predicting Cotton Yields. CCTA 2007: 1321-1322 |
43 | EE | 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 | EE | Ming Yang, Ping Yang, Gen-Lin Ji: Updating of Attribute Reduction for the Case of Deleting. ICFIE 2007: 884-893 |
41 | EE | 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 | EE | Ping Yang, Zijiang Yang, Shiyong Lu: Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626 |
39 | EE | 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 | EE | Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy Analysis for Administrative Role Based Access Control. CSFW 2006: 124-138 |
37 | EE | Zijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186 |
36 | EE | Ping Yang, Qing-miao Wang: Fault Diagnosis System for Turbo-Generator Set Based on Fuzzy Neural Network. ICAT Workshops 2006: 228-231 |
35 | EE | 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 | EE | Ping Yang, Samik Basu, C. R. Ramakrishnan: Parameterized Verification of pi-Calculus Systems. TACAS 2006: 42-57 |
2005 | ||
33 | EE | 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 | EE | 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 | EE | Ping Yang, Sui Sheng Liu: Fault diagnosis for boilers in thermal power plant by data mining. ICARCV 2004: 2176-2180 |
29 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |