N. Yazdani

Multi-Frequency Time-Division multiple-access (MF-TDMA) resource packing

N. Yazdani, 2008, MILCOM 2008 - 2008 IEEE Military Communications Conference.

Ornaments for Proof Reuse in Coq

N. Yazdani, T. Ringer, J. Leo, 2019, ITP.

Consumer oriented state aggregation using reinforcement learning approach

S. Zarifzadeh, A. Nayyeri, N. Yazdani, 2006, CCNC 2006. 2006 3rd IEEE Consumer Communications and Networking Conference, 2006..