ASM-based Mechanized Verification of Compiler Back-Ends. - Axel Dold; Thilo Gaul; Vincent Vialard; Wolf Zimmermann (Workshop on Abstract State Machines, 1998)

Formal Verification of a Compiler Back-End Generic Checker Program. - Axel Dold; Vincent Vialard (Ershov Memorial Conference, 1999)

A Mechanically Verified Compiling Specification for a Lisp Compiler. - Axel Dold; Vincent Vialard (FSTTCS, 2001)

Abstraction Refinement for Ontology Materialization. - Birte Glimm; Yevgeny Kazakov; Thorsten Liebig; Trung-Kien Tran; Vincent Vialard (ISWC (2), 2014)

GraphScale: Adding Expressive Reasoning to Semantic Data Stores. - Thorsten Liebig; Vincent Vialard; Michael Opitz; Sandra Metzl (ISWC (Posters & Demos), 2015)

Connecting the Dots in Million-Nodes Knowledge Graphs with SemSpect. - Thorsten Liebig; Vincent Vialard; Michael Opitz (ISWC (Posters, Demos & Industry Tracks), 2017)

CovidGraph: a graph to fight COVID-19. - 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; et al. (Bioinform., 2022)

Scalable No-Code Knowledge Graph Exploration and Querying with SemSpect. - Thorsten Liebig; Michael Opitz; Vincent Vialard; Maximilian Wenzel (SEMANTiCS (Posters & Demos), 2023)