1. Formal approach to design and automatic verification of cooperation-based networks;Aldini;International Journal on Advances in Internet Technology,2013
2. Modeling and verification of trust and reputation systems;Aldini,2015
3. Robust collaborative spectrum sensing based on beta reputation system;Arshad,2011
4. A survey of trust in computer science and the semantic web;Artz;Web Semantics: Science, Services and Agents on the World Wide Web,2007
5. On the theory of dynamic programming;Bellman;Proceedings of the National Academy of Sciences of the United States of America,1952