Publications: Ayumi Shinohara

Journal Articles

1. Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, and Masayuki Takeda
   "Parameterized DAWGs: Efficient constructions and bidirectional pattern searches"
   Theoretical Computer Science, Vol. 933, No. 14, pp. 21-42, October 2022.
   https://doi.org/10.1016/j.tcs.2022.09.008
   
   
2. Shintaro Narisada, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara,
   "Linear-Time Online Algorithm for Inferring the Shortest Path Graph from a Walk Label"
   Theoretical Computer Science, Vol. 812, No. 6, pp. 187-202, April 2020.
   https://doi.org/10.1016/j.tcs.2019.10.029
   
   
3. Shintaro Narisada, Diptarama Hendrian, Kazuyuki Narisawa, Shunsuke Inenaga, and Ayumi Shinohara,
   "Efficient computation of longest single-arm-gapped palindromes in a string"
   Theoretical Computer Science, Vol. 812, No. 6, 160-173, April 2020.
   https://doi.org/10.1016/j.tcs.2019.10.025
   
   
4. Diptarama Hendrian, Shunsuke Inenaga, Ryo Yoshinaka, and Ayumi Shinohara,
   "Efficient dynamic dictionary matching with DAWGs and AC-automata"
   Theoretical Computer Science, Vol. 792 No. 5, pp. 161–172, November 2019.
   https://doi.org/10.1016/j.tcs.2018.04.016
   
   
5. Diptarama Hendrian, Yohei Ueki, Kazuyuki Narisawa, Ryo Yoshinaka, and Ayumi Shinohara,
   "Permuted Pattern Matching Algorithms on Multi-Track Strings"
   Algorithms, Vol. 12, No. 4, pp. 73:1–20, April 2019.
   https://doi.org/10.3390/a12040073
   
   
6. Ichinari Sato, Diptarama, Kaizaburo Chubachi, Ryo Yoshinaka, and Ayumi Shinohara,
   "Analysis of laboratories electrical energy consumption by visualization for saving electrical energy"
   International Journal of Institutional Research and Management, Vol. 1, No. 1, pp.53-66, March 2017.
   http://www.iaiai.org/journals/index.php/IJIRM/article/view/113
   
   
7. Kazuyuki Narisawa, Takashi Katsura, Hiroyuki Ota, and Ayumi Shinohara,
   "Filtering Multi-set Tree: Data Structure for Flexible Matching Using Multi-track Data"
   Interdisciplinary Information Sciences, Vol. 21, No. 1, pp. 37-47, March 2015.
   http://dx.doi.org/10.4036/iis.2015.37
   
   
8. Tomohiro I, Wataru Matsubara, Kouji Shimohira, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, Kazuyuki Narisawa, and Ayumi Shinohara,
   "Detecting regularities on grammar-compressed strings"
   Information and Computation, Vol. 240, pp. 74-89, February 2015
   http://dx.doi.org/10.1016/j.ic.2014.09.009
   
   
9. Kazuhiko Kusano and Ayumi Shinohara,
   "Average number of occurrences of repetitions in a necklace",
   Discrete Applied Mathematics, Vol. 163, Part 3, pp. 334-342, January 2014.
   http://dx.doi.org/10.1016/j.dam.2013.05.019
   
   
10. Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, and Kazuya Yaguchi,
    "Functional programs as compressed data",
    Higher-Order and Symbolic Computation, Volume 25, Issue 1, pp. 39-84, 2012.
    http://dx.doi.org/10.1007/s10990-013-9093-z
    
    
11. Kosuke Bannai, Kazuyuki Narisawa, Ayumi Shinohara,
    "Similarity Measure using Lossy Compression and its Application to Image Retrieval",
    The GSTF International Journal on Computing (JoC), Vol.1 No 3, pp.45-50, August 2011.
    
    
12. Wataru Matsubara, Shunsuke Inenaga, and Ayumi Shinohara,
    "An Efficient Algorithm to Test Square-Freeness of Strings Compressed by Balanced Straight Line Programs",
    Chicago Journal of Theoretical Computer Science, Special Issue: CATS 2009, Article 4, June 2010.
    http://dx.doi.org/10.4086/cjtcs.2010.007
    
    
13. Kazuhiko Kusano, Wataru Matsubara, Akira Ishino and Ayumi Shinohara.
    "Average Value of Sum of Exponents of Runs in a String",
    International Journal of Foundations of Computer Science Vol. 20, Issue 6, pp. 1135-1146, December 2009.
    http://dx.doi.org/10.1142/S0129054109007078
    
    
14. Ryosuke Nakamura, Shunsuke Inenaga, Hideo Bannai, Takashi Funamoto, Masayuki Takeda, and Ayumi Shinohara.
    "Linear-Time Off-Line Text Compression by Longest-First Substitution",
    Algorithms, Vol. 2, Issue 4, pp. 1429-1448, November 2009.
    http://dx.doi.org/10.3390/a2041429
    
    
15. Hayato Kobayashi, Tsugutoyo Osaki, Tetsuro Okuyama, Joshua Gramm, Akira Ishino, and Ayumi Shinohara,
    "Development of an Interactive Augmented Environment and its Application to Autonomous Learning for Quadruped Robots",
    IEICE Transactions on Information and Systems. E92-D (9): 1752-1761, 2009.
    http://dx.doi.org/10.1587/transinf.E92.D.1752
    
    
16. Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, Kazuo Hashimoto
    "Efficient algorithms to compute compressed longest common substrings and compressed palindromes",
    Theoretical Computer Science, Vol. 410, Issues 8-10, pp. 900-913, March 2009.
    http://dx.doi.org/10.1016/j.tcs.2008.12.016
    
    
17. Shunsuke Inenaga, Ayumi Shinohara, and Masayuki Takeda
    "A Fully Compressed Pattern Matching Algorithm for Simple Collage Systems",
    International Journal of Foundations of Computer Science, Vol. 16, No. 6, pp. 1155-1166, December 2005.
    http://dx.doi.org/10.1142/S0129054105003728
    
    
18. Zdeněk Troníček and Ayumi Shinohara.
    "The Size of Subsequence Automaton",
    Theoretical Computer Science, Vol. 341, Issue 1-3, pp. 379-384, September 2005.
    http://dx.doi.org/10.1016/j.tcs.2005.03.027
    
    
19. Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, and Giulio Pavesi.
    "On-Line Construction of Compact Directed Acyclic Word Graphs",
    Discrete Applied Mathematics (special issue for CPM'01) Vol. 146, Issue 2, pp. 156-179, February 2005.
    http://dx.doi.org/10.1016/j.dam.2004.04.012
    
    
20. Hideo Bannai, Heikki Hyyrö, Ayumi Shinohara, Masayuki Takeda, Kenta Nakai, and Satoru Miyano,
    "An O(N²) Algorithm for Discovering Optimal Boolean Pattern Pairs",
    IEEE/ACM Transactions on Computational Biology and Bioinformatics (special section on the Workshop on Algorithms in Bioinformatics), Vol. 1, No. 4, pp. 159-170, October-December 2004.
    http://doi.ieeecomputersociety.org/10.1109/TCBB.2004.36
    
    
21. Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda and Ayumi Shinohara.
    "Ternary directed acyclic word graphs",
    Theoretical Computer Science, Vol 328, Issues 1-2, pp. 97-111, November 2004.
    http://dx.doi.org/10.1016/j.tcs.2004.07.008
    
    
22. Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, and Satoru Miyano.
    "Efficiently finding regulatory elements using correlation with gene expression",
    Journal of Bioinformatics and Computational Biology Vol. 2, No. 2, pp. 273-288, June 2004.
    http://dx.doi.org/10.1142/S0219720004000612
    
    
23. Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa.
    "Compact Directed Acyclic Word Graphs for a Sliding Window",
    Journal of Discrete Algorithms
    Vol. 2, Issue 1, pp. 33-51, March 2004.
    http://dx.doi.org/10.1016/S1570-8667(03)00064-9
    
    
24. Kensuke Baba, Ayumi Shinohara, Masayuki Takeda, Shunsuke Inenaga, and Setsuo Arikawa
    "A Note on Randomized Algorithm for String Matching with Mismatches",
    Nordic Journal of Computing, Vol. 10, No. 1, pp. 2-12, Spring 2003. (PDF)
    
    
25. Takuya Kida, Tetsuya Matsumoto, Y. Shibata, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa
    "Collage system: A unifying framework for compressed pattern matching",
    Theoretical Computer Science, honour of Setsuo Arikawa, pp. 253-272, April 4, 2003.
    Vol. 298, Issue 1, Selected papers in http://dx.doi.org/10.1016/S0304-3975(02)00426-7
    
    
26. Yosuke Hayashi, Satoshi Matsumoto, Ayumi Shinohara and Masayuki Takeda,
    "Uniform characterization of polynomial-query learnabilities",
    Theoretical Computer Science, Vol. 292, Issue 2, pp. 377-385, January 2003.
    http://dx.doi.org/10.1016/S0304-3975(02)00177-9
    
    
27. Masahiro Hirao, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa
    "A practical algorithm to find the best subsequences patterns",
    Theoretical Computer Science, Vol. 292, Issue 2, pp. 465-479, January 2003.
    http://dx.doi.org/10.1016/S0304-3975(02)00182-2
    
    
28. Masayuki Takeda, Yusuke Shibata, Tetsuya Matsumoto, Takuya Kida, Ayumi Shinohara, Shuichi Fukamachi, Takeshi Shinohara, and Setsuo Arikawa
    "Speeding up string pattern matching by text compression: The dawn of a new era",
    Trans. Information Processing Society of Japan, Vol.42, No.3, pp.370-384 March, 2001. (PDF)
    
    
29. Takuya Kida, Masayuki Takeda, Ayumi Shinohara, Masamichi Miyazaki, and Setsuo Arikawa,
    "Multiple Pattern Matching in LZW Compressed Text",
    Journal of Discrete Algorithms, Vol. 1, No. 1, pp. 133-158, 2000. (PDF)
    
    
30. Masamichi Miyazaki, Ayumi Shinohara, and Masayuki Takeda,
    "An Improved Pattern Matching Algorithm for Strings in Terms of Straight Line Programs",
    Journal of Discrete Algorithms, Vol. 1, No. 1, pp. 187-204, 2000. (PDF)
    
    
31. Yusuke Shibata, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
    "Pattern Matching in Text Compressed by Using Antidictionaries",
    Journal of Discrete Algorithms, Vol. 1, No. 1, pp.257-269, 2000. (PDF)
    
    
32. Satoru Miyano, Ayumi Shinohara, and Takeshi Shinohara,
    "Polynomial-time Learning of Elementary Formal Systems",
    New Generation Computing, Vol. 18, pp. 217-242, 2000. (PDF)
    
    
33. Shinichi Shimozono, Kouichi Hirata and Ayumi Shinohara
    "On the hardness of approximating the minimum consistent acyclic DFA and decision diagram",
    Information Processing Letters, Vol. 66, No. 4, pp. 165-170, 1998. (PDF)
    
    
34. Marek Karpinski, Wojciech Rytter and Ayumi Shinohara,
    "An efficient pattern-matching algorithm for strings with short description ",
    Nordic Journal of Computing, Vol. 4, No. 2, pp. 129-144, 1997. (PDF)
    
    
35. Ayumi Shinohara,
    "Complexity of computing Vapnik-Chervonenkis dimension and some generalized dimensions",
    Theoretical Computer Science, Vol.137, No. 1, pp. 129-144, 1995. (PDF)
    
    
36. Shinichi Shimozono, Ayumi Shinohara, Takeshi Shinohara, Satoru Miyano, S. Kuhara, and Setsuo Arikawa,
    "Knowledge acquisition from amino acid sequences by machine learning system BONSAI",
    Trans. Information Processing Society of Japan, Vol. 35, No. 10, pp. 2009-2018, 1994. (PDF)
    
    
37. Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, S. Kuhara, Y. Mukouchi, and Takeshi Shinohara,
    "A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns",
    New Generation Computing, Vol. 11, pp. 361-375, 1993.(PDF)
    
    
38. Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara, and A. Yamamoto,
    "Algorithmic Learning Theory with Elementary Formal Systems",
    IEICE Transactions on Information and Systems, Vol. E75-D, No.4, pp. 405-412, 1992. (PDF)
    
    
39. Ayumi Shinohara and Satoru Miyano,
    "Teachability in Computational Learning",
    New Generation Computing, Vol. 8, No. 4, pp. 337-347, 1991. (PDF)
    
    

Editing

1. Setsuo Arikawa and Ayumi Shinohara,
   "Progress in Discovery Science (Final Report of the Japanese Discovery Science Project)",
   Lecture Notes in Artificial Intelligence 2281, Springer-Verlag, March 2002. ISBN:3-540-43338-4
   
   
2. Klaus P. Jantke and Ayumi Shinohara,
   "Discovery Science 2001",
   Lecture Notes in Artificial Intelligence 2226, Springer-Verlag, November 2001. ISBN:3-540-42956-5
   
   

Report

1. Kazunori Ohno, Ryunosuke Hamada, Tatsuya Hoshi, Hiroyuki Nishinoma, Shumpei Yamaguchi, Solvi Arnold, Kimitoshi Yamazaki, Takefumi Kikusui, Satoko Matsubara, Miho Nagasawa, Takatomi Kubo, Eri Nakahara, Yuki Maruno, Kazushi Ikeda, Toshitaka Yamakawa, Takeshi Tokuyama, Ayumi Shinohara, Ryo Yoshinaka, Diptarama Hendrian, Kaizaburo Chubachi, Satoshi Kobayashi, Katsuhito Nakashima, Hiroaki Naganuma, Ryu Wakimoto, Shu Ishikawa, Tatsuki Miura, and Satoshi Tadokoro,
   "Cyber-Enhanced Rescue Canine",
   Disaster Robotics: Results from the ImPACT Tough Robotics Challenge, Springer Tracts in Advanced Robotics, Vol. 128, Chapter 4, pp. 143–193, January 2019.
   https://doi.org/10.1007/978-3-030-05321-5_4
   
   
2. Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Masahiro Hirao, Hiromasa Hoshino, and Shunsuke Inenaga
   "Finding Best Patterns Practically",
   Progress in Discovery Science (Final Report of the Japanese Discovery Science Project), Lecture Notes in Artificial Intelligence 2281, Springer-Verlag, pp. 307-317, March 2002.
   (PDF (c)Springer-Verlag)
   
   

Conference Papers

1. Koshiro Kumagai, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
   "Inferring Strings from Position Heaps in Linear Time"
   Proc. 17th International Conference and Workshops on Algorithms and Computation 2023 (WALCOM2023), LNCS (to appear), March 22-24, 2023.
   
   
2. Daiki Hashimoto, Diptarama Hendrian, Dominik Köppl, Ryo Yoshinaka, and Ayumi Shinohara
   "Computing the Parameterized Burrows-Wheeler Transform Online"
   Proc. 29th International Symposium on String Processing and Information Retrieval 2022 (SPIRE2022), LNCS 13617, pp.75-85, November 8-10, 2022
   https://doi.org/10.1007/978-3-031-20643-6_6
   
   
3. Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
   "Parallel Algorithm for Pattern Matching Problems Under Substring Consistent Equivalence Relations"
   Proc. 33rd Annual Symposium on Combinatorial Pattern Matching 2022 (CPM2022), LIPIcs 223, pp.28:1-28:21, June 27--29, 2022
   https://doi.org/10.4230/LIPIcs.CPM.2022.28
   
   
4. Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
   "Inside-Outside Algorithm for Macro Grammars"
   Proc. 15th International Conference on Grammatical Inference (ICGI2021), PMLR 153, pp.32-46, Aug 23-27, 2021
   https://proceedings.mlr.press/v153/kambe21a.html
   
   
5. Kaito Suzuki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
   "Query Learning Algorithm for Symbolic Weighted Finite Automata"
   Proc. 15th International Conference on Grammatical Inference (ICGI2021), PMLR 153, pp.202-216, Aug 23-27, 2021
   https://proceedings.mlr.press/v153/suzuki21a.html
   
   
6. Natsumi Kikuchi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
   "Computing Covers Under Substring Consistent Equivalence Relations"
   Proc. 27th International Symposium on String Processing and Information Retrieval (SPIRE2020), LNCS 12303, pp. 131-146, October 13-15, 2020
   https://doi.org/10.1007/978-3-030-59212-7_10
   
   
7. Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
   "Fast and Linear-Time String Matching Algorithms Based on the Distances of q-Gram Occurrences"
   Proc. 18th International Symposium on Experimental Algorithms, (SEA2020), LIPIcs 160, pp. 13:1-13:13, June 16-18, 2020.
   https://doi.org/10.4230/LIPIcs.SEA.2020.13
   
   
8. Mitsuru Funakoshi, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, and Ayumi Shinohara
   "Detecting k-(Sub-)Cadences and Equidistant Subsequence Occurrences"
   Proc. 31st Annual Symposium on Combinatorial Pattern Matching, (CPM2020), LIPIcs 161, pp. 12:1-12:11, June 17-19, 2020.
   https://doi.org/10.4230/LIPIcs.CPM.2020.12
   
   
9. Dominik Köppl, Daiki Hashimoto, Diptarama Hendrian, and Ayumi Shinohara
   "In-Place Bijective Burrows-Wheeler Transforms"
   Proc. 31st Annual Symposium on Combinatorial Pattern Matching, (CPM2020), LIPIcs 161, pp. 21:1-21:11, June 17-19, 2020.
   https://doi.org/10.4230/LIPIcs.CPM.2020.21
   
   
10. Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, and Masayuki Takeda
    "DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures"
    Proc. 31st Annual Symposium on Combinatorial Pattern Matching, (CPM2020), LIPIcs 161, pp. 26:1-26:14, June 17-19, 2020.
    https://doi.org/10.4230/LIPIcs.CPM.2020.26
    
    
11. Hiroaki Naganuma, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara, and Naoki Kobayashi
    "Grammar Compression with Probabilistic Context-Free Grammar"
    Proc. Data Compression Conference (DCC2020), p.386, Snowbird, UT, USA, March 24-27, 2020.
    https://doi.org/10.1109/DCC47342.2020.00093
    
    
12. Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "Parallel duel-and-sweep algorithm for the order-preserving pattern matching"
    Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) (SOFSEM2020), LNCS 12011, pp. 211-222, Limassol, Cyprus, January 20–24, 2020.
    https://doi.org/10.1007/978-3-030-38919-2_18
    
    
