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) |