Mohamed Chaabani

Orcid: 0000-0002-7301-3764

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Verified Path Indexing.

[DOI]

Proceedings of the Automated Deduction - CADE 30, 2025

2018

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

[DOI]

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

2013

Logical Foundations for Reasoning about Transformations of Knowledge Bases.

[DOI]

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.

[DOI]

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