Akihiko Tozawa

According to our database, Akihiko Tozawa authored at least 17 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automatically Refactoring Application Transactions for Microservice-Oriented Architecture.

Ai Ishida, Yasuharu Katsuno, Akihiko Tozawa, Shin Saito

Proceedings of the IEEE International Conference on Software Services Engineering, 2023

2010

Evaluation of a just-in-time compiler retrofitted for PHP.

Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

2009

Highly scalable web applications with zero-copy data transfer.

Toyotaro Suzumura, Michiaki Tatsubori, Scott Trent, Akihiko Tozawa, Tamiya Onodera

Proceedings of the 18th International Conference on World Wide Web, 2009

Copy-on-write in the PHP language.

Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Performance Comparison of PHP and JSP as Server-Side Scripting Languages.

Scott Trent, Michiaki Tatsubori, Toyotaro Suzumura, Akihiko Tozawa, Tamiya Onodera

Proceedings of the Middleware 2008, 2008

Performance Comparison of Web Service Engines in PHP, Java and C.

Toyotaro Suzumura, Scott Trent, Michiaki Tatsubori, Akihiko Tozawa, Tamiya Onodera

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007

Complexity Results on Balanced Context-Free Languages.

Akihiko Tozawa, Yasuhiko Minamide

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2006

XML access control using static analysis.

Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada

ACM Trans. Inf. Syst. Secur., 2006

Type Checking For Functional XML Programming Without Type Annotation.

Akihiko Tozawa

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

XML Type Checking Using High-Level Tree Transducer.

Akihiko Tozawa

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

XML Validation for Context-Free Grammars.

Yasuhiko Minamide, Akihiko Tozawa

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2003

XML Schema Containment Checking Based on Semi-implicit Techniques.

Akihiko Tozawa, Masami Hagiya

Proceedings of the Implementation and Application of Automata, 2003

2002

Formalization and Analysis of Class Loading in Java.

Akihiko Tozawa, Masami Hagiya

High. Order Symb. Comput., 2002

2001

Towards static type checking for XSLT.

Akihiko Tozawa

Proceedings of the 2001 ACM Symposium on Document Engineering, 2001

1999

Careful Analysis of Type Spoofing.

Akihiko Tozawa, Masami Hagiya

Proceedings of the JIT '99, 1999

1998

On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.

Masami Hagiya, Akihiko Tozawa

Proceedings of the Static Analysis, 5th International Symposium, 1998