2008 | ||
---|---|---|
78 | EE | Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362 |
77 | EE | 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 | EE | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857 |
75 | EE | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40 |
74 | EE | Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya: Unravel four hairpins! Natural Computing 7(2): 287-298 (2008) |
73 | EE | 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 | EE | Masami Hagiya: Designing Chemical and Biological Systems. New Generation Comput. 26(3): 295 (2008) |
2007 | ||
71 | EE | Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya: Combining Randomness and a High-Capacity DNA Memory. DNA 2007: 109-118 |
70 | EE | 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 | EE | Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya: Unravel Four Hairpins! DNA 2006: 381-392 |
67 | EE | John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya: Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. DNA 2006: 393-403 |
66 | EE | 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 | EE | 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 | EE | Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya: Photo- and Thermoregulation of DNA Nanomachines. DNA 2005: 336-346 |
62 | EE | Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya: Chain Reaction Systems Based on Loop Dissociation of DNA. DNA 2005: 347-358 |
61 | EE | 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 | EE | Masami Hagiya: Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. UC 2005: 117-129 |
59 | EE | Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527 |
58 | EE | 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 | EE | Mitsuhiro Kubota, Masami Hagiya: Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. DNA 2004: 202-214 |
56 | EE | 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 | EE | Akihiko Tozawa, Masami Hagiya: XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225 |
53 | EE | 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 | EE | Hiroki Uejima, Masami Hagiya: Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. DNA 2003: 74-85 |
51 | EE | Hiroki Uejima, Masami Hagiya: Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. DNA 2003: 86-90 |
50 | EE | Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya: UML Scrapbook and Realization of Snapshot Programming Environment. ISSS 2003: 281-295 |
49 | EE | 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 | EE | Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya: Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT 2002: 165-184 |
47 | EE | Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316 |
46 | EE | 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 | EE | John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama: PNA-mediated Whiplash PCR. DNA 2001: 104-116 |
40 | EE | John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama: The Fidelity of the Tag-Antitag System. DNA 2001: 138-149 |
39 | EE | Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi: Horn Clause Computation by Self-assembly of DNA Molecules. DNA 2001: 308-320 |
38 | EE | 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 | EE | 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 | EE | Masami Hagiya: From Molecular Computing to Molecular Programming. DNA Computing 2000: 89-102 |
33 | EE | 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 | EE | 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 | EE | 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 | EE | Jianguo Lu, Masateru Harao, Masami Hagiya: Higher Order Generalization. JELIA 1998: 368-381 |
25 | EE | 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 | EE | 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 | EE | 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) |