1. Automata modeling of Quorum Sensing for nanocommunication networks
2. Quorum Sensing-enabled amplification for molecular nanonetworks
3. Nanonetworks: A new communication paradigm
4. Marwan Ammar and Otmane Ait Mohamed . 2011. Formal verification of Time-Triggered Ethernet protocol using PRISM model checker . IEEE. Marwan Ammar and Otmane Ait Mohamed. 2011. Formal verification of Time-Triggered Ethernet protocol using PRISM model checker. IEEE.
5. Baris Atakan and Ozgur B Akan . 2008. On channel capacity and error compensation in molecular communication . In Transactions on computational systems biology X. Springer , 59–80. Baris Atakan and Ozgur B Akan. 2008. On channel capacity and error compensation in molecular communication. In Transactions on computational systems biology X. Springer, 59–80.