The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Akihiko Tozawa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002