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 × Turkey
Collaborated with:
X.Cao H.Zhang M.Lesourd M.L.0001 L.Rieg Z.Shao
Talks about:
invari (2) flip (2) find (2) descriptor (1) constraint (1) detector (1) triangl (1) schedul (1) reflect (1) analysi (1)

Person: Xiaojie Guo

DBLP DBLP: Guo:Xiaojie

Contributed to:

ICPR 20102010
CAV (2) 20192019

Wrote 4 papers:

ICPR-2010-GuoC #invariant #named
FIND: A Neat Flip Invariant Descriptor (XG, XC), pp. 515–518.
ICPR-2010-GuoC10a #constraints
Triangle-Constraint for Finding More Good Features (XG, XC), pp. 1393–1396.
ICPR-2010-ZhangGC #detection #invariant #using
Water Reflection Detection Using a Flip Invariant Shape Detector (HZ, XG, XC), pp. 633–636.
CAV-2019-GuoLLRS #analysis #kernel #scheduling
Integrating Formal Schedulability Analysis into a Verified OS Kernel (XG, ML, ML0, LR, ZS), pp. 496–514.

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.