13. Katsuhito Nakashima, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "An Extension of Linear-size Suffix Tries for Parameterized Strings"
    Proceedings of Student Research Forum Papers at SOFSEM2020, Limassol, Cyprus, January 20–24, 2020.
    http://ceur-ws.org/Vol-2568/paper9.pdf
    
    
14. Ryu Wakimoto, Satoshi Kobayashi, Yuki Igarashi, Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "AOBA: An Online Benchmark tool for Algorithms in stringology"
    Proceedings of Student Research Forum Papers at SOFSEM2020, Limassol, Cyprus, January 20–24 2020.
    http://ceur-ws.org/Vol-2568/paper1.pdf
    
    
15. Hiroyuki Nishinoma, Beokhaimook Chayapol, Kazunori Ohno, Ayumi Shinohara, Satoshi Tadokoro
    "Development of a Lightweight Cyber-enhanced Rescue Canine Suit with Heat Protection and Anti-slip Countermeasures"
    Proc. IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), pp. 74-80, September 2-4, 2019.
    https://doi.org/10.1109/SSRR.2019.8848938
    
    
16. Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "Query Learning Algorithm for Residual Symbolic Finite Automata"
    Proceedings of the 10th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), pp. 140–153, Bordeaux, France, 2–3 September, 2019.
    https://doi.org/10.4204/EPTCS.305.10
    
    
17. Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "An improvement of the Franek-Jennings-Smyth pattern matching algorithm"
    Proceedings of the Prague Stringology Conference 2019 (PSC 2019), pp. 56–68, Prague, Czech Republic, 26–28 August, 2019.
    
    
18. Shintaro Narisada, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "Linear-Time Online Algorithm Inferring the Shortest Path from a Walk"
    Proceedings of the 25th International Symposium on String Processing and Information Retrieval (SPIRE 2018), LNCS 11147, pp. 311–324, Lima, Peru, 9–11 October, 2018.
    https://doi.org/10.1007/978-3-030-00479-8_25
    
    
19. Yuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    "Enumeration of Cryptarithms Using Deterministic Finite Automata"
    Proceedings of 23rd International Conference on Implementation and Applications of Automata (CIAA 2018), LNCS 10977, pp. 286–298, Charlottetown, Canada, 30 July–2 August, 2018.
    https://doi.org/10.1007/978-3-319-94812-6_24
    
    
20. Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara
    "New Variants of Pattern Matching with Constants and Variables"
    Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2018), LNCS 10706, pp. 611-623, Krems, Austria, January 29 - February 2, 2018.
    https://doi.org/10.1007/978-3-319-73117-9_43
    
    
21. Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara
    "Duel and Sweep Algorithm for Order-Preserving Pattern Matching"
    Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2018), LNCS 10706, pp. 624-635, Krems, Austria, January 29 - February 2 2018.
    https://doi.org/10.1007/978-3-319-73117-9_44
    
    
22. Hayato Mizumoto, Shota Todoroki, Diptarama, Ryo Yoshinaka, and Ayumi Shinohara
    "An efficient query learning algorithm for zero-suppressed binary decision diagrams"
    Proceedings of the 28th International Conference on Algorithmic Learning Theory (ALT 2017), Kyoto, Japan, October 2017.
    http://proceedings.mlr.press/v76/mizumoto17a.html
    
    
23. Diptarama, Takashi Katsura, Yuhei Otomo, Kazuyuki Narisawa, and Ayumi Shinohara
    "Position Heaps for Parameterized Strings"
    Proceedings of the 28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017), pp. 8:1–13, Warsaw, Poland, July 2017.",
    http://dx.doi.org/10.4230/LIPIcs.CPM.2017.8
    
    
24. Shintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, and Ayumi Shinohara
    "Computing longest single-arm-gapped palindromes in a string"
    Proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, (SOFSEM 2017), pp. 375-386, Limerick, Ireland, January 2017.",
    http://dx.doi.org/10.1007/978-3-319-51963-0_29
    
    
25. Yohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka, Hideo Bannai, Shunsuke Inenaga, and Ayumi Shinohara
    "Longest Common Subsequence in at Least k Length Order-isomorphic Substrings"
    Proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science,(SOFSEM 2017), pp. 363-374, Limerick, Ireland, January 2017.",
    http://dx.doi.org/10.1007/978-3-319-51963-0_28
    
    
26. Diptarama, Ryo Yoshinaka, and Ayumi Shinohara
    "AC-Automaton Update Algorithm for Semi-dynamic Dictionary Matching",
    Proc. International Symposium on String Processing and Information Retrieval 2016 (SPIRE 2016), pp.110-121, Beppu, Japan, October 20, 2016.
    http://dx.doi.org/10.1007/978-3-319-46049-9_11
    
    
27. Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, and Ayumi Shinohara
    "Compact bit encoding schemes for simply-typed lambda-terms",
    Proc. 21st ACM SIGPLAN International Conference on Functional Programming 2016 (ICFP 2016), pp.146-157, Nara, Japan, September 19, 2016.
    https://doi.org/10.1145/2951913.2951918
    
    
