( en | de | ru )

 

Disambiguation of "Tozawa, Akihiko"

Author of the publication

copydeleteadd this publication to your clipboard
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

, , , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 277-291. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Akihiko Fujii

 

Other publications of authors with the same name

Careful Analysis of Type Spoofing., and . Java-Informations-Tage, page 290-296. Springer, (1999)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 277-291. Springer, (2005)On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines., and . SAS, volume 1503 of Lecture Notes in Computer Science, page 17-32. Springer, (1998)XML Schema Containment Checking Based on Semi-implicit Techniques., and . CIAA, volume 2759 of Lecture Notes in Computer Science, page 213-225. Springer, (2003)Automatically Refactoring Application Transactions for Microservice-Oriented Architecture., , , and . SSE, page 210-219. IEEE, (2023)XML Type Checking Using High-Level Tree Transducer.. FLOPS, volume 3945 of Lecture Notes in Computer Science, page 81-96. Springer, (2006)Type Checking For Functional XML Programming Without Type Annotation.. PLAN-X, page 71-81. BRICS, Department of Computer Science, University of Aarhus, (2006)Highly scalable web applications with zero-copy data transfer., , , , and . WWW, page 921-930. ACM, (2009)Complexity Results on Balanced Context-Free Languages., and . FoSSaCS, volume 4423 of Lecture Notes in Computer Science, page 346-360. Springer, (2007)Copy-on-write in the PHP language., , , and . POPL, page 200-212. ACM, (2009)