Masami Hagiya - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Implementations of computational state transitions with biomoleculesMasami Hagiya. scholarpedia, 6(4):9917, 2011. [doi]

2010

2009

2008

Efficient Model Checking of Networked ApplicationsCyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. TOOLS 2008: 22-40 [doi]

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked ProgramsCyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. snpd 2008: 807-813 [doi]

Tools and Techniques for Model Checking Networked ProgramsCyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. snpd 2008: 852-857 [doi]

Designing Chemical and Biological SystemsMasami Hagiya. ngc, 26(3):295, 2008. [doi]

Unravel four hairpins!Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya. nc, 7(2):287-298, 2008. [doi]

Multi-fueled approach to DNA nano-roboticsAkio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya. nc, 7(3):371-383, 2008. [doi]

A decision procedure for alternation-free modal µ-calculiYoshinori Tanabe, Koichi Takahashi, Masami Hagiya. aiml 2008: 341-362 [doi]

Towards DNA Comparator: The Machine That Compares DNA ConcentrationsFumiaki Tanaka, Takashi Tsuda, Masami Hagiya. dna 2009: 11-20 [doi]

2007

Combining Randomness and a High-Capacity DNA MemoryAtsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya. dna 2008: 109-118 [doi]

Multi-fueled Approach to DNA Nano-RoboticsAkio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya. dna 2008: 79-88 [doi]

2006

Computing with Hairpins and Secondary Structures of DNAMasami Hagiya, Satsuki Yaegashi. In Nanotechnology: Science and Computation. 2006: 293-308 [doi]

Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, ProceedingsMasami Hagiya, Philip Wadler, editors, Volume 3945 of Lecture Notes in Computer Science, Springer, 2006.

Unravel Four Hairpins!Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya. dna 2006: 381-392 [doi]

Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin FormationKen Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose. dna 2006: 428-438 [doi]

Displacement Whiplash PCR: Optimized Architecture and Experimental ValidationJohn A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya. dna 2006: 393-403 [doi]

2005

Molecular Computing and Real Number ComputingMasami Hagiya. cca 2005:

Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous ComputingMasami Hagiya. uc 2005: 117-129 [doi]

Hairpin-based state machine and conformational addressing: Design and experimentAtsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi. nc, 4(2):103-126, 2005. [doi]

Photo- and Thermoregulation of DNA NanomachinesKeiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya. dna 2006: 336-346 [doi]

Chain Reaction Systems Based on Loop Dissociation of DNAKeiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya. dna 2006: 347-358 [doi]

A Decision Procedure for the Alternation-Free Two-Way Modal µ-CalculusYoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya. tableaux 2005: 277-291 [doi]

Abstraction of Graph Transformation Systems by Temporal Logic and Its VerificationMitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya. vstte 2008: 518-527 [doi]

2004

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal LogicMasami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato. FLOPS 2004: 7-21 [doi]

Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy LandscapesMitsuhiro Kubota, Masami Hagiya. dna 2005: 202-214 [doi]

2003

DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised PapersMasami Hagiya, Azuma Ohuchi, editors, Volume 2568 of Lecture Notes in Computer Science, Springer, 2003.

Conformational Addressing Using the Hairpin Structure of Single-Strand DNAAtsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi. dna 2004: 219-223 [doi]

A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule ShufflingJohn A. Rose, Mitsunori Takano, Masami Hagiya, Akira Suyama. gpem, 4(2):139-152, 2003. [doi]

UML Scrapbook and Realization of Snapshot Programming EnvironmentOsamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya. isss2 2004: 281-295 [doi]

XML Schema Containment Checking Based on Semi-implicit TechniquesAkihiko Tozawa, Masami Hagiya. wia 2003: 213-225 [doi]

Analyzing Secondary Structure Transition Paths of DNA/RNA MoleculesHiroki Uejima, Masami Hagiya. dna 2004: 86-90 [doi]

Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure TransitionsHiroki Uejima, Masami Hagiya. dna 2004: 74-85 [doi]

2002

2001

2000

Improving Sequence Design for DNA ComputingMasanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu, Kensaku Sakamoto. gecco 2000: 875-882

Theory and Construction of Molecular ComputersMasami Hagiya. ifipTCS 2000: 23-24 [doi]

Discovery and DeductionMasami Hagiya, Koichi Takahashi. dis 2000: 17-37 [doi]

From Molecular Computing to Molecular ProgrammingMasami Hagiya. dna 2001: 89-102 [doi]

