Vincent Vialard

According to our database, Vincent Vialard authored at least 8 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Scalable No-Code Knowledge Graph Exploration and Querying with SemSpect.

Thorsten Liebig, Michael Opitz, Vincent Vialard, Maximilian Wenzel

Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), 2023

2022

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, Thorsten Liebig, Martin Preusse, Dagmar Waltemath, Alexander Jarasch

Bioinform., October, 2022

2017

Connecting the Dots in Million-Nodes Knowledge Graphs with SemSpect.

Thorsten Liebig, Vincent Vialard, Michael Opitz

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

2015

GraphScale: Adding Expressive Reasoning to Semantic Data Stores.

Thorsten Liebig, Vincent Vialard, Michael Opitz, Sandra Metzl

Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

2014

Abstraction Refinement for Ontology Materialization.

Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard

Proceedings of the Semantic Web - ISWC 2014, 2014

2001

A Mechanically Verified Compiling Specification for a Lisp Compiler.

Axel Dold, Vincent Vialard

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

1999

Formal Verification of a Compiler Back-End Generic Checker Program.

Axel Dold, Vincent Vialard

Proceedings of the Perspectives of System Informatics, 1999

1998

ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998