Khalil Ben Mohamed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2013
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICCS | System Architecture to Implement a Conceptual Graphs Storage in an RDF Quad Store. | Khalil Ben Mohamed, Benjamin Chu Min Xian, Dickson Lukose |
| 2011 | DEXA | A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. | Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier |
| 2010 | AIMSA | Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. | Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier |
| 2010 | DEXA | Containment of Conjunctive Queries with Negation: Algorithms and Experiments. | Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier |