Person

Tim Seppelt

MASt
Tim Seppelt Urheberrecht: © Dora Morar-Bolba
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4118

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21721
Fax Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Stipendiat des Graduiertenkollegs 2236 UnRAVeL

Logos von UnRAVeL und DFG

Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL

 

Forschungsinterssen

Homomorphism Indistinguishability, Descriptive Complexity

 

Publikationen

Quelle Beteiligte
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)