Searching for authors named "Masami Hagiya" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
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…
- Cited by 7 (1 self) – 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
-
A User Interface for Controlling Term Rewriting Based on Computing-as-Editing Paradigm
- … Takebe and Masami Hagiya Department of Information Science, University of Tokyo ftakebe…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
