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