 | 2009 |
|---|
| 81 |       | Ibuki Kawamata,
Fumiaki Tanaka,
Masami Hagiya:
Automatic Design of DNA Logic Gates Based on Kinetic Simulation.
DNA 2009: 88-96 |
| 80 | | Watcharin Leungwattanakit,
Cyrille Artho,
Masami Hagiya,
Yoshinori Tanabe,
Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension.
ICSE Companion 2009: 409-410 |
| 2008 |
|---|
| 79 | | Yoshinori Tanabe,
Koichi Takahashi,
Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi.
Advances in Modal Logic 2008: 341-362 |
| 78 | | Fumiaki Tanaka,
Takashi Tsuda,
Masami Hagiya:
Towards DNA Comparator: The Machine That Compares DNA Concentrations.
DNA 2008: 11-20 |
| 77 | | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
SNPD 2008: 807-813 |
| 76 | | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Tools and Techniques for Model Checking Networked Programs.
SNPD 2008: 852-857 |
| 75 | | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Efficient Model Checking of Networked Applications.
TOOLS (46) 2008: 22-40 |
| 74 | | Atsushi Kameda,
Masahito Yamamoto,
Azuma Ohuchi,
Satsuki Yaegashi,
Masami Hagiya:
Unravel four hairpins!
Natural Computing 7(2): 287-298 (2008) |
| 73 | | Akio Nishikawa,
Satsuki Yaegashi,
Fumiaki Tanaka,
Kazumasa Ohtake,
Masami Hagiya:
Multi-fueled approach to DNA nano-robotics.
Natural Computing 7(3): 371-383 (2008) |
| 72 | | Masami Hagiya:
Designing Chemical and Biological Systems.
New Generation Comput. 26(3): 295 (2008) |
| 2007 |
|---|
| 71 | | Atsushi Kameda,
Satoshi Kashiwamura,
Masahito Yamamoto,
Azuma Ohuchi,
Masami Hagiya:
Combining Randomness and a High-Capacity DNA Memory.
DNA 2007: 109-118 |
| 70 | | Akio Nishikawa,
Satsuki Yaegashi,
Kazumasa Ohtake,
Masami Hagiya:
Multi-fueled Approach to DNA Nano-Robotics.
DNA 2007: 79-88 |
| 2006 |
|---|
| 69 |  | Masami Hagiya,
Philip Wadler:
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Springer 2006 |
| 68 | | Atsushi Kameda,
Masahito Yamamoto,
Azuma Ohuchi,
Satsuki Yaegashi,
Masami Hagiya:
Unravel Four Hairpins!
DNA 2006: 381-392 |
| 67 | | John A. Rose,
Ken Komiya,
Satsuki Yaegashi,
Masami Hagiya:
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation.
DNA 2006: 393-403 |
| 66 | | Ken Komiya,
Satsuki Yaegashi,
Masami Hagiya,
Akira Suyama,
John A. Rose:
Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation.
DNA 2006: 428-438 |
| 65 | | Masami Hagiya,
Satsuki Yaegashi,
Keiichiro Takahashi:
Computing with Hairpins and Secondary Structures of DNA.
Nanotechnology: Science and Computation 2006: 293-308 |
| 2005 |
|---|
| 64 | | Masami Hagiya:
Molecular Computing and Real Number Computing.
CCA 2005 |
| 63 | | Keiichiro Takahashi,
Satsuki Yaegashi,
Hiroyuki Asanuma,
Masami Hagiya:
Photo- and Thermoregulation of DNA Nanomachines.
DNA 2005: 336-346 |
| 62 | | Keiichiro Takahashi,
Satsuki Yaegashi,
Atsushi Kameda,
Masami Hagiya:
Chain Reaction Systems Based on Loop Dissociation of DNA.
DNA 2005: 347-358 |
| 61 | | 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 |
| 60 | | Masami Hagiya:
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing.
UC 2005: 117-129 |
| 59 | | Mitsuharu Yamamoto,
Yoshinori Tanabe,
Koichi Takahashi,
Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.
VSTTE 2005: 518-527 |
| 58 | | Atsushi Kameda,
Masahito Yamamoto,
Hiroki Uejima,
Masami Hagiya,
Kensaku Sakamoto,
Azuma Ohuchi:
Hairpin-based state machine and conformational addressing: Design and experiment.
Natural Computing 4(2): 103-126 (2005) |
| 2004 |
|---|
| 57 | | Mitsuhiro Kubota,
Masami Hagiya:
Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes.
DNA 2004: 202-214 |
| 56 | | Masami Hagiya,
Koichi Takahashi,
Mitsuharu Yamamoto,
Takahiro Sato:
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.
FLOPS 2004: 7-21 |
| 2003 |
|---|
| 55 | | Masami Hagiya,
Azuma Ohuchi:
DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
Springer 2003 |
| 54 | | Akihiko Tozawa,
Masami Hagiya:
XML Schema Containment Checking Based on Semi-implicit Techniques.
CIAA 2003: 213-225 |
| 53 | | Atsushi Kameda,
Masahito Yamamoto,
Hiroki Uejima,
Masami Hagiya,
Kensaku Sakamoto,
Azuma Ohuchi:
Conformational Addressing Using the Hairpin Structure of Single-Strand DNA.
DNA 2003: 219-223 |
| 52 | | Hiroki Uejima,
Masami Hagiya:
Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions.
DNA 2003: 74-85 |
| 51 | | Hiroki Uejima,
Masami Hagiya:
Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules.
DNA 2003: 86-90 |
| 50 | | Osamu Sato,
Richard Potter,
Mitsuharu Yamamoto,
Masami Hagiya:
UML Scrapbook and Realization of Snapshot Programming Environment.
ISSS 2003: 281-295 |
| 49 | | John A. Rose,
Mitsunori Takano,
Masami Hagiya,
Akira Suyama:
A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule Shuffling.
Genetic Programming and Evolvable Machines 4(2): 139-152 (2003) |
| 2002 |
|---|
| 48 | | Mitsuharu Yamamoto,
Jean-Marie Cottin,
Masami Hagiya:
Decidability of Safety Properties of Timed Multiset Rewriting.
FTRTFT 2002: 165-184 |
| 47 | | Masami Hagiya,
Ryo Takemura,
Koichi Takahashi,
Takamichi Saito:
Verification of Authentication Protocols Based on the Binding Relation.
ISSS 2002: 299-316 |
| 46 | | Koichi Takahashi,
Masami Hagiya:
Searching for Mutual Exclusion Algorithms Using BDDs.
Progress in Discovery Science 2002: 1-18 |
| 45 | | Akihiko Tozawa,
Masami Hagiya:
Formalization and Analysis of Class Loading in Java.
Higher-Order and Symbolic Computation 15(1): 7-55 (2002) |
| 44 | | Masayuki Yamamura,
Tom Head,
Masami Hagiya:
Biomolecular Computing - Preface.
New Generation Comput. 20(3): 215-216 (2002) |
| 43 | | Masami Hagiya,
John A. Rose,
Ken Komiya,
Kensaku Sakamoto:
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.
Theor. Comput. Sci. 287(1): 59-71 (2002) |
| 2001 |
|---|
| 42 | | Mitsuharu Yamamoto,
Masami Hagiya:
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.
APLAS 2001: 193-205 |
| 41 | | John A. Rose,
Russell J. Deaton,
Masami Hagiya,
Akira Suyama:
PNA-mediated Whiplash PCR.
DNA 2001: 104-116 |
| 40 | | John A. Rose,
Russell J. Deaton,
Masami Hagiya,
Akira Suyama:
The Fidelity of the Tag-Antitag System.
DNA 2001: 138-149 |
| 39 | | Hiroki Uejima,
Masami Hagiya,
Satoshi Kobayashi:
Horn Clause Computation by Self-assembly of DNA Molecules.
DNA 2001: 308-320 |
| 38 | | Akio Nishikawa,
Masayuki Yamamura,
Masami Hagiya:
DNA computation simulator based on abstract bases.
Soft Comput. 5(1): 25-38 (2001) |
| 2000 |
|---|
| 37 | | Jan van Leeuwen,
Osamu Watanabe,
Masami Hagiya,
Peter D. Mosses,
Takayasu Ito:
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings
Springer 2000 |
| 36 | | Koichi Takahashi,
Masami Hagiya:
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.
APLAS 2000: 1-8 |
| 35 | | Ken Komiya,
Kensaku Sakamoto,
Hidetaka Gouzu,
Shigeyuki Yokoyama,
Masanori Arita,
Akio Nishikawa,
Masami Hagiya:
Successive State Transitions with I/O Interface by Molecules.
DNA Computing 2000: 17-26 |
| 34 | | Masami Hagiya:
From Molecular Computing to Molecular Programming.
DNA Computing 2000: 89-102 |
| 33 | | Masami Hagiya,
Koichi Takahashi:
Discovery and Deduction.
Discovery Science 2000: 17-37 |
| 32 | | Masanori Arita,
Akio Nishikawa,
Masami Hagiya,
Ken Komiya,
Hidetaka Gouzu,
Kensaku Sakamoto:
Improving Sequence Design for DNA Computing.
GECCO 2000: 875-882 |
| 31 | | Masami Hagiya:
Theory and Construction of Molecular Computers.
IFIP TCS 2000: 23-24 |
| 30 | | Jianguo Lu,
John Mylopoulos,
Masateru Harao,
Masami Hagiya:
Higher order generalization and its application in program verification.
Ann. Math. Artif. Intell. 28(1-4): 107-126 (2000) |
| 1999 |
|---|
| 29 | | Akihiko Tozawa,
Masami Hagiya:
Careful Analysis of Type Spoofing.
Java-Informations-Tage 1999: 290-296 |
| 28 | | Koichi Takahashi,
Masami Hagiya:
Proving as Editing HOL Tactics.
Formal Asp. Comput. 11(3): 343-357 (1999) |
| 27 | | Masami Hagiya:
Perspectives on Molecular Computing.
New Generation Comput. 17(2): 131-151 (1999) |
| 1998 |
|---|
| 26 | | Jianguo Lu,
Masateru Harao,
Masami Hagiya:
Higher Order Generalization.
JELIA 1998: 368-381 |
| 25 | | Masami Hagiya,
Akihiko Tozawa:
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.
SAS 1998: 17-32 |
| 24 | | Mitsuharu Yamamoto,
Koichi Takahashi,
Masami Hagiya,
Shin-ya Nishizaki,
Tetsuo Tamai:
Formalization of Graph Search Algorithms and Its Applications.
TPHOLs 1998: 479-496 |
| 1997 |
|---|
| 23 | | Wei-Ngan Chin,
Masami Hagiya:
A Bounds Inference Method for Vector-Based Memoisation.
ICFP 1997: 176-187 |
| 1996 |
|---|
| 22 | | Masami Hagiya:
Preface.
Inf. Comput. 125(2): 77 (1996) |
| 1995 |
|---|
| 21 | | Mitsuharu Yamamoto,
Shin-ya Nishizaki,
Masami Hagiya,
Yozo Toda:
Formalization of Planar Graphs.
TPHOLs 1995: 369-384 |
| 20 | | Masami Hagiya,
Tomoki Shiratori:
Programming by Example in Computing-as-Editing Paradigm.
VL 1995: 275-283 |
| 19 | | Wei-Ngan Chin,
Masami Hagiya:
A Transformation Method for Dynamic-Sized Tabulation
Acta Inf. 32(2): 93-115 (1995) |
| 18 | | Masami Hagiya:
A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure.
Theor. Comput. Sci. 137(1): 3-23 (1995) |
| 1994 |
|---|
| 17 | | Masami Hagiya,
John C. Mitchell:
Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings
Springer 1994 |
| 16 | | Neil D. Jones,
Masami Hagiya,
Masahiko Sato:
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu
Springer 1994 |
| 15 | | Masami Hagiya,
Yozo Toda:
On Implicit Arguments.
Logic, Language and Computation 1994: 10-30 |
| 1993 |
|---|
| 14 | | Masami Hagiya:
A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure.
ALT 1993: 73-86 |
| 13 | | Masami Hagiya:
An Iterative and Bottom-up Procedure for Proving-by-Example.
ECML 1993: 336-341 |
| 12 | | Krzysztof R. Apt,
Masami Hagiya:
Foreword: Selected Papers of TACS 1991.
Sci. Comput. Program. 21(2): 91-92 (1993) |
| 1992 |
|---|
| 11 | | Masami Hagiya:
Running Higher-Order Unification in PaiLisp.
Parallel Symbolic Computing 1992: 155-160 |
| 10 | | Masami Hagiya:
A Formal Approach to Visual Proving Based on Logic Programming.
VL 1992: 234-236 |
| 1991 |
|---|
| 9 | | Masami Hagiya:
Higher-Order Unification as a Theorem Proving Procedure.
ICLP 1991: 270-284 |
| 8 | | Masami Hagiya:
From Programming-by-Example to Proving-by-Example.
TACS 1991: 387-419 |
| 7 | | Masami Hagiya:
Synthesis of Rewrite Programs by Higher-order and Semantic Unification.
New Generation Comput. 8(4): 403- (1991) |
| 1990 |
|---|
| 6 | | Shuling Liu,
Masami Hagiya:
Model Inference of Constrained Recursive Figures.
ALT 1990: 355-367 |
| 5 | | Masami Hagiya:
Synthesis of Rewrite Programs by Higher-Order and Semantic Unification.
ALT 1990: 396-410 |
| 4 | | Masami Hagiya:
Programming by Example and Proving by Example Using Higher-order Unification.
CADE 1990: 588-602 |
| 1989 |
|---|
| 3 | | Masami Hagiya:
Meta-Circular Interpreter for a Strongly Typed Language.
J. Symb. Comput. 8(6): 651-680 (1989) |
| 2 | | Masami Hagiya:
Generalization from Partial Parametrization in Higher-Order Type Theory.
Theor. Comput. Sci. 63(2): 113-139 (1989) |
| 1984 |
|---|
| 1 | | Masami Hagiya,
Takafumi Sakurai:
Foundation of Logic Programming Based on Inductive Definition.
New Generation Comput. 2(1): 59-77 (1984) |
