 | 2009 |
|---|
| 7 |       | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
A Logic for Coalitions with Bounded Resources.
IJCAI 2009: 659-664 |
| 6 | | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Expressing Properties of Coalitional Ability under Resource Bounds.
LORI 2009: 1-14 |
| 2008 |
|---|
| 5 | | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying time, memory and communication bounds in systems of reasoning agents.
AAMAS (2) 2008: 736-743 |
| 4 | | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Reasoning about Other Agents' Beliefs under Bounded Resources.
KRAMAS 2008: 1-15 |
| 3 | | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying Time and Communication Costs of Rule-Based Reasoners.
MoChArt 2008: 1-14 |
| 2 | | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems.
RuleML 2008: 31-38 |
| 2004 |
|---|
| 1 | | Abdur Rakib,
Oleg Parshin,
Stephan Thesing,
Reinhard Wilhelm:
Component-Wise Instruction-Cache Behavior Prediction.
ATVA 2004: 211-229 |
