Search the dblp DataBase

Publications of Author

1. Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
   Component-Wise Instruction-Cache Behavior Prediction. [Citation Graph (0, 0)][DBLP]
   ATVA, 2004, pp:211-229 [Conf]
   
2. 
   Verifying time, memory and communication bounds in systems of reasoning agents. [Citation Graph (, )][DBLP]
   
   
3. 
   Resource-bounded alternating-time temporal logic. [Citation Graph (, )][DBLP]
   
   
4. 
   A Logic for Coalitions with Bounded Resources. [Citation Graph (, )][DBLP]
   
   
5. 
   Verifying Resource Requirements for Distributed Rule-Based Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   Verifying Time and Communication Costs of Rule-Based Reasoners. [Citation Graph (, )][DBLP]
   
   
7. 
   Expressing Properties of Coalitional Ability under Resource Bounds. [Citation Graph (, )][DBLP]
   
   
8. 
   Reasoning about Other Agents' Beliefs under Bounded Resources. [Citation Graph (, )][DBLP]