dblp.uni-trier.dewww.uni-trier.de

Masami Hagiya Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
80EEWatcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410
2008
79EEYoshinori Tanabe, Koichi Takahashi, Masami Hagiya: A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362
78EEFumiaki Tanaka, Takashi Tsuda, Masami Hagiya: Towards DNA Comparator: The Machine That Compares DNA Concentrations. DNA 2008: 11-20
77EECyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813
76EECyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857
75EECyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40
74EEAtsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya: Unravel four hairpins! Natural Computing 7(2): 287-298 (2008)
73EEAkio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya: Multi-fueled approach to DNA nano-robotics. Natural Computing 7(3): 371-383 (2008)
72EEMasami Hagiya: Designing Chemical and Biological Systems. New Generation Comput. 26(3): 295 (2008)
2007
71EEAtsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya: Combining Randomness and a High-Capacity DNA Memory. DNA 2007: 109-118
70EEAkio 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
68EEAtsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya: Unravel Four Hairpins! DNA 2006: 381-392
67EEJohn A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya: Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. DNA 2006: 393-403
66EEKen 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
65EEMasami 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
63EEKeiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya: Photo- and Thermoregulation of DNA Nanomachines. DNA 2005: 336-346
62EEKeiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya: Chain Reaction Systems Based on Loop Dissociation of DNA. DNA 2005: 347-358
61EEYoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya: A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291
60EEMasami Hagiya: Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. UC 2005: 117-129
59EEMitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527
58EEAtsushi 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
57EEMitsuhiro Kubota, Masami Hagiya: Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. DNA 2004: 202-214
56EEMasami 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
54EEAkihiko Tozawa, Masami Hagiya: XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225
53EEAtsushi 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
52EEHiroki Uejima, Masami Hagiya: Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. DNA 2003: 74-85
51EEHiroki Uejima, Masami Hagiya: Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. DNA 2003: 86-90
50EEOsamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya: UML Scrapbook and Realization of Snapshot Programming Environment. ISSS 2003: 281-295
49EEJohn 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
48EEMitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya: Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT 2002: 165-184
47EEMasami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316
46EEKoichi 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
41EEJohn A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama: PNA-mediated Whiplash PCR. DNA 2001: 104-116
40EEJohn A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama: The Fidelity of the Tag-Antitag System. DNA 2001: 138-149
39EEHiroki Uejima, Masami Hagiya, Satoshi Kobayashi: Horn Clause Computation by Self-assembly of DNA Molecules. DNA 2001: 308-320
38EEAkio 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
35EEKen 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
34EEMasami Hagiya: From Molecular Computing to Molecular Programming. DNA Computing 2000: 89-102
33EEMasami 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
31EEMasami 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
28EEKoichi 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
26EEJianguo Lu, Masateru Harao, Masami Hagiya: Higher Order Generalization. JELIA 1998: 368-381
25EEMasami Hagiya, Akihiko Tozawa: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS 1998: 17-32
24EEMitsuharu 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
21EEMitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda: Formalization of Planar Graphs. TPHOLs 1995: 369-384
20EEMasami 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)
18EEMasami 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
13EEMasami 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
4EEMasami 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)

Coauthor Index

1Krzysztof R. Apt [12]
2Masanori Arita [32] [35]
3Cyrille Artho [75] [76] [77] [80]
4Hiroyuki Asanuma [63]
5Wei-Ngan Chin [19] [23]
6Jean-Marie Cottin [48]
7Russell J. Deaton [40] [41]
8Hidetaka Gouzu [32] [35]
9Masateru Harao [26] [30]
10Tom Head [44]
11Takayasu Ito [37]
12Neil D. Jones [16]
13Atsushi Kameda [53] [58] [62] [68] [71] [74]
14Satoshi Kashiwamura [71]
15Satoshi Kobayashi [39]
16Ken Komiya [32] [35] [43] [66] [67]
17Mitsuhiro Kubota [57]
18Jan van Leeuwen [37]
19Watcharin Leungwattanakit [75] [76] [77] [80]
20Shuling Liu [6]
21Jianguo Lu [26] [30]
22John C. Mitchell [17]
23Peter D. Mosses [37]
24John Mylopoulos [30]
25Akio Nishikawa [32] [35] [38] [70] [73]
26Shin-ya Nishizaki [21] [24]
27Kazumasa Ohtake [70] [73]
28Azuma Ohuchi [53] [55] [58] [68] [71] [74]
29Richard Potter [50]
30John A. Rose [40] [41] [43] [49] [66] [67]
31Takamichi Saito [47]
32Kensaku Sakamoto [32] [35] [43] [53] [58]
33Takafumi Sakurai [1]
34Masahiko Sato [16]
35Osamu Sato [50]
36Takahiro Sato [56]
37Tomoki Shiratori [20]
38Akira Suyama [40] [41] [49] [66]
39Keiichiro Takahashi [62] [63] [65]
40Koichi Takahashi [24] [28] [33] [36] [46] [47] [56] [59] [61] [79]
41Mitsunori Takano [49]
42Ryo Takemura [47]
43Tetsuo Tamai [24]
44Yoshinori Tanabe [59] [61] [75] [76] [77] [79] [80]
45Fumiaki Tanaka [73] [78]
46Yozo Toda [15] [21]
47Akihiko Tozawa [25] [29] [45] [54] [61]
48Takashi Tsuda [78]
49Hiroki Uejima [39] [51] [52] [53] [58]
50Philip Wadler [69]
51Osamu Watanabe [37]
52Satsuki Yaegashi [62] [63] [65] [66] [67] [68] [70] [73] [74]
53Masahito Yamamoto [53] [58] [68] [71] [74]
54Mitsuharu Yamamoto [21] [24] [42] [48] [50] [56] [59] [61] [80]
55Masayuki Yamamura [38] [44]
56Shigeyuki Yokoyama [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)