default search action
Masami Hagiya
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c98]Yoshinori Tanabe, Masami Hagiya:
Automatic Scoring in Programming Examinations for Beginners. JCKBSE 2022: 127-139 - 2021
- [j40]Taiga Hongu, Masami Hagiya:
Self-Stabilizing Distributed Algorithms by Gellular Automata. Complex Syst. 30(2): 159-185 (2021) - 2020
- [j39]Tatsuya Yamashita, Teijiro Isokawa
, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya:
Turing-completeness of asynchronous non-camouflage cellular automata. Inf. Comput. 274: 104539 (2020) - [j38]Cyrille Artho
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30(7-8) (2020) - [c97]Taiga Hongu, Masami Hagiya:
Self-stabilizing Distributed Algorithms by Gellular Automata. Automata 2020: 86-98 - [c96]Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya:
Model-Based Testing for MQTT Applications. JCKBSE 2020: 47-59
2010 – 2019
- 2019
- [c95]Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya:
Model-based Network Fault Injection for IoT Protocols. ENASE 2019: 201-209 - [c94]Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. SUZA 2019: 89-98 - [c93]Tatsuya Yamashita, Akira Yagawa, Masami Hagiya:
Self-stabilizing Gellular Automata. UCNC 2019: 272-285 - 2018
- [c92]Wataru Yahiro, Nathanaël Aubert-Kato, Masami Hagiya:
A reservoir computing approach for molecular computing. ALIFE 2018: 31-38 - [p3]Masami Hagiya, Katsunobu Imai:
On the Persistency of Gellular Automata. Reversibility and Universality 2018: 373-383 - 2017
- [j37]Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata:
Renewal of the Major Fields. New Gener. Comput. 35(2): 125-128 (2017) - [c91]Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya:
Turing-Completeness of Asynchronous Non-camouflage Cellular Automata. AUTOMATA 2017: 187-199 - [c90]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:
Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. GECCO 2017: 59-66 - [c89]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
- [j36]Satoshi Murata, Masami Hagiya:
Preface. Nat. Comput. 15(2): 195-196 (2016) - [j35]Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [j34]Masami Hagiya, Nathanaël Aubert-Kato
Molecular computers for molecular robots as hybrid systems. Theor. Comput. Sci. 632: 4-20 (2016) - [c88]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 - [c87]Yoriyuki Yamagata
Runtime Monitoring for Concurrent Systems. RV 2016: 386-403 - [c86]Wataru Yahiro, Masami Hagiya:
Implementation of Turing Machine Using DNA Strand Displacement. TPNC 2016: 161-172 - [c85]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
- [j33]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. Int. J. Netw. Comput. 5(2): 347-372 (2015) - [j32]Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe:
Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. 5(2): 373-402 (2015) - [j31]Masami Hagiya:
Defining Informatics across Bun-kei and Ri-kei. J. Inf. Process. 23(4): 525-530 (2015) - [c84]Shaoyu Wang, Katsunobu Imai, Masami Hagiya:
An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata. CANDAR 2015: 442-448 - [c83]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 - [c82]Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata
Cardinality of UDP Transmission Outcomes. SETTA 2015: 120-134 - 2014
- [j30]Nathanael Aubert
Enforcing logical delays in DNA computing systems. Nat. Comput. 13(4): 559-572 (2014) - [j29]Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya:
A Knoppix-based demonstration environment for JPF. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j28]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) - [c81]Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Software Model Checking of UDP-based Distributed Applications. CANDAR 2014: 96-105 - [c80]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 - [c79]Shaoyu Wang, Katsunobu Imai, Masami Hagiya:
On the Composition of Signals in Gellular Automata. CANDAR 2014: 499-502 - [c78]Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai:
On DNA-Based Gellular Automata. UCNC 2014: 177-189 - 2013
- [j27]Satoshi Murata, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, Masami Hagiya:
Molecular Robotics: A New Paradigm for Artifacts. New Gener. Comput. 31(1): 27-45 (2013) - [c77]Nathanael Aubert
Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors. ECAL 2013: 1143-1150 - [c76]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 - [c75]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
- [c74]Ibuki Kawamata, Nathanael Aubert
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation. CMSB 2012: 187-206 - [c73]Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto
Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC 2012: 63-79 - [p2]Masami Hagiya, Satoshi Kobayashi, Ken Komiya
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
- [j26]Masami Hagiya:
Implementations of computational state transitions with biomolecules. Scholarpedia 6(4): 9917 (2011) - [c72]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 - [c71]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model checking distributed systems by combining caching and process checkpointing. ASE 2011: 103-112 - [c70]Kosuke Ono, Yoichi Hirai
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM 2011: 350-365 - 2010
- [j25]Masami Hagiya, Fumiaki Tanaka, Ibuki Kawamata:
IT for synthetic biology and DNA nanotechnology. XRDS 17(1): 16-21 (2010) - [j24]Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya:
Modal μ-calculus on Min-plus Algebra N∞. Inf. Media Technol. 5(4): 1178-1192 (2010) - [c69]Miki Hirabayashi, Hiroaki Kojima, Kazuhiro Oiwa
Implementation of tile sequencing for DNA logical computation toward next-generation information security. BIC-TA 2010: 1296-1307 - [c68]Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC 2010: 90-101 - [c67]Alexis Goyet, Masami Hagiya, Yoshinori Tanabe:
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. WoLLIC 2010: 148-160 - [e8]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
- [j23]Yasuhiro Suzuki
The 2nd International Workshop on Natural Computing. New Gener. Comput. 27(2): 83-84 (2009) - [c66]Kazufumi Mizunuma, Masami Hagiya:
Hybrid Method for Simulating Small-Number Molecular Systems. Algorithmic Bioprocesses 2009: 607-620 - [c65]Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya:
Automatic Design of DNA Logic Gates Based on Kinetic Simulation. DNA 2009: 88-96 - [c64]Yoshinori Tanabe, Masami Hagiya:
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS 2009: 108-115 - [c63]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410 - [c62]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 - [c61]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 - [c60]Yusuke Kawamoto
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security 2009: 158-180 - [e7]Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew Adamatzky:
Natural Computing - 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings. Proceedings in Information and Communications Technology 1, Springer 2009, ISBN 978-4-431-88980-9 [contents] - 2008
- [j22]Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya:
Unravel four hairpins! Nat. Comput. 7(2): 287-298 (2008) - [j21]Akio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya:
Multi-fueled approach to DNA nano-robotics. Nat. Comput. 7(3): 371-383 (2008) - [j20]Masami Hagiya:
Designing Chemical and Biological Systems. New Gener. Comput. 26(3): 295 (2008) - [c59]Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362 - [c58]Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya:
Towards DNA Comparator: The Machine That Compares DNA Concentrations. DNA 2008: 11-20 - [c57]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813 - [c56]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857 - [c55]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40 - 2007
- [j19]Carl Christian Frederiksen, Masami Hagiya:
Sub-Computation Based Transition Predicate Abstraction. Inf. Media Technol. 2(3): 773-796 (2007) - [c54]Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya:
Multi-fueled Approach to DNA Nano-Robotics. DNA 2007: 79-88 - [c53]Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya:
Combining Randomness and a High-Capacity DNA Memory. DNA 2007: 109-118 - 2006
- [c52]Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya:
Unravel Four Hairpins! DNA 2006: 381-392 - [c51]John A. Rose, Ken Komiya
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. DNA 2006: 393-403 - [c50]Ken Komiya
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 - [c49]Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi:
Computing with Hairpins and Secondary Structures of DNA. Nanotechnology: Science and Computation 2006: 293-308 - [e6]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. Nat. Comput. 4(2): 103-126 (2005) - [c48]Masami Hagiya:
Molecular Computing and Real Number Computing. CCA 2005 - [c47]Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya:
Photo- and Thermoregulation of DNA Nanomachines. DNA 2005: 336-346 - [c46]Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya:
Chain Reaction Systems Based on Loop Dissociation of DNA. DNA 2005: 347-358 - [c45]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 - [c44]Masami Hagiya:
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. UC 2005: 117-129 - [c43]Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527 - 2004
- [c42]Mitsuhiro Kubota, Masami Hagiya:
Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. DNA 2004: 202-214 - [c41]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. Genet. Program. Evolvable Mach. 4(2): 139-152 (2003) - [c40]Mitsuhiro Kubota, Kazumasa Ohtake, Ken Komiya
Branching DNA machines based on transitions of hairpin structures. IEEE Congress on Evolutionary Computation 2003: 2542-2548 - [c39]John A. Rose, Masami Hagiya, Akira Suyama:
The fidelity of the tag-antitag system II: reconciliation with the stringency picture. IEEE Congress on Evolutionary Computation 2003: 2740-2747 - [c38]Hiroki Uejima, Masami Hagiya:
Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. DNA 2003: 74-85 - [c37]Hiroki Uejima, Masami Hagiya:
Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. DNA 2003: 86-90 - [c36]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 - [c35]Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya:
UML Scrapbook and Realization of Snapshot Programming Environment. ISSS 2003: 281-295 - [c34]Akihiko Tozawa, Masami Hagiya:
XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA 2003: 213-225 - [e5]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. High. Order Symb. Comput. 15(1): 7-55 (2002) - [j15]Masayuki Yamamura, Tom Head, Masami Hagiya:
Biomolecular Computing - Preface. New Gener. Comput. 20(3): 215-216 (2002) - [j14]Masami Hagiya, John A. Rose, Ken Komiya
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. Theor. Comput. Sci. 287(1): 59-71 (2002) - [c33]Koichi Takahashi, Masami Hagiya:
Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science 2002: 1-18 - [c32]Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya:
Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT 2002: 165-184 - [c31]Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito:
Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316 - [c30]Richard Potter, Masami Hagiya:
Computation scrapbooks for software evolution. IWPSE 2002: 143-147 - 2001
- [j13]Akio Nishikawa, Masayuki Yamamura, Masami Hagiya:
DNA computation simulator based on abstract bases. Soft Comput. 5(1): 25-38 (2001) - [c29]Mitsuharu Yamamoto, Masami Hagiya:
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. APLAS 2001: 193-205 - [c28]John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama:
PNA-mediated Whiplash PCR. DNA 2001: 104-116 - [c27]John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama:
The Fidelity of the Tag-Antitag System. DNA 2001: 138-149 - [c26]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) - [c25]Koichi Takahashi, Masami Hagiya:
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS 2000: 1-8 - [c24]Masami Hagiya, Koichi Takahashi:
Discovery and Deduction. Discovery Science 2000: 17-37 - [c23]Ken Komiya
Successive State Transitions with I/O Interface by Molecules. DNA Computing 2000: 17-26 - [c22]Masami Hagiya:
From Molecular Computing to Molecular Programming. DNA Computing 2000: 89-102 - [c21]Masanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu, Kensaku Sakamoto:
Improving Sequence Design for DNA Computing. GECCO 2000: 875-882 - [c20]Masami Hagiya:
Theory and Construction of Molecular Computers. IFIP TCS 2000: 23-24 - [e4]Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses
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 Aspects Comput. 11(3): 343-357 (1999) - [j10]Masami Hagiya:
Perspectives on Molecular Computing. New Gener. Comput. 17(2): 131-151 (1999) - [c19]Akio Nishikawa, Masami Hagiya:
Towards a system for simulating DNA computing with whiplash PCR. CEC 1999: 960-966 - [c18]Akihiko Tozawa, Masami Hagiya:
Careful Analysis of Type Spoofing. Java-Informations-Tage 1999: 290-296 - 1998
- [c17]Jianguo Lu, Masateru Harao, Masami Hagiya:
Higher Order Generalization. JELIA 1998: 368-381 - [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]Masami Hagiya:
Preface. Inf. Comput. 125(2): 77 (1996) - 1995
- [j8]Wei-Ngan Chin, Masami Hagiya:
A Transformation Method for Dynamic-Sized Tabulation. Acta Informatica 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. Int. J. Artif. Intell. 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]Masami Hagiya, Yozo Toda:
On Implicit Arguments. Logic, Language and Computation 1994: 10-30 - [e3]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] - [e2]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]Masami Hagiya:
An Iterative and Bottom-up Procedure for Proving-by-Example. ECML 1993: 336-341 - 1992
- [c7]Masami Hagiya:
Running Higher-Order Unification in PaiLisp. Parallel Symbolic Computing 1992: 155-160 - [c6]Masami Hagiya:
A Formal Approach to Visual Proving Based on Logic Programming. VL 1992: 234-236 - 1991
- [j4]Masami Hagiya:
Synthesis of Rewrite Programs by Higher-order and Semantic Unification. New Gener. Comput. 8(4): 403-420 (1991) - [c5]Masami Hagiya:
Higher-Order Unification as a Theorem Proving Procedure. ICLP 1991: 270-284 - [c4]Masami Hagiya:
From Programming-by-Example to Proving-by-Example. TACS 1991: 387-419 - [e1]Ikuo Nakata, Masami Hagiya:
Software Science and Engineering: Selected Papers from the Kyoto Symposia. World Scientific Series in Computer Science 31, World Scientific 1991, ISBN 978-981-02-0776-2 [contents] - 1990
- [c3]Shuling Liu, Masami Hagiya:
Model Inference of Constrained Recursive Figures. ALT 1990: 355-367 - [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]Masami Hagiya:
Generalization from Partial Parametrization in Higher-Order Type Theory. Theor. Comput. Sci. 63(2): 113-139 (1989) - 1984
- [j1]Masami Hagiya, Takafumi Sakurai:
Foundation of Logic Programming Based on Inductive Definition. New Gener. Comput. 2(1): 59-77 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: