On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. - Masami Hagiya; Akihiko Tozawa (SAS, 1998)

Careful Analysis of Type Spoofing. - Akihiko Tozawa; Masami Hagiya (Java-Informations-Tage, 1999)

Towards static type checking for XSLT. - Akihiko Tozawa (ACM Symposium on Document Engineering, 2001)

Formalization and Analysis of Class Loading in Java. - Akihiko Tozawa; Masami Hagiya (High. Order Symb. Comput., 2002)

XML Schema Containment Checking Based on Semi-implicit Techniques. - Akihiko Tozawa; Masami Hagiya (CIAA, 2003)

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. - Yoshinori Tanabe; Koichi Takahashi; Mitsuharu Yamamoto; Akihiko Tozawa; Masami Hagiya (TABLEAUX, 2005)

XML Validation for Context-Free Grammars. - Yasuhiko Minamide; Akihiko Tozawa (APLAS, 2006)

XML Type Checking Using High-Level Tree Transducer. - Akihiko Tozawa (FLOPS, 2006)

Type Checking For Functional XML Programming Without Type Annotation. - Akihiko Tozawa (PLAN-X, 2006)

XML access control using static analysis. - Makoto Murata; Akihiko Tozawa; Michiharu Kudo; Satoshi Hada (ACM Trans. Inf. Syst. Secur., 2006)

Complexity Results on Balanced Context-Free Languages. - Akihiko Tozawa; Yasuhiko Minamide (FoSSaCS, 2007)

Performance Comparison of Web Service Engines in PHP, Java and C. - Toyotaro Suzumura; Scott Trent; Michiaki Tatsubori; Akihiko Tozawa; Tamiya Onodera (ICWS, 2008)

Performance Comparison of PHP and JSP as Server-Side Scripting Languages. - Scott Trent; Michiaki Tatsubori; Toyotaro Suzumura; Akihiko Tozawa; Tamiya Onodera (Middleware, 2008)

Copy-on-write in the PHP language. - Akihiko Tozawa; Michiaki Tatsubori; Tamiya Onodera; Yasuhiko Minamide (POPL, 2009)

Highly scalable web applications with zero-copy data transfer. - Toyotaro Suzumura; Michiaki Tatsubori; Scott Trent; Akihiko Tozawa; Tamiya Onodera (WWW, 2009)

Evaluation of a just-in-time compiler retrofitted for PHP. - Michiaki Tatsubori; Akihiko Tozawa; Toyotaro Suzumura; Scott Trent; Tamiya Onodera (VEE, 2010)

Automatically Refactoring Application Transactions for Microservice-Oriented Architecture. - Ai Ishida; Yasuharu Katsuno; Akihiko Tozawa; Shin Saito (SSE, 2023)