| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada |
Computational Soundness of Indistinguishability Properties without Computable Parsing.  |
ISPEC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Implementations of computational state transitions with biomolecules. |
Scholarpedia |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model checking distributed systems by combining caching and process checkpointing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Fumiaki Tanaka, Ibuki Kawamata |
IT for synthetic biology and DNA nanotechnology. |
ACM Crossroads |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
Decidability and Undecidability Results on the Modal ยต-Calculus with a Natural Number-Valued Semantics. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis (eds.) |
Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings |
UC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model Checking of Concurrent Algorithms: From Java to C. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew Adamatzky |
The 2nd International Workshop on Natural Computing. |
New Generation Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya |
Automatic Design of DNA Logic Gates Based on Kinetic Simulation. |
DNA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
networking, caching, software verification, Software model checking, input/output |
| 1 | Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya |
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. |
Formal to Practical Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Verifying networked programs using a model checker extension. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Akio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya |
Multi-fueled approach to DNA nano-robotics. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
Azobenzene, DNA Nano-robotics, i-Motif, Light fuel, Multi-fueled approach, pH Fuel, Thermal fuel |
| 1 | Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya |
Unravel four hairpins! |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
Molecular machine, DNA computing, Molecular computing, DNA nanotechnology, Molecular memory |
| 1 | Masami Hagiya |
Designing Chemical and Biological Systems. |
New Generation Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
A decision procedure for alternation-free modal ยต-calculi. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya |
Towards DNA Comparator: The Machine That Compares DNA Concentrations. |
DNA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Efficient Model Checking of Networked Applications. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
caching, software testing, Software model checking, network communication |
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
optimization, model checking, centralization, Software model checking, partial-order reduction |
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Tools and Techniques for Model Checking Networked Programs. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
networking, software verification, Software model checking, inter-process communication |
| 1 | Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya |
Multi-fueled Approach to DNA Nano-Robotics. |
DNA |
2007 |
DBLP DOI BibTeX RDF |
DNA nano-robotics, multi-fueled approach, thermal fuel, pH fuel, light fuel, azobenzene, i-motif |
| 1 | Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya |
Combining Randomness and a High-Capacity DNA Memory. |
DNA |
2007 |
DBLP DOI BibTeX RDF |
DNA memory, DNA ink, randomness, molecular memory |
| 1 | Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya |
Unravel Four Hairpins! |
DNA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya |
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. |
DNA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi |
Computing with Hairpins and Secondary Structures of DNA. |
Nanotechnology: Science and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Philip Wadler (eds.) |
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings |
FLOPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi |
Hairpin-based state machine and conformational addressing: Design and experiment. |
Natural Computing |
2005 |
DBLP DOI BibTeX RDF |
molecluar machine, DNA computing, molecular computing, molecular memory |
| 1 | Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya |
Photo- and Thermoregulation of DNA Nanomachines. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya |
Chain Reaction Systems Based on Loop Dissociation of DNA. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
A Decision Procedure for the Alternation-Free Two-Way Modal ยต-Calculus. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Molecular Computing and Real Number Computing. |
CCA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mitsuhiro Kubota, Masami Hagiya |
Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. |
DNA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato |
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Azuma Ohuchi (eds.) |
DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers |
DNA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hiroki Uejima, Masami Hagiya |
Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. |
DNA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi |
Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. |
DNA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroki Uejima, Masami Hagiya |
Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. |
DNA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya |
UML Scrapbook and Realization of Snapshot Programming Environment. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiko Tozawa, Masami Hagiya |
XML Schema Containment Checking Based on Semi-implicit Techniques. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, John A. Rose, Ken Komiya, Kensaku Sakamoto |
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiko Tozawa, Masami Hagiya |
Formalization and Analysis of Class Loading in Java. |
Higher-Order and Symbolic Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Masayuki Yamamura, Tom Head, Masami Hagiya |
Biomolecular Computing - Preface. |
New Generation Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Takahashi, Masami Hagiya |
Searching for Mutual Exclusion Algorithms Using BDDs. |
Progress in Discovery Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito |
Verification of Authentication Protocols Based on the Binding Relation. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya |
Decidability of Safety Properties of Timed Multiset Rewriting. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, timed automata, decidability, timed Petri nets |
| 1 | Akio Nishikawa, Masayuki Yamamura, Masami Hagiya |
DNA computation simulator based on abstract bases. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
Threshold approach, Stochastic approach, Fitting parameters using genetic algorithms, Simulation, DNA computing |
| 1 | John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama |
The Fidelity of the Tag-Antitag System. |
DNA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama |
PNA-mediated Whiplash PCR. |
DNA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi |
Horn Clause Computation by Self-assembly of DNA Molecules. |
DNA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuharu Yamamoto, Masami Hagiya |
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya |
Higher order generalization and its application in program verification. |
Ann. Math. Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Masanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu, Kensaku Sakamoto |
Improving Sequence Design for DNA Computing. |
GECCO |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
From Molecular Computing to Molecular Programming. |
DNA Computing |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.) |
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings |
IFIP TCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya |
Theory and Construction of Molecular Computers. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Takahashi, Masami Hagiya |
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya, Koichi Takahashi |
Discovery and Deduction. |
Discovery Science |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Takahashi, Masami Hagiya |
Proving as Editing HOL Tactics. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs |
| 1 | Masami Hagiya |
Perspectives on Molecular Computing. |
New Generation Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiko Tozawa, Masami Hagiya |
Careful Analysis of Type Spoofing. |
Java-Informations-Tage |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jianguo Lu, Masateru Harao, Masami Hagiya |
Higher Order Generalization. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai |
Formalization of Graph Search Algorithms and Its Applications. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Akihiko Tozawa |
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Masami Hagiya |
A Bounds Inference Method for Vector-Based Memoisation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Preface. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Masami Hagiya |
A Transformation Method for Dynamic-Sized Tabulation. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Tomoki Shiratori |
Programming by Example in Computing-as-Editing Paradigm. (PDF / PS) |
VL |
1995 |
DBLP DOI BibTeX RDF |
computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming |
| 1 | Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda |
Formalization of Planar Graphs. |
TPHOLs |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, John C. Mitchell (eds.) |
Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings |
TACS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) |
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu |
Logic, Language and Computation |
1994 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya, Yozo Toda |
On Implicit Arguments. |
Logic, Language and Computation |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Masami Hagiya |
Foreword: Selected Papers of TACS 1991. |
Sci. Comput. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
An Iterative and Bottom-up Procedure for Proving-by-Example. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. |
ALT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
A Formal Approach to Visual Proving Based on Logic Programming. |
VL |
1992 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya |
Running Higher-Order Unification in PaiLisp. |
Parallel Symbolic Computing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Synthesis of Rewrite Programs by Higher-order and Semantic Unification. |
New Generation Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
From Programming-by-Example to Proving-by-Example. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Higher-Order Unification as a Theorem Proving Procedure. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya |
Programming by Example and Proving by Example Using Higher-order Unification. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuling Liu, Masami Hagiya |
Model Inference of Constrained Recursive Figures. |
ALT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya |
Synthesis of Rewrite Programs by Higher-Order and Semantic Unification. |
ALT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Masami Hagiya |
Generalization from Partial Parametrization in Higher-Order Type Theory. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya |
Meta-Circular Interpreter for a Strongly Typed Language. |
J. Symb. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Takafumi Sakurai |
Foundation of Logic Programming Based on Inductive Definition. |
New Generation Comput. |
1984 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")