Personal information

Activities

Employment (1)

RWTH Aachen University: Aachen, Nordrhein-Westfalen, DE

Employment
Source: check_circle
RWTH Aachen University

Education and qualifications (3)

University of Cambridge: Cambridge, GB

2019-10 to 2020-07 | MASt Pure Mathematics (Department of Pure Mathematics and Mathematical Statistics)
Education
Source: Self-asserted source
Tim Seppelt

University of Göttingen: Göttingen, DE

2016-10 to 2019-08 | Mathematics B.Sc. (Faculty of Mathematics and Computer Science)
Education
Source: Self-asserted source
Tim Seppelt

University of Göttingen: Göttingen, DE

2016-10 to 2019-08 | Applied Computer Science B.Sc. (Faculty of Mathematics and Computer Science)
Education
Source: Self-asserted source
Tim Seppelt

Works (19)

An Algorithmic Meta Theorem for Homomorphism Indistinguishability

arXiv
2024 | Other
EID:

2-s2.0-85185868778

Part of ISSN: 23318422
Contributors: Seppelt, T.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

Leibniz International Proceedings in Informatics, LIPIcs
2024 | Conference paper
EID:

2-s2.0-85185225273

Part of ISBN: 9783959773102
Part of ISSN: 18688969
Contributors: Fluck, E.; Seppelt, T.; Spitzer, G.L.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability

Leibniz International Proceedings in Informatics, LIPIcs
2024 | Conference paper
EID:

2-s2.0-85185218012

Part of ISBN: 9783959773102
Part of ISSN: 18688969
Contributors: Lichter, M.; Pago, B.; Seppelt, T.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

The Complexity of Homomorphism Reconstructibility

Leibniz International Proceedings in Informatics, LIPIcs
2024 | Conference paper
EID:

2-s2.0-85187802752

Part of ISBN: 9783959773119
Part of ISSN: 18688969
Contributors: Böker, J.; Härtel, L.; Runde, N.; Seppelt, T.; Standke, C.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Logical equivalences, homomorphism indistinguishability, and forbidden minors

Information and Computation
2024-12 | Journal article
Contributors: Tim Seppelt
Source: check_circle
Crossref

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

TheoretiCS
2024-09-02 | Journal article
Contributors: David E. Roberson; Tim Seppelt
Source: check_circle
Crossref

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

arXiv
2023 | Other
EID:

2-s2.0-85168638949

Part of ISSN: 23318422
Contributors: Fluck, E.; Seppelt, T.; Spitzer, G.L.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

arXiv
2023 | Other
EID:

2-s2.0-85148988277

Part of ISSN: 23318422
Contributors: Roberson, D.E.; Seppelt, T.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2023 | Journal article
Contributors: David E. Roberson; Tim Seppelt
Source: Self-asserted source
Tim Seppelt
grade
Preferred source (of 2)‎

Limitations of Game Comonads via Homomorphism Indistinguishability

arXiv
2023 | Other
EID:

2-s2.0-85168630823

Part of ISSN: 23318422
Contributors: Lichter, M.; Pago, B.; Seppelt, T.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

arXiv
2023 | Other
EID:

2-s2.0-85188202014

Part of ISSN: 23318422
Contributors: Seppelt, T.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2023 | Journal article
Contributors: Tim Seppelt
Source: Self-asserted source
Tim Seppelt
grade
Preferred source (of 2)‎

The Complexity of Homomorphism Reconstructibility

arXiv
2023 | Other
EID:

2-s2.0-85175000324

Part of ISSN: 23318422
Contributors: Böker, J.; Härtel, L.; Runde, N.; Seppelt, T.; Standke, C.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Weisfeiler-Leman and Graph Spectra

Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
2023 | Conference paper
EID:

2-s2.0-85167361203

Part of ISBN: 9781611977554
Contributors: Rattan, G.; Seppelt, T.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

Building blocks of polycentric governance

Policy Studies Journal
2023-08 | Journal article
Contributors: Tiffany H. Morrison; Örjan Bodin; Graeme S. Cumming; Mark Lubell; Ralf Seppelt; Tim Seppelt; Christopher M. Weible
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Weisfeiler-Leman and Graph Spectra

Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
2023-01 | Book chapter
Part of ISBN: 9781611977554
Contributors: Gaurav Rattan; Tim Seppelt
Source: Self-asserted source
Tim Seppelt

Homomorphism Tensors and Linear Equations

49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
2022 | Conference paper
Source: Self-asserted source
Tim Seppelt
grade
Preferred source (of 4)‎

Weisfeiler–Leman and Graph Spectra

arXiv
2021 | Other
EID:

2-s2.0-85165543442

Part of ISSN: 23318422
Contributors: Seppelt, T.; Rattan, G.
Source: Self-asserted source
Tim Seppelt via Scopus - Elsevier

The Graph Isomorphism Problem: Local Certificates for Giant Action

2019-09-23 | Preprint
Source: Self-asserted source
Tim Seppelt