Travelled to:1 × Egypt
1 × Israel
1 × Italy
1 × Korea
1 × USA
Collaborated with:R.Johnson A.Aziz K.Albin C.Pixley J.Shen J.A.Abraham A.Bahrami C.Wang M.O.Murray A.Hunt N.Rishe R.Athauda S.Chen X.Lu X.Ma A.Vaschillo A.Shaposhnikov D.Vasilevsky
Talks about:semant (3) inform (2) verif (2) constraint (1) synthesi (1) interfac (1) function (1) environ (1) databas (1) integr (1)
Person: Jun Yuan
DBLP: Yuan:Jun
Contributed to:
2012
2006
20032000
1997Wrote 5 papers:
- SCAM-2012-YuanJ #compilation #named
- CAWDOR: Compiler Assisted Worm Defense (JY, RJ), pp. 54–63.
- VLDB-2006-YuanBWMH #integration #semantics
- A Semantic Information Integration Tool Suite (JY, AB, CW, MOM, AH), pp. 1171–1174.
- DAC-2003-YuanAAP #constraints #functional #modelling #synthesis #verification
- Constraint synthesis for environment modeling in functional verification (JY, KA, AA, CP), pp. 296–299.
- VLDB-2000-RisheYACLMVSV #database #interface #query #semantics
- Semantic Access: Semantic Interface for Querying Databases (NR, JY, RA, SCC, XL, XM, AV, AS, DV), pp. 591–594.
- CAV-1997-YuanSAA #on the #verification
- On Combining Formal and Informal Verification (JY, JS, JAA, AA), pp. 376–387.