Akihiko Tozawa

18 papers A* 3A 2B 6C 1Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2023 — conf
Automatically Refactoring Application Transactions for Microservice-Oriented Architecture.
SSE
Ai Ishida, Yasuharu Katsuno, Akihiko Tozawa, Shin Saito
2010 B conf
Evaluation of a just-in-time compiler retrofitted for PHP.
VEE
Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera
2009 A* conf
Copy-on-write in the PHP language.
POPL
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide
2009 A* conf
Highly scalable web applications with zero-copy data transfer.
WWW
Toyotaro Suzumura, Michiaki Tatsubori, Scott Trent, Akihiko Tozawa, Tamiya Onodera
2008 A conf
Performance Comparison of PHP and JSP as Server-Side Scripting Languages.
Middleware
Scott Trent, Michiaki Tatsubori, Toyotaro Suzumura, Akihiko Tozawa, Tamiya Onodera
2008 A conf
Performance Comparison of Web Service Engines in PHP, Java and C.
ICWS
Toyotaro Suzumura, Scott Trent, Michiaki Tatsubori, Akihiko Tozawa, Tamiya Onodera
2007 B conf
Complexity Results on Balanced Context-Free Languages.
FoSSaCS
Akihiko Tozawa, Yasuhiko Minamide
2006 — conf
Type Checking For Functional XML Programming Without Type Annotation.
PLAN-X
Akihiko Tozawa
2006 Misc conf
XML Type Checking Using High-Level Tree Transducer.
FLOPS
Akihiko Tozawa
2006 B conf
XML Validation for Context-Free Grammars.
APLAS
Yasuhiko Minamide, Akihiko Tozawa
2006 J jnl
XML access control using static analysis.
ACM Trans. Inf. Syst. Secur.
Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada
2005 B conf
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
TABLEAUX
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
2003 C conf
XML Schema Containment Checking Based on Semi-implicit Techniques.
CIAA
Akihiko Tozawa, Masami Hagiya
2003 A* conf
XML access control using static analysis.
CCS
Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada
2002 J jnl
Formalization and Analysis of Class Loading in Java.
High. Order Symb. Comput.
Akihiko Tozawa, Masami Hagiya
2001 B conf
Towards static type checking for XSLT.
ACM Symposium on Document Engineering
Akihiko Tozawa
1999 — conf
Careful Analysis of Type Spoofing.
Java-Informations-Tage
Akihiko Tozawa, Masami Hagiya
1998 B conf
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.
SAS
Masami Hagiya, Akihiko Tozawa