BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × United Kingdom
4 × USA
Collaborated with:
C.R.Ramakrishnan S.A.Smolka F.N.Najm S.Basu Y.Dong H.Kriplani I.N.Hajj R.Burch D.E.Hocevar D.Xu Z.Zhang G.Chen M.Tan M.I.Gofman R.Luo A.C.Solomon Y.Zhang S.D.Stoller
Talks about:
calculus (2) process (2) current (2) circuit (2) analysi (2) system (2) model (2) mobil (2) estim (2) check (2)

Person: Ping Yang

DBLP DBLP: Yang:Ping

Contributed to:

CASE 20112011
TACAS 20092009
TACAS 20062006
PADL 20052005
VMCAI 20032003
DAC 19931993
DAC 19881988

Wrote 7 papers:

CASE-2011-YangXZCT #game studies #multi
A vision system with multiple cameras designed for humanoid robots to play table tennis (PY, DX, ZZ, GC, MT), pp. 737–742.
TACAS-2009-GofmanLSZYS #analysis #data access #named #policy
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control (MIG, RL, ACS, YZ, PY, SDS), pp. 46–49.
TACAS-2006-YangBR #verification #π-calculus
Parameterized Verification of π-Calculus Systems (PY, SB, CRR), pp. 42–57.
PADL-2005-YangDRS #compilation #mobile #model checking #performance #process
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (PY, YD, CRR, SAS), pp. 113–127.
VMCAI-2003-YangRS #encoding #logic #mobile #model checking #process #using #π-calculus
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution (PY, CRR, SAS), pp. 116–131.
DAC-1993-KriplaniNYH #correlation
Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits (HK, FNN, PY, INH), pp. 384–388.
DAC-1988-BurchNYH #analysis #estimation #independence #reliability
Pattern-Independent Current Estimation for Reliability Analysis of CMOS Circuits (RB, FNN, PY, DEH), pp. 294–299.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.