PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gilbert, Frédéric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Communities and Hierarchical Structures in Dynamic Social Networks: Analysis and Visualization.

, , , , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Frédéric Simonis University of Stuttgart

Frederic Graeb University of Stuttgart

Frederic Bender University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Certificates in PVS.. ITP, Volume 10499 von Lecture Notes in Computer Science, Seite 262-268. Springer, (2017)Solving the traffic and flitter challenges with tulip., , , , , , , , , und 3 andere Autor(en). IEEE VAST, Seite 247-248. IEEE Computer Society, (2009)From Databases to Graph Visualization., und . IV, Seite 128-133. IEEE Computer Society, (2010)Import automatique et interactif de données dans les systèmes de visualisations., und . EGC, Volume RNTI-E-20 von Revue des Nouvelles Technologies de l'Information, Seite 491-502. Hermann-Éditions, (2011)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)A Lightweight Double-negation Translation.. LPAR (short papers), Volume 35 von EPiC Series in Computing, Seite 81-93. EasyChair, (2015)Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo., , , , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 274-290. Springer, (2013)Detecting Structural Changes and Command Hierarchies in Dynamic Social Networks., , , , , und . ASONAM, Seite 83-88. IEEE Computer Society, (2009)Communities and Hierarchical Structures in Dynamic Social Networks: Analysis and Visualization., , , , und . CoRR, (2014)