Search the dblp DataBase
Masami Hagiya :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Masami Hagiya Synthesis of Rewrite Programs by Higher-Order and Semantic Unification. [Citation Graph (0, 0)][DBLP ] ALT, 1990, pp:396-410 [Conf ] Masami Hagiya A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. [Citation Graph (0, 0)][DBLP ] ALT, 1993, pp:73-86 [Conf ] Shuling Liu , Masami Hagiya Model Inference of Constrained Recursive Figures. [Citation Graph (0, 0)][DBLP ] ALT, 1990, pp:355-367 [Conf ] Koichi Takahashi , Masami Hagiya Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. [Citation Graph (0, 0)][DBLP ] APLAS, 2000, pp:1-8 [Conf ] Mitsuharu Yamamoto , Masami Hagiya Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:193-205 [Conf ] Masami Hagiya , Yozo Toda On Implicit Arguments. [Citation Graph (0, 0)][DBLP ] Logic, Language and Computation, 1994, pp:10-30 [Conf ] Masami Hagiya Programming by Example and Proving by Example Using Higher-order Unification. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:588-602 [Conf ] Masami Hagiya Molecular Computing and Real Number Computing. [Citation Graph (0, 0)][DBLP ] CCA, 2005, pp:- [Conf ] Masami Hagiya , Koichi Tagahashi Discovery and Deduction. [Citation Graph (0, 0)][DBLP ] Discovery Science, 2000, pp:17-37 [Conf ] Ken Komiya , Kensaku Sakamoto , Hidetaka Gouzu , Shigeyuki Yokoyama , Masanori Arita , Akio Nishikawa , Masami Hagiya Successive State Transitions with I/O Interface by Molecules. [Citation Graph (0, 0)][DBLP ] DNA Computing, 2000, pp:17-26 [Conf ] John A. Rose , Russell J. Deaton , Masami Hagiya , Akira Suyama PNA-mediated Whiplash PCR. [Citation Graph (0, 0)][DBLP ] DNA, 2001, pp:104-116 [Conf ] Masami Hagiya From Molecular Computing to Molecular Programming. [Citation Graph (0, 0)][DBLP ] DNA Computing, 2000, pp:89-102 [Conf ] John A. Rose , Russell J. Deaton , Masami Hagiya , Akira Suyama The Fidelity of the Tag-Antitag System. [Citation Graph (0, 0)][DBLP ] DNA, 2001, pp:138-149 [Conf ] Atsushi Kameda , Masahito Yamamoto , Hiroki Uejima , Masami Hagiya , Kensaku Sakamoto , Azuma Ohuchi Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. [Citation Graph (0, 0)][DBLP ] DNA, 2003, pp:219-223 [Conf ] Mitsuhiro Kubota , Masami Hagiya Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. [Citation Graph (0, 0)][DBLP ] DNA, 2004, pp:202-214 [Conf ] Hiroki Uejima , Masami Hagiya Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. [Citation Graph (0, 0)][DBLP ] DNA, 2003, pp:74-85 [Conf ] Hiroki Uejima , Masami Hagiya Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. [Citation Graph (0, 0)][DBLP ] DNA, 2003, pp:86-90 [Conf ] Hiroki Uejima , Masami Hagiya , Satoshi Kobayashi Horn Clause Computation by Self-assembly of DNA Molecules. [Citation Graph (0, 0)][DBLP ] DNA, 2001, pp:308-320 [Conf ] Keiichiro Takahashi , Satsuki Yaegashi , Atsushi Kameda , Masami Hagiya Chain Reaction Systems Based on Loop Dissociation of DNA. [Citation Graph (0, 0)][DBLP ] DNA, 2005, pp:347-358 [Conf ] Atsushi Kameda , Masahito Yamamoto , Azuma Ohuchi , Satsuki Yaegashi , Masami Hagiya Unravel Four Hairpins! [Citation Graph (0, 0)][DBLP ] DNA, 2006, pp:381-392 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] DNA, 2006, pp:428-438 [Conf ] John A. Rose , Ken Komiya , Satsuki Yaegashi , Masami Hagiya Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. [Citation Graph (0, 0)][DBLP ] DNA, 2006, pp:393-403 [Conf ] Keiichiro Takahashi , Satsuki Yaegashi , Hiroyuki Asanuma , Masami Hagiya Photo- and Thermoregulation of DNA Nanomachines. [Citation Graph (0, 0)][DBLP ] DNA, 2005, pp:336-346 [Conf ] Koichi Takahashi , Masami Hagiya Searching for Mutual Exclusion Algorithms Using BDDs. [Citation Graph (0, 0)][DBLP ] Progress in Discovery Science, 2002, pp:1-18 [Conf ] Masami Hagiya An Iterative and Bottom-up Procedure for Proving-by-Example. [Citation Graph (0, 0)][DBLP ] ECML, 1993, pp:336-341 [Conf ] Masami Hagiya , Koichi Takahashi , Mitsuharu Yamamoto , Takahiro Sato Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. [Citation Graph (0, 0)][DBLP ] FLOPS, 2004, pp:7-21 [Conf ] Mitsuharu Yamamoto , Jean-Marie Cottin , Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2002, pp:165-184 [Conf ] Masanori Arita , Akio Nishikawa , Masami Hagiya , Ken Komiya , Hidetaka Gouzu , Kensaku Sakamoto Improving Sequence Design for DNA Computing. [Citation Graph (0, 0)][DBLP ] GECCO, 2000, pp:875-882 [Conf ] Wei-Ngan Chin , Masami Hagiya A Bounds Inference Method for Vector-Based Memoisation. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:176-187 [Conf ] Masami Hagiya Higher-Order Unification as a Theorem Proving Procedure. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:270-284 [Conf ] Masami Hagiya Theory and Construction of Molecular Computers. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2000, pp:23-24 [Conf ] Masami Hagiya , Ryo Takemura , Koichi Takahashi , Takamichi Saito Verification of Authentication Protocols Based on the Binding Relation. [Citation Graph (0, 0)][DBLP ] ISSS, 2002, pp:299-316 [Conf ] Osamu Sato , Richard Potter , Mitsuharu Yamamoto , Masami Hagiya UML Scrapbook and Realization of Snapshot Programming Environment. [Citation Graph (0, 0)][DBLP ] ISSS, 2003, pp:281-295 [Conf ] Jianguo Lu , Masateru Harao , Masami Hagiya Higher Order Generalization. [Citation Graph (0, 0)][DBLP ] JELIA, 1998, pp:368-381 [Conf ] Akihiko Tozawa , Masami Hagiya Careful Analysis of Type Spoofing. [Citation Graph (0, 0)][DBLP ] Java-Informations-Tage, 1999, pp:290-296 [Conf ] Masami Hagiya Running Higher-Order Unification in PaiLisp. [Citation Graph (0, 0)][DBLP ] Parallel Symbolic Computing, 1992, pp:155-160 [Conf ] Masami Hagiya , Akihiko Tozawa On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:17-32 [Conf ] Yoshinori Tanabe , Koichi Takahashi , Mitsuharu Yamamoto , Akihiko Tozawa , Masami Hagiya A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2005, pp:277-291 [Conf ] Masami Hagiya From Programming-by-Example to Proving-by-Example. [Citation Graph (0, 0)][DBLP ] TACS, 1991, pp:387-419 [Conf ] Mitsuharu Yamamoto , Shin-ya Nishizaki , Masami Hagiya , Yozo Toda Formalization of Planar Graphs. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1995, pp:369-384 [Conf ] Mitsuharu Yamamoto , Koichi Takahashi , Masami Hagiya , Shin-ya Nishizaki , Tetsuo Tamai Formalization of Graph Search Algorithms and Its Applications. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1998, pp:479-496 [Conf ] Masami Hagiya Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. [Citation Graph (0, 0)][DBLP ] UC, 2005, pp:117-129 [Conf ] Masami Hagiya A Formal Approach to Visual Proving Based on Logic Programming. [Citation Graph (0, 0)][DBLP ] VL, 1992, pp:234-236 [Conf ] Masami Hagiya , Tomoki Shiratori Programming by Example in Computing-as-Editing Paradigm. [Citation Graph (0, 0)][DBLP ] VL, 1995, pp:275-283 [Conf ] Akihiko Tozawa , Masami Hagiya XML Schema Containment Checking Based on Semi-implicit Techniques. [Citation Graph (0, 0)][DBLP ] CIAA, 2003, pp:213-225 [Conf ] Wei-Ngan Chin , Masami Hagiya A Transformation Method for Dynamic-Sized Tabulation [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:2, pp:93-115 [Journal ] Jianguo Lu , John Mylopoulos , Masateru Harao , Masami Hagiya Higher order generalization and its application in program verification. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:107-126 [Journal ] Koichi Takahashi , Masami Hagiya Proving as Editing HOL Tactics. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1999, v:11, n:3, pp:343-357 [Journal ] John A. Rose , Mitsunori Takano , Masami Hagiya , Akira Suyama A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule Shuffling. [Citation Graph (0, 0)][DBLP ] Genetic Programming and Evolvable Machines, 2003, v:4, n:2, pp:139-152 [Journal ] Masami Hagiya Preface. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:125, n:2, pp:77- [Journal ] Masami Hagiya Meta-Circular Interpreter for a Strongly Typed Language. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1989, v:8, n:6, pp:651-680 [Journal ] Akihiko Tozawa , Masami Hagiya Formalization and Analysis of Class Loading in Java. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2002, v:15, n:1, pp:7-55 [Journal ] Atsushi Kameda , Masahito Yamamoto , Hiroki Uejima , Masami Hagiya , Kensaku Sakamoto , Azuma Ohuchi Hairpin-based state machine and conformational addressing: Design and experiment. [Citation Graph (0, 0)][DBLP ] Natural Computing, 2005, v:4, n:2, pp:103-126 [Journal ] Masami Hagiya , Takafumi Sakurai Foundation of Logic Programming Based on Inductive Definition. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1984, v:2, n:1, pp:59-77 [Journal ] Masami Hagiya Synthesis of Rewrite Programs by Higher-order and Semantic Unification. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1991, v:8, n:4, pp:403-0 [Journal ] Masami Hagiya Perspectives on Molecular Computing. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1999, v:17, n:2, pp:131-151 [Journal ] Masayuki Yamamura , Tom Head , Masami Hagiya Biomolecular Computing - Preface. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 2002, v:20, n:3, pp:215-216 [Journal ] Krzysztof R. Apt , Masami Hagiya Foreword: Selected Papers of TACS 1991. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:21, n:2, pp:91-92 [Journal ] Akio Nishikawa , Masayuki Yamamura , Masami Hagiya DNA computation simulator based on abstract bases. [Citation Graph (0, 0)][DBLP ] Soft Comput., 2001, v:5, n:1, pp:25-38 [Journal ] Masami Hagiya Generalization from Partial Parametrization in Higher-Order Type Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1989, v:63, n:2, pp:113-139 [Journal ] Masami Hagiya A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:137, n:1, pp:3-23 [Journal ] Masami Hagiya , John A. Rose , Ken Komiya , Kensaku Sakamoto Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:287, n:1, pp:59-71 [Journal ] A decision procedure for alternation-free modal µ-calculi. [Citation Graph (, )][DBLP ] Combining Randomness and a High-Capacity DNA Memory. [Citation Graph (, )][DBLP ] Multi-fueled Approach to DNA Nano-Robotics. [Citation Graph (, )][DBLP ] Towards DNA Comparator: The Machine That Compares DNA Concentrations. [Citation Graph (, )][DBLP ] Automatic Design of DNA Logic Gates Based on Kinetic Simulation. [Citation Graph (, )][DBLP ] Verifying networked programs using a model checker extension. [Citation Graph (, )][DBLP ] Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP ] Tools and Techniques for Model Checking Networked Programs. [Citation Graph (, )][DBLP ] Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. [Citation Graph (, )][DBLP ] Efficient Model Checking of Networked Applications. [Citation Graph (, )][DBLP ] Decidability and Undecidability Results on the Modal µ -Calculus with a Natural Number-Valued Semantics. [Citation Graph (, )][DBLP ] Computing with Hairpins and Secondary Structures of DNA. [Citation Graph (, )][DBLP ] Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. [Citation Graph (, )][DBLP ] Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.010secs