مقالات چاپ شده در نشریات بین المللی
- Ghasemi, Fatemeh, and . "Model checking mobile ad hoc networks." Formal Methods in System Design 48, no. 1-2 (2016): 1-31.
- Ghasemi, Fatemeh, and Seyed Mohammad Reza Mousavi. "Product Line Process Theory." Journal of Logical and Algebraic Methods in Programming 85, no. 1 (2015): 200--226.
- Ghasemi, Fatemeh, Wan Fokkink , and Ali Movaghar . "Equational reasoning on mobile ad hoc networks." Fundamenta Informaticae 103, no. 1 (2010): 1-41.
- Ghasemi, Fatemeh, and Ali Movaghar . "Formal Modeling Routing Protocols in Mobile Ad-hoc Networks." The CSI Journal on Computer Science and Engineeringn 5, no. 24 (2008): 46-55.
همایشهای بین المللی
- , , Mohammad Gharib, Fatemeh Ghasemi, and . "Probabilistic Key Pre-distribution for Heterogeneous Mobile Ad hoc Networks Using Subjective Logic." The 29th IEEE International Conference on Advanced Information Networking and Applications,, May 25-27, 2015 .
- Ghasemi, Fatemeh. "6th IPM International Conference on Fundamentals of Software Engineering." 6th IPM International Conference on Fundamentals of Software Engineering, Tehran, May 22-24, 2015 .
- Razavian, Majid, hadi khani, Naser Yazdani, and Fatemeh Ghasemi. "An Analysis of Vendor Lock-in Problem in Cloud Storage." International Conference on Computer and Knowledge Eng. 2013, Mashhad, November 31-1, 2013 .
- Ghasemi, Fatemeh, , , and . "Stochastic Restricted Broadcast Process Theory." 8th European Performance Engineering Workshop-EPEW11,, October 12-13, 2011 .