- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c15 |      | Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera: Evaluation of a just-in-time compiler retrofitted for PHP. VEE 2010: 121-132 |
| 2009 | ||
| c14 | | Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide: Copy-on-write in the PHP language. POPL 2009: 200-212 |
| c13 | | Toyotaro Suzumura, Michiaki Tatsubori, Scott Trent, Akihiko Tozawa, Tamiya Onodera: Highly scalable web applications with zero-copy data transfer. WWW 2009: 921-930 |
| 2008 | ||
| c12 | | 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 |
| c11 | | 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 | ||
| c10 | | Akihiko Tozawa, Yasuhiko Minamide: Complexity Results on Balanced Context-Free Languages. FoSSaCS 2007: 346-360 |
| 2006 | ||
| j2 | | Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada: XML access control using static analysis. ACM Trans. Inf. Syst. Secur. 9(3): 292-324 (2006) |
| c9 | | |
| c8 | | |
| c7 |  | Akihiko Tozawa: Type Checking For Functional XML Programming Without Type Annotation. PLAN-X 2006: 71-81 |
| 2005 | ||
| c6 | | 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 | ||
| c5 | | Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada: XML access control using static analysis. ACM Conference on Computer and Communications Security 2003: 73-84 |
| c4 | | Akihiko Tozawa, Masami Hagiya: XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225 |
| 2002 | ||
| j1 | | Akihiko Tozawa, Masami Hagiya: Formalization and Analysis of Class Loading in Java. Higher-Order and Symbolic Computation 15(1): 7-55 (2002) |
| 2001 | ||
| c3 | | Akihiko Tozawa: Towards static type checking for XSLT. ACM Symposium on Document Engineering 2001: 18-27 |
| 1999 | ||
| c2 | | Akihiko Tozawa, Masami Hagiya: Careful Analysis of Type Spoofing. Java-Informations-Tage 1999: 290-296 |
| 1998 | ||
| c1 | | Masami Hagiya, Akihiko Tozawa: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS 1998: 17-32 |
Colors in the list of coauthors
Last update Tue May 21 06:56:33 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page