dblp.uni-trier.dewww.uni-trier.de

Akihiko Tozawa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
16EEAkihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide: Copy-on-write in the PHP language. POPL 2009: 200-212
15EEToyotaro Suzumura, Michiaki Tatsubori, Scott Trent, Akihiko Tozawa, Tamiya Onodera: Highly scalable web applications with zero-copy data transfer. WWW 2009: 921-930
2008
14EEToyotaro Suzumura, Scott Trent, Michiaki Tatsubori, Akihiko Tozawa, Tamiya Onodera: Performance Comparison of Web Service Engines in PHP, Java and C. ICWS 2008: 385-392
13EEScott 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
12EEAkihiko Tozawa, Yasuhiko Minamide: Complexity Results on Balanced Context-Free Languages. FoSSaCS 2007: 346-360
2006
11EEYasuhiko Minamide, Akihiko Tozawa: XML Validation for Context-Free Grammars. APLAS 2006: 357-373
10EEAkihiko 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
8EEMakoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada: XML access control using static analysis. ACM Trans. Inf. Syst. Secur. 9(3): 292-324 (2006)
2005
7EEYoshinori 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
6EEMakoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada: XML access control using static analysis. ACM Conference on Computer and Communications Security 2003: 73-84
5EEAkihiko 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
3EEAkihiko 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
1EEMasami Hagiya, Akihiko Tozawa: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS 1998: 17-32

Coauthor Index

1Satoshi Hada [6] [8]
2Masami Hagiya [1] [2] [4] [5] [7]
3Michiharu Kudo [6] [8]
4Yasuhiko Minamide [11] [12] [16]
5Makoto Murata [6] [8]
6Tamiya Onodera [13] [14] [15] [16]
7Toyotaro Suzumura [13] [14] [15]
8Koichi Takahashi [7]
9Yoshinori Tanabe [7]
10Michiaki Tatsubori [13] [14] [15] [16]
11Scott Trent [13] [14] [15]
12Mitsuharu Yamamoto [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)