2008 |
12 | EE | Kayo Kawamoto,
Noriko H. Arai:
Evaluation of Logical Thinking Ability through Contributions in a Learning Community.
LKR 2008: 326-333 |
2005 |
11 | | Noriko H. Arai,
Chimako Hiratsuka:
Creating a Virtual Space for Child-Rearing with IT Beginners.
IMSA 2005: 123-127 |
10 | | Noriko H. Arai,
Kayo Kawamoto:
Designing Collaborative Learning Environment for Advanced Math.
IMSA 2005: 145-150 |
9 | EE | Toru Takahashi,
Christoph Bartneck,
Yasuhiro Katagiri,
Noriko H. Arai:
TelMeA - Expressive avatars in asynchronous communications.
Int. J. Hum.-Comput. Stud. 62(2): 193-209 (2005) |
2004 |
8 | | Noriko H. Arai,
Toru Takahashi,
Yasuhiro Katagiri:
CSCL Environment for Bilingual Deaf Education.
CATE 2004: 411-416 |
2001 |
7 | EE | Noriko H. Arai,
Toniann Pitassi,
Alasdair Urquhart:
The complexity of analytic tableaux.
STOC 2001: 356-363 |
2000 |
6 | | Noriko H. Arai,
Alasdair Urquhart:
Local Symmetries in Propositional Logic.
TABLEAUX 2000: 40-51 |
5 | | Noriko H. Arai:
Relative efficency of propositional proof systems: resolution vs. cut-free LK.
Ann. Pure Appl. Logic 104(1-3): 3-16 (2000) |
4 | EE | Noriko H. Arai:
No feasible monotone interpolation for simple combinatorial reasoning.
Theor. Comput. Sci. 238(1-2): 477-482 (2000) |
3 | EE | Noriko H. Arai:
Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II.
Theor. Comput. Sci. 243(1-2): 185-197 (2000) |
1996 |
2 | EE | Noriko H. Arai:
A Proper Hierarchy of Propositional Sequent Calculi.
Theor. Comput. Sci. 159(2): 343-354 (1996) |
1 | EE | Noriko H. Arai:
Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference.
Theor. Comput. Sci. 170(1-2): 129-144 (1996) |