Searching for authors named Masami Hagiya – sorted by Relevance.
-
Perspectives on Molecular Computing
- Perspectives on Molecular Computing 1 Perspectives on Molecular Computing Masami Hagiya
- Cited by 6 (1 self) – Add To MetaCart
-
From Molecular Computing to Molecular Programming
- From Molecular Computing to Molecular Programming Masami Hagiya Graduate School of Science
- Cited by 11 (1 self) – Add To MetaCart
-
Boomborg-PC: A Proof-Checker of Calculus of Constructions Running on a Buffer of GNU Emacs
- Boomborg-PC: A Proof-Checker of Calculus of Constructions Running on a Buffer of GNU Emacs Masami
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Autonomous Molecular Computers
- Towards Autonomous Molecular Computers Masami Hagiya Department of Information Science University
- Cited by 2 (0 self) – Add To MetaCart
-
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines Masami Hagiya
- Cited by 21 (1 self) – Add To MetaCart
-
Perspectives on Molecular Computing
- Perspectives on Molecular Computing 1 Perspectives on Molecular Computing Masami Hagiya
- Add To MetaCart
-
XML Schema Containment Checking based on Semi-implicit Techniques
- XML Schema Containment Checking based on Semi-implicit Techniques Akihiko Tozawa 1 and Masami
- Cited by 6 (0 self) – Add To MetaCart
-
Careful Analysis of Type Spoofing
- Careful Analysis of Type Spoofing Akihiko Tozawa Masami Hagiya Department of Information Science
- Cited by 3 (0 self) – Add To MetaCart
-
On Implicit Arguments
- TECHNICAL REPORT 95-1 On Implicit Arguments Masami Hagiya and Yozo Toda January 1, 1995
- Cited by 6 (1 self) – Add To MetaCart
-
Towards a System for Simulating DNA Computing with Whiplash PCR
- Towards a System for Simulating DNA Computing with Whiplash PCR Akio Nishikawa and Masami Hagiya
- Cited by 3 (1 self) – Add To MetaCart

