Mahdi Gueffaz

According to our database, Mahdi Gueffaz authored at least 7 papers between 2011 and 2014.

Collaborative distances:

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

2014

Curriculum data enrichment with ontologies.

Mahdi Gueffaz, Jirasri Deslis, Jean-Claude Moissinac

Proceedings of the 4th International Conference on Web Intelligence, 2014

2012

ScaleSem : model checking et web sémantique. (ScaleSem : model checking and semantic web).

Mahdi Gueffaz

PhD thesis, 2012

Temporal Logic To Query Semantic Graphs Using The Model Checking Method.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

J. Softw., 2012

Inconsistency Identification in Dynamic Ontologies based on Model Checking.

Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

2011

Scalesem - Evaluation of Semantic Graph based on Model Checking.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Proceedings of the WEBIST 2011, 2011

A New Approach Based on NμSMV Model to Query Semantic Graph.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Proceedings of the Digital Information Processing and Communications, 2011

RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Proceedings of the Digital Information and Communication Technology and Its Applications, 2011