The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Masami Hagiya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Masami Hagiya
    Synthesis of Rewrite Programs by Higher-Order and Semantic Unification. [Citation Graph (0, 0)][DBLP]
    ALT, 1990, pp:396-410 [Conf]
  2. 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]
  3. Shuling Liu, Masami Hagiya
    Model Inference of Constrained Recursive Figures. [Citation Graph (0, 0)][DBLP]
    ALT, 1990, pp:355-367 [Conf]
  4. 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]
  5. 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]
  6. Masami Hagiya, Yozo Toda
    On Implicit Arguments. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:10-30 [Conf]
  7. Masami Hagiya
    Programming by Example and Proving by Example Using Higher-order Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:588-602 [Conf]
  8. Masami Hagiya
    Molecular Computing and Real Number Computing. [Citation Graph (0, 0)][DBLP]
    CCA, 2005, pp:- [Conf]
  9. Masami Hagiya, Koichi Tagahashi
    Discovery and Deduction. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2000, pp:17-37 [Conf]
  10. 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]
  11. 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]
  12. Masami Hagiya
    From Molecular Computing to Molecular Programming. [Citation Graph (0, 0)][DBLP]
    DNA Computing, 2000, pp:89-102 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Hiroki Uejima, Masami Hagiya
    Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. [Citation Graph (0, 0)][DBLP]
    DNA, 2003, pp:86-90 [Conf]
  18. 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]
  19. 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]
  20. Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
    Unravel Four Hairpins! [Citation Graph (0, 0)][DBLP]
    DNA, 2006, pp:381-392 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Masami Hagiya
    An Iterative and Bottom-up Procedure for Proving-by-Example. [Citation Graph (0, 0)][DBLP]
    ECML, 1993, pp:336-341 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. Wei-Ngan Chin, Masami Hagiya
    A Bounds Inference Method for Vector-Based Memoisation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:176-187 [Conf]
  30. Masami Hagiya
    Higher-Order Unification as a Theorem Proving Procedure. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:270-284 [Conf]
  31. Masami Hagiya
    Theory and Construction of Molecular Computers. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:23-24 [Conf]
  32. 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]
  33. 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]
  34. Jianguo Lu, Masateru Harao, Masami Hagiya
    Higher Order Generalization. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:368-381 [Conf]
  35. Akihiko Tozawa, Masami Hagiya
    Careful Analysis of Type Spoofing. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1999, pp:290-296 [Conf]
  36. Masami Hagiya
    Running Higher-Order Unification in PaiLisp. [Citation Graph (0, 0)][DBLP]
    Parallel Symbolic Computing, 1992, pp:155-160 [Conf]
  37. 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]
  38. 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]
  39. Masami Hagiya
    From Programming-by-Example to Proving-by-Example. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:387-419 [Conf]
  40. Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
    Formalization of Planar Graphs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:369-384 [Conf]
  41. 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]
  42. 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]
  43. Masami Hagiya
    A Formal Approach to Visual Proving Based on Logic Programming. [Citation Graph (0, 0)][DBLP]
    VL, 1992, pp:234-236 [Conf]
  44. Masami Hagiya, Tomoki Shiratori
    Programming by Example in Computing-as-Editing Paradigm. [Citation Graph (0, 0)][DBLP]
    VL, 1995, pp:275-283 [Conf]
  45. Akihiko Tozawa, Masami Hagiya
    XML Schema Containment Checking Based on Semi-implicit Techniques. [Citation Graph (0, 0)][DBLP]
    CIAA, 2003, pp:213-225 [Conf]
  46. 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]
  47. 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]
  48. 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]
  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. [Citation Graph (0, 0)][DBLP]
    Genetic Programming and Evolvable Machines, 2003, v:4, n:2, pp:139-152 [Journal]
  50. Masami Hagiya
    Preface. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:125, n:2, pp:77- [Journal]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. Masami Hagiya
    Perspectives on Molecular Computing. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:2, pp:131-151 [Journal]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]

  63. A decision procedure for alternation-free modal µ-calculi. [Citation Graph (, )][DBLP]


  64. Combining Randomness and a High-Capacity DNA Memory. [Citation Graph (, )][DBLP]


  65. Multi-fueled Approach to DNA Nano-Robotics. [Citation Graph (, )][DBLP]


  66. Towards DNA Comparator: The Machine That Compares DNA Concentrations. [Citation Graph (, )][DBLP]


  67. Automatic Design of DNA Logic Gates Based on Kinetic Simulation. [Citation Graph (, )][DBLP]


  68. Verifying networked programs using a model checker extension. [Citation Graph (, )][DBLP]


  69. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP]


  70. Tools and Techniques for Model Checking Networked Programs. [Citation Graph (, )][DBLP]


  71. Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. [Citation Graph (, )][DBLP]


  72. Efficient Model Checking of Networked Applications. [Citation Graph (, )][DBLP]


  73. Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. [Citation Graph (, )][DBLP]


  74. Computing with Hairpins and Secondary Structures of DNA. [Citation Graph (, )][DBLP]


  75. Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. [Citation Graph (, )][DBLP]


  76. Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. [Citation Graph (, )][DBLP]


Search in 0.079secs, Finished in 0.082secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002