An Axiomatic Formalization of UML Models. - Toshiaki Aoki; Takaaki Tateishi; Takuya Katayama (pUML, 2001)

Automated Verification Tool for DHTML. - Takaaki Tateishi; Hisashi Miyashita; Kouichi Ono; Shin Saito (ASE, 2006)

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. - Mika Koganeyama; Naoshi Tabuchi; Takaaki Tateishi (APSEC, 2007)

Secure Behavior of Web Browsers to Prevent Information Leakages. - Takaaki Tateishi; Naoshi Tabuchi (APSEC, 2007)

DHTML Accessibility Checking Based on Static JavaScript Analysis. - Takaaki Tateishi; Hisashi Miyashita; Naoshi Tabuchi; Shin Saito; Kouichi Ono (HCI (7), 2007)

Verifying the Consistency of Security Policies by Abstracting into Security Types. - Kouichi Ono; Yuichi Nakamura 003; Fumiko Satoh; Takaaki Tateishi (ICWS, 2007)

Modular string-sensitive permission analysis with demand-driven precision. - Emmanuel Geay; Marco Pistoia; Takaaki Tateishi; Barbara G. Ryder; Julian Dolby (ICSE, 2009)

Information-Flow-Based Access Control for Web Browsers. - Sachiko Yoshihama; Takaaki Tateishi; Naoshi Tabuchi; Tsutomu Matsumoto (IEICE Trans. Inf. Syst., 2009)

Static discovery and remediation of code-embedded resource dependencies. - Nikolai Joukov; Vasily Tarasov; Joel Ossher; Birgit Pfitzmann; Sergej Chicherin; Marco Pistoia; Takaaki Tateishi (Integrated Network Management, 2011)

Path- and index-sensitive string analysis based on monadic second-order logic. - Takaaki Tateishi; Marco Pistoia; Omer Tripp (ACM Trans. Softw. Eng. Methodol., 2013)

Editor's Meesage to Special Issue on Software Engineering. - Takaaki Tateishi (J. Inf. Process., 2016)

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. - Naoto Sato; Takaaki Tateishi; Shunichi Amano (iThings/GreenCom/CPSCom/SmartData, 2018)

Automatic smart contract generation using controlled natural language and template. - Takaaki Tateishi; Sachiko Yoshihama; Naoto Sato; Shin Saito (IBM J. Res. Dev., 2019)

Semantic Feature Discovery with Code Mining and Semantic Type Detection. - Kavitha Srinivas; Takaaki Tateishi; Daniel Karl I. Weidele; Udayan Khurana; Horst Samulowitz; Toshihiro Takahashi; Dakuo Wang; Lisa Amini (AAAI, 2022)

Datetime Feature Recommendation Using Textual Information. - Satoshi Masuda; Takaaki Tateishi; Toshihiro Takahashi (KES, 2023)

Unleashing the Potential of Data Lakes with Semantic Enrichment Using Foundation Models. - Nandana Mihindukulasooriya; Sarthak Dash; Sugato Bagchi; Md. Faisal Mahbub Chowdhury; Alfio Massimiliano Gliozzo; Ariel Farkash; Michael R. Glass; Igor Gokhman; Oktie Hassanzadeh; Nhan Pham; Gaetano Rossiello; Boris Rozenberg; et al. (ISWC (Posters/Demos/Industry), 2023)

Matching of Descriptive Labels to Glossary Descriptions. - Toshihiro Takahashi; Takaaki Tateishi; Michiaki Tatsubori (CoRR, 2023)