| 2009 |
|---|
| 16 | EE | Akihiko Tozawa,
Michiaki Tatsubori,
Tamiya Onodera,
Yasuhiko Minamide:
Copy-on-write in the PHP language.
POPL 2009: 200-212 |
| 15 | EE | Toyotaro Suzumura,
Michiaki Tatsubori,
Scott Trent,
Akihiko Tozawa,
Tamiya Onodera:
Highly scalable web applications with zero-copy data transfer.
WWW 2009: 921-930 |
| 2008 |
|---|
| 14 | EE | Toyotaro Suzumura,
Scott Trent,
Michiaki Tatsubori,
Akihiko Tozawa,
Tamiya Onodera:
Performance Comparison of Web Service Engines in PHP, Java and C.
ICWS 2008: 385-392 |
| 13 | EE | Scott Trent,
Michiaki Tatsubori,
Toyotaro Suzumura,
Akihiko Tozawa,
Tamiya Onodera:
Performance Comparison of PHP and JSP as Server-Side Scripting Languages.
Middleware 2008: 164-182 |
| 2007 |
|---|
| 12 | EE | Akihiko Tozawa,
Yasuhiko Minamide:
Complexity Results on Balanced Context-Free Languages.
FoSSaCS 2007: 346-360 |
| 2006 |
|---|
| 11 | EE | Yasuhiko Minamide,
Akihiko Tozawa:
XML Validation for Context-Free Grammars.
APLAS 2006: 357-373 |
| 10 | EE | Akihiko Tozawa:
XML Type Checking Using High-Level Tree Transducer.
FLOPS 2006: 81-96 |
| 9 | | Akihiko Tozawa:
Type Checking For Functional XML Programming Without Type Annotation.
PLAN-X 2006: 71-81 |
| 8 | EE | Makoto Murata,
Akihiko Tozawa,
Michiharu Kudo,
Satoshi Hada:
XML access control using static analysis.
ACM Trans. Inf. Syst. Secur. 9(3): 292-324 (2006) |
| 2005 |
|---|
| 7 | EE | Yoshinori Tanabe,
Koichi Takahashi,
Mitsuharu Yamamoto,
Akihiko Tozawa,
Masami Hagiya:
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
TABLEAUX 2005: 277-291 |
| 2003 |
|---|
| 6 | EE | Makoto Murata,
Akihiko Tozawa,
Michiharu Kudo,
Satoshi Hada:
XML access control using static analysis.
ACM Conference on Computer and Communications Security 2003: 73-84 |
| 5 | EE | Akihiko Tozawa,
Masami Hagiya:
XML Schema Containment Checking Based on Semi-implicit Techniques.
CIAA 2003: 213-225 |
| 2002 |
|---|
| 4 | | Akihiko Tozawa,
Masami Hagiya:
Formalization and Analysis of Class Loading in Java.
Higher-Order and Symbolic Computation 15(1): 7-55 (2002) |
| 2001 |
|---|
| 3 | EE | Akihiko Tozawa:
Towards static type checking for XSLT.
ACM Symposium on Document Engineering 2001: 18-27 |
| 1999 |
|---|
| 2 | | Akihiko Tozawa,
Masami Hagiya:
Careful Analysis of Type Spoofing.
Java-Informations-Tage 1999: 290-296 |
| 1998 |
|---|
| 1 | EE | Masami Hagiya,
Akihiko Tozawa:
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.
SAS 1998: 17-32 |
