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 × 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 DBLP: Wang:Qian

Contributed to:

CHI 20132013
CSL 20132013
HCI p5 20132013
LICS 20112011
HPCA 20072007
PADL 20052005
SAC 20052005
ICDAR 20032003
LOPSTR 20032003
ICDAR 19991999

Wrote 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.

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.