Jaber Karimpour

Jaber Karimpour, Abolfazl Toroghi Haghighat, Rahim Pasha Khajei, 2011, 2011 Second International Conference on Intelligent Systems, Modelling and Simulation.

CLTChord: Improving lookup at the Chord protocol using cache location table

Jaber Karimpour, Ali A. Noroozi, Majid Moghaddam, 2012, SOCO 2012.

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

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

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).

Automatic Clustering for Customer Segmentation by Adaptive Differential Evolution Algorithm

Jaber Karimpour, Samaneh Mazaheri, Omid Tarkhaneh, 2019, 2019 5th Iranian Conference on Signal Processing and Intelligent Systems (ICSPIS).

Web Spam Detection by Learning from Small Labeled Samples

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

Improved Iterative Methods for Verifying Markov Decision Processes

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

Viewcharts: Syntax and Semantics

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

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..

Generating an optimal timetabling for multi-departments common lecturers using hybrid fuzzy and clustering algorithms

Jaber Karimpour, Amin Hadidi, Hamed Babaei, 2019, Soft Comput..

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

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

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..

An Introduction to Distributed Cryptography Based on Quantum Cryptography

Mehdi Bahrami, Jaber Karimpour, Leila Pashaie, 2012, SOCO 2012.

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

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

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..

An analytical model for source code distributability verification

Ayaz Isazadeh, Jaber Karimpour, Habib Izadkhah, 2014, Journal of Zhejiang University SCIENCE C.

A New Method for Describing the Syntax and Semantics of VIEWCHARTS

Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh, 2007, ISPA Workshops.

Using k-means clustering algorithm for common lecturers timetabling among departments

Jaber Karimpour, Hamed Babaei, Sajjad Mavizi, 2016 .

Early performance assessment in component-based software systems

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

Optimizing inter-nest data locality in imperfect stencils based on loop blocking

Jaber Karimpour, Yousef Seyfari, Shahriar Lotfi, 2018, The Journal of Supercomputing.

Formal framework for specifying dynamic reconfiguration of adaptive systems

Jaber Karimpour, Ali A. Noroozi, Robab Alyari, 2013, IET Softw..

Channel Capacity of Concurrent Probabilistic Programs

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

The Impact of Feature Selection on Web Spam Detection

Jaber Karimpour, Ali A. Noroozi, Adeleh Abadi, 2012 .

Performance prediction of component based software systems using interface automata

Ayaz Isazadeh, Jaber Karimpour, Habib Izadkhah, 2011, 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE).

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.

A New Formalism for Describing Concurrent Systems

Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh, 2007, ISPA Workshops.

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

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

EBHCR) Energy Balancing and Hierarchical Clustering Based Routing algorithm for Wireless Sensor Networks

Jaber Karimpour, 2011 .

Specifying a New Requirement Model for Secure Adaptive Systems

Jaber Karimpour, Habib Izadkhah, Robab Alyari, 2020, Comput. J..

Scalable Cluster Based Cloud Storage

Jaber Karimpour, Parinaz Eskandarian Miyandoab, 2013, FOCS 2013.

Verifying Weak Probabilistic Noninterference

Ayaz Isazadeh, Jaber Karimpour, Shahriar Lotfi, 2017 .

Information leakage of multi-threaded programs

Ayaz Isazadeh, Jaber Karimpour, Ali A. Noroozi, 2019, Comput. Electr. Eng..

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..

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

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

A new secure and practical electronic voting protocol without revealing voters identity

Nasour Bagheri, Jaber Karimpour, Sadegh Jafari, 2011 .

Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs

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