Khalil El-Harake

According to our database, Khalil El-Harake authored at least 5 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Efficient sparse polynomial factoring using the Funnel heap.

Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel

CoRR, 2016

2015

Runtime enforcement for component-based systems.

Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Cache oblivious sparse polynomial factoring using the funnel heap.

Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel

Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

2014

Blocking Advertisements on Android Devices Using Monitoring Techniques.

Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Factoring Sparse Bivariate Polynomials Using the Priority Queue.

Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014