| 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 |
