Mohamed Chaabani

According to our database, Mohamed Chaabani authored at least 3 papers between 2012 and 2018.

Collaborative distances:

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

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 9th International Conference on ICT in Education, 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