Search the dblp DataBase

Publications of Author

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