Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Masami Hagiya
@inproceedings{DBLP:conf/jckbse/TanabeH22,
author = {Yoshinori Tanabe and
Masami Hagiya},
editor = {Maria Virvou and
Takuya Saruwatari and
Lakhmi C. Jain},
title = {Automatic Scoring in Programming Examinations for Beginners},
booktitle = {Knowledge-Based Software Engineering: 2022 - Proceedings of the 14th
International Joint Conference on Knowledge-Based Software Engineering
{(JCKBSE} 2022), Larnaca, Cyprus, August 22-24, 2022},
series = {Learning and Analytics in Intelligent Systems},
volume = {30},
pages = {127--139},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17583-1\_10},
doi = {10.1007/978-3-031-17583-1\_10},
timestamp = {Tue, 21 Feb 2023 13:08:40 +0100},
biburl = {https://dblp.org/rec/conf/jckbse/TanabeH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsys/HonguH21,
author = {Taiga Hongu and
Masami Hagiya},
title = {Self-Stabilizing Distributed Algorithms by Gellular Automata},
journal = {Complex Syst.},
volume = {30},
number = {2},
pages = {159--185},
year = {2021},
url = {https://doi.org/10.25088/complexsystems.30.2.159},
doi = {10.25088/COMPLEXSYSTEMS.30.2.159},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsys/HonguH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YamashitaIPKH20,
author = {Tatsuya Yamashita and
Teijiro Isokawa and
Ferdinand Peper and
Ibuki Kawamata and
Masami Hagiya},
title = {Turing-completeness of asynchronous non-camouflage cellular automata},
journal = {Inf. Comput.},
volume = {274},
pages = {104539},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2020.104539},
doi = {10.1016/J.IC.2020.104539},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/YamashitaIPKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ArthoBGRMKHTY20,
author = {Cyrille Artho and
Kazuaki Banzai and
Quentin Gros and
Guillaume Rousset and
Lei Ma and
Takashi Kitamura and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Model-based testing of Apache ZooKeeper: Fundamental {API} usage and
watchers},
journal = {Softw. Test. Verification Reliab.},
volume = {30},
number = {7-8},
year = {2020},
url = {https://doi.org/10.1002/stvr.1720},
doi = {10.1002/STVR.1720},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/ArthoBGRMKHTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/HonguH20,
author = {Taiga Hongu and
Masami Hagiya},
editor = {Hector Zenil},
title = {Self-stabilizing Distributed Algorithms by Gellular Automata},
booktitle = {Cellular Automata and Discrete Complex Systems - 26th {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2020, Stockholm, Sweden, August
10-12, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12286},
pages = {86--98},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61588-8\_7},
doi = {10.1007/978-3-030-61588-8\_7},
timestamp = {Thu, 22 Oct 2020 11:34:58 +0200},
biburl = {https://dblp.org/rec/conf/automata/HonguH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/TanabeTH20,
author = {Kotaro Tanabe and
Yoshinori Tanabe and
Masami Hagiya},
editor = {Maria Virvou and
Hiroyuki Nakagawa and
Lakhmi C. Jain},
title = {Model-Based Testing for {MQTT} Applications},
booktitle = {Knowledge-Based Software Engineering: 2020, Proceedings of the 13th
International Joint Conference on Knowledge-Based Software Engineering
{(JCKBSE} 2020), Larnaca, Cyprus, August 24-26, 2020},
series = {Learning and Analytics in Intelligent Systems},
volume = {19},
pages = {47--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53949-8\_5},
doi = {10.1007/978-3-030-53949-8\_5},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jckbse/TanabeTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/YoneyamaATH19,
author = {Jun Yoneyama and
Cyrille Artho and
Yoshinori Tanabe and
Masami Hagiya},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Model-based Network Fault Injection for IoT Protocols},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {201--209},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007618102010209},
doi = {10.5220/0007618102010209},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/YoneyamaATH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3-4/HagiyaFTS19,
author = {Masami Hagiya and
Kosuke Fukuda and
Yoshinori Tanabe and
Toshinori Saito},
editor = {Arthur Tatnall and
Nicholas B. Mavengere},
title = {Automatically Generating Programming Questions Corresponding to Rubrics
Using Assertions and Invariants},
booktitle = {Sustainable ICT, Education and Learning - {IFIP} {WG} 3.4 International
Conference, {SUZA} 2019, Zanzibar, Tanzania, April 25-27, 2019, Revised
Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {564},
pages = {89--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-28764-1\_11},
doi = {10.1007/978-3-030-28764-1\_11},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip3-4/HagiyaFTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/YamashitaYH19,
author = {Tatsuya Yamashita and
Akira Yagawa and
Masami Hagiya},
editor = {Ian McQuillan and
Shinnosuke Seki},
title = {Self-stabilizing Gellular Automata},
booktitle = {Unconventional Computation and Natural Computation - 18th International
Conference, {UCNC} 2019, Tokyo, Japan, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11493},
pages = {272--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19311-9\_21},
doi = {10.1007/978-3-030-19311-9\_21},
timestamp = {Mon, 27 May 2019 16:47:38 +0200},
biburl = {https://dblp.org/rec/conf/uc/YamashitaYH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isalalife/YahiroAH18,
author = {Wataru Yahiro and
Nathana{\"{e}}l Aubert{-}Kato and
Masami Hagiya},
editor = {Takashi Ikegami and
Nathaniel Virgo and
Olaf Witkowski and
Mizuki Oka and
Reiji Suzuki and
Hiroyuki Iizuka},
title = {A reservoir computing approach for molecular computing},
booktitle = {2018 Conference on Artificial Life, {ALIFE} 2018, Tokyo, Japan, July
23-27, 2018},
pages = {31--38},
publisher = {{MIT} Press},
year = {2018},
url = {https://doi.org/10.1162/isal\_a\_00013},
doi = {10.1162/ISAL\_A\_00013},
timestamp = {Tue, 26 Jul 2022 11:58:11 +0200},
biburl = {https://dblp.org/rec/conf/isalalife/YahiroAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/HagiyaI18,
author = {Masami Hagiya and
Katsunobu Imai},
editor = {Andrew Adamatzky},
title = {On the Persistency of Gellular Automata},
booktitle = {Reversibility and Universality, Essays Presented to Kenichi Morita
on the Occasion of his 70th Birthday},
series = {Emergence, Complexity and Computation},
volume = {30},
pages = {373--383},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73216-9\_18},
doi = {10.1007/978-3-319-73216-9\_18},
timestamp = {Thu, 18 Oct 2018 18:24:44 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HagiyaI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HagiyaUIPM17,
author = {Masami Hagiya and
Kazunori Ueda and
Ryutaro Ichise and
Ferdinand Peper and
Satoshi Murata},
title = {Renewal of the Major Fields},
journal = {New Gener. Comput.},
volume = {35},
number = {2},
pages = {125--128},
year = {2017},
url = {https://doi.org/10.1007/s00354-017-0013-3},
doi = {10.1007/S00354-017-0013-3},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HagiyaUIPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/YamashitaIPKH17,
author = {Tatsuya Yamashita and
Teijiro Isokawa and
Ferdinand Peper and
Ibuki Kawamata and
Masami Hagiya},
editor = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {Turing-Completeness of Asynchronous Non-camouflage Cellular Automata},
booktitle = {Cellular Automata and Discrete Complex Systems - 23rd {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2017, Milan, Italy, June 7-9,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10248},
pages = {187--199},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58631-1\_15},
doi = {10.1007/978-3-319-58631-1\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/automata/YamashitaIPKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Aubert-KatoFGKD17,
author = {Nathana{\"{e}}l Aubert{-}Kato and
Charles Fosseprez and
Guillaume Gines and
Ibuki Kawamata and
Quang Huy Dinh and
Leo Cazenille and
Andre Estevez{-}Torres and
Masami Hagiya and
Yannick Rondelez and
Nicolas Bred{\`{e}}che},
editor = {Peter A. N. Bosman},
title = {Evolutionary optimization of self-assembly in a swarm of bio-micro-robots},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2017, Berlin, Germany, July 15-19, 2017},
pages = {59--66},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3071178.3071289},
doi = {10.1145/3071178.3071289},
timestamp = {Tue, 06 Nov 2018 11:06:34 +0100},
biburl = {https://dblp.org/rec/conf/gecco/Aubert-KatoFGKD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArthoGRBMKHTY17,
author = {Cyrille Artho and
Quentin Gros and
Guillaume Rousset and
Kazuaki Banzai and
Lei Ma and
Takashi Kitamura and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Model-Based {API} Testing of Apache ZooKeeper},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {288--298},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.33},
doi = {10.1109/ICST.2017.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ArthoGRBMKHTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MurataH16,
author = {Satoshi Murata and
Masami Hagiya},
title = {Preface},
journal = {Nat. Comput.},
volume = {15},
number = {2},
pages = {195--196},
year = {2016},
url = {https://doi.org/10.1007/s11047-016-9558-1},
doi = {10.1007/S11047-016-9558-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MurataH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KohanYAYMHT16,
author = {Alexander Kohan and
Mitsuharu Yamamoto and
Cyrille Artho and
Yoriyuki Yamagata and
Lei Ma and
Masami Hagiya and
Yoshinori Tanabe},
title = {Java Pathfinder on Android Devices},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {1--5},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011292},
doi = {10.1145/3011286.3011292},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KohanYAYMHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HagiyaAWK16,
author = {Masami Hagiya and
Nathana{\"{e}}l Aubert{-}Kato and
Shaoyu Wang and
Satoshi Kobayashi},
title = {Molecular computers for molecular robots as hybrid systems},
journal = {Theor. Comput. Sci.},
volume = {632},
pages = {4--20},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.11.002},
doi = {10.1016/J.TCS.2015.11.002},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HagiyaAWK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/KawamataHTSNIPH16,
author = {Ibuki Kawamata and
Takuto Hosoya and
Fumi Takabatake and
Ken Sugawara and
Shin{-}ichiro M. Nomura and
Teijiro Isokawa and
Ferdinand Peper and
Masami Hagiya and
Satoshi Murata},
title = {Pattern Formation and Computation by Autonomous Chemical Reaction
Diffusion Model Inspired by Cellular Automata},
booktitle = {Fourth International Symposium on Computing and Networking, {CANDAR}
2016, Hiroshima, Japan, November 22-25, 2016},
pages = {215--221},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CANDAR.2016.0046},
doi = {10.1109/CANDAR.2016.0046},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/KawamataHTSNIPH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/YamagataAHIMTY16,
author = {Yoriyuki Yamagata and
Cyrille Artho and
Masami Hagiya and
Jun Inoue and
Lei Ma and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Runtime Monitoring for Concurrent Systems},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {386--403},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_24},
doi = {10.1007/978-3-319-46982-9\_24},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/YamagataAHIMTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpnc/YahiroH16,
author = {Wataru Yahiro and
Masami Hagiya},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Takaaki Mizuki and
Miguel A. Vega{-}Rodr{\'{\i}}guez},
title = {Implementation of Turing Machine Using {DNA} Strand Displacement},
booktitle = {Theory and Practice of Natural Computing - 5th International Conference,
{TPNC} 2016, Sendai, Japan, December 12-13, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10071},
pages = {161--172},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49001-4\_13},
doi = {10.1007/978-3-319-49001-4\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tpnc/YahiroH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/IsokawaPKMMH16,
author = {Teijiro Isokawa and
Ferdinand Peper and
Ibuki Kawamata and
Nobuyuki Matsui and
Satoshi Murata and
Masami Hagiya},
editor = {Martyn Amos and
Anne Condon},
title = {Universal Totalistic Asynchonous Cellular Automaton and Its Possible
Implementation by {DNA}},
booktitle = {Unconventional Computation and Natural Computation - 15th International
Conference, {UCNC} 2016, Manchester, UK, July 11-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9726},
pages = {182--195},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41312-9\_15},
doi = {10.1007/978-3-319-41312-9\_15},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/IsokawaPKMMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/ArthoSHLPPTWY15,
author = {Cyrille Artho and
Kuniyasu Suzaki and
Masami Hagiya and
Watcharin Leungwattanakit and
Richard Potter and
Eric Platon and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
title = {Using Checkpointing and Virtualization for Fault Injection},
journal = {Int. J. Netw. Comput.},
volume = {5},
number = {2},
pages = {347--372},
year = {2015},
url = {http://www.ijnc.org/index.php/ijnc/article/view/112},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/ArthoSHLPPTWY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/SebihHWYAT15,
author = {Nazim Sebih and
Masami Hagiya and
Franz Weitl and
Mitsuharu Yamamoto and
Cyrille Artho and
Yoshinori Tanabe},
title = {Software Model Checking of UDP-based Distributed Applications},
journal = {Int. J. Netw. Comput.},
volume = {5},
number = {2},
pages = {373--402},
year = {2015},
url = {http://www.ijnc.org/index.php/ijnc/article/view/113},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/SebihHWYAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/Hagiya15,
author = {Masami Hagiya},
title = {Defining Informatics across Bun-kei and Ri-kei},
journal = {J. Inf. Process.},
volume = {23},
number = {4},
pages = {525--530},
year = {2015},
url = {https://doi.org/10.2197/ipsjjip.23.525},
doi = {10.2197/IPSJJIP.23.525},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/Hagiya15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/WangIH15,
author = {Shaoyu Wang and
Katsunobu Imai and
Masami Hagiya},
title = {An Approach to Constructing and Simulating Block Cellular Automata
by Gellular Automata},
booktitle = {Third International Symposium on Computing and Networking, {CANDAR}
2015, Sapporo, Hokkaido, Japan, December 8-11, 2015},
pages = {442--448},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CANDAR.2015.97},
doi = {10.1109/CANDAR.2015.97},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/WangIH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MaAZSHTY15,
author = {Lei Ma and
Cyrille Artho and
Cheng Zhang and
Hiroyuki Sato and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Gregory Gay and
Giuliano Antoniol},
title = {{GRT} at the {SBST} 2015 Tool Competition},
booktitle = {8th {IEEE/ACM} International Workshop on Search-Based Software Testing,
{SBST} 2015, Florence, Italy, May 18-19, 2015},
pages = {48--51},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBST.2015.19},
doi = {10.1109/SBST.2015.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MaAZSHTY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WeitlSAHTYY15,
author = {Franz Weitl and
Nazim Sebih and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Yoriyuki Yamagata and
Mitsuharu Yamamoto},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cardinality of {UDP} Transmission Outcomes},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {120--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_8},
doi = {10.1007/978-3-319-25942-0\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/setta/WeitlSAHTYY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AubertRFH14,
author = {Nathanael Aubert and
Yannick Rondelez and
Teruo Fujii and
Masami Hagiya},
title = {Enforcing logical delays in {DNA} computing systems},
journal = {Nat. Comput.},
volume = {13},
number = {4},
pages = {559--572},
year = {2014},
url = {https://doi.org/10.1007/s11047-014-9450-9},
doi = {10.1007/S11047-014-9450-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AubertRFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PotterASH14,
author = {Richard Potter and
Cyrille Artho and
Kuniyasu Suzaki and
Masami Hagiya},
title = {A Knoppix-based demonstration environment for {JPF}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {1},
pages = {1--5},
year = {2014},
url = {https://doi.org/10.1145/2557833.2560574},
doi = {10.1145/2557833.2560574},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/PotterASH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeungwattanakitAHTYT14,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto and
Koichi Takahashi},
title = {Modular Software Model Checking for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {5},
pages = {483--501},
year = {2014},
url = {https://doi.org/10.1109/TSE.2013.49},
doi = {10.1109/TSE.2013.49},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeungwattanakitAHTYT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/SebihWAHTY14,
author = {Nazim Sebih and
Franz Weitl and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Software Model Checking of UDP-based Distributed Applications},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.66},
doi = {10.1109/CANDAR.2014.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/SebihWAHTY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/ArthoHLPPSTWY14,
author = {Cyrille Artho and
Masami Hagiya and
Watcharin Leungwattanakit and
Eric Platon and
Richard Potter and
Kuniyasu Suzaki and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
title = {Using Checkpointing and Virtualization for Fault Injection},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {144--150},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.45},
doi = {10.1109/CANDAR.2014.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/ArthoHLPPSTWY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/WangIH14,
author = {Shaoyu Wang and
Katsunobu Imai and
Masami Hagiya},
title = {On the Composition of Signals in Gellular Automata},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {499--502},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.71},
doi = {10.1109/CANDAR.2014.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/WangIH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/HagiyaWKMIPI14,
author = {Masami Hagiya and
Shaoyu Wang and
Ibuki Kawamata and
Satoshi Murata and
Teijiro Isokawa and
Ferdinand Peper and
Katsunobu Imai},
editor = {Oscar H. Ibarra and
Lila Kari and
Steffen Kopecki},
title = {On DNA-Based Gellular Automata},
booktitle = {Unconventional Computation and Natural Computation - 13th International
Conference, {UCNC} 2014, London, ON, Canada, July 14-18, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8553},
pages = {177--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08123-6\_15},
doi = {10.1007/978-3-319-08123-6\_15},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/HagiyaWKMIPI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/MurataKKSH13,
author = {Satoshi Murata and
Akihiko Konagaya and
Satoshi Kobayashi and
Hirohide Saito and
Masami Hagiya},
title = {Molecular Robotics: {A} New Paradigm for Artifacts},
journal = {New Gener. Comput.},
volume = {31},
number = {1},
pages = {27--45},
year = {2013},
url = {https://doi.org/10.1007/s00354-012-0121-z},
doi = {10.1007/S00354-012-0121-Z},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/MurataKKSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecal/AubertDHIFBR13,
author = {Nathanael Aubert and
Quang Huy Dinh and
Masami Hagiya and
Hitoshi Iba and
Teruo Fujii and
Nicolas Bred{\`{e}}che and
Yannick Rondelez},
editor = {Pietro Li{\`{o}} and
Orazio Miglino and
Giuseppe Nicosia and
Stefano Nolfi and
Mario Pavone},
title = {Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors},
booktitle = {Proceedings of the Twelfth European Conference on the Synthesis and
Simulation of Living Systems: Advances in Artificial Life, {ECAL}
2013, Sicily, Italy, September 2-6, 2013},
pages = {1143--1150},
publisher = {{MIT} Press},
year = {2013},
url = {https://doi.org/10.7551/978-0-262-31709-2-ch174},
doi = {10.7551/978-0-262-31709-2-CH174},
timestamp = {Thu, 07 Jul 2022 14:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ecal/AubertDHIFBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArthoBHPSTY13,
author = {Cyrille Valentin Artho and
Armin Biere and
Masami Hagiya and
Eric Platon and
Martina Seidl and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Valeria Bertacco and
Axel Legay},
title = {Modbat: {A} Model-Based {API} Tester for Event-Driven Systems},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {112--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_8},
doi = {10.1007/978-3-319-03077-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArthoBHPSTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoHPTWY13,
author = {Cyrille Artho and
Masami Hagiya and
Richard Potter and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Software model checking for distributed systems with selector-based,
non-blocking communication},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {169--179},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693077},
doi = {10.1109/ASE.2013.6693077},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ArthoHPTWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/KawamataAHH12,
author = {Ibuki Kawamata and
Nathanael Aubert and
Masahiro Hamano and
Masami Hagiya},
editor = {David R. Gilbert and
Monika Heiner},
title = {Abstraction of Graph-Based Models of Bio-molecular Reaction Systems
for Efficient Simulation},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {187--206},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_12},
doi = {10.1007/978-3-642-33636-2\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/KawamataAHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispec/Comon-LundhHKS12,
author = {Hubert Comon{-}Lundh and
Masami Hagiya and
Yusuke Kawamoto and
Hideki Sakurada},
editor = {Mark Dermot Ryan and
Ben Smyth and
Guilin Wang},
title = {Computational Soundness of Indistinguishability Properties without
Computable Parsing},
booktitle = {Information Security Practice and Experience - 8th International Conference,
{ISPEC} 2012, Hangzhou, China, April 9-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7232},
pages = {63--79},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29101-2\_5},
doi = {10.1007/978-3-642-29101-2\_5},
timestamp = {Wed, 07 Dec 2022 23:12:45 +0100},
biburl = {https://dblp.org/rec/conf/ispec/Comon-LundhHKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/HagiyaKKTY12,
author = {Masami Hagiya and
Satoshi Kobayashi and
Ken Komiya and
Fumiaki Tanaka and
Takashi Yokomori},
editor = {Grzegorz Rozenberg and
Thomas B{\"{a}}ck and
Joost N. Kok},
title = {Molecular Computing Machineries - Computing Models and Wet Implementations},
booktitle = {Handbook of Natural Computing},
pages = {1129--1184},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-540-92910-9\_34},
doi = {10.1007/978-3-540-92910-9\_34},
timestamp = {Fri, 09 Apr 2021 18:35:12 +0200},
biburl = {https://dblp.org/rec/reference/nc/HagiyaKKTY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/AritaHTT12,
author = {Masanori Arita and
Masami Hagiya and
Masahiro Takinoue and
Fumiaki Tanaka},
editor = {Grzegorz Rozenberg and
Thomas B{\"{a}}ck and
Joost N. Kok},
title = {{DNA} Memory},
booktitle = {Handbook of Natural Computing},
pages = {1281--1318},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-540-92910-9\_38},
doi = {10.1007/978-3-540-92910-9\_38},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/nc/AritaHTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scholarpedia/Hagiya11,
author = {Masami Hagiya},
title = {Implementations of computational state transitions with biomolecules},
journal = {Scholarpedia},
volume = {6},
number = {4},
pages = {9917},
year = {2011},
url = {https://doi.org/10.4249/scholarpedia.9917},
doi = {10.4249/SCHOLARPEDIA.9917},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scholarpedia/Hagiya11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bic-ta/HirabayashiNTHKO11,
author = {Miki Hirabayashi and
Akio Nishikawa and
Fumiaki Tanaka and
Masami Hagiya and
Hiroaki Kojima and
Kazuhiro Oiwa},
title = {Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem},
booktitle = {Sixth International Conference on Bio-Inspired Computing: Theories
and Applications, {BIC-TA} 2011, Penang, Malaysia, September 27-29,
2011},
pages = {205--210},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/BIC-TA.2011.29},
doi = {10.1109/BIC-TA.2011.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bic-ta/HirabayashiNTHKO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeungwattanakitAHTY11,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Model checking distributed systems by combining caching and process
checkpointing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100043},
doi = {10.1109/ASE.2011.6100043},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeungwattanakitAHTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OnoHTNH11,
author = {Kosuke Ono and
Yoichi Hirai and
Yoshinori Tanabe and
Natsuko Noda and
Masami Hagiya},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Using Coq in Specification and Program Extraction of Hadoop MapReduce
Applications},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {350--365},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_24},
doi = {10.1007/978-3-642-24690-6\_24},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/OnoHTNH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/HagiyaTK10,
author = {Masami Hagiya and
Fumiaki Tanaka and
Ibuki Kawamata},
title = {{IT} for synthetic biology and {DNA} nanotechnology},
journal = {{XRDS}},
volume = {17},
number = {1},
pages = {16--21},
year = {2010},
url = {https://doi.org/10.1145/1836543.1836551},
doi = {10.1145/1836543.1836551},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/crossroads/HagiyaTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bic-ta/HirabayashiKONTH10,
author = {Miki Hirabayashi and
Hiroaki Kojima and
Kazuhiro Oiwa and
Akio Nishikawa and
Fumiaki Tanaka and
Masami Hagiya},
title = {Implementation of tile sequencing for {DNA} logical computation toward
next-generation information security},
booktitle = {Fifth International Conference on Bio-Inspired Computing: Theories
and Applications, {BIC-TA} 2010, University of Hunan, Liverpool Hope
University, Liverpool, United Kingdom / Changsha, China, September
8-10 and September 23-26, 2010},
pages = {1296--1307},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/BICTA.2010.5645074},
doi = {10.1109/BICTA.2010.5645074},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bic-ta/HirabayashiKONTH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/ArthoHLTY10,
author = {Cyrille Artho and
Masami Hagiya and
Watcharin Leungwattanakit and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Model Checking of Concurrent Algorithms: From Java to {C}},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {90--101},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_10},
doi = {10.1007/978-3-642-15234-4\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/ArthoHLTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GoyetHT10,
author = {Alexis Goyet and
Masami Hagiya and
Yoshinori Tanabe},
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Decidability and Undecidability Results on the Modal \emph{{\(\mathrm{\mu}\)}}-Calculus
with a Natural Number-Valued Semantics},
booktitle = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
pages = {148--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9\_13},
doi = {10.1007/978-3-642-13824-9\_13},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GoyetHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uc/2010,
editor = {Cristian S. Calude and
Masami Hagiya and
Kenichi Morita and
Grzegorz Rozenberg and
Jon Timmis},
title = {Unconventional Computation - 9th International Conference, {UC} 2010,
Tokyo, Japan, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6079},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13523-1},
doi = {10.1007/978-3-642-13523-1},
isbn = {978-3-642-13522-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/SuzukiHUA09,
author = {Yasuhiro Suzuki and
Masami Hagiya and
Hiroshi Umeo and
Andrew Adamatzky},
title = {The 2nd International Workshop on Natural Computing},
journal = {New Gener. Comput.},
volume = {27},
number = {2},
pages = {83--84},
year = {2009},
url = {https://doi.org/10.1007/s00354-008-0055-7},
doi = {10.1007/S00354-008-0055-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/SuzukiHUA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MizunumaH09,
author = {Kazufumi Mizunuma and
Masami Hagiya},
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {Hybrid Method for Simulating Small-Number Molecular Systems},
booktitle = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
pages = {607--620},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7\_29},
doi = {10.1007/978-3-540-88869-7\_29},
timestamp = {Sun, 25 Jul 2021 11:52:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MizunumaH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KawamataTH09,
author = {Ibuki Kawamata and
Fumiaki Tanaka and
Masami Hagiya},
editor = {Russell J. Deaton and
Akira Suyama},
title = {Automatic Design of {DNA} Logic Gates Based on Kinetic Simulation},
booktitle = {{DNA} Computing and Molecular Programming, 15th International Conference,
{DNA} 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5877},
pages = {88--96},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10604-0\_9},
doi = {10.1007/978-3-642-10604-0\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/KawamataTH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/TanabeH09,
author = {Yoshinori Tanabe and
Masami Hagiya},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Fixed-Point Computations over Functions on Integers with Operations
min, max and plus},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {108--115},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib14.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/TanabeH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeungwattanakitAHTY09,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Verifying networked programs using a model checker extension},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {409--410},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071036},
doi = {10.1109/ICSE-COMPANION.2009.5071036},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeungwattanakitAHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoLHTY09,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Cache-Based Model Checking of Networked Applications: From Linear
to Branching Time},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {447--458},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.43},
doi = {10.1109/ASE.2009.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArthoLHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LeungwattanakitAHTY09,
author = {Watcharin Leungwattanakit and
Cyrille Valentin Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Introduction of Virtualization Technology to Multi-Process Model Checking},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {106--110},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LeungwattanakitAHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psec/KawamotoSH09,
author = {Yusuke Kawamoto and
Hideki Sakurada and
Masami Hagiya},
editor = {V{\'{e}}ronique Cortier and
Claude Kirchner and
Mitsuhiro Okada and
Hideki Sakurada},
title = {Computationally Sound Formalization of Rerandomizable {RCCA} Secure
Encryption},
booktitle = {Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese
Collaboration},
series = {Lecture Notes in Computer Science},
volume = {5458},
pages = {158--180},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02002-5\_9},
doi = {10.1007/978-3-642-02002-5\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/psec/KawamotoSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwnc/2007,
editor = {Yasuhiro Suzuki and
Masami Hagiya and
Hiroshi Umeo and
Andrew Adamatzky},
title = {Natural Computing - 2nd International Workshop on Natural Computing,
Nagoya, Japan, December 2007, Proceedings},
series = {Proceedings in Information and Communications Technology},
volume = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-4-431-88981-6},
doi = {10.1007/978-4-431-88981-6},
isbn = {978-4-431-88980-9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwnc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/KamedaYOYH08,
author = {Atsushi Kameda and
Masahito Yamamoto and
Azuma Ohuchi and
Satsuki Yaegashi and
Masami Hagiya},
title = {Unravel four hairpins!},
journal = {Nat. Comput.},
volume = {7},
number = {2},
pages = {287--298},
year = {2008},
url = {https://doi.org/10.1007/s11047-007-9035-y},
doi = {10.1007/S11047-007-9035-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/KamedaYOYH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/NishikawaYTOH08,
author = {Akio Nishikawa and
Satsuki Yaegashi and
Fumiaki Tanaka and
Kazumasa Ohtake and
Masami Hagiya},
title = {Multi-fueled approach to {DNA} nano-robotics},
journal = {Nat. Comput.},
volume = {7},
number = {3},
pages = {371--383},
year = {2008},
url = {https://doi.org/10.1007/s11047-008-9075-y},
doi = {10.1007/S11047-008-9075-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/NishikawaYTOH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Hagiya08,
author = {Masami Hagiya},
title = {Designing Chemical and Biological Systems},
journal = {New Gener. Comput.},
volume = {26},
number = {3},
pages = {295},
year = {2008},
url = {https://doi.org/10.1007/s00354-008-0046-8},
doi = {10.1007/S00354-008-0046-8},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Hagiya08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/TanabeTH08,
author = {Yoshinori Tanabe and
Koichi Takahashi and
Masami Hagiya},
editor = {Carlos Areces and
Robert Goldblatt},
title = {A decision procedure for alternation-free modal {\(\mathrm{\mu}\)}-calculi},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {341--362},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Tanabe-Takahashi-Hagiya.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/TanabeTH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/TanakaTH08,
author = {Fumiaki Tanaka and
Takashi Tsuda and
Masami Hagiya},
editor = {Ashish Goel and
Friedrich C. Simmel and
Petr Sos{\'{\i}}k},
title = {Towards {DNA} Comparator: The Machine That Compares {DNA} Concentrations},
booktitle = {{DNA} Computing, 14th International Meeting on {DNA} Computing, {DNA}
14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5347},
pages = {11--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03076-5\_2},
doi = {10.1007/978-3-642-03076-5\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/TanakaTH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ArthoLHT08,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe},
title = {Architecture-aware Partial Order Reduction to Accelerate Model Checking
of Networked Programs},
booktitle = {Ninth {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2008, In conjunction with Second International Workshop on Advanced
Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand},
pages = {807--813},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SNPD.2008.50},
doi = {10.1109/SNPD.2008.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/ArthoLHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ArthoLHT08a,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe},
title = {Tools and Techniques for Model Checking Networked Programs},
booktitle = {Ninth {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2008, In conjunction with Second International Workshop on Advanced
Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand},
pages = {852--857},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SNPD.2008.36},
doi = {10.1109/SNPD.2008.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/ArthoLHT08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/ArthoLHT08,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Efficient Model Checking of Networked Applications},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {22--40},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_3},
doi = {10.1007/978-3-540-69824-1\_3},
timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
biburl = {https://dblp.org/rec/conf/tools/ArthoLHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/NishikawaYOH07,
author = {Akio Nishikawa and
Satsuki Yaegashi and
Kazumasa Ohtake and
Masami Hagiya},
editor = {Max H. Garzon and
Hao Yan},
title = {Multi-fueled Approach to {DNA} Nano-Robotics},
booktitle = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4848},
pages = {79--88},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77962-9\_8},
doi = {10.1007/978-3-540-77962-9\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/NishikawaYOH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KamedaKYOH07,
author = {Atsushi Kameda and
Satoshi Kashiwamura and
Masahito Yamamoto and
Azuma Ohuchi and
Masami Hagiya},
editor = {Max H. Garzon and
Hao Yan},
title = {Combining Randomness and a High-Capacity {DNA} Memory},
booktitle = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4848},
pages = {109--118},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77962-9\_11},
doi = {10.1007/978-3-540-77962-9\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KamedaKYOH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KamedaYOYH06,
author = {Atsushi Kameda and
Masahito Yamamoto and
Azuma Ohuchi and
Satsuki Yaegashi and
Masami Hagiya},
editor = {Chengde Mao and
Takashi Yokomori},
title = {Unravel Four Hairpins!},
booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4287},
pages = {381--392},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11925903\_30},
doi = {10.1007/11925903\_30},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/KamedaYOYH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/RoseKYH06,
author = {John A. Rose and
Ken Komiya and
Satsuki Yaegashi and
Masami Hagiya},
editor = {Chengde Mao and
Takashi Yokomori},
title = {Displacement Whiplash {PCR:} Optimized Architecture and Experimental
Validation},
booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4287},
pages = {393--403},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11925903\_31},
doi = {10.1007/11925903\_31},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/RoseKYH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KomiyaYHSR06,
author = {Ken Komiya and
Satsuki Yaegashi and
Masami Hagiya and
Akira Suyama and
John A. Rose},
editor = {Chengde Mao and
Takashi Yokomori},
title = {Experimental Validation of the Statistical Thermodynamic Model for
Prediction of the Behavior of Autonomous Molecular Computers Based
on {DNA} Hairpin Formation},
booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4287},
pages = {428--438},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11925903\_34},
doi = {10.1007/11925903\_34},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KomiyaYHSR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncs/HagiyaYT06,
author = {Masami Hagiya and
Satsuki Yaegashi and
Keiichiro Takahashi},
editor = {Junghuei Chen and
Natasa Jonoska and
Grzegorz Rozenberg},
title = {Computing with Hairpins and Secondary Structures of {DNA}},
booktitle = {Nanotechnology: Science and Computation},
series = {Natural Computing Series},
pages = {293--308},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-30296-4\_18},
doi = {10.1007/3-540-30296-4\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncs/HagiyaYT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2006,
editor = {Masami Hagiya and
Philip Wadler},
title = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414},
doi = {10.1007/11737414},
isbn = {3-540-33438-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/KamedaYUHSO05,
author = {Atsushi Kameda and
Masahito Yamamoto and
Hiroki Uejima and
Masami Hagiya and
Kensaku Sakamoto and
Azuma Ohuchi},
title = {Hairpin-based state machine and conformational addressing: Design
and experiment},
journal = {Nat. Comput.},
volume = {4},
number = {2},
pages = {103--126},
year = {2005},
url = {https://doi.org/10.1007/s11047-004-4007-y},
doi = {10.1007/S11047-004-4007-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/KamedaYUHSO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hagiya05,
author = {Masami Hagiya},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Molecular Computing and Real Number Computing},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hagiya05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/TakahashiYAH05,
author = {Keiichiro Takahashi and
Satsuki Yaegashi and
Hiroyuki Asanuma and
Masami Hagiya},
editor = {Alessandra Carbone and
Niles A. Pierce},
title = {Photo- and Thermoregulation of {DNA} Nanomachines},
booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
London, ON, Canada, June 6-9, 2005. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3892},
pages = {336--346},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11753681\_26},
doi = {10.1007/11753681\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/TakahashiYAH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/TakahashiYKH05,
author = {Keiichiro Takahashi and
Satsuki Yaegashi and
Atsushi Kameda and
Masami Hagiya},
editor = {Alessandra Carbone and
Niles A. Pierce},
title = {Chain Reaction Systems Based on Loop Dissociation of {DNA}},
booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
London, ON, Canada, June 6-9, 2005. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3892},
pages = {347--358},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11753681\_27},
doi = {10.1007/11753681\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/TakahashiYKH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/TanabeTYTH05,
author = {Yoshinori Tanabe and
Koichi Takahashi and
Mitsuharu Yamamoto and
Akihiko Tozawa and
Masami Hagiya},
editor = {Bernhard Beckert},
title = {A Decision Procedure for the Alternation-Free Two-Way Modal {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {277--291},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_21},
doi = {10.1007/11554554\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/TanabeTYTH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Hagiya05,
author = {Masami Hagiya},
editor = {Cristian Calude and
Michael J. Dinneen and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg},
title = {Discrete State Transition Systems on Continuous Space-Time: {A} Theoretical
Model for Amorphous Computing},
booktitle = {Unconventional Computation, 4th International Conference, {UC} 2005,
Sevilla, Spain, October 3-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3699},
pages = {117--129},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560319\_12},
doi = {10.1007/11560319\_12},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/Hagiya05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/YamamotoTTH05,
author = {Mitsuharu Yamamoto and
Yoshinori Tanabe and
Koichi Takahashi and
Masami Hagiya},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Abstraction of Graph Transformation Systems by Temporal Logic and
Its Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {518--527},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_57},
doi = {10.1007/978-3-540-69149-5\_57},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/YamamotoTTH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KubotaH04,
author = {Mitsuhiro Kubota and
Masami Hagiya},
editor = {Claudio Ferretti and
Giancarlo Mauri and
Claudio Zandron},
title = {Minimum Basin Algorithm: An Effective Analysis Technique for {DNA}
Energy Landscapes},
booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3384},
pages = {202--214},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493785\_18},
doi = {10.1007/11493785\_18},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/KubotaH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HagiyaTYS04,
author = {Masami Hagiya and
Koichi Takahashi and
Mitsuharu Yamamoto and
Takahiro Sato},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction
by Temporal Logic},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {7--21},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_2},
doi = {10.1007/978-3-540-24754-8\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/HagiyaTYS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gpem/RoseTHS03,
author = {John A. Rose and
Mitsunori Takano and
Masami Hagiya and
Akira Suyama},
title = {A {DNA} Computing-based Genetic Program for In Vitro Protein Evolution
via Constrained Pseudomodule Shuffling},
journal = {Genet. Program. Evolvable Mach.},
volume = {4},
number = {2},
pages = {139--152},
year = {2003},
url = {https://doi.org/10.1023/A:1023932912559},
doi = {10.1023/A:1023932912559},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gpem/RoseTHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/KubotaOKSH03,
author = {Mitsuhiro Kubota and
Kazumasa Ohtake and
Ken Komiya and
Kensaku Sakamoto and
Masami Hagiya},
title = {Branching {DNA} machines based on transitions of hairpin structures},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2003, Canberra, Australia, December 8-12, 2003},
pages = {2542--2548},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CEC.2003.1299408},
doi = {10.1109/CEC.2003.1299408},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/KubotaOKSH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/RoseHS03,
author = {John A. Rose and
Masami Hagiya and
Akira Suyama},
title = {The fidelity of the tag-antitag system {II:} reconciliation with the
stringency picture},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2003, Canberra, Australia, December 8-12, 2003},
pages = {2740--2747},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CEC.2003.1299435},
doi = {10.1109/CEC.2003.1299435},
timestamp = {Thu, 16 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/RoseHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/UejimaH03,
author = {Hiroki Uejima and
Masami Hagiya},
editor = {Junghuei Chen and
John H. Reif},
title = {Secondary Structure Design of Multi-state {DNA} Machines Based on
Sequential Structure Transitions},
booktitle = {{DNA} Computing, 9th International Workshop on {DNA} Based Computers,
DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2943},
pages = {74--85},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24628-2\_9},
doi = {10.1007/978-3-540-24628-2\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/UejimaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/UejimaH03a,
author = {Hiroki Uejima and
Masami Hagiya},
editor = {Junghuei Chen and
John H. Reif},
title = {Analyzing Secondary Structure Transition Paths of {DNA/RNA} Molecules},
booktitle = {{DNA} Computing, 9th International Workshop on {DNA} Based Computers,
DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2943},
pages = {86--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24628-2\_10},
doi = {10.1007/978-3-540-24628-2\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/UejimaH03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KamedaYUHSO03,
author = {Atsushi Kameda and
Masahito Yamamoto and
Hiroki Uejima and
Masami Hagiya and
Kensaku Sakamoto and
Azuma Ohuchi},
editor = {Junghuei Chen and
John H. Reif},
title = {Conformational Addressing Using the Hairpin Structure of Single-Strand
{DNA}},
booktitle = {{DNA} Computing, 9th International Workshop on {DNA} Based Computers,
DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2943},
pages = {219--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24628-2\_22},
doi = {10.1007/978-3-540-24628-2\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KamedaYUHSO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/SatoPYH03,
author = {Osamu Sato and
Richard Potter and
Mitsuharu Yamamoto and
Masami Hagiya},
editor = {Kokichi Futatsugi and
Fumio Mizoguchi and
Naoki Yonezaki},
title = {{UML} Scrapbook and Realization of Snapshot Programming Environment},
booktitle = {Software Security - Theories and Systems, Second Mext-NSF-JSPS International
Symposium, {ISSS} 2003, Tokyo, Japan, November 4-6, 2003, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {3233},
pages = {281--295},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-37621-7\_15},
doi = {10.1007/978-3-540-37621-7\_15},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/isss2/SatoPYH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/TozawaH03,
author = {Akihiko Tozawa and
Masami Hagiya},
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {{XML} Schema Containment Checking Based on Semi-implicit Techniques},
booktitle = {Implementation and Application of Automata, 8th International Conference,
{CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2759},
pages = {213--225},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45089-0\_20},
doi = {10.1007/3-540-45089-0\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/TozawaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dna/2002,
editor = {Masami Hagiya and
Azuma Ohuchi},
title = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2568},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36440-4},
doi = {10.1007/3-540-36440-4},
isbn = {3-540-00531-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/TozawaH02,
author = {Akihiko Tozawa and
Masami Hagiya},
title = {Formalization and Analysis of Class Loading in Java},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {1},
pages = {7--55},
year = {2002},
url = {https://doi.org/10.1023/A:1019912130555},
doi = {10.1023/A:1019912130555},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/TozawaH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/YamamuraHH02,
author = {Masayuki Yamamura and
Tom Head and
Masami Hagiya},
title = {Biomolecular Computing - Preface},
journal = {New Gener. Comput.},
volume = {20},
number = {3},
pages = {215--216},
year = {2002},
url = {https://doi.org/10.1007/BF03037356},
doi = {10.1007/BF03037356},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/YamamuraHH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HagiyaRKS02,
author = {Masami Hagiya and
John A. Rose and
Ken Komiya and
Kensaku Sakamoto},
title = {Complexity analysis of the {SAT} engine: {DNA} algorithms as probabilistic
algorithms},
journal = {Theor. Comput. Sci.},
volume = {287},
number = {1},
pages = {59--71},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(02)00095-6},
doi = {10.1016/S0304-3975(02)00095-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HagiyaRKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsp/TakahashiH02,
author = {Koichi Takahashi and
Masami Hagiya},
editor = {Setsuo Arikawa and
Ayumi Shinohara},
title = {Searching for Mutual Exclusion Algorithms Using BDDs},
booktitle = {Progress in Discovery Science, Final Report of the Japanese Discovery
Science Project},
series = {Lecture Notes in Computer Science},
volume = {2281},
pages = {1--18},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45884-0\_1},
doi = {10.1007/3-540-45884-0\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/dsp/TakahashiH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YamamotoCH02,
author = {Mitsuharu Yamamoto and
Jean{-}Marie Cottin and
Masami Hagiya},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Decidability of Safety Properties of Timed Multiset Rewriting},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {165--184},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_12},
doi = {10.1007/3-540-45739-9\_12},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/YamamotoCH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/HagiyaTTS02,
author = {Masami Hagiya and
Ryo Takemura and
Koichi Takahashi and
Takamichi Saito},
editor = {Mitsuhiro Okada and
Benjamin C. Pierce and
Andre Scedrov and
Hideyuki Tokuda and
Akinori Yonezawa},
title = {Verification of Authentication Protocols Based on the Binding Relation},
booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International
Symposium, {ISSS} 2002, Tokyo, Japan, November 8-10, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2609},
pages = {299--316},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36532-X\_19},
doi = {10.1007/3-540-36532-X\_19},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/isss2/HagiyaTTS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/PotterH02,
author = {Richard Potter and
Masami Hagiya},
editor = {Mikio Aoyama and
Katsuro Inoue and
V{\'{a}}clav Rajlich},
title = {Computation scrapbooks for software evolution},
booktitle = {Proceedings of the International Workshop on Principles of Software
Evolution, {IWPSE} '02, Orlando, Florida, USA, May 19-20, 2002},
pages = {143--147},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512035.512069},
doi = {10.1145/512035.512069},
timestamp = {Wed, 26 Aug 2020 08:59:37 +0200},
biburl = {https://dblp.org/rec/conf/iwpse/PotterH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/NishikawaYH01,
author = {Akio Nishikawa and
Masayuki Yamamura and
Masami Hagiya},
title = {{DNA} computation simulator based on abstract bases},
journal = {Soft Comput.},
volume = {5},
number = {1},
pages = {25--38},
year = {2001},
url = {https://doi.org/10.1007/s005000000062},
doi = {10.1007/S005000000062},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/NishikawaYH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/YamamotoH01,
author = {Mitsuharu Yamamoto and
Masami Hagiya},
title = {Abstract A* Algorithm and Its Application to Linearly Priced Timed
Automata},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {193--205},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/YamamotoH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/RoseDHS01,
author = {John A. Rose and
Russell J. Deaton and
Masami Hagiya and
Akira Suyama},
editor = {Natasa Jonoska and
Nadrian C. Seeman},
title = {PNA-mediated Whiplash {PCR}},
booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2340},
pages = {104--116},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48017-X\_10},
doi = {10.1007/3-540-48017-X\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/RoseDHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/RoseDHS01a,
author = {John A. Rose and
Russell J. Deaton and
Masami Hagiya and
Akira Suyama},
editor = {Natasa Jonoska and
Nadrian C. Seeman},
title = {The Fidelity of the Tag-Antitag System},
booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2340},
pages = {138--149},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48017-X\_13},
doi = {10.1007/3-540-48017-X\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/RoseDHS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/UejimaHK01,
author = {Hiroki Uejima and
Masami Hagiya and
Satoshi Kobayashi},
editor = {Natasa Jonoska and
Nadrian C. Seeman},
title = {Horn Clause Computation by Self-assembly of {DNA} Molecules},
booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2340},
pages = {308--320},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48017-X\_29},
doi = {10.1007/3-540-48017-X\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/UejimaHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LuMHH00,
author = {Jianguo Lu and
John Mylopoulos and
Masateru Harao and
Masami Hagiya},
title = {Higher order generalization and its application in program verification},
journal = {Ann. Math. Artif. Intell.},
volume = {28},
number = {1-4},
pages = {107--126},
year = {2000},
url = {https://doi.org/10.1023/A:1018952121991},
doi = {10.1023/A:1018952121991},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/LuMHH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/TakahashiH00,
author = {Koichi Takahashi and
Masami Hagiya},
title = {Abstraction of Link Structures by Regular Expressions and Abstract
Model Checking of Concurrent Garbage Collection},
booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
2000, National University of Singapore, Singapore, December 18-20,
2000, Proceedings},
pages = {1--8},
year = {2000},
timestamp = {Tue, 01 Jun 2004 14:41:27 +0200},
biburl = {https://dblp.org/rec/conf/aplas/TakahashiH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/HagiyaT00,
author = {Masami Hagiya and
Koichi Takahashi},
editor = {Setsuo Arikawa and
Shinichi Morishita},
title = {Discovery and Deduction},
booktitle = {Discovery Science, Third International Conference, {DS} 2000, Kyoto,
Japan, December 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1967},
pages = {17--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44418-1\_3},
doi = {10.1007/3-540-44418-1\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/HagiyaT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KomiyaSGYANH00,
author = {Ken Komiya and
Kensaku Sakamoto and
Hidetaka Gouzu and
Shigeyuki Yokoyama and
Masanori Arita and
Akio Nishikawa and
Masami Hagiya},
editor = {Anne Condon and
Grzegorz Rozenberg},
title = {Successive State Transitions with {I/O} Interface by Molecules},
booktitle = {{DNA} Computing, 6th International Workshop on DNA-Based Computers,
{DNA} 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2054},
pages = {17--26},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44992-2\_2},
doi = {10.1007/3-540-44992-2\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KomiyaSGYANH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/Hagiya00,
author = {Masami Hagiya},
editor = {Anne Condon and
Grzegorz Rozenberg},
title = {From Molecular Computing to Molecular Programming},
booktitle = {{DNA} Computing, 6th International Workshop on DNA-Based Computers,
{DNA} 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2054},
pages = {89--102},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44992-2\_7},
doi = {10.1007/3-540-44992-2\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/Hagiya00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/AritaNHKGS00,
author = {Masanori Arita and
Akio Nishikawa and
Masami Hagiya and
Ken Komiya and
Hidetaka Gouzu and
Kensaku Sakamoto},
editor = {L. Darrell Whitley and
David E. Goldberg and
Erick Cant{\'{u}}{-}Paz and
Lee Spector and
Ian C. Parmee and
Hans{-}Georg Beyer},
title = {Improving Sequence Design for {DNA} Computing},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
{(GECCO} '00), Las Vegas, Nevada, USA, July 8-12, 2000},
pages = {875--882},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Wed, 21 Jul 2004 09:29:17 +0200},
biburl = {https://dblp.org/rec/conf/gecco/AritaNHKGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Hagiya00,
author = {Masami Hagiya},
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {Theory and Construction of Molecular Computers},
booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
August 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1872},
pages = {23--24},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44929-9\_2},
doi = {10.1007/3-540-44929-9\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/Hagiya00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2000,
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
August 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1872},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44929-9},
doi = {10.1007/3-540-44929-9},
isbn = {3-540-67823-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TakahashiH99,
author = {Koichi Takahashi and
Masami Hagiya},
title = {Proving as Editing {HOL} Tactics},
journal = {Formal Aspects Comput.},
volume = {11},
number = {3},
pages = {343--357},
year = {1999},
url = {https://doi.org/10.1007/s001650050054},
doi = {10.1007/S001650050054},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/TakahashiH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Hagiya99,
author = {Masami Hagiya},
title = {Perspectives on Molecular Computing},
journal = {New Gener. Comput.},
volume = {17},
number = {2},
pages = {131--151},
year = {1999},
url = {https://doi.org/10.1007/BF03037433},
doi = {10.1007/BF03037433},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Hagiya99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/NishikawaH99,
author = {Akio Nishikawa and
Masami Hagiya},
title = {Towards a system for simulating {DNA} computing with whiplash {PCR}},
booktitle = {Proceedings of the 1999 Congress on Evolutionary Computation, {CEC}
1999, Washington, DC, {USA} July 6-9, 1999},
pages = {960--966},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/CEC.1999.782526},
doi = {10.1109/CEC.1999.782526},
timestamp = {Mon, 18 Jul 2022 15:12:29 +0200},
biburl = {https://dblp.org/rec/conf/cec/NishikawaH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/TozawaH99,
author = {Akihiko Tozawa and
Masami Hagiya},
editor = {Clemens H. Cap},
title = {Careful Analysis of Type Spoofing},
booktitle = {{JIT} '99, Java-Informations-Tage 1999, D{\"{u}}sseldorf 20./21.
September 1999},
series = {Informatik Aktuell},
pages = {290--296},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60247-4\_27},
doi = {10.1007/978-3-642-60247-4\_27},
timestamp = {Tue, 25 Jun 2019 12:38:54 +0200},
biburl = {https://dblp.org/rec/conf/jit/TozawaH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LuHH98,
author = {Jianguo Lu and
Masateru Harao and
Masami Hagiya},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Higher Order Generalization},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {368--381},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_25},
doi = {10.1007/3-540-49545-2\_25},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LuHH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HagiyaT98,
author = {Masami Hagiya and
Akihiko Tozawa},
editor = {Giorgio Levi},
title = {On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {17--32},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_2},
doi = {10.1007/3-540-49727-7\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HagiyaT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/YamamotoTHNT98,
author = {Mitsuharu Yamamoto and
Koichi Takahashi and
Masami Hagiya and
Shin{-}ya Nishizaki and
Tetsuo Tamai},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Formalization of Graph Search Algorithms and Its Applications},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {479--496},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055153},
doi = {10.1007/BFB0055153},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/YamamotoTHNT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HagiyaAKSY97,
author = {Masami Hagiya and
Masanori Arita and
Daisuke Kiga and
Kensaku Sakamoto and
Shigeyuki Yokoyama},
editor = {Harvey Rubin and
David Harlan Wood},
title = {Towards parallel evaluation and learning of Boolean {\(\mu\)}-formulas
with molecules},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Philadelphia,
Pennsylvania, USA, June 23-25, 1997},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {48},
pages = {57--72},
publisher = {{DIMACS/AMS}},
year = {1997},
url = {https://doi.org/10.1090/dimacs/048/05},
doi = {10.1090/DIMACS/048/05},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/HagiyaAKSY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChinH97,
author = {Wei{-}Ngan Chin and
Masami Hagiya},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {A Bounds Inference Method for Vector-Based Memoisation},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {176--187},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258965},
doi = {10.1145/258948.258965},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChinH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hagiya96,
author = {Masami Hagiya},
title = {Preface},
journal = {Inf. Comput.},
volume = {125},
number = {2},
pages = {77},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0023},
doi = {10.1006/INCO.1996.0023},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Hagiya96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ChinH95,
author = {Wei{-}Ngan Chin and
Masami Hagiya},
title = {A Transformation Method for Dynamic-Sized Tabulation},
journal = {Acta Informatica},
volume = {32},
number = {2},
pages = {93--115},
year = {1995},
url = {https://doi.org/10.1007/BF01177742},
doi = {10.1007/BF01177742},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ChinH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ShimadaHANT95,
author = {Tomoaki Shimada and
Masami Hagiya and
Masanori Arita and
Shin{-}ya Nishizaki and
Chew Lim Tan},
title = {Knowledge-Based Simulation of Regulatory Action in lambda phage},
journal = {Int. J. Artif. Intell. Tools},
volume = {4},
number = {4},
pages = {511--524},
year = {1995},
url = {https://doi.org/10.1142/S0218213095000267},
doi = {10.1142/S0218213095000267},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/ShimadaHANT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hagiya95,
author = {Masami Hagiya},
title = {A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization
Procedure},
journal = {Theor. Comput. Sci.},
volume = {137},
number = {1},
pages = {3--23},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00159-G},
doi = {10.1016/0304-3975(94)00159-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hagiya95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/YamamotoNHT95,
author = {Mitsuharu Yamamoto and
Shin{-}ya Nishizaki and
Masami Hagiya and
Yozo Toda},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Formalization of Planar Graphs},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {369--384},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_77},
doi = {10.1007/3-540-60275-5\_77},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/YamamotoNHT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/HagiyaS95,
author = {Masami Hagiya and
Tomoki Shiratori},
title = {Programming by Example in Computing-as-Editing Paradigm},
booktitle = {Proceedings 11th International {IEEE} Symposium on Visual Languages,
Darmstadt, Germany, September 5-9, 1995},
pages = {275--283},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/VL.1995.520819},
doi = {10.1109/VL.1995.520819},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/HagiyaS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HagiyaT94,
author = {Masami Hagiya and
Yozo Toda},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {On Implicit Arguments},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {10--30},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032392},
doi = {10.1007/BFB0032392},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HagiyaT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1994takasu,
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032390},
doi = {10.1007/BFB0032390},
isbn = {0-387-57935-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1994takasu.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1994,
editor = {Masami Hagiya and
John C. Mitchell},
title = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0},
doi = {10.1007/3-540-57887-0},
isbn = {3-540-57887-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AptH93,
author = {Krzysztof R. Apt and
Masami Hagiya},
title = {Foreword: Selected Papers of {TACS} 1991},
journal = {Sci. Comput. Program.},
volume = {21},
number = {2},
pages = {91--92},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90001-6},
doi = {10.1016/0167-6423(93)90001-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AptH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Hagiya93,
author = {Masami Hagiya},
editor = {Klaus P. Jantke and
Shigenobu Kobayashi and
Etsuji Tomita and
Takashi Yokomori},
title = {A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization
Procedure},
booktitle = {Algorithmic Learning Theory, 4th International Workshop, {ALT} '93,
Tokyo, Japan, November 8-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {744},
pages = {73--86},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57370-4\_38},
doi = {10.1007/3-540-57370-4\_38},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/Hagiya93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecml/Hagiya93,
author = {Masami Hagiya},
editor = {Pavel Brazdil},
title = {An Iterative and Bottom-up Procedure for Proving-by-Example},
booktitle = {Machine Learning: ECML-93, European Conference on Machine Learning,
Vienna, Austria, April 5-7, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {667},
pages = {336--341},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56602-3\_147},
doi = {10.1007/3-540-56602-3\_147},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecml/Hagiya93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psc/Hagiya92,
author = {Masami Hagiya},
editor = {Robert H. Halstead Jr. and
Takayasu Ito},
title = {Running Higher-Order Unification in PaiLisp},
booktitle = {Parallel Symbolic Computing: Languages, Systems, and Applications,
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {748},
pages = {155--160},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0018651},
doi = {10.1007/BFB0018651},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/psc/Hagiya92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Hagiya92,
author = {Masami Hagiya},
title = {A Formal Approach to Visual Proving Based on Logic Programming},
booktitle = {Proceedings of the 1992 {IEEE} Workshop on Visual Languages, September
15-18, 1992, Seattle, Washington, {USA}},
pages = {234--236},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/WVL.1992.275756},
doi = {10.1109/WVL.1992.275756},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/Hagiya92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Hagiya91,
author = {Masami Hagiya},
title = {Synthesis of Rewrite Programs by Higher-order and Semantic Unification},
journal = {New Gener. Comput.},
volume = {8},
number = {4},
pages = {403--420},
year = {1991},
url = {https://doi.org/10.1007/BF03037096},
doi = {10.1007/BF03037096},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Hagiya91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hagiya91,
author = {Masami Hagiya},
editor = {Koichi Furukawa},
title = {Higher-Order Unification as a Theorem Proving Procedure},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {270--284},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hagiya91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hagiya91,
author = {Masami Hagiya},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {From Programming-by-Example to Proving-by-Example},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {387--419},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_56},
doi = {10.1007/3-540-54415-1\_56},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hagiya91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/wsscs/31,
editor = {Ikuo Nakata and
Masami Hagiya},
title = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
series = {World Scientific Series in Computer Science},
volume = {31},
publisher = {World Scientific},
year = {1991},
url = {https://doi.org/10.1142/1496},
doi = {10.1142/1496},
isbn = {978-981-02-0776-2},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/wsscs/31.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/LiuH90,
author = {Shuling Liu and
Masami Hagiya},
editor = {Setsuo Arikawa and
Shigeki Goto and
Setsuo Ohsuga and
Takashi Yokomori},
title = {Model Inference of Constrained Recursive Figures},
booktitle = {Algorithmic Learning Theory, First International Workshop, {ALT} '90,
Tokyo, Japan, October 8-10, 1990, Proceedings},
pages = {355--367},
publisher = {Springer/Ohmsha},
year = {1990},
timestamp = {Wed, 12 Oct 2016 10:13:18 +0200},
biburl = {https://dblp.org/rec/conf/alt/LiuH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Hagiya90,
author = {Masami Hagiya},
editor = {Setsuo Arikawa and
Shigeki Goto and
Setsuo Ohsuga and
Takashi Yokomori},
title = {Synthesis of Rewrite Programs by Higher-Order and Semantic Unification},
booktitle = {Algorithmic Learning Theory, First International Workshop, {ALT} '90,
Tokyo, Japan, October 8-10, 1990, Proceedings},
pages = {396--410},
publisher = {Springer/Ohmsha},
year = {1990},
timestamp = {Wed, 12 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/Hagiya90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Hagiya90,
author = {Masami Hagiya},
editor = {Mark E. Stickel},
title = {Programming by Example and Proving by Example Using Higher-order Unification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {588--602},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_116},
doi = {10.1007/3-540-52885-7\_116},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Hagiya90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Hagiya89,
author = {Masami Hagiya},
title = {Meta-Circular Interpreter for a Strongly Typed Language},
journal = {J. Symb. Comput.},
volume = {8},
number = {6},
pages = {651--680},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80066-5},
doi = {10.1016/S0747-7171(89)80066-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Hagiya89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hagiya89,
author = {Masami Hagiya},
title = {Generalization from Partial Parametrization in Higher-Order Type Theory},
journal = {Theor. Comput. Sci.},
volume = {63},
number = {2},
pages = {113--139},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90074-1},
doi = {10.1016/0304-3975(89)90074-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hagiya89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HagiyaS84,
author = {Masami Hagiya and
Takafumi Sakurai},
title = {Foundation of Logic Programming Based on Inductive Definition},
journal = {New Gener. Comput.},
volume = {2},
number = {1},
pages = {59--77},
year = {1984},
url = {https://doi.org/10.1007/BF03037052},
doi = {10.1007/BF03037052},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HagiyaS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-24 00:13 CET 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:
