☰

Ping Yang, Ph.D. - Publications

Affiliations: 
2006 Stony Brook University, Stony Brook, NY, United States 
Area:
Logic Programming, Programming Languages, Verification.
Tree Info Similar researchers PubMed Report error

3 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2011 Sasturkar A, Yang P, Stoller SD, Ramakrishnan CR. Policy analysis for Administrative Role-Based Access Control Theoretical Computer Science. 412: 6208-6234. DOI: 10.1016/J.Tcs.2011.05.009  0.461
2011 Stoller SD, Yang P, Gofman MI, Ramakrishnan CR. Symbolic reachability analysis for parameterized administrative role-based access control Computers and Security. 30: 148-164. DOI: 10.1016/J.Cose.2010.08.002  0.46
2004 Yang P, Ramakrishnan CR, Smolka SA. A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution International Journal On Software Tools For Technology Transfer. 6: 38-66. DOI: 10.1007/S10009-003-0136-3  0.429
Show low-probability matches.