Takeshi Shinohara

75 papers A* 5A 3B 18C 11Journal 15Unranked 23
YearRankTypeTitle / Venue / Authors
2025 B conf
SISAP
Naoya Higuchi, Yasunobu Imamura, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2025 J jnl
CoRR
Yasunobu Imamura, Takeshi Shinohara, Naoya Higuchi, Kouichi Hirata, Tetsuji Kuboyama
2024 C conf
ICPRAM
Naoya Higuchi, Yasunobu Imamura, Vladimir Mic, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2024 C conf
ICPRAM
Naoya Higuchi, Yasunobu Imamura, Vladimir Mic, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2022 C conf
ICPRAM
Naoya Higuchi, Yasunobu Imamura, Vladimir Mic, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2020 B conf
SISAP
Naoya Higuchi, Yasunobu Imamura, Vladimir Mic, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2019 C conf
ICPRAM
Yasunobu Imamura, Naoya Higuchi, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2019 — conf
ICPRAM (Revised Selected Papers)
Naoya Higuchi, Yasunobu Imamura, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2019 — conf
Australasian Conference on Artificial Intelligence
Naoya Higuchi, Yasunobu Imamura, Tetsuji Kuboyama, Kouichi Hirata, Takeshi Shinohara
2019 C conf
ICPRAM
Naoya Higuchi, Yasunobu Imamura, Tetsuji Kuboyama, Kouichi Hirata, Takeshi Shinohara
2018 C conf
ICPRAM
Naoya Higuchi, Yasunobu Imamura, Tetsuji Kuboyama, Kouichi Hirata, Takeshi Shinohara
2017 — conf
LWDA
Yasunobu Imamura, Naoya Higuchi, Tetsuji Kuboyama, Kouichi Hirata, Takeshi Shinohara
2016 B conf
SISAP
Yasunobu Imamura, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2015 — conf
ICPRAM (1)
Yohei Nasu, Naoki Kishikawa, Kei Tashima, Shin Kodama, Yasunobu Imamura, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2014 — conf
JSAI-isAI Workshops
Quming Jin, Masaya Nakashima, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
2010 — conf
ICCSA (4)
Takaaki Aoki, Daisuke Ninomiya, Arnoldo José Müller Molina, Takeshi Shinohara
2010 — conf
ICCSA (3)
Arnoldo José Müller Molina, Takeshi Shinohara
2009 B conf
SISAP
Arnoldo José Müller Molina, Takeshi Shinohara
2009 — conf
VLDB PhD Workshop
Arnoldo José Müller Molina, Takeshi Shinohara
2008 — conf
PAKDD Workshops
Arnoldo José Müller Molina, Kouichi Hirata, Takeshi Shinohara
2008 J jnl
Theor. Comput. Sci.
Yen Kaow Ng, Takeshi Shinohara
2008 J jnl
Theor. Comput. Sci.
John Case, Takeshi Shinohara, Thomas Zeugmann, Sandra Zilles
2007 C conf
SCAM
Arnoldo José Müller Molina, Takeshi Shinohara
2006 — conf
ICGI
Yen Kaow Ng, Takeshi Shinohara
2006 B conf
PAKDD
Yen Kaow Ng, Takeshi Shinohara
2006 — conf
CASCON
Arnoldo José Müller Molina, Takeshi Shinohara
2005 B conf
ALT
Yen Kaow Ng, Takeshi Shinohara
2005 B conf
Discovery Science
Yen Kaow Ng, Hirotaka Ono, Takeshi Shinohara
2004 — conf
SAINT Workshops
Yoichiro Itakura, Makoto Yokozawa, Takeshi Shinohara
2002 — conf
Progress in Discovery Science
Takeshi Shinohara, Hiroki Ishizaka
2002 C conf
SPIRE
Masayuki Takeda, Satoru Miyamoto, Takuya Kida, Ayumi Shinohara, Shuichi Fukamachi, Takeshi Shinohara, Setsuo Arikawa
2001 B conf
Discovery Science
Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara
2001 C conf
SPIRE
T. Nishimura, Shuichi Fukamachi, Takeshi Shinohara
2000 J jnl
New Gener. Comput.
Takeshi Shinohara, Jiyuan An, Hiroki Ishizaka
2000 A conf
CSCW
Yutaka Yamauchi, Makoto Yokozawa, Takeshi Shinohara, Toru Ishida
2000 J jnl
Theor. Comput. Sci.
Takeshi Shinohara, Hiroki Arimura
2000 J jnl
New Gener. Comput.
Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara
2000 C conf
EJC
Shuichi Fukamachi, Takeshi Shinohara
2000 C conf
CIAC
Yusuke Shibata, Takuya Kida, Shuichi Fukamachi, Masayuki Takeda, Ayumi Shinohara, Takeshi Shinohara, Setsuo Arikawa
1999 B conf
Discovery Science
Takeshi Shinohara, Jianping Chen, Hiroki Ishizaka
1998 B conf
Discovery Science
Takeshi Shinohara, Jiyuan An, Hiroki Ishizaka
1998 J jnl
Ann. Math. Artif. Intell.
Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara
1997 J jnl
Theor. Comput. Sci.
Hiroki Arimura, Hiroki Ishizaka, Takeshi Shinohara
1996 B conf
ALT
Takeshi Shinohara, Hiroki Arimura
1995 B ed.
ALT
Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann
1995 A conf
ISMB
Takayoshi Shoudai, Michael Lappe, Satoru Miyano, Ayumi Shinohara, Takeo Okazaki, Setsuo Arikawa, Tomoyuki Uchida, Shinichi Shimozono, Takeshi Shinohara, Satoru Kuhara
1995 — conf
Machine Intelligence 15
Setsuo Arikawa, Masako Sato, Ayumi Shinohara, Takeshi Shinohara
1995 B conf
ALT
Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann
1995 B conf
ALT
Hiroki Arimura, Hiroki Ishizaka, Takeshi Shinohara
1995 — conf
GOSLER Final Report
Takeshi Shinohara, Setsuo Arikawa
1994 A conf
STACS
Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
1994 — conf
AII/ALT
Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara
1994 J jnl
Inf. Comput.
Takeshi Shinohara
1994 J jnl
New Gener. Comput.
Koichi Furukawa, Takeshi Shinohara, Yuji Takada
1993 J jnl
New Gener. Comput.
Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, Satoru Kuhara, Yasuhito Mukouchi, Takeshi Shinohara
1992 — conf
Machine Intelligence 13
Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki, Hiroki Ishizaka
1992 — conf
FGCS
Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara, Takeshi Shinohara
1992 B conf
ALT
Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara
1992 J jnl
Theor. Comput. Sci.
Setsuo Arikawa, Takeshi Shinohara, Akihiro Yamamoto
1992 A* conf
COLT
Hiroki Arimura, Hiroki Ishizaka, Takeshi Shinohara
1991 — conf
Nonmonotonic and Inductive Logic
Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
1991 J jnl
New Gener. Comput.
Takeshi Shinohara
1991 — conf
Nonmonotonic and Inductive Logic
Setsuo Arikawa, Takeshi Shinohara, Satoru Miyano, Ayumi Shinohara
1991 B conf
ALT
Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
1991 A* conf
COLT
Tatsuya Motoki, Takeshi Shinohara, Keith Wright
1991 B conf
ALT
Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara
1990 A* conf
COLT
Takeshi Shinohara
1990 B conf
ALT
Takeshi Shinohara
1989 A* conf
COLT
Setsuo Arikawa, Takeshi Shinohara, Akihiro Yamamoto
1986 A* conf
ICDE
Fumihiro Matsuo, Shouichi Futamura, Takeshi Shinohara
1985 — conf
RIAO
Setsuo Arikawa, Takeshi Shinohara
1985 — conf
Mathematical Methods of Specification and Synthesis of Software Systems
Takeshi Shinohara
1984 J jnl
New Gener. Comput.
Setsuo Arikawa, Takeshi Shinohara
1984 J jnl
Nucleic Acids Res.
Satoru Kuhara, Fumihiro Matsuo, Syoichi Futamura, Atsushi Fujita, Takeshi Shinohara, Toshihisa Takagi, Yoshiyuki Sakaki
1982 — conf
RIMS Symposium on Software Science and Engineering
Takeshi Shinohara
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling