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 × Germany
1 × USA
Collaborated with:
P.Huang C.Chou C.Huang C.Wu C.(.Huang
Talks about:
multi (3) interpol (2) rectif (2) logic (2) error (2) increment (1) synthesi (1) cofactor (1) generat (1) reduct (1)

Person: Kai-Fu Tang

DBLP DBLP: Tang:Kai=Fu

Contributed to:

DATE 20122012
DAC 20112011

Wrote 2 papers:

DATE-2012-TangHCH #generative #logic #multi #reduction
Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
DAC-2011-TangWHH #incremental #logic #multi #synthesis
Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.

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.