28. Diptarama, Ryo Yoshinaka, and Ayumi Shinohara
    "Fast Full Permuted Pattern Matching Algorithms on Multi-track Strings",
    Proc. Prague Stringology Conference 2016 (PSC 2016), pp.7-21, Prague, Czech Republic, August 29, 2016.
    http://www.stringology.org/event/2016/p02.html
    
    
29. Ichinari Sato, Diptarama, and Ayumi Shinohara
    "Visualization and Analysis of Electrical Energy Consumption in Laboratories",
    Proc. 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI 2016), pp.509-512, Kumamoto, Japan, July 14, 2016.
    http://dx.doi.org/10.1109/IIAI-AAI.2016.194
    
    
30. Diptarama, Ryo Yoshinaka, and Ayumi Shinohara
    "QBF Encoding of Generalized Tic-Tac-Toe",
    Proc. 4th International Workshop on Quantified Boolean Formulas (QBF2016), pp.14-26, Bordeaux, France, July 4, 2016.
    http://ceur-ws.org/Vol-1719/
    
    
31. Shumpei Sakuma, Kazuyuki Narisawa, and Ayumi Shinohara
    "Generalization of Efficient Implementation of Compression by Substring Enumeration",
    Proc. Data Compression Conference (DCC 2016), p.630, Snowbird, Utah, U.S.A., March 31, 2016.
    http://dx.doi.org/10.1109/DCC.2016.86
    
    
32. Yohei Ueki, Kazuyuki Narisawa, Ayumi Shinohara
    "A Fast Order-Preserving Matching with q-neighborhood Filtration Using SIMD Instructions",
    Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), pp.108-115, Harrachov, Czech Republic, January 25, 2016.
    http://ceur-ws.org/Vol-1548/108-Ueki.pdf
    
    
33. Diptarama, Yohei Ueki, Kazuyuki Narisawa, Ayumi Shinohara
    "KMP Based Pattern Matching Algorithms for Multi-track Strings",
    Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), pp.100-107, Harrachov, Czech Republic, January 25, 2016.
    http://ceur-ws.org/Vol-1548/100-Diptarama.pdf
    
    
34. Diptarama, Kazuyuki Narisawa, and Ayumi Shinohara
    "Drawing Strategies for Generalized Tic-Tac-Toe (P, Q)",
    Proceedings of the International Conference on Progress in Applied Mathematics in Sciences and Engineering (PIAMSE2015), Bali, Indonesia, September, 2015.
    AIP Conf. Proc. 1705, 020021, 8 pages, (2016)
    http://dx.doi.org/10.1063/1.4940269
    
    
35. Takashi Katsura, Yuhei Otomo, Kazuyuki Narisawa, and Ayumi Shinohara
    "Position Heaps for Permuted Pattern Matching on Multi-Track String",
    Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015, the 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, pp.41-53, January 26, 2015
    http://ceur-ws.org/Vol-1326/041-Katsura.pdf
    
    
36. Yusuke Sato, Kazuyuki Narisawa, Ayumi Shinohara.
    "A Simple Classification Method for Class Imbalanced Data using the Kernel Mean",
    Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval (KDIR 2014), pp.327-334, October 2014
    http://dx.doi.org/10.5220/0005130103270334
    
    
37. Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara.
    "Efficient Algorithm and Coding for Higher-Order Compression", (poster presentation)
    Proc. Data Compression Conference (DCC 2014), p. 434, Snowbird, Utah, U.S.A., March 27, 2014.
    http://dx.doi.org/10.1109/DCC.2014.63
    
    
38. Kouta Oguni, Kazuyuki Narisawa, Ayumi Shinohara.
    "Reducing Sample Complexity in Reinforcement Learning by Transferring Transition and Reward Probabilities",
    Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014),
    pp. 632-638, March 7, 2014.
    http://dx.doi.org/10.5220/0004915606320638
    
    
39. Tomoki Komatsu, Ryosuke Okuta, Kazuyuki Narisawa, Ayumi Shinohara.
    "Bounded Occurrence Edit Distance: A New Metric for String Similarity Joins with Edit Distance Constraints",
    Proc. 40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2014),
    Lecture Notes in Computer Science Vol. 8327, Springer-Verlag, pp. 363-374, January 27, 2014.
    http://dx.doi.org/10.1007/978-3-319-04298-5_32
    
    
40. Kazuhiko Kusano, Kazuyuki Narisawa, Ayumi Shinohara.
    "On Morphisms Generating Run-Rich Strings",
    Proc. The Stringology Conference 2013 (PSC2013), pp. 35-47, September 3, 2013.
    (Link)
    
    
41. Tomohiro I, Wataru Matsubara, Kouji Shimohira, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, Kazuyuki Narisawa, Ayumi Shinohara.
    "Detecting Regularities on Grammar-Compressed Strings",
    Proc. 38th International Symposium on Mathematical Foundations of Computer Science 2013 (MFCS 2013),
    Lecture Notes in Computer Science Vol. 8087, Springer-Verlag, pp. 571-582, August 2013.
    http://dx.doi.org/10.1007/978-3-642-40313-2_51
    
    
42. Kaori Ueno, Shinichi Shimozono, Kazuyuki Narisawa, Ayumi Shinohara.
    "On the hardness of approximating the minimum consistent DFA from prefix samples",
    ICALP 2013 Satellite Workshop on Learning Theory and ComplexityLearning Theory and Complexity (LTC 2013),
    (post-proceedings will be published later), July 2013.
    
    
43. Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga.
    "Permuted Pattern Matching on Multi-track Strings",
    Proc. 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013),
    Lecture Notes in Computer Science Vol. 7741, Springer-Verlag, pp. 280-291, January 2013.
    http://dx.doi.org/10.1007/978-3-642-35843-2_25
    
    
44. Kazuhiko Kusano, Kazuyuki Narisawa, Ayumi Shinohara.
    "Computing Maximum Number of Runs in Strings",
    Proc. 19th International Symposium String Processing and Information Retrieval (SPIRE 2012),
    Lecture Notes in Computer Science Vol. 7608, Springer-Verlag, pp.318-329, October 2012.
    http://dx.doi.org/10.1007/978-3-642-34109-0_33
    
    
45. Junya Saito, Kazuyuki Narisawa, Ayumi Shinohara.
    "Prediction for Control Delay on Reinforcement Learning",
    Special Session on Machine Learning on the 4th International Conference on Agents and Artificial Intelligence (ICAART 2012),
    pp.579-586, February 2012.
    http://dx.doi.org/10.5220/0003883405790586
    
    
46. Naoki Kobayashi, Kazutaka Matsuda, and Ayumi Shinohara.
    "Functional Programs as Compressed Data",
    ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp.121-130, February 2012.
    http://dx.doi.org/10.1145/2103746.2103770
    
    
47. Kosuke Bannai, Kazuyuki Narisawa, Ayumi Shinohara.
    "Similarity Measure using Lossy Compression and its Application to Image Retrieval",
    Annual International Conference on Information Theory and Application (ITA 2011), pp.14-19, February 2011.
    
    
48. Wataru Matsubara, Akira Ishino and Ayumi Shinohara.
    "Inferring strings from runs",
    Proc. The Prague Stringology Conference 2010 (PSC2010), pp. 150-160, September 2010.
    (Link)
    
    
49. Kazuhiko Kusano and Ayumi Shinohara
    "Average Number of Runs and Squares in Necklace",
    Proc. The Prague Stringology Conference 2010 (PSC2010), pp. 167-177, September 2010.
    (Link)
    
    
50. Hideo Bannai, Mathieu Giraud, Kazuhiko Kusano, Wataru Matsubara, Ayumi Shinohara and Jamie Simpson.
    "The number of runs in a ternary word",
    Proc. The Prague Stringology Conference 2010 (PSC2010), pp. 177-181, September 2010.
    (Link)
    
    
