| 2008 |
|---|
| 4 | EE | 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 |
| 3 | EE | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying Time and Communication Costs of Rule-Based Reasoners.
MoChArt 2008: 1-14 |
| 2 | EE | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems.
RuleML 2008: 31-38 |
| 2004 |
|---|
| 1 | EE | Abdur Rakib,
Oleg Parshin,
Stephan Thesing,
Reinhard Wilhelm:
Component-Wise Instruction-Cache Behavior Prediction.
ATVA 2004: 211-229 |
