Colin Geniet

Orcid: 0000-0003-4034-7634

According to our database¹, Colin Geniet authored at least 11 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Factoring Pattern-Free Permutations into Separable ones.

[BibT_eX]

[DOI]

Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024

2023

Maximum Independent Set when excluding an induced minor: K1 + tK2 and tC3 ⊎ C4.

[BibT_eX]

[DOI]

CoRR, 2023

Sparse graphs with bounded induced cycle packing number have logarithmic treewidth.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

First Order Logic and Twin-Width in Tournaments.

[BibT_eX]

[DOI]

Colin Geniet

Stéphan Thomassé

Proceedings of the 31st Annual European Symposium on Algorithms, 2023

Maximum Independent Set When Excluding an Induced Minor: K₁ + tK₂ and tC₃ ⊎ C₄.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual European Symposium on Algorithms, 2023

2022

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs.

[BibT_eX]

[DOI]

Colin Geniet

Stéphan Thomassé

CoRR, 2022

Twin-width VII: groups.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Twin-width II: small classes.

[BibT_eX]

[DOI]

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Twin-width III: Max Independent Set, Min Dominating Set, and Coloring.

[BibT_eX]

[DOI]

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Twin-width III: Max Independent Set and Coloring.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Big Step Normalisation for Type Theory.

[BibT_eX]

[DOI]

Thorsten Altenkirch

Colin Geniet

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Colin Geniet

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...