51. Kengo Matsuta, Hayato Kobayashi, and Ayumi Shinohara.
    "Multi-Target Adaptive A*",
    Proc. The 9th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2010), pp. 1065-1072, May 2010.
    (PDF)
    
    
52. Tatsuya Kasai, Hayato Kobayashi, and Ayumi Shinohara,
    "The Size of Message Set Needed for the Optimal Communication Policy",
    Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS2009), S40, December 18, 2009.
    (PDF)
    
    
53. Kazunori Hirashima, Hideo Bannai, Wataru Matsubara, Akira Ishino and Ayumi Shinohara,
    "Bit-parallel algorithms for computing all the runs in a string",
    Proc. The Prague Stringology Conference 2009 (PSC2009), pp.203-213, September 2009.
    (Link)
    
    
54. Hayato Kobayashi and Ayumi Shinohara,
    "Complexity of Teaching by a Restricted Number of Examples",
    Proceedings of the 22nd Annual Conference on Learning Theory (COLT2009). pp. 293-302. Omni press, June 2009.
    (PDF)
    
    
55. Tatsuya Kasai, Hayato Kobayashi, and Ayumi Shinohara,
    "Improvement of the Performance by using Received Message on Learning of Communication Codes",
    Proc. 8th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2009), pp. 1229-1230. May, 2009.
    http://doi.acm.org/10.1145/1558109.1558226
    
    
56. Wataru Matsubara, Kazuhiko Kusano, Hideo Bannai, and Ayumi Shinohara,
    "A Series of Run-rich Strings",
    Proc. 3rd International Conference on Language and Automata theory and Applications (LATA2009),
    Lecture Notes in Computer Science 5457, Springer-Verlag, pp. 578-587, April 2009.
    http://dx.doi.org/10.1007/978-3-642-00982-2_49
    (PDF (c)Springer-Verlag)
    
    
57. Wataru Matsubara, Shunsuke Inenaga, and Ayumi Shinohara,
    "Testing Square-Freeness of Strings Compressed by Balanced Straight Line Program",,
    Proc. 15th Computing: The Australasian Theory Symposium (CATS2009), CRIPT, Vol. 94, pp. 21-30, January 2009.
    
    
58. Wataru Matsubara, Kazuhiko Kusano, Hideo Bannai, Akira Ishino, Ayumi Shinohara,
    "New Lower Bounds for the Maximum Number of Runs in a String",,
    Proc. The Prague Stringology Conference 2008 (PSC2008), pp 140-145, September 2008.
    (Link)
    
    
59. Kazuhiko Kusano, Wataru Matsubara, Akira Ishino, Ayumi Shinohara,
    "Average Value of Sum of Exponents of Runs in Strings",,
    Proc. The Prague Stringology Conference 2008 (PSC2008), pp 185-192, September 2008.
    (Link)
    
    
60. Hayato Kobayashi, Tsugutoyo Osaki, Tetsuro Okuyama, Akira Ishino, and Ayumi Shinohara.
    "Development of an Augmented Environment and Autonomous Learning for Quadruped Robots",
    RoboCup 2008: Robot Soccer World Cup XII, July, 2008.
    Lecture Notes in Artificial Intelligence Vol. 5399, pp. 109-120, Springer-Verlag, 2009.
    http://dx.doi.org/10.1007/978-3-642-02921-9_10
    (PDF(c)Springer-Verlag), (movies)
    
    
61. Hayato Kobayashi, Kohei Hatano, Akira Ishino, and Ayumi Shinohara.
    "Autonomous Learning of Ball Passing by Four-legged Robots and Trial Reduction by Thinning-out and Surrogate Functions",
    Proceedings of the 10th International Conference on Intelligent Autonomous Systems (IAS-10), pages 145-154. IOS Press, July 2008.
    http://dx.doi.org/10.3233/978-1-58603-887-8-145 (movies)
    
    
62. Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, and Kazuo Hashimoto
    "Computing longest common substring and all palindromes from compressed strings",
    Proc. 34th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2008),
    Lecture Notes in Computer Science 4910, Springer-Verlag, pp.364-375, 2008.
    http://dx.doi.org/10.1007/978-3-540-77566-9_31
    
    
63. Hayato Kobayashi, Kohei Hatano, Akira Ishino, and Ayumi Shinohara
    "Reducing Trials by Thinning-Out in Skill Discovery",
    Proc. The 10th International Conference on Discovery Science (DS2007),
    Lecture Notes in Computer Science 4755, Springer-Verlag, pp. 127-138, 2007.
    http://dx.doi.org/10.1007/978-3-540-75488-6_13
    
    
64. Hayato Kobayashi, Tsugutoyo Osaki, Eric Williams, Akira Ishino, and Ayumi Shinohara
    "Autonomous Learning of Ball Trapping in the Four-legged Robot League",
    RoboCup 2006: Robot Soccer World Cup X,
    Lecture Notes in Computer Science 4434, Springer-Verlag, pp. 86-97, 2007.
    http://dx.doi.org/10.1007/978-3-540-74024-7_8
    
    
65. Hayato Kobayashi, Akira Ishino, and Ayumi Shinohara
    "A Framework for Advanced Robot Programming in the RoboCup Domain --- Using Plug-in System and Scripting Language ---",
    Proc. Intelligent Autonomous Systems 9 (IAS-9), pp. 660-667, IOS-Press, 2006. ISBN:1-58603-595-9
    http://ebooks.iospress.nl/publication/28834
    
    
66. Jun Inoue, Akira Ishino, and Ayumi Shinohara
    "Ball tracking with velocity based on Monte-Carlo localization",
    Proc. Intelligent Autonomous Systems 9 (IAS-9), pp. 686-693, IOS-Press, 2006. ISBN:1-58603-595-9
    http://ebooks.iospress.nl/publication/28837
    
    
67. Yusuke Ishida, Shunsuke Inenaga, Ayumi Shinohara, and Masayuki Takeda
    "Fully Incremental LCS Computation",
    Proc. The 15th International Symposium of Fundamentals of Computation Theory (FCT2005), Lecture Notes in Computer Science 3623, Springer-Verlag, pp. 563-574, August 2005.
    http://dx.doi.org/10.1007/11537311_49
    (PDF (c)Springer-Verlag)
    
    
68. Heikki Hyyrö, Yoan Pinzon, and Ayumi Shinohara.
    "New Bit-Parallel Indel-Distance Algorithm",
    Proc. The 4th International Workshop on Efficient and Experimental Algorithms (WEA2005), Lecture Notes in Computer Science 3503, Springer-Verlag, pp. 380-390, May 2005.
    http://dx.doi.org/10.1007/11427186_33
    (PDF (c)Springer-Verlag)
    
    
69. Heikki Hyyrö, Yoan Pinzon and Ayumi Shinohara.
    "Fast Bit-Vector Algorithms for Approximate String Matching under Indel-Distance",
    Proc. The 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM2005), Lecture Notes in Computer Science 3381, Springer-Verlag, pp. 380-384, January 2005.
    http://dx.doi.org/10.1007/b105088
    (PDF (c)Springer-Verlag)
    
    
70. Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda.
    "An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars",
    Proc. The 8th International Conference on Developments in Language Theory (DLT2004), Lecture Notes in Computer Science 3340, pp. 225-236, December 2004. (PDF (c)Springer-Verlag)
    
    
71. Heikki Hyyrö, Jun Takaba, Ayumi Shinohara, and Masayuki Takeda
    O"n Bit-Parallel Processing of Multibyte Text",
    Proc. The First Asia Information Retrieval Symposium (AIRS 2004), Lecture Notes in Computer Science 3411, pp.289-300, October 2004. (The proceedings was published in February, 2005) (PDF (c)Springer-Verlag)
    
    
72. Ayumi Shinohara
    "String Pattern Discovery", (invited paper)
    Proc. The 15th International Conference Algorithmic Learning Theory (ALT2004), Lecture Notes in Artificial Intelligence 3244, pp. 1-13, October 2004. (PDF (c)Springer-Verlag)
    
    
