Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMasami Hagiya
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
[j35]Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata:
Renewal of the Major Fields. New Generation Comput. 35(2): 125-128 (2017)- [c86]Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya:
Turing-Completeness of Asynchronous Non-camouflage Cellular Automata. AUTOMATA 2017: 187-199 - [c85]Nathanaël Aubert-Kato, Charles Fosseprez, Guillaume Gines, Ibuki Kawamata, Quang Huy Dinh, Leo Cazenille, Andre Estevez-Torres, Masami Hagiya, Yannick Rondelez, Nicolas Bredeche:
Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. GECCO 2017: 59-66 - [c84]Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-Based API Testing of Apache ZooKeeper. ICST 2017: 288-298 - 2016
- [j34]
- [j33]Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe:
Java Pathfinder on Android Devices. ACM SIGSOFT Software Engineering Notes 41(6): 1-5 (2016) - [j32]Masami Hagiya, Nathanaël Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi:
Molecular computers for molecular robots as hybrid systems. Theor. Comput. Sci. 632: 4-20 (2016) - [c83]Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi Murata:
Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automata. CANDAR 2016: 215-221 - [c82]Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto:
Runtime Monitoring for Concurrent Systems. RV 2016: 386-403 - [c81]Wataru Yahiro, Masami Hagiya:
Implementation of Turing Machine Using DNA Strand Displacement. TPNC 2016: 161-172 - [c80]Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Nobuyuki Matsui, Satoshi Murata, Masami Hagiya:
Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA. UCNC 2016: 182-195 - 2015
- [j31]Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Using Checkpointing and Virtualization for Fault Injection. IJNC 5(2): 347-372 (2015) - [j30]Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe:
Software Model Checking of UDP-based Distributed Applications. IJNC 5(2): 373-402 (2015) - [j29]
- [c79]Shaoyu Wang, Katsunobu Imai, Masami Hagiya:
An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata. CANDAR 2015: 442-448 - [c78]Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
GRT at the SBST 2015 Tool Competition. SBST@ICSE 2015: 48-51 - [c77]Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto:
Cardinality of UDP Transmission Outcomes. SETTA 2015: 120-134 - 2014
- [j28]Nathanael Aubert, Yannick Rondelez, Teruo Fujii, Masami Hagiya:
Enforcing logical delays in DNA computing systems. Natural Computing 13(4): 559-572 (2014) - [j27]Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya:
A Knoppix-based demonstration environment for JPF. ACM SIGSOFT Software Engineering Notes 39(1): 1-5 (2014) - [j26]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi:
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40(5): 483-501 (2014) - [c76]Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Software Model Checking of UDP-based Distributed Applications. CANDAR 2014: 96-105 - [c75]Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Using Checkpointing and Virtualization for Fault Injection. CANDAR 2014: 144-150 - [c74]Shaoyu Wang, Katsunobu Imai, Masami Hagiya:
On the Composition of Signals in Gellular Automata. CANDAR 2014: 499-502 - [c73]Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai:
On DNA-Based Gellular Automata. UCNC 2014: 177-189 - 2013
- [j25]Satoshi Murata, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, Masami Hagiya:
Molecular Robotics: A New Paradigm for Artifacts. New Generation Comput. 31(1): 27-45 (2013) - [c72]Nathanael Aubert, Quang Huy Dinh, Masami Hagiya, Hitoshi Iba, Teruo Fujii, Nicolas Bredeche, Yannick Rondelez:
Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors. ECAL 2013: 1143-1150 - [c71]Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto:
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference 2013: 112-128 - [c70]Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Software model checking for distributed systems with selector-based, non-blocking communication. ASE 2013: 169-179 - 2012
- [c69]Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya:
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation. CMSB 2012: 187-206 - [c68]Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada:
Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC 2012: 63-79 - [p2]Masami Hagiya, Satoshi Kobayashi, Ken Komiya, Fumiaki Tanaka, Takashi Yokomori:
Molecular Computing Machineries - Computing Models and Wet Implementations. Handbook of Natural Computing 2012: 1129-1184 - [p1]Masanori Arita, Masami Hagiya, Masahiro Takinoue, Fumiaki Tanaka:
DNA Memory. Handbook of Natural Computing 2012: 1281-1318 - 2011
- [j24]Masami Hagiya:
Implementations of computational state transitions with biomolecules. Scholarpedia 6(4): 9917 (2011) - [c67]Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, Kazuhiro Oiwa:
Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem. BIC-TA 2011: 205-210 - [c66]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model checking distributed systems by combining caching and process checkpointing. ASE 2011: 103-112 - [c65]Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya:
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM 2011: 350-365 - 2010
- [j23]Masami Hagiya, Fumiaki Tanaka, Ibuki Kawamata:
IT for synthetic biology and DNA nanotechnology. ACM Crossroads 17(1): 16-21 (2010) - [c64]Miki Hirabayashi, Hiroaki Kojima, Kazuhiro Oiwa, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya:
Implementation of tile sequencing for DNA logical computation toward next-generation information security. BIC-TA 2010: 1296-1307 - [c63]Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC 2010: 90-101 - [c62]Alexis Goyet, Masami Hagiya, Yoshinori Tanabe:
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. WoLLIC 2010: 148-160 - [e6]Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis:
Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science 6079, Springer 2010, ISBN 978-3-642-13522-4 [contents]
2000 – 2009
- 2009
- [j22]Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew Adamatzky:
The 2nd International Workshop on Natural Computing. New Generation Comput. 27(2): 83-84 (2009) - [c61]Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya:
Automatic Design of DNA Logic Gates Based on Kinetic Simulation. DNA 2009: 88-96 - [c60]Yoshinori Tanabe, Masami Hagiya:
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS 2009: 108-115 - [c59]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410 - [c58]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE 2009: 447-458 - [c57]Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods 2009: 106-110 - [c56]Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya:
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security 2009: 158-180 - 2008
- [j21]Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya:
Unravel four hairpins! Natural Computing 7(2): 287-298 (2008) - [j20]Akio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya:
Multi-fueled approach to DNA nano-robotics. Natural Computing 7(3): 371-383 (2008) - [j19]
- [c55]Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362 - [c54]Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya:
Towards DNA Comparator: The Machine That Compares DNA Concentrations. DNA 2008: 11-20 - [c53]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813 - [c52]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857 - [c51]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40 - 2007
- [c50]Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya:
Multi-fueled Approach to DNA Nano-Robotics. DNA 2007: 79-88 - [c49]Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya:
Combining Randomness and a High-Capacity DNA Memory. DNA 2007: 109-118 - 2006
- [c48]Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya:
Unravel Four Hairpins! DNA 2006: 381-392 - [c47]John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya:
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. DNA 2006: 393-403 - [c46]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 - [c45]Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi:
Computing with Hairpins and Secondary Structures of DNA. Nanotechnology: Science and Computation 2006: 293-308 - [e5]Masami Hagiya, Philip Wadler:
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings. Lecture Notes in Computer Science 3945, Springer 2006, ISBN 3-540-33438-6 [contents] - 2005
- [j18]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) - [c44]
- [c43]Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya:
Photo- and Thermoregulation of DNA Nanomachines. DNA 2005: 336-346 - [c42]Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya:
Chain Reaction Systems Based on Loop Dissociation of DNA. DNA 2005: 347-358 - [c41]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 - [c40]Masami Hagiya:
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. UC 2005: 117-129 - [c39]Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527 - 2004
- [c38]Mitsuhiro Kubota, Masami Hagiya:
Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. DNA 2004: 202-214 - [c37]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
- [j17]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) - [c36]Hiroki Uejima, Masami Hagiya:
Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. DNA 2003: 74-85 - [c35]Hiroki Uejima, Masami Hagiya:
Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. DNA 2003: 86-90 - [c34]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 - [c33]Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya:
UML Scrapbook and Realization of Snapshot Programming Environment. ISSS 2003: 281-295 - [c32]Akihiko Tozawa, Masami Hagiya:
XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225 - [e4]Masami Hagiya, Azuma Ohuchi:
DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers. Lecture Notes in Computer Science 2568, Springer 2003, ISBN 3-540-00531-5 [contents] - 2002
- [j16]Akihiko Tozawa, Masami Hagiya:
Formalization and Analysis of Class Loading in Java. Higher-Order and Symbolic Computation 15(1): 7-55 (2002) - [j15]Masayuki Yamamura, Tom Head, Masami Hagiya:
Biomolecular Computing - Preface. New Generation Comput. 20(3): 215-216 (2002) - [j14]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) - [c31]Koichi Takahashi, Masami Hagiya:
Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science 2002: 1-18 - [c30]Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya:
Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT 2002: 165-184 - [c29]Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito:
Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316 - 2001
- [j13]Akio Nishikawa, Masayuki Yamamura, Masami Hagiya:
DNA computation simulator based on abstract bases. Soft Comput. 5(1): 25-38 (2001) - [c28]Mitsuharu Yamamoto, Masami Hagiya:
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. APLAS 2001: 193-205 - [c27]John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama:
PNA-mediated Whiplash PCR. DNA 2001: 104-116 - [c26]John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama:
The Fidelity of the Tag-Antitag System. DNA 2001: 138-149 - [c25]Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi:
Horn Clause Computation by Self-assembly of DNA Molecules. DNA 2001: 308-320 - 2000
- [j12]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) - [c24]Koichi Takahashi, Masami Hagiya:
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS 2000: 1-8 - [c23]
- [c22]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 - [c21]
- [c20]Masanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu, Kensaku Sakamoto:
Improving Sequence Design for DNA Computing. GECCO 2000: 875-882 - [c19]
- [e3]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. Lecture Notes in Computer Science 1872, Springer 2000, ISBN 3-540-67823-9 [contents]
1990 – 1999
- 1999
- [j11]Koichi Takahashi, Masami Hagiya:
Proving as Editing HOL Tactics. Formal Asp. Comput. 11(3): 343-357 (1999) - [j10]
- [c18]Akihiko Tozawa, Masami Hagiya:
Careful Analysis of Type Spoofing. Java-Informations-Tage 1999: 290-296 - 1998
- [c17]
- [c16]Masami Hagiya, Akihiko Tozawa:
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS 1998: 17-32 - [c15]Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai:
Formalization of Graph Search Algorithms and Its Applications. TPHOLs 1998: 479-496 - 1997
- [c14]Masami Hagiya, Masanori Arita, Daisuke Kiga, Kensaku Sakamoto, Shigeyuki Yokoyama:
Towards parallel evaluation and learning of Boolean μ-formulas with molecules. DNA Based Computers 1997: 57-72 - [c13]Wei-Ngan Chin, Masami Hagiya:
A Bounds Inference Method for Vector-Based Memoisation. ICFP 1997: 176-187 - 1996
- [j9]
- 1995
- [j8]Wei-Ngan Chin, Masami Hagiya:
A Transformation Method for Dynamic-Sized Tabulation. Acta Inf. 32(2): 93-115 (1995) - [j7]Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki, Chew Lim Tan:
Knowledge-Based Simulation of Regulatory Action in lambda phage. International Journal on Artificial Intelligence Tools 4(4): 511-524 (1995) - [j6]Masami Hagiya:
A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. Theor. Comput. Sci. 137(1): 3-23 (1995) - [c12]Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda:
Formalization of Planar Graphs. TPHOLs 1995: 369-384 - [c11]Masami Hagiya, Tomoki Shiratori:
Programming by Example in Computing-as-Editing Paradigm. VL 1995: 275-283 - 1994
- [c10]
- [e2]Neil D. Jones, Masami Hagiya, Masahiko Sato:
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Lecture Notes in Computer Science 792, Springer 1994, ISBN 0-387-57935-4 [contents] - [e1]Masami Hagiya, John C. Mitchell:
Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science 789, Springer 1994, ISBN 3-540-57887-0 [contents] - 1993
- [j5]Krzysztof R. Apt, Masami Hagiya:
Foreword: Selected Papers of TACS 1991. Sci. Comput. Program. 21(2): 91-92 (1993) - [c9]Masami Hagiya:
A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. ALT 1993: 73-86 - [c8]
- 1992
- [c7]Masami Hagiya:
Running Higher-Order Unification in PaiLisp. Parallel Symbolic Computing 1992: 155-160 - [c6]
- 1991
- [j4]Masami Hagiya:
Synthesis of Rewrite Programs by Higher-order and Semantic Unification. New Generation Comput. 8(4): 403-420 (1991) - [c5]
- [c4]
- 1990
- [c3]
- [c2]Masami Hagiya:
Synthesis of Rewrite Programs by Higher-Order and Semantic Unification. ALT 1990: 396-410 - [c1]Masami Hagiya:
Programming by Example and Proving by Example Using Higher-order Unification. CADE 1990: 588-602
1980 – 1989
- 1989
- [j3]Masami Hagiya:
Meta-Circular Interpreter for a Strongly Typed Language. J. Symb. Comput. 8(6): 651-680 (1989) - [j2]