VIGNY - Alexandre

Toutes les publications (3)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
2024
COMM
Sebastian Siebertz, Alexandre Vigny
Advances in Algorithmic Meta Theorems (Invited Paper)
44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024) - 2024
2024
COMM
Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios Thilikos, Alexandre Vigny
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
LICS 2024 - 39th ACM/IEEE Symposium on Logic in Computer Science - 2024
Informatique/Logique en informatique
2024
ART
Alexander Lindermayr, Sebastian Siebertz, Alexandre Vigny
Elimination Distance to Bounded Degree on Planar Graphs Preprint
Fundamenta Informaticae - 2024
Maths