Raniah A. Alghamdi

According to our database, Raniah A. Alghamdi authored at least 2 papers between 2014 and 2024.

Collaborative distances:

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

2024

Compositional Analysis of Parametric Cooperative Cyber-Physical Systems.

Raniah A. Alghamdi, Richard J. Trefler

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2014

Towards Semantic Image Retrieval Using Multimodal Fusion with Association Rules Mining.

Raniah A. Alghamdi, Mounira Taileb

Proceedings of the Human Interface and the Management of Information. Information and Knowledge Design and Evaluation, 2014