Masami Hagiya - RankMe

150 papers A* 3A 5B 34C 10Misc 3Journal 40Unranked 47

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Automatic Scoring in Programming Examinations for Beginners. JCKBSE Yoshinori Tanabe, Masami Hagiya
2021	J	`jnl`	Self-Stabilizing Distributed Algorithms by Gellular Automata. Complex Syst. Taiga Hongu, Masami Hagiya
2020	—	`conf`	Model-Based Testing for MQTT Applications. JCKBSE Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
2020	J	`jnl`	Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2020	—	`conf`	Self-stabilizing Distributed Algorithms by Gellular Automata. Automata Taiga Hongu, Masami Hagiya
2020	J	`jnl`	Turing-completeness of asynchronous non-camouflage cellular automata. Inf. Comput. Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya
2019	—	`conf`	Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. SUZA Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito
2019	B	`conf`	Model-based Network Fault Injection for IoT Protocols. ENASE Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
2019	—	`conf`	Self-stabilizing Gellular Automata. UCNC Tatsuya Yamashita, Akira Yagawa, Masami Hagiya
2018	C	`conf`	A reservoir computing approach for molecular computing. ALIFE Wataru Yahiro, Nathanaël Aubert-Kato, Masami Hagiya
2018	—	`ch.`	On the Persistency of Gellular Automata. Reversibility and Universality Masami Hagiya, Katsunobu Imai
2017	A	`conf`	Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. GECCO Nathanaël Aubert-Kato, Charles Fosseprez, Guillaume Gines, Ibuki Kawamata, Quang Huy Dinh, Leo Cazenille, Andre Estevez-Torres, Masami Hagiya, Yannick Rondelez, Nicolas Bredèche
2017	A	`conf`	Model-Based API Testing of Apache ZooKeeper. ICST Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2017	J	`jnl`	Renewal of the Major Fields. New Gener. Comput. Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata
2017	—	`conf`	Turing-Completeness of Asynchronous Non-camouflage Cellular Automata. AUTOMATA Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya
2016	—	`conf`	Implementation of Turing Machine Using DNA Strand Displacement. TPNC Wataru Yahiro, Masami Hagiya
2016	J	`jnl`	Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
2016	J	`jnl`	Molecular computers for molecular robots as hybrid systems. Theor. Comput. Sci. Masami Hagiya, Nathanaël Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi
2016	—	`conf`	Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automata. CANDAR Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi Murata
2016	J	`jnl`	Preface. Nat. Comput. Satoshi Murata, Masami Hagiya
2016	B	`conf`	Runtime Monitoring for Concurrent Systems. RV Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
2016	—	`conf`	Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA. UCNC Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Nobuyuki Matsui, Satoshi Murata, Masami Hagiya
2015	—	`conf`	An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata. CANDAR Shaoyu Wang, Katsunobu Imai, Masami Hagiya
2015	Misc	`conf`	Cardinality of UDP Transmission Outcomes. SETTA Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
2015	J	`jnl`	Defining Informatics across Bun-kei and Ri-kei. J. Inf. Process. Masami Hagiya
2015	—	`conf`	GRT at the SBST 2015 Tool Competition. SBST@ICSE Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2015	J	`jnl`	Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
2015	J	`jnl`	Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2014	J	`jnl`	A Knoppix-based demonstration environment for JPF. ACM SIGSOFT Softw. Eng. Notes Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya
2014	J	`jnl`	Enforcing logical delays in DNA computing systems. Nat. Comput. Nathanael Aubert, Yannick Rondelez, Teruo Fujii, Masami Hagiya
2014	J	`jnl`	Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
2014	—	`conf`	On DNA-Based Gellular Automata. UCNC Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai
2014	—	`conf`	On the Composition of Signals in Gellular Automata. CANDAR Shaoyu Wang, Katsunobu Imai, Masami Hagiya
2014	—	`conf`	Software Model Checking of UDP-based Distributed Applications. CANDAR Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2014	—	`conf`	Using Checkpointing and Virtualization for Fault Injection. CANDAR Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2013	—	`conf`	Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors. ECAL Nathanael Aubert, Quang Huy Dinh, Masami Hagiya, Hitoshi Iba, Teruo Fujii, Nicolas Bredèche, Yannick Rondelez
2013	—	`conf`	Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
2013	J	`jnl`	Molecular Robotics: A New Paradigm for Artifacts. New Gener. Comput. Satoshi Murata, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, Masami Hagiya
2013	A*	`conf`	Software model checking for distributed systems with selector-based, non-blocking communication. ASE Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2012	—	`conf`	Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation. CMSB Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya
2012	C	`conf`	Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada
2012	—	`ch.`	DNA Memory. Handbook of Natural Computing Masanori Arita, Masami Hagiya, Masahiro Takinoue, Fumiaki Tanaka
2012	—	`ch.`	Molecular Computing Machineries - Computing Models and Wet Implementations. Handbook of Natural Computing Masami Hagiya, Satoshi Kobayashi, Ken Komiya, Fumiaki Tanaka, Takashi Yokomori
2011	—	`conf`	Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem. BIC-TA Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, Kazuhiro Oiwa
2011	J	`jnl`	Implementations of computational state transitions with biomolecules. Scholarpedia Masami Hagiya
2011	A*	`conf`	Model checking distributed systems by combining caching and process checkpointing. ASE Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2011	B	`conf`	Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
2010	C	`conf`	Decidability and Undecidability Results on the Modal WoLLIC Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
2010	J	`jnl`	IT for synthetic biology and DNA nanotechnology. XRDS Masami Hagiya, Fumiaki Tanaka, Ibuki Kawamata
2010	—	`conf`	Implementation of tile sequencing for DNA logical computation toward next-generation information security. BIC-TA Miki Hirabayashi, Hiroaki Kojima, Kazuhiro Oiwa, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya
2010	J	`jnl`	Modal μ-calculus on Min-plus Algebra N Inf. Media Technol. Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya
2010	—	`conf`	Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
2010	C	`ed.`	Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings UC Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
2009	B	`conf`	Automatic Design of DNA Logic Gates Based on Kinetic Simulation. DNA Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya
2009	A*	`conf`	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2009	—	`conf`	Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya
2009	—	`conf`	Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS Yoshinori Tanabe, Masami Hagiya
2009	—	`conf`	Hybrid Method for Simulating Small-Number Molecular Systems. Algorithmic Bioprocesses Kazufumi Mizunuma, Masami Hagiya
2009	—	`conf`	Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2009	—	`ed.`	Natural Computing - 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings IWNC Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew Adamatzky
2009	J	`jnl`	The 2nd International Workshop on Natural Computing. New Gener. Comput. Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew Adamatzky
2009	—	`conf`	Verifying networked programs using a model checker extension. ICSE Companion Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2008	B	`conf`	A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2008	C	`conf`	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008	J	`jnl`	Designing Chemical and Biological Systems. New Gener. Comput. Masami Hagiya
2008	—	`conf`	Efficient Model Checking of Networked Applications. TOOLS (46) Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008	J	`jnl`	Multi-fueled approach to DNA nano-robotics. Nat. Comput. Akio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya
2008	C	`conf`	Tools and Techniques for Model Checking Networked Programs. SNPD Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008	B	`conf`	Towards DNA Comparator: The Machine That Compares DNA Concentrations. DNA Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya
2008	J	`jnl`	Unravel four hairpins! Nat. Comput. Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
2007	B	`conf`	Combining Randomness and a High-Capacity DNA Memory. DNA Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya
2007	B	`conf`	Multi-fueled Approach to DNA Nano-Robotics. DNA Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya
2007	J	`jnl`	Sub-Computation Based Transition Predicate Abstraction. Inf. Media Technol. Carl Christian Frederiksen, Masami Hagiya
2006	—	`conf`	Computing with Hairpins and Secondary Structures of DNA. Nanotechnology: Science and Computation Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi
2006	B	`conf`	Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. DNA John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya
2006	B	`conf`	Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation. DNA Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose
2006	Misc	`ed.`	Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings FLOPS Masami Hagiya, Philip Wadler
2006	B	`conf`	Unravel Four Hairpins! DNA Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
2005	B	`conf`	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
2005	—	`conf`	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2005	B	`conf`	Chain Reaction Systems Based on Loop Dissociation of DNA. DNA Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya
2005	C	`conf`	Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. UC Masami Hagiya
2005	J	`jnl`	Hairpin-based state machine and conformational addressing: Design and experiment. Nat. Comput. Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi
2005	C	`conf`	Molecular Computing and Real Number Computing. CCA Masami Hagiya
2005	B	`conf`	Photo- and Thermoregulation of DNA Nanomachines. DNA Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya
2004	Misc	`conf`	Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
2004	B	`conf`	Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. DNA Mitsuhiro Kubota, Masami Hagiya
2003	J	`jnl`	A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule Shuffling. Genet. Program. Evolvable Mach. John A. Rose, Mitsunori Takano, Masami Hagiya, Akira Suyama
2003	B	`conf`	Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. DNA Hiroki Uejima, Masami Hagiya
2003	B	`conf`	Branching DNA machines based on transitions of hairpin structures. IEEE Congress on Evolutionary Computation Mitsuhiro Kubota, Kazumasa Ohtake, Ken Komiya, Kensaku Sakamoto, Masami Hagiya
2003	B	`conf`	Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. DNA Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi
2003	B	`ed.`	DNA Computing, 8th International Workshop on DNA Based Computers, DNA 2002, Sapporo, Japan, June 10-13, 2002, Revised Papers DNA Masami Hagiya, Azuma Ohuchi
2003	B	`conf`	Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. DNA Hiroki Uejima, Masami Hagiya
2003	B	`conf`	The fidelity of the tag-antitag system II: reconciliation with the stringency picture. IEEE Congress on Evolutionary Computation John A. Rose, Masami Hagiya, Akira Suyama
2003	—	`conf`	UML Scrapbook and Realization of Snapshot Programming Environment. ISSS Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya
2003	C	`conf`	XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA Akihiko Tozawa, Masami Hagiya
2002	J	`jnl`	Biomolecular Computing - Preface. New Gener. Comput. Masayuki Yamamura, Tom Head, Masami Hagiya
2002	J	`jnl`	Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. Theor. Comput. Sci. Masami Hagiya, John A. Rose, Ken Komiya, Kensaku Sakamoto
2002	—	`conf`	Computation scrapbooks for software evolution. IWPSE Richard Potter, Masami Hagiya
2002	—	`conf`	Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
2002	J	`jnl`	Formalization and Analysis of Class Loading in Java. High. Order Symb. Comput. Akihiko Tozawa, Masami Hagiya
2002	—	`conf`	Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science Koichi Takahashi, Masami Hagiya
2002	—	`conf`	Verification of Authentication Protocols Based on the Binding Relation. ISSS Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
2001	B	`conf`	Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. APLAS Mitsuharu Yamamoto, Masami Hagiya
2001	J	`jnl`	DNA computation simulator based on abstract bases. Soft Comput. Akio Nishikawa, Masayuki Yamamura, Masami Hagiya
2001	B	`conf`	Horn Clause Computation by Self-assembly of DNA Molecules. DNA Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi
2001	B	`conf`	PNA-mediated Whiplash PCR. DNA John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
2001	B	`conf`	The Fidelity of the Tag-Antitag System. DNA John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
2000	B	`conf`	Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS Koichi Takahashi, Masami Hagiya
2000	B	`conf`	Discovery and Deduction. Discovery Science Masami Hagiya, Koichi Takahashi
2000	—	`conf`	From Molecular Computing to Molecular Programming. DNA Computing Masami Hagiya
2000	J	`jnl`	Higher order generalization and its application in program verification. Ann. Math. Artif. Intell. Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya
2000	A	`conf`	Improving Sequence Design for DNA Computing. GECCO Masanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu, Kensaku Sakamoto
2000	—	`conf`	Successive State Transitions with I/O Interface by Molecules. DNA Computing Ken Komiya, Kensaku Sakamoto, Hidetaka Gouzu, Shigeyuki Yokoyama, Masanori Arita, Akio Nishikawa, Masami Hagiya
2000	—	`ed.`	Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings IFIP TCS Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito
2000	—	`conf`	Theory and Construction of Molecular Computers. IFIP TCS Masami Hagiya
1999	—	`conf`	Careful Analysis of Type Spoofing. Java-Informations-Tage Akihiko Tozawa, Masami Hagiya
1999	J	`jnl`	Perspectives on Molecular Computing. New Gener. Comput. Masami Hagiya
1999	J	`jnl`	Proving as Editing HOL Tactics. Formal Aspects Comput. Koichi Takahashi, Masami Hagiya
1999	B	`conf`	Towards a system for simulating DNA computing with whiplash PCR. CEC Akio Nishikawa, Masami Hagiya
1998	—	`conf`	Formalization of Graph Search Algorithms and Its Applications. TPHOLs Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
1998	B	`conf`	Higher Order Generalization. JELIA Jianguo Lu, Masateru Harao, Masami Hagiya
1998	B	`conf`	On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. SAS Masami Hagiya, Akihiko Tozawa
1997	A	`conf`	A Bounds Inference Method for Vector-Based Memoisation. ICFP Wei-Ngan Chin, Masami Hagiya
1997	C	`conf`	Joining and rotating data with molecules. ICEC Masanori Arita, Masami Hagiya, Akira Suyama
1997	—	`conf`	Towards parallel evaluation and learning of Boolean μ-formulas with molecules. DNA Based Computers Masami Hagiya, Masanori Arita, Daisuke Kiga, Kensaku Sakamoto, Shigeyuki Yokoyama
1996	J	`jnl`	Preface. Inf. Comput. Masami Hagiya
1995	J	`jnl`	A Transformation Method for Dynamic-Sized Tabulation. Acta Informatica Wei-Ngan Chin, Masami Hagiya
1995	J	`jnl`	A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. Theor. Comput. Sci. Masami Hagiya
1995	—	`conf`	Formalization of Planar Graphs. TPHOLs Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
1995	J	`jnl`	Knowledge-Based Simulation of Regulatory Action in lambda phage. Int. J. Artif. Intell. Tools Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki, Chew Lim Tan
1995	—	`conf`	Programming by Example in Computing-as-Editing Paradigm. VL Masami Hagiya, Tomoki Shiratori
1994	—	`ed.`	Logic, Language and Computation, Festschrift in Honor of Satoru Takasu Logic, Language and Computation Neil D. Jones, Masami Hagiya, Masahiko Sato
1994	—	`conf`	On Implicit Arguments. Logic, Language and Computation Masami Hagiya, Yozo Toda
1994	—	`ed.`	Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings TACS Masami Hagiya, John C. Mitchell
1993	B	`conf`	A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. ALT Masami Hagiya
1993	—	`conf`	An Iterative and Bottom-up Procedure for Proving-by-Example. ECML Masami Hagiya
1993	J	`jnl`	Foreword: Selected Papers of TACS 1991. Sci. Comput. Program. Krzysztof R. Apt, Masami Hagiya
1992	—	`conf`	A Formal Approach to Visual Proving Based on Logic Programming. VL Masami Hagiya
1992	—	`conf`	Running Higher-Order Unification in PaiLisp. Parallel Symbolic Computing Masami Hagiya
1991	—	`conf`	From Programming-by-Example to Proving-by-Example. TACS Masami Hagiya
1991	B	`conf`	Higher-Order Unification as a Theorem Proving Procedure. ICLP Masami Hagiya
1991	—	`book`	Software Science and Engineering: Selected Papers from the Kyoto Symposia Software Science and Engineering Ikuo Nakata, Masami Hagiya
1991	J	`jnl`	Synthesis of Rewrite Programs by Higher-order and Semantic Unification. New Gener. Comput. Masami Hagiya
1990	B	`conf`	Model Inference of Constrained Recursive Figures. ALT Shuling Liu, Masami Hagiya
1990	A	`conf`	Programming by Example and Proving by Example Using Higher-order Unification. CADE Masami Hagiya
1990	B	`conf`	Synthesis of Rewrite Programs by Higher-Order and Semantic Unification. ALT Masami Hagiya
1989	J	`jnl`	Generalization from Partial Parametrization in Higher-Order Type Theory. Theor. Comput. Sci. Masami Hagiya
1989	J	`jnl`	Meta-Circular Interpreter for a Strongly Typed Language. J. Symb. Comput. Masami Hagiya
1984	J	`jnl`	Foundation of Logic Programming Based on Inductive Definition. New Gener. Comput. Masami Hagiya, Takafumi Sakurai