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: Yang:Ping
Contributed to:
2011
20092006
2005
2003
19931988Wrote 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.