Author of the publication

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.

 

Other publications of authors with the same name

Méthodes et modèles pour la visualisation de grandes masses de données multidimensionnelles nominatives dynamiques. (Methods and model for huge amount of nominative multidimendionnal dynamic data visualization).. University of Bordeaux, France, (2012)Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats).. Paris Diderot University, France, (2018)Proof Certificates in PVS.. ITP, volume 10499 of Lecture Notes in Computer Science, page 262-268. Springer, (2017)Solving the traffic and flitter challenges with tulip., , , , , , , , , and 3 other author(s). IEEE VAST, page 247-248. IEEE Computer Society, (2009)From Databases to Graph Visualization., and . IV, page 128-133. IEEE Computer Society, (2010)Import automatique et interactif de données dans les systèmes de visualisations., and . EGC, volume RNTI-E-20 of Revue des Nouvelles Technologies de l'Information, page 491-502. Hermann-Éditions, (2011)A Lightweight Double-negation Translation.. LPAR (short papers), volume 35 of EPiC Series in Computing, page 81-93. EasyChair, (2015)Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo., , , , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 274-290. Springer, (2013)Communities and Hierarchical Structures in Dynamic Social Networks: Analysis and Visualization., , , , and . CoRR, (2014)Communities and hierarchical structures in dynamic social networks: analysis and visualization., , , , and . Social Netw. Analys. Mining, 1 (2): 83-95 (2011)