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 × South Korea
1 × Taiwan
1 × USA
Collaborated with:
H.B.Kim D.S.Ha K.Emura A.Kanaoka S.Ohta T.Ban C.Zhang S.Abe Y.Kadobayashi
Talks about:
implement (1) dimension (1) synthesi (1) prototyp (1) manifold (1) interlac (1) communic (1) testabl (1) channel (1) formul (1)

Person: Takeshi Takahashi

DBLP DBLP: Takahashi:Takeshi

Contributed to:

SAC 20142014
SAC 20112011
DAC 19991999

Wrote 3 papers:

SAC-2014-EmuraKOT #communication #formal method #implementation #prototype
Building secure and anonymous communication channel: formal model and its prototype implementation (KE, AK, SO, TT), pp. 1641–1648.
SAC-2011-BanZATK #mining
Mining interlacing manifolds in high dimensional spaces (TB, CZ, SA, TT, YK), pp. 942–949.
DAC-1999-KimHT #on the #self #synthesis
On ILP Formulations for Built-In Self-Testable Data Path Synthesis (HBK, DSH, TT), pp. 742–747.

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.