Travelled to:1 × Canada
1 × France
1 × India
1 × Italy
1 × Sweden
1 × United Kingdom
4 × USA
Collaborated with:G.Gupta B.Barras C.L.Tan M.Leuschel K.Kuksenok M.Brooks C.P.Lee J.Jouannaud P.Strub T.Xia L.Li K.Lu F.Duan N.He L.Yang B.Yuan W.Huang Z.Zhang J.Choi Y.Kim A.Sivasubramaniam J.Srebric J.Lee
Talks about:theori (4) semant (4) base (3) approach (2) languag (2) continu (2) order (2) decid (2) type (2) horn (2)
Person: Qian Wang
DBLP: Wang:Qian
Contributed to:
2013
2013
2013
2011
2007
2005
2005
2003
20031999Wrote 10 papers:
- CHI-2013-KuksenokBWL #challenge
- Challenges and opportunities for technology in foreign language classrooms (KK, MB, QW, CPL), pp. 1011–1020.
- CSL-2013-WangB #decidability #equation #semantics #type system
- Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.
- HCI-III-2013-WangLDHY #detection #set
- A Coastline Detection Method Based on Level Set (QW, KL, FD, NH, LY), pp. 216–226.
- LICS-2011-BarrasJSW #decidability #first-order #higher-order #named #type system
- CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (BB, JPJ, PYS, QW), pp. 143–151.
- HPCA-2007-ChoiKSSWL #modelling
- Modeling and Managing Thermal Profiles of Rack-mounted Servers with ThermoStat (JC, YK, AS, JS, QW, JL), pp. 205–215.
- PADL-2005-WangGL #code generation #continuation #logic #semantics #towards
- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics (QW, GG, ML), pp. 98–112.
- SAC-2005-WangG #approach #domain-specific language #framework #implementation #prototype #semantics
- Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach (QW, GG), pp. 1419–1426.
- ICDAR-2003-WangXTL #approach #documentation #image
- Directional Wavelet Approach to Remove Document Image Interference (QW, TX, CLT, LL), pp. 736–740.
- LOPSTR-2003-WangG #continuation #horn clause #semantics
- Continuation Semantics as Horn Clauses (QW, GG), pp. 176–177.
- ICDAR-1999-TanYHWZ #using
- Text/Graphics Separation using Agent-based Pyramid Operations (CLT, BY, WH, QW, ZZ), pp. 169–172.