Ping Yang

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
34A novel approach to improving C-Tree for feature selection. Ming Yang, Ping Yang. Appl. Soft Comput. (11): 1924-1931 (2011). Web SearchBibTeXDownload
33Symbolic reachability analysis for parameterized administrative role-based access control. Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan. Computers & Security (30): 148-164 (2011). Web SearchBibTeXDownload
32Adaptive Spatial Modulation for Wireless MIMO Transmission Systems. Ping Yang, Yue Xiao, Yi Yu, Shaoqian Li. IEEE Communications Letters (15): 602-604 (2011). Web SearchBibTeXDownload
31CERES Edition-2 Cloud Property Retrievals Using TRMM VIRS and Terra and Aqua MODIS Data - Part I: Algorithms. Patrick Minnis, Szedung Sun-Mack, David F. Young, Patrick W. Heck, Donald P. Garber, Yan Chen, Douglas A. Spangenberg, Robert F. Arduini, Qing Z. Trepte, William L. Smith, Kirk Ayers, Sharon Gibson, Walter F. Miller, Gang Hong, Venkatesan Chakrapani, Yoshihide Takano, Kuo-Nan Liou, Yu Xie, Ping Yang. IEEE T. Geoscience and Remote Sensing (49): 4374-4400 (2011). Web SearchBibTeXDownload
30Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan. I. J. Comput. Appl. (18): 148-159 (2011). Web SearchBibTeX
29Changes in Electroencephalographic Power Spectra Associated with Reproductive Status in Frog. Guangzhan Fang, Jianguo Cui, Qin Chen, Ping Yang, Jing Song, Yezhong Tang. ISNN (1) 2011, 139-147. Web SearchBibTeXDownload
28Policy analysis for Administrative Role-Based Access Control. Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan. Theor. Comput. Sci. (412): 6208-6234 (2011). Web SearchBibTeXDownload
2010
27Secure Abstraction Views for Scientific Workflow Provenance Querying. Artem Chebotko, Shiyong Lu, Seunghan Chang, Farshad Fotouhi, Ping Yang. IEEE T. Services Computing (3): 322-337 (2010). Web SearchBibTeXDownload
26Information flow analysis of scientific workflows. Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang. J. Comput. Syst. Sci. (76): 390-402 (2010). Web SearchBibTeXDownload
2009
25A Novel Algorithm Based on Conditional Entropy Established by Clustering for Feature Selection. Ping Yang, Ming Yang. FSKD (1) 2009, 410-415. Web SearchBibTeXDownload
24Combining Explicitly Mask Image with Voxel-Based Morphometry for Improving 0.35T Functional MRI Data Analysis. Ping Yang, Hongyu Guo, Yanfa He. ICIG 2009, 712-715. Web SearchBibTeXDownload
23A Novel Hypothesis-Margin Based Method Incorporating Minimal-Redundancy Criterion for Feature Selection. Ming Yang, Ping Yang. ICNC (2) 2009, 189-194. Web SearchBibTeXDownload
22MIC_FS : A novel model for feature selection by mutual information guided by clustering. Ming Yang, Ping Yang. IEEE ICCI 2009, 390-398. Web SearchBibTeXDownload
21Symbolic reachability analysis for parameterized administrative role based access control. Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan. SACMAT 2009, 165-174. Web SearchBibTeXDownload
2008
20A fuzzy c-means algorithm using a correlation metrics and gene ontology. Mingrui Zhang, Terry M. Therneau, Michael A. McKenzie, Peter Li, Ping Yang. ICPR 2008, 1-4. Web SearchBibTeXDownload
19A Novel Feature Selection Algorithm Based on Hypothesis-Margin. Ming Yang, Fei Wang, Ping Yang. JCP (3): 27-34 (2008). Web SearchBibTeXDownload
18A novel condensing tree structure for rough set feature selection. Ming Yang, Ping Yang. Neurocomputing (71): 1092-1100 (2008). Web SearchBibTeXDownload
17Scientific Workflow Provenance Querying with Security Views. Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang. WAIM 2008, 349-356. Web SearchBibTeXDownload
2007
16Efficient policy analysis for administrative role based access control. Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman. ACM Conference on Computer and Communications Security 2007, 445-455. Web SearchBibTeXDownload
15Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. Zijiang Yang, Shiyong Lu, Ping Yang. AINA Workshops (2) 2007, 506-511. Web SearchBibTeXDownload
14A Neural Network Model for Predicting Cotton Yields. Jun Zhang, Yiming Wang, Jinping Li, Ping Yang. CCTA 2007, 1321-1322. Web SearchBibTeXDownload
13The Hardware Research of Dual-port RAM for Main-spare CPU in Rural Power Terminal System of Power Quantity Collection. Ping Yang, Shu Dai, Xiuhua Wu, Yong Yang. CCTA 2007, 433-440. Web SearchBibTeXDownload
12Isomorphism identification for epicyclic gear mechanism based on mapping property and ant algorithm. Ping Yang, Zhihua Pei, Ningbo Liao, Bing Yang. Eng. Comput. (Lond.) (23): 49-54 (2007). Web SearchBibTeXDownload
11Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. Ping Yang, Zijiang Yang, Shiyong Lu. eScience 2007, 619-626. Web SearchBibTeXDownload
10Updating of Attribute Reduction for the Case of Deleting. Ming Yang, Ping Yang, Gen-Lin Ji. ICFIE 2007, 884-893. Cited by 1Web SearchBibTeXDownload
9Differences Between Collection 4 and 5 MODIS Ice Cloud Optical/Microphysical Products and Their Impact on Radiative Forcing Simulations. Ping Yang, Lei Zhang, Gang Hong, Shaima L. Nasiri, Bryan A. Baum, Hung-Lung Huang, Michael D. King, Steven Platnick. IEEE T. Geoscience and Remote Sensing (45): 2886-2899 (2007). Web SearchBibTeXDownload
2006
8Policy Analysis for Administrative Role Based Access Control. Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan. CSFW 2006, 124-138. Web SearchBibTeXDownload
7Runtime Security Verification for Itinerary-Driven Mobile Agents. Zijiang Yang, Shiyong Lu, Ping Yang. DASC 2006, 177-186. Web SearchBibTeXDownload
6Parameterized Verification of pi-Calculus Systems. Ping Yang, Samik Basu, C. R. Ramakrishnan. TACAS 2006, 42-57. Web SearchBibTeXDownload
2005
5A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka. PADL 2005, 113-127. Web SearchBibTeXDownload
2004
4Retrieval of semitransparent ice cloud optical thickness from atmospheric infrared sounder (AIRS) measurements. Heli Wei, Ping Yang, Jun Li, Bryan A. Baum, Hung-Lung Huang, Steven Platnick, Yongxiang Hu, Larrabee L. Strow. IEEE T. Geoscience and Remote Sensing (42): 2254-2267 (2004). Web SearchBibTeXDownload
3A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Ping Yang, C. R. Ramakrishnan, Scott A. Smolka. STTT (6): 38-66 (2004). Web SearchBibTeXDownload
2003
2A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. Ping Yang, C. R. Ramakrishnan, Scott A. Smolka. VMCAI 2003, 116-131. Web SearchBibTeXDownload
1994
1Control and scheduling in a two-station queueing network: Optimal policies and heuristics. Hong Chen, Ping Yang, David D. Yao. Queueing Syst. (18): 301-332 (1994). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research