73. Shunsuke Inenaga, Hideo Bannai, Heikki Hyyrö, Ayumi Shinohara, Masayuki Takeda, Kenta Nakai, and Satoru Miyano,
    "Finding Optimal Pairs of Cooperative and Competing Patterns with Bounded Distance",
    Proc. The 7th International Conference on Discovery Science (DS2004), Lecture Notes in Artificial Intelligence 3245, pp. 32-46, October 2004. (PDF (c)Springer-Verlag)
    
    
74. Hideo Bannai, Heikki Hyyrö, Ayumi Shinohara, Masayuki Takeda, Kenta Nakai, and Satoru Miyano
    "Finding Optimal Pairs of Patterns",
    Proc. The 4th Workshop on Algorithms in Bioinformatics (WABI 2004), Lecture Notes in Bioinformatics 3240, pp. 450-452, September 2004. (PDF (c)Springer-Verlag)
    
    
75. Shunsuke Inenaga, Ayumi Shinohara, and Masayuki Takeda.
    "A Fully Compressed Pattern Matching Algorithm for Simple Collage Systems",
    Proc. The Prague Stringology Conference'04 (PSC'04), Czech Technical University Press, pp. 98-113, September 2004. (PDF)
    
    
76. Yasuo Oshima, Yusuke Ishida, Ayumi Shinohara, H. Mano, and Akio Fujimura,
    "Expression Profiling of Gene with Upstream AML1 Recognition Sequence in Hematopoietic Stem Cell-like Fractions from Individuals with the M2 Subtype of Human Acute Myeloid Leukemia",
    Proc. 33rd Annual Scientific Meeting of the International Society for Experimental Hematology, p. 34, July 2004.
    
    
77. Masayuki Takeda, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, and Setsuo ,
    "Discovering Most Classificatory Patterns for Very Expressive Pattern Classes",
    Proc. The 6th International Conference on Discovery Science (DS2003), Lecture Notes in Computer Science 2843, pp. 486-493, October 2003. (PDF (c)Springer-Verlag)
    
    
78. Kensuke Baba, Yoshihito Tanaka, Tetsuya Nakatoh, and Ayumi Shinohara
    "A Generalization of FFT Algorithms for String Matching",
    Proc. International Symposium on Information Science and Electrical Engineering 2003, pp. 191--194, November 2003.
    
    
79. Makoto Toyomasu and Ayumi Shinohara
    "Developing Dynamic Gaits for Four Legged Robots",
    Proc. International Symposium on Information Science and Electrical Engineering 2003, pp. 577--580, November 2003. (PDF)
    
    
80. Zdeněk Troníček and Ayumi Shinohara,
    "The Size of Subsequence Automaton",
    Proc. 10th International Symposium on String Processing and Information Retrieval (SPIRE 2003), Lecture Notes in Computer Science 2857, pp. 304-310, October 2003. (PDF (c)Springer-Verlag)
    
    
81. Shunsuke Inenaga, Takashi Funamoto, Masayuki Takeda, and Ayumi Shinohara,
    "Linear-Time Off-Line Text Compression by Longest-Firs Substitution",
    Proc. 10th International Symposium on String Processing and Information Retrieval (SPIRE 2003), Lecture Notes in Computer Science 2857, pp. 137-152, October 2003. (PDF (c)Springer-Verlag)
    
    
82. Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara, and Masayuki Takeda,
    "Inferring Strings from Graphs and Arrays",
    Proc. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS2003), Lecture Notes in Computer Science 2747, pp. 208-217, August 2003. (PDF (c)Springer-Verlag)
    
    
83. Kensuke Baba, Satoshi Tsuruta, Ayumi Shinohara, and Masayuki Takeda
    "On the Length of the Minimum Solution of Word Equations in One Variable",
    Proc. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS2003), Lecture Notes in Computer Science 2747, pp. 189-197, August 2003. (PDF (c)Springer-Verlag)
    
    
84. Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, and Ayumi Shinohara,
    "Ternary Directed Acyclic Word Graphs",
    Proc. Eighth International Conference on Implementation and Application of Automata (CIAA2003), Lecture Notes in Computer Science 2759, pp. 120-130, Springer-Verlag, July 2003. (PDF (c)Springer-Verlag)
    
    
85. Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, and Satoru Miyano,
    "A String Pattern Regression Algorithm and Its Application to Pattern Discovery in Long Introns",
    In Genome Informatics Vol. 13, pp. 3-11, (GIW2002), Universal Academy Press, Inc., December 2002. (PDF)
    
    
86. Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa,
    "Discovering Best Variable-Length- Don't-Care Patterns",
    Proc. 5th International Conference on Discovery Science (DS2002), Lecture Notes in Computer Science 2534, pp . 86-97, Springer-Verlag, November 2002. (PDF (c)Springer-Verlag)
    
    
87. Kensuke Baba, Ayumi Shinohara, Masayuki Takeda, Shunsuke Inenaga, and Setsuo Arikawa,
    "A Note on Randomized Algorithm for String Matching with Mismatches",
    Proc. The Prague Stringology Conference '02 (PSC'02), pp. 9-17, Czech Technical University, September 2002. (PDF)
    
    
88. Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa,
    "Compact Directed Acyclic Word Graphs for a Sliding Window",
    Proc. 9th International Symposium on String Processing and Information Retrieval (SPIRE2002), Lecture Notes in Computer Science 2476, pp. 310-324, Springer-Verlag, September 2002. (PDF (c)Springer-Verlag)
    
    
89. Masayuki Takeda, Satoru Miyamoto, Takuya Kida, Ayumi Shinohara, Shuichi Fukamachi, Takeshi Shinohara, and Setsuo Arikawa
    "Processing Text Files as Is: Pattern Matching over Compressed Texts, Multi-Byte Character Texts, and Semi-Structured Texts",
    Proc. 9th International Symposium on String Processing and Information Retrieval (SPIRE2002), Lecture Notes in Computer Science 2476, Springer-Verlag, pp. 170-186, September 2002. (PDF (c)Springer-Verlag)
    
    
90. Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, Hideo Bannai, and Setsuo Arikawa,
    "Space-Economical Construction of Index Structures for All Suffixes of a String",
    Proc. 27th Inter. Symp. on Mathematical Foundation of Computer Science (MFCS2002), Lecture Notes in Computer Science 2420 , pp. 341-352, Springer-Verlag, August 2002. (PDF (c)Springer-Verlag)
    
    
91. Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara, Hiromasa Hoshino, and Setsuo Arikawa,
    "The Minimum DAWG for All Suffixes of a String and its Applications",
    Proc. 13th Ann. Symp. on Combinatorial Pattern Matching (CPM2002), Lecture Notes in Computer Science 2373, pp. 153-167, Springer-Verlag, July 2002. (PDF (c)Springer-Verlag)
    
    
92. Keisuke Iida, Hideo Bannai, Ayumi Shinohara, Masayuki Takeda, and Satoru Miyano
    "Extension and Speed up of Knowledge Discovery System BONSAI",
    In Pacific Symposium on Biocomputing 2002, p. 100, January, 2002. (PDF)
    
    
93. Hideo Bannai, Keisuke Iida, Ayumi Shinohara, Masayuki Takeda, and Satoru Miyano
    "More Speed and More Pattern Variations for Knowledge Discovery System BONSAI",
    In Genome Informatics Vol. 12 (GIW2001), pp. 454--455, Universal Academy Press, Inc., December, 2001. (PDF)
    
    
94. Sachiyo Aburatani, Katsuhisa Horimoto, Hiroyuki Toh, Ayumi Shinohara, Keisuke Iida, Kosuke Tashiro, and Satoru Kuhara
    "Correspondence between a Genetic Network Inferred from Expression Profiles by Strategic Gene Disruptions and the Known Regulatory Relationships",
    In Genome Informatics Vol. 12 (GIW2001), pp. 268--269, Universal Academy Press, Inc., December, 2001. (PDF)
    
    
