1. Bădică, A., Bădică, C.: Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments Using FSP. In: Ultes-Nitsche, U., Moldt, D., Augusto, J.C. (eds.) Proc. MSVVEIS 2008 – 6 th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pp. 9–18. INSTICC Press (2008)
2. Studies in Computational Intelligence;C. Bădică,2007
3. Bădică, A., Bădică, C., Liţoiu, L.: Middle-Agents Interactions as Finite State Processes: Overview and Example. In: Proc. 16 th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), pp. 12–17 (2007)
4. Lecture Notes in Artificial Intelligence;A. Bădică,2007
5. Decker, K., Sycara, K.P., Williamson, M.: Middle-agents for the internet. In: Proc.of 15 th International Joint Conference on Artificial Intelligence IJCAI 1997, vol. 1, pp. 578–583. Morgan Kaufmann, San Francisco (1997)