1. 3‐D data partitioning for 3‐level perfectly nested loops on heterogeneous distributed systems. (10th November 2016) Authors: Zarei Zefreh, Ebrahim; Lotfi, Shahriar; Mohammad Khanli, Leyli; Karimpour, Jaber Journal: Concurrency and computation Issue: Volume 29:Number 5(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A survey of approaches for university course timetabling problem. (August 2015) Authors: Babaei, Hamed; Karimpour, Jaber; Hadidi, Amin Journal: Computers & industrial engineering Issue: Volume 86(2015) Page Start: 43 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Early performance assessment in component‐based software systems. Issue 2 (1st April 2013) Authors: Karimpour, Jaber; Isazadeh, Ayaz; Izadkhah, Habib Journal: IET software Issue: Volume 7:Issue 2(2013) Page Start: 118 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal framework for specifying dynamic reconfiguration of adaptive systems. Issue 5 (1st October 2013) Authors: Karimpour, Jaber; Alyari, Robab; Noroozi, Ali A. Journal: IET software Issue: Volume 7:Issue 5(2013) Page Start: 258 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Information leakage of multi-threaded programs. (September 2019) Authors: Noroozi, Ali A.; Karimpour, Jaber; Isazadeh, Ayaz Journal: Computers & electrical engineering Issue: Volume 78(2019) Page Start: 400 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Intra-Tile Parallelization for Two-Level Perfectly Nested Loops With Non-Uniform Dependences. (28th May 2020) Authors: Abdi Reyhan, Zahra; Lotfi, Shahriar; Isazadeh, Ayaz; Karimpour, Jaber Journal: Computer journal Issue: Volume 64:Number 9(2021) Page Start: 1358 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models. (5th February 2019) Authors: Mohagheghi, Mohammadsadegh; Karimpour, Jaber; Isazadeh, Ayaz Editors: Anta, Antonio Fernandez Journal: Computer journal Issue: Volume 63:Number 1(2020) Page Start: 105 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Secure cloud-of-clouds storage with space-efficient secret sharing. (June 2021) Authors: Niknia, Ahad; Correia, Miguel; Karimpour, Jaber Journal: Journal of information security and applications Issue: Volume 59(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Specifying a New Requirement Model for Secure Adaptive Systems. (26th December 2019) Authors: Alyari, Robab; Karimpour, Jaber; Izadkhah, Habib Journal: Computer journal Issue: Volume 63:Number 8(2020) Page Start: 1148 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Using rootkits hiding techniques to conceal honeypot functionality. (May 2023) Authors: Mohammadzad, Maryam; Karimpour, Jaber Journal: Journal of network and computer applications Issue: Volume 214(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