Mohamed Chaabani

According to our database, Mohamed Chaabani authored at least 4 papers between 2012 and 2025.

Collaborative distances:

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

2025

Verified Path Indexing.

Mohamed Chaabani, Simon Robillard

Proceedings of the Automated Deduction - CADE 30, 2025

2018

A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant.

Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2013

Logical Foundations for Reasoning about Transformations of Knowledge Bases.

Mohamed Chaabani, Rachid Echahed, Martin Strecker

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Formal verification of a proof procedure for the description logic ALC.

Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012