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: Takahashi:Takeshi
Contributed to:
20142011
1999Wrote 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.