Vincent Vialard

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 4

Top Topics

Owl Dl Ontologies

Ontology Driven

Graph Representation

Top Venues

Description Logics

ISWC (Posters & Demos)

Publications

Thorsten Liebig, Michael Opitz, Vincent Vialard, Maximilian Wenzel
Scalable No-Code Knowledge Graph Exploration and Querying with SemSpect. SEMANTiCS (Posters & Demos) (2023)
Lea Gütebier, Tim Bleimehl, Ron Henkel, Jamie Munro, Sebastian Müller, Axel Morgner, Jakob Laenge, Anke Pachauer, Alexander Erdl, Jens Weimar, Kirsten Walther Langendorf, Vincent Vialard, Thorsten Liebig, Martin Preusse, Dagmar Waltemath, Alexander Jarasch
CovidGraph: a graph to fight COVID-19. Bioinform. 38 (20) (2022)
Thorsten Liebig, Vincent Vialard, Michael Opitz
Connecting the Dots in Million-Nodes Knowledge Graphs with SemSpect. ISWC (Posters, Demos & Industry Tracks) (2017)
Thorsten Liebig, Vincent Vialard, Michael Opitz, Sandra Metzl
GraphScale: Adding Expressive Reasoning to Semantic Data Stores. ISWC (Posters & Demos) (2015)
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
Abstraction Refinement for Ontology Materialization. ISWC (2) (2014)
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
Abstraction Refinement for Ontology Materialization. Description Logics (2014)
Axel Dold, Vincent Vialard
A Mechanically Verified Compiling Specification for a Lisp Compiler. FSTTCS (2001)
Axel Dold, Vincent Vialard
Formal Verification of a Compiler Back-End Generic Checker Program. Ershov Memorial Conference (1999)
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines (1998)