Atsushi Takeshita

Publication Activity (10 Years)

Years Active: 1992-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Publications

Jumpei Kobashi, Satoshi Yamane, Atsushi Takeshita
Development of SMT-Based Bounded Model Checker for embedded assembly program. GCCE (2014)
James Kempf, Ajoy Singh, Jonathan Wood, Atsushi Takeshita, Nat Natarajan
Link Synchronous Mobile IPv4 Handover Algorithms. Wirel. Networks 12 (3) (2006)
Akira Kinno, Hideki Yukitomo, Takehiro Nakayama, Atsushi Takeshita
Recursive Application of Structural Templates to Efficiently Compress Parsed XML. ICWE (2005)
Johnny M. Matta, Atsushi Takeshita
End-to-end voice over IP quality of service estimation through router queuing delay monitoring. GLOBECOM (2002)
Muhammad Mukarram Bin Tariq, Atsushi Takeshita
Management of cacheable streaming multimedia content in networks with mobile nodes. GLOBECOM (2002)
Aki Yokote, Alper E. Yegin, Muhammad Mukarram Bin Tariq, Guangrui Fu, C. Williams, Atsushi Takeshita
Mobile IP API. MWCN (2002)
Atsushi Takeshita
Recognizing Topics through the Use of Interaction Structures. COLING (1992)