Tim Seppelt Copyright: © Dora Morar-Bolba

Person

Tim Seppelt

M.Sc.
Computer Science Departement, RTG UnRAVeL

Doctoral researcher

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

Contact

WorkPhone
Phone: +49 241 80-21721
Fax Fax: +49 241 80-22215
 
Dissertation project
The Tournament Isomorphism Problem
Engagement
Ringvorlesung Organisation Committee, 10.2020
Talks
Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations
Bi-Weekly Talk: Tim Seppelt: How Indistinguishable are Cospectral Graphs? Weisfeiler–Leman, Graph Spectra, and Graph Powers
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability
In: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19-23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silva, 36:[1]-36:19, 2024
[DOI: 10.4230/LIPIcs.CSL.2024.36]
Lichter, Moritz (Corresponding author)
Pago, Benedikt Thomas (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
In: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19-23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silvapages, 27:[1]-27:17, 2024
[DOI: 10.4230/LIPIcs.CSL.2024.27]
Fluck, Eva (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
Spitzer, Gian Luca (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) / Herausgeber: Jérôme Leroux, Sylvain Lombardy, David Peleg, 82:1-82:15, 2023
[DOI: 10.4230/LIPIcs.MFCS.2023.82]
Seppelt, Tim Frederik
[Contribution to a book, Contribution to a conference proceedings]
Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
In: 50th International Colloquium on Automata, Languages and Programming (ICALP 2023) / Herausgeber: Kousha Etessami, Uriel Feige, Gabriele Puppis, 101:1-101:18, 2023
[DOI: 10.4230/LIPICS.ICALP.2023.101]
Roberson, David E. (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler-Leman and Graph Spectra
In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) / editors: Nikhil Bansal and Viswanath Nagarajan, 2023
[DOI: 10.1137/1.9781611977554.ch87]
Rattan, Gaurav
Seppelt, Tim Frederik
[Contribution to a book, Contribution to a conference proceedings]
Homomorphism Tensors and Linear Equations
In: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) / Herausgeber: Mikołaj Bojańczyk, Emanuela Merelli, David P. Woodruff, [70:1]-70:20, 2022
[DOI: 10.4230/LIPICS.ICALP.2022.70]
Grohe, Martin
Rattan, Gaurav
Seppelt, Tim Frederik
[Preprint]
Weisfeiler-Leman, Graph Spectra, and Random Walks, 2021
[DOI: 10.18154/RWTH-2022-01183]
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
[Preprint]
Homomorphism Tensors and Linear Equations, 2021
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)