研究者業績
基本情報
研究キーワード
3研究分野
1経歴
1-
2012年
論文
29-
Australas. J Comb. 81 208-232 2021年
-
CoRR abs/1406.0373 2014年 査読有り
-
Theory Comput. Syst. 52(2) 271-284 2013年 査読有り
-
Visual Neuroscience 29(2) 119-129 2012年3月 査読有り
-
SIAM J. Comput. 41(4) 1074-1093 2012年 査読有り
-
Electronic Colloquium on Computational Complexity (ECCC) 18 86-86 2011年 査読有り
-
Computing and Combinatorics - 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings abs/1102.3766 1-12 2011年 査読有り
-
Theor. Comput. Sci. 412(35) 4613-4618 2011年 査読有り
-
J. Comb. Optim. 22(3) 392-408 2011年 査読有り
-
J. Comput. Biol. 18(10) 1275-1290 2011年 査読有り
-
Journal of Computing and Information Science in Engineering 10(3) 2010年 査読有り
-
Electronic Colloquium on Computational Complexity (ECCC) 17 95-95 2010年 査読有り
-
Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 172-180 2010年 査読有り
-
Discret. Appl. Math. 158(18) 2024-2030 2010年 査読有り
-
Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009 225-234 2009年 査読有り
-
Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings 328-337 2009年 査読有り
-
Electron. Colloquium Comput. Complex. 14(029) 2007年
-
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS 4501 187-+ 2007年 査読有り
-
Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings 112-123 2007年 査読有り
-
Inf. Process. Lett. 101(3) 101-106 2007年 査読有り
-
Theory of Computing Systems 39(5) 723-742 2006年9月 査読有り
-
Proceedings - 2006 International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA 2006 2 2792-2797 2006年 査読有り
-
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS 4121 277-282 2006年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3827 644-653 2005年 査読有り
MISC
5-
数理解析研究所講究録 1691 78-84 2010年6月
-
電子情報通信学会総合大会講演論文集 2009(1) "S-21"-"S-22" 2009年3月4日
-
数理解析研究所講究録 1532 19-31 2007年2月
-
数理解析研究所講究録 1489 106-113 2006年5月
共同研究・競争的資金等の研究課題
2-
文部科学省 科学研究費補助金(新学術領域研究(研究領域提案型)) 2012年 - 2016年
-
文部科学省 科学研究費補助金(若手研究(B)) 2011年 - 2013年
お知らせ
【連絡事項】
成蹊大学専任教員各位
①ログインの際には「他の機関Idpによるログイン」からログインをお願いいたします。右側の「ログイン」からはログインいただけません。
②Ufinityにログイン後、「編集」ボタンを押した際に「権限が不正」というエラーメッセージが生じた際は、総合企画課までご連絡ください。
総合企画課：kikaku@jim.seikei.ac.jp
※各教員の担当科目については、以下のリンク先にある「教員名」に該当教員の氏名を入力の上、検索してください。