95. Hideaki Hori, Shinichi Shimozono, Masayuki Takeda, and Ayumi Shinohara,
    "Fragmentary Pattern Matching: Complexity, Algorithms and Applications for Analyzing Classic Literary Works,
    Proc. 12th Annual International Symposium on Algorithms and Computation (ISAAC'01), Lecture Notes in Computer Science 2223, Springer-Verlag, pp. 719-730, 2001. (PDF (c)Springer-Verlag)
    
    
96. Koichiro Yamamoto, Masayuki Takeda, Ayumi Shinohara, Tomoko Fukuda, and Ichiro Nanri,
    "Discovering repetitive expressions and affinities from anthologies of classical Japanese poems",
    Proc. 4th International Conference on Discovery Science (DS2001), Lecture Notes in Artificial Intelligence 2226, pp. 416-428, 2001. (PDF)
    
    
97. Masahiro Hirao, Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa
    "A practical algorithm to find the best episode patterns,"
    Proc. 4th International Conference on Discovery Science (DS2001), Lecture Notes in Artificial Intelligence 2226 pp. 435-440, 2001. (PDF(c)Springer-Verlag)
    
    
98. T. Kadota, Masahiro Hirao, A. Ishino, Masayuki Takeda, Ayumi Shinohara, and F. Matsuo,
    "Musical Sequence Comparison for Melodic and Rhythmic Similarities"
    Proc. 8th Symposium on String Processing and Information Retrieval (SPIRE2001), IEEE-CS Press, pp. 111-122, November 2001. (PDF)
    
    
99. Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa
    "On-Line Construction of Symmetric Compact Directed Acyclic Word Graphs",
    Proc. 8th Symposium on String Processing and Information Retrieval (SPIRE2001), IEEE-CS Press, pp. 96-110, November 2001. (PDF)
    
    
100. Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa,
     "Construction of the CDAWG for a Trie",
     Proc. the Prague Stringology Conference '01 (PSC'01), Czech Technical University, pp. 37-48, 2001. (PDF)
     
     
101. Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, and Giulio Pavesi
     "On-Line Construction of Compact Directed Acyclic Word Graphs",
     Proc. 12th Ann. Symp. on Combinatorial Pattern Matching (CPM2001), Lecture Notes in Computer Science 2089, pp.169-180, Springer-Verlag, July 2001. (PDF (c)Springer-Verlag)
     
     
102. Takuya Kida, Tetsuya Matsumoto, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     "Multiple Pattern Matching Algorithms on Collage System",
     Proc. 12th Ann. Symp. on Combinatorial Pattern Matching (CPM2001), Lecture Notes in Computer Science 2089, pp.193-206, Springer-Verlag, July 2001. (PDF (c)Springer-Verlag)
     
     
103. Gonzalo Navarro, Takuya Kida, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     "Faster Approximate String Matching over Compressed Text",
     Proc. Data Compression Conference 2001, pp. 459-468, March 2001.
     
     
104. Shuichi Mitarai, Masahiro Hirao, Tetsuya Matsumoto, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa,
     "Compressed Pattern Matching for Sequitur",
     Proc. Data Compression Conference 2001, pp. 469-480, March 2001. (PDF)
     
     
105. Ayumi Shinohara, Keisuke Iida, Masayuki Takeda, O. Maruyama, Satoru Miyano, and Satoru Kuhara
     "Finding Sparse Gene Networks",
     In Genome Informatics Vol. 11 (GIW2000), pp. 249--250 Universal Academy Press, Inc., December, 2000. (PDF)
     
     
106. Masahiro Hirao, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, and Setsuo Arikawa,
     "A Practical Algorithm to Find the Best Subsequence Patterns",
     In Proc. of 3rd International Conference on Discovery Science (DS2000), Lecture Notes in Artificial Intelligence 1967, pp. 141--154. Springer-Verlag, December, 2000. (PDF (c)Springer-Verlag)
     
     
107. Tetsuya Matsumoto, Takuya Kida, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     "Bit-parallel approach to approximate string matching in compressed texts",
     In Proc. of 7th International Symposium on String Processing and Information Retrieval (SPIRE2000), pp. 221-228. IEEE Computer Society, September 2000. (PDF )
     
     
108. Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda and Setsuo Arikawa,
     "Online construction of subsequence automata for multiple texts",
     In Proc. of 7th International Symposium on String Processing and Information Retrieval (SPIRE2000), pp. 146-152. IEEE Computer Society, September 2000. (PDF)
     
     
109. Masahiro Hirao, Ayumi Shinohara, Masayuki Takeda and Setsuo Arikawa,
     "Faster fully compressed pattern matching algorithm for balanced straight-line programs",
     Proc. of 7th International Symposium on String Processing and Information Retrieval (SPIRE2000), pp. 132-138. IEEE Computer Society, September 2000. (PDF)
     
     
110. Yusuke Shibata, Tetsuya Matsumoto, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     "A Boyer-Moore type algorithm for compressed pattern matching",
     In Proc. 11th Ann. Symp. on Combinatorial Pattern Matching (CPM2000), Lecture Notes in Computer Science 1848 , pp. 181-194, July 2000. (PDF (c)Springer-Verlag)
     
     
111. Yusuke Shibata, Takuya Kida, S. Fukamachi, Masayuki Takeda, Ayumi Shinohara, Takeshi Shinohara, and Setsuo Arikawa,
     "Speeding Up Pattern Matching by Text Compression",
     Proc. 4th Italian Conference on Algorithms and Complexity (CIAC2000), Lecture Notes in Computer Science 1767, pp. 306-315, 2000. (PDF (c)Springer-Verlag)
     
     
112. Toru Takae, Minoru Chikamune, Hiroki Arimura, Ayumi Shinohara, Hitoshi Inoue, Shunichi Takeya, Keiko Uezono, Terukazu Kawasaki,
     Knowledge Discovery from Health Data using Weighted Aggregation Classifiers
     Proc. 2nd International Conference on Discovery Science, Lecture Notes in Artificial Intelligence 1721, pp. 359-361, Springer-Verlag, December, 1999. (PDF (c)Springer-Verlag)
     
     
113. Tomohiro Moriyama, Ayumi Shinohara, Masayuki Takeda, Osamu Maruyama, Takashi Goto, Satoru Miyano, and Satoru Kuhara,
     A System to Find Genetic Networks using Weighted Network Model,
     In Genome Informatics Vol. 10 (GIW1999), pp. 186-195 Universal Academy Press, Inc., December. 1999. (PDF)
     
     
114. Takuya Kida, Yusuke Shibata, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     A Unifying Framework for Compressed Pattern Matching",
     Proc. 6th International Symposium on String Processing and Information Retrieval (SPIRE'99), IEEE Computer Society, pp. 89-96, September 1999. (PDF)
     
     
115. Takuya Kida, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     "Shift-And Approach to Pattern Matching in LZW Compressed Text",
     Proc. 10th Annual Symposium on Combinatorial Pattern Matching (CPM'99), Lecture Notes in Computer Science 1645, pp. 1-13, Springer-Verlag, 1999. (PDF (c)Springer-Verlag)
     
     
116. Yusuke Shibata, Masayuki Takeda, Ayumi Shinohara, and Setsuo Arikawa,
     Pattern Matching in Text Compressed by Using Antidictionaries",
     Proc. 10th Annual Symposium on Combinatorial Pattern Matching (CPM'99), Lecture Notes in Computer Science 1645, pp. 37-49, Springer-Verlag, 1999. (PDF (c)Springer-Verlag)
     
     
117. Kiyoshi Noda, Ayumi Shinohara, Masayuki Takeda, Satoshi Matsumoto, Satoru Miyano, Satoru Kuhara
     Simulation Results on Finding Genetic Networks using Weighted Network Model
     The 4th Hamamatsu International Symposium on Biology, p. 9, 1999.
     
     
118. Kiyoshi Noda, Ayumi Shinohara, Masayuki Takeda, Satoshi Matsumoto, Satoru Miyano, Satoru Kuhara
     Simulation Results on Finding Genetic Networks by Weighted Network Model (poster presentation)
     Pacific Symposium on Biocomputing 1999 p. 84, 1999.
     
     
119. Setsuo Arikawa, Masako Sato, Ayumi Shinohara, and Takeshi Shinohara,
     Developments in computational learning and discovery theory within the framework of elementary formal systems
     Machine Intelligence 15 --- Applied Machine Intelligence, K. Furukawa, D. Michie, S. Muggleton (Eds.), Oxford University Press, pp. 227-247, 1999.
     
     
120. Kiyoshi Noda, Ayumi Shinohara, Masayuki Takeda, Satoshi Matsumoto, Satoru Miyano, and Satoru Kuhara,
     Finding Genetic Network from Experiments by Weighted Network Model,
     In Genome Informatics Vol. 9 (GIW1998), pp. 141-150 Universal Academy Press, Inc., December. 1998. (PDF)
     
     
121. Takuya Kida, Masayuki Takeda, Ayumi Shinohara, Masamichi Miyazaki, and Setsuo Arikawa,
     "Multiple pattern matching in LZW compressed text",
     Proc. Data Compression Conference (DCC'98), pp. 103-112, 1998. (PDF)
     
     
122. Yosuke Hayashi, Satoshi Matsumoto, Ayumi Shinohara, and Masayuki Takeda,
     "Uniform Characterizations of Polynomial-query Learnabilities",
     Proc. the 1st international conference on Discovery Science (DS'98), Lecture Notes in Artificial Intelligence 1532, Springer-Verlag, pp. 84-92, 1998. (PDF(c)Springer-Verlag)
     
     
123. Kiyoshi Noda, Satoshi Matsumoto, Ayumi Shinohara, Takayoshi Shoudai, and Satoru Miyano
     Gene Finding using HAKKE System,
     In Genome Informatics Vol. 8 (GIW1997), pp. 318-319 Universal Academy Press, Inc., December. 1997. (PDF)
     
     
124. Satoshi Matsumoto and Ayumi Shinohara,
     "Learning pattern languages using queries",
     Proc. EuroCOLT97, Lecture Notes in Artificial Intelligence 1208, pp. 185-197 (1997).
     http://dx.doi.org/10.1007/3-540-62685-9_16
     
     
125. Satoshi Matsumoto, Ayumi Shinohara, Hiroki Arimura and Takeshi Shinohara,
     "Learning subsequence languages",
     Information Modelling and Knowledge Bases VIII, pp. 335--344, IOS Press (1997).
     
     
126. Masamichi Miyazaki, Ayumi Shinohara and Masayuki Takeda,
     "An improved pattern matching algorithm for strings in terms of straight-line programs",
     Proc. 8th Annual Symposium on Combinatorial Pattern Matching (CPM'97), Lecture Notes in Computer Science 1264, pp.1-11 1997.
     http://dx.doi.org/10.1007/3-540-63220-4_45
     
     
127. Naohiro Furukawa, Satoshi Matsumoto, Ayumi Shinohara, Takayoshi Shoudai, and Satoru Miyano
     HAKKE: A Multi-strategy Prediction System for Sequences,
     In Genome Informatics Vol. 7 (GIW1996), pp. 98-107 Universal Academy Press, Inc., December. 1996. (PDF)
     
     
128. Kouichi Hirata, Shinichi Shimozono, Ayumi Shinohara
     On the Hardness of Approximating the Minimum Consistent OBDD Problem
     Proc. 5th Scandinavian Workshop on Algorithm Theory (SWAT'96) pp. 112--123, (Lecture Notes in Computer Science 1097), 1996. (PDF(c)Springer-Verlag)
     
     
129. Naohiro Furukawa, Takayoshi Shoudai, Ayumi Shinohara, Satoru Miyano,
     HAKKE: Automatic Predictor Generator for Sequences
     Proceedings of Genome Informatics Workshop 1995 (GIW1995), pp. 110-111, 1995.
     
     
130. Takayoshi Shoudai, Michael Lappe, Satoru Miyano, Ayumi Shinohara, Takeo Okazaki, Setsuo Arikawa, Tomoyuki Uchida, Shinichi Shimozono, Takeshi Shinohara, Satoru Kuhara
     BONSAI Garden: Parallel Knowledge Discovery System for Amino Acid Sequences
     Proceedings of Third International Conference on Intelligent Systems for Molecular Biology pp. 359-366, 1995. (PDF)
     
     
131. Marek Karpinski, Wojciech Rytter and Ayumi Shinohara,
     "Pattern-matching for strings with short descriptions",
     Proc. 6th Annual Symposium on Combinatorial Pattern Matching (CPM'95), Lecture Notes in Computer Science 937, pp. 205-214, 1995. (PDF(c)Springer-Verlag)
     
     
132. Satoshi Matsumoto, Ayumi Shinohara
     Refutably Probably Approximately Correct Learning
     Proc. 5th International Workshop on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 872) pp. 469-483, 1994.
     
     
133. Ayumi Shinohara,
     Complexity of Computing Generalized VC-dimensions
     The 7th European Conference on Machine Learning (Lecture Notes in Artificial Intelligence 784, Springer-Verlag), pp. 415-418, 1994.
     
     
134. Ayumi Shinohara, Shinichi Shimozono, Tomoyuki Uchida, Satoru Miyano, Satoru Kuhara, Setsuo Arikawa,
     Running Learning Systems in Parallel for Machine Discovery from Sequences Genome Informatics Workshop IV 74--83, 1993.
     
     
135. Ayumi Shinohara
     Complexity of Computing Vapnik-Chervonenkis Dimension
     Proceedings of the 4th Workshop on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 744), pp. 279-287, 1993.
     
     
136. Shinichi Shimozono, Ayumi Shinohara, Takeshi Shinohara, Satoru Miyano, Satoru Kuhara, Setsuo Arikawa
     Finding alphabet indexing for decision trees over regular patterns: An approach to bioinformatical knowledge acquisition
     Proceedings of the 26th Annual Hawaii International Conference on System Sciences, Vol. 1 pp. 763-772, 1993.
     
     
137. Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, Shinichi Shimozono, Takeshi Shinohara, Satoru Kuhara
     Knowledge acquisition from amino acid sequences by learning algorithms
     Proceedings of the Second Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop pp. 109-128, 1992.
     
     
138. Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara, Takeshi Shinohara
     A machine discovery from amino acid sequences by decision trees over regular patterns
     Proceedings of the International Conference on Fifth Generation Computer Systems 1992, pp. 618-625, 1992.
     
     
139. Setsuo Arikawa, Takeshi Shinohara, Satoru Miyano, Ayumi Shinohara
     More about learning elementary formal systems,
     Proceedings of Nonmonotonic and Inductive Logic (Lecture Notes in Artificial Intelligence 659) pp. 107-117, 1992.
     http://dx.doi.org/10.1007/BFb0030388
     
     
140. Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara
     A learning algorithm for elementary formal systems and its experiments on identification of transmembrane domains
     Proceedings of the 25th Hawaii International Conference on System Sciences, Vol. 1, pp. 675-684, 1992.
     
     
141. Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara
     Identification of transmembrane domains by decision trees over regular patterns (extended abstract)
     Second International Symposium on Artificial Intelligence and Mathematics, 1992. (PDF)
     
     
142. Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara,
     Which classes of elementary formal systems are polynomial-time learnable?
     Proceedings of the Second Workshop on Algorithmic Learning Theory, pp.139-150, 1991.
     
     
143. Ayumi Shinohara and Satoru Miyano,
     A Foundation of Algorithmic Teaching
     Proceedings of FUJITSU IIAS-SIS Workshop on Computational Learning Theory '89 pp. 176-189, 1989.