Akihiko Tozawa (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 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

5 Akihiko Tozawa, Masami Hagiya: XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225

4 Akihiko Tozawa, Masami Hagiya: Formalization and Analysis of Class Loading in Java. Higher-Order and Symbolic Computation 15(1): 7-55 (2002)

2 Akihiko Tozawa, Masami Hagiya: Careful Analysis of Type Spoofing. Java-Informations-Tage 1999: 290-296

1 Masami Hagiya, Akihiko Tozawa: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS 1998: 17-32

Selection of 5 from 16 records - Akihiko Tozawa has 12 coauthors

7		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
5		Akihiko Tozawa, Masami Hagiya: XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225
4		Akihiko Tozawa, Masami Hagiya: Formalization and Analysis of Class Loading in Java. Higher-Order and Symbolic Computation 15(1): 7-55 (2002)
2		Akihiko Tozawa, Masami Hagiya: Careful Analysis of Type Spoofing. Java-Informations-Tage 1999: 290-296
1		Masami Hagiya, Akihiko Tozawa: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS 1998: 17-32