| |
| 2008 | ||
|---|---|---|
| 3 | 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 |
| 2 | EE | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14 |
| 1 | EE | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38 |
| 1 | Natasha Alechina | [1] [2] [3] |
| 2 | Brian Logan | [1] [2] [3] |
| 3 | Abdur Rakib | [1] [2] [3] |