Author of the publication

Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation.

, and (Eds.) MEDI, volume 8216 of Lecture Notes in Computer Science, page 132-146. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Maabout, Sofian
add a person with the name Maabout, Sofian
 

Other publications of authors with the same name

Algorithmes pour la sélection de vues à matérialiser avec garantie de performance., , and . EDA, volume B-5 of RNTI, page 107-122. Cépaduès, (2009)Multidimensional Skylines over Streaming Data., and . DASFAA (3), volume 11448 of Lecture Notes in Computer Science, page 338-342. Springer, (2019)A parallel algorithm for computing borders., and . CIKM, page 1639-1648. ACM, (2011)Sensor selection on graphs via data-driven node sub-sampling in network time series., , and . CoRR, (2020)Advances and Challenges for Model and Data Engineering., , and . J. Univers. Comput. Sci., 27 (7): 646-649 (2021)Simplification de données de vol pour un stockage optimal et une visualisation accélérée., , , and . EGC, volume RNTI-E-19 of Revue des Nouvelles Technologies de l'Information, page 393-398. Cépaduès-Éditions, (2010)Génération automatique de règles métier par enrichissement sémantique de modèles., , and . INFORSID, page 453-468. (2007)Extending ER models to capture database transformations to build data sets for data mining., , , and . Data Knowl. Eng., (2014)Contributions à l'Optimisation de Requêtes Multidimensionnelles.. (2014)Horizontal partitioning of very-large data warehouses under dynamically-changing query workloads via incremental algorithms., , , and . SAC, page 208-210. ACM, (2013)