J. Karimpour

发表

An Analytical Security Model for Existing Software Systems

A. Isazadeh, Islam Elgedawy, J. Karimpour, 2014 .

Parinaz Eskandarian Miyandoab, J. Karimpour, 2013 .

SEECC: A secure and efficient elliptic curve cryptosystem for E-health applications

Hannu Tenhunen, Jaber Karimpour, Amin Majd, 2016, 2016 International Conference on High Performance Computing & Simulation (HPCS).

Intra-Tile Parallelization for Two-Level Perfectly Nested Loops With Non-Uniform Dependences

Ayaz Isazadeh, Jaber Karimpour, Shahriar Lotfi, 2020, Comput. J..

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models

Ayaz Isazadeh, Jaber Karimpour, Mohammadsadegh Mohagheghi, 2019, Comput. J..

Improved Iterative Methods for Verifying Markov Decision Processes

Ayaz Isazadeh, Jaber Karimpour, MohammadSadegh Mohagheghi, 2015, FSEN.

A survey of approaches for university course timetabling problem

Jaber Karimpour, Amin Hadidi, Hamed Babaei, 2015, Comput. Ind. Eng..

Tiling and Scheduling of Three-level Perfectly Nested Loops with Dependencies on Heterogeneous Systems

Jaber Karimpour, Shahriar Lotfi, Leili Mohammad Khanli, 2016, Scalable Comput. Pract. Exp..

Systematic Study of Load Balancing in Fog Computing in IOT Healthcare system

J. Karimpour, Hayder Makki Shakir, 2021, 2021 International Conference on Advanced Computer Applications (ACA).

A New Deep-Learning-Based Model for Breast Cancer Diagnosis from Medical Images

J. Karimpour, Habib Izadkhah, Salman Zakareya, 2023, Diagnostics.

Secure cloud-of-clouds storage with space-efficient secret sharing

Miguel Correia, Jaber Karimpour, Ahad Niknia, 2021, IACR Cryptol. ePrint Arch..

Using rootkits hiding techniques to conceal honeypot functionality

J. Karimpour, Maryam Mohammadzad, 2023, J. Netw. Comput. Appl..

Applying Hybrid Fuzzy Multi-Criteria Decision-Making Approach to Find the Best Ranking for the Soft Constraint Weights of Lecturers in UCTP

Jaber Karimpour, Amin Hadidi, Hamed Babaei, 2018, Int. J. Fuzzy Syst..

Viewcharts: Syntax and Semantics

Ayaz Isazadeh, Jaber Karimpour, A. Isazadeh, 2008, Informatica.

Secure Information Flow Analysis Using the PRISM Model Checker

Ayaz Isazadeh, Jaber Karimpour, Ali A. Noroozi, 2019, ICISS.

Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs

Ayaz Isazadeh, Jaber Karimpour, A. Isazadeh, 2019, Mathematical and Computational Applications.

Verifying Observational Determinism

Ayaz Isazadeh, Jaber Karimpour, Ali A. Noroozi, 2015, SEC.

Verifying Weak Probabilistic Noninterference

Ayaz Isazadeh, Jaber Karimpour, Shahriar Lotfi, 2017 .

Channel Capacity of Concurrent Probabilistic Programs

Ayaz Isazadeh, Jaber Karimpour, Habib Izadkhah, 2019, Entropy.

Web Spam Detection by Learning from Small Labeled Samples

Jaber Karimpour, Ali A. Noroozi, Somayeh Alizadeh, 2012 .

PVL: Parallelization and Vectorization of Affine Perfectly Nested-Loops Considering Data Locality on Short-Vector Multicore Processors using Intrinsic Vectorization

Jaber Karimpour, Yousef Seyfari, Shahriar Lotfi, 2017, Scalable Comput. Pract. Exp..

A Novel Approach for Target Attraction and Obstacle Avoidance of a Mobile Robot in Unknown Environments Using a Customized Spiking Neural Network

B. Abubaker, J. Karimpour, Jafar Razmara, 2023, Applied Sciences.

Topology and computational-power aware tile mapping of perfectly nested loops with dependencies on distributed systems

Jaber Karimpour, Shahriar Lotfi, Leyli Mohammad Khanli, 2019, J. Parallel Distributed Comput..

A new formalism for mathematical description and verification of component-based systems

Ayaz Isazadeh, Jaber Karimpour, A. Isazadeh, 2009, The Journal of Supercomputing.

Early performance assessment in component-based software systems

Ayaz Isazadeh, Jaber Karimpour, Habib Izadkhah, 2013, IET Softw..

A Cluster-based Approach Towards Detecting and Modeling Network Dictionary Attacks

Jaber Karimpour, Shahriar Lotfi, Aliakbar Tajari Siahmarzkooh, 2016 .

3‐D data partitioning for 3‐level perfectly nested loops on heterogeneous distributed systems

Jaber Karimpour, Shahriar Lotfi, Leili Mohammad Khanli, 2017, Concurr. Comput. Pract. Exp..

A new routing algorithm for wireless sensor networks

Jaber Karimpour, Javad Zamani Said Abad, J. Karimpour, 2010, 2010 International Conference on Computer Applications and Industrial Electronics.

Intrusion detection in network flows based on an optimized clustering criterion

Jaber Karimpour, Shahriar Lotfi, Aliakbar Tajari Siahmarzkooh, 2017, Turkish J. Electr. Eng. Comput. Sci..