Successive State Transitions with I/O Interface by MoleculesKen Komiya, Kensaku Sakamoto, Hidetaka Gouzu, Shigeyuki Yokoyama, Masanori Arita, Akio Nishikawa, Masami Hagiya. dna 2001: 17-26 [doi]

Higher order generalization and its application in program verificationJianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya. AMAI, 28(1-4):107-126, 2000.

Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage CollectionKoichi Takahashi, Masami Hagiya. aplas 2000: 1-8

Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, ProceedingsJan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito, editors, Volume 1872 of Lecture Notes in Computer Science, Springer, 2000.

1999

Perspectives on Molecular ComputingMasami Hagiya. ngc, 17(2):131-151, 1999.

Proving as Editing HOL TacticsKoichi Takahashi, Masami Hagiya. fac, 11(3):343-357, 1999. [doi]

Careful Analysis of Type SpoofingAkihiko Tozawa, Masami Hagiya. jit 1999: 290-296

1998

On a New Method for Dataflow Analysis of Java Virtual Machine SubroutinesMasami Hagiya, Akihiko Tozawa. SAS 1998: 17-32 [doi]

Higher Order GeneralizationJianguo Lu, Masateru Harao, Masami Hagiya. jelia 1998: 368-381 [doi]

Formalization of Graph Search Algorithms and Its ApplicationsMitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai. tphol 1998: 479-496

1997

A Bounds Inference Method for Vector-Based MemoisationWei-Ngan Chin, Masami Hagiya. ICFP 1997: 176-187

1996

PrefaceMasami Hagiya. iandc, 125(2):77, 1996.

1995

A Transformation Method for Dynamic-Sized TabulationWei-Ngan Chin, Masami Hagiya. ACTA, 32(2):93-115, 1995.

A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization ProcedureMasami Hagiya. TCS, 137(1):3-23, 1995. [doi]

Programming by Example in Computing-as-Editing ParadigmMasami Hagiya, Tomoki Shiratori. vl 1995: 275-283 [doi]

Formalization of Planar GraphsMitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda. tphol 1995: 369-384

1994

Theoretical Aspects of Computer Software, International Conference TACS 94, Sendai, Japan, April 19-22, 1994, ProceedingsMasami Hagiya, John C. Mitchell, editors, Volume 789 of Lecture Notes in Computer Science, Springer, 1994.

On Implicit ArgumentsMasami Hagiya, Yozo Toda. BIRTHDAY 1994: 10-30

Logic, Language and Computation, Festschrift in Honor of Satoru TakasuNeil D. Jones, Masami Hagiya, Masahiko Sato, editors, Volume 792 of Lecture Notes in Computer Science, Springer, 1994.

1993

Foreword: Selected Papers of TACS 1991Krzysztof R. Apt, Masami Hagiya. SCP, 21(2):91-92, 1993.

A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization ProcedureMasami Hagiya. alt 1993: 73-86

An Iterative and Bottom-up Procedure for Proving-by-ExampleMasami Hagiya. ecml 1993: 336-341

1992

Running Higher-Order Unification in PaiLispMasami Hagiya. csreaPSC 1993: 155-160

A Formal Approach to Visual Proving Based on Logic ProgrammingMasami Hagiya. vl 1992: 234-236

1991

Higher-Order Unification as a Theorem Proving ProcedureMasami Hagiya. ICLP 1991: 270-284

From Programming-by-Example to Proving-by-ExampleMasami Hagiya. tacs 1991: 387-419

Synthesis of Rewrite Programs by Higher-order and Semantic UnificationMasami Hagiya. ngc, 8(4):403, 1991.

1990

Programming by Example and Proving by Example Using Higher-order UnificationMasami Hagiya. cade 1990: 588-602

Synthesis of Rewrite Programs by Higher-Order and Semantic UnificationMasami Hagiya. alt 1990: 396-410

Model Inference of Constrained Recursive FiguresShuling Liu, Masami Hagiya. alt 1990: 355-367

1989

Generalization from Partial Parametrization in Higher-Order Type TheoryMasami Hagiya. TCS, 63(2):113-139, 1989.

Meta-Circular Interpreter for a Strongly Typed LanguageMasami Hagiya. JSC, 8(6):651-680, 1989.

1984

Foundation of Logic Programming Based on Inductive DefinitionMasami Hagiya, Takafumi Sakurai. ngc, 2(1):59-77